函数间断点 | 可去间断点 / 第一类间断点 / 第二类间断点 / 狄利克雷函数和黎曼函数示例

注：机翻，未校。

Basic Definitions and Examples

基本定义与示例

Definition 5：If a point of discontinuity $a\in E$ of the function $f:E\to \mathbb{R}$ is such that there exists a continuous function $\tilde{f}:E\to \mathbb{R}$ such that $f{|}_{E\backslash a}=\tilde{f}{|}_{E\backslash a}$ , then $a$ is called a removable discontinuity of the function $f$ .

定义 5：如果函数 $f:E\to \mathbb{R}$ 存在不连续点 $a\in E$ ，并且存在一个连续函数 $\tilde{f}:E\to \mathbb{R}$ ，使得 $f$ 在 E∖{a}E\setminus\{a\}E∖{a} （即集合 $E$ 中去掉元素 $a$ ）上的限制等于 $\tilde{f}$ 在 E∖{a}E\setminus\{a\}E∖{a} 上的限制，那么 $a$ 就被称作函数 $f$ 的可去间断点。

Thus a removable discontinuity is characterized by the fact that the limit ${\lim }_{E\ni x\to a}f(x)=A$ exists, but $A\ne f(a)$ , and it suffices to set

$\tilde{f}(x)=\{\begin{array}{ll}f(x)& \text{for }x\in E,x\ne a\\ A& \text{for }x=a\end{array}$
in order to obtain a function $\tilde{f}:E\to \mathbb{R}$ that is continuous at $a$ .

因此，可去间断点的特点在于极限 ${\lim }_{E\ni x\to a}f(x)=A$ 是存在的，但 $A$ 不等于 $f(a)$ ，并且只需设定

$\tilde{f}(x)=\{\begin{array}{ll}f(x)& \text{对于 }x\in E且x\ne a\\ A& \text{对于 }x=a\end{array}$

这样就能得到一个在 $a$ 点连续的函数 $\tilde{f}:E\to \mathbb{R}$ 。

Example 10：The function

$f(x)=\{\begin{array}{ll}\sin \frac{1}{x},& \text{for }x\ne 0\\ 0,& \text{for }x=0\end{array}$
is discontinuous at 0. Moreover, it does not even have a limit as $x\to 0$ , since, as was shown Example 5 in Sect. 3.2.1, ${\lim }_{x\to 0}\sin \frac{1}{x}$ does not exist. The graph of the function $\sin \frac{1}{x}$ is shown in Fig. 4.1.

例 10：函数

$f(x)=\{\begin{array}{ll}\sin \frac{1}{x},& \text{当 }x\ne 0\\ 0,& \text{当 }x=0\end{array}$
在 $0$ 点是不连续的。而且，当 $x$ 趋向于 $0$ 时它甚至没有极限，因为正如在 3.2.1 节例 5 中所展示的那样， ${\lim }_{x\to 0}\sin \frac{1}{x}$ 这个极限是不存在的。函数 $\sin \frac{1}{x}$ 的图像如图 4.1 所示。

Examples 8, 9 and 10 explain the following terminology.

例 8、9 和 10 解释了以下术语。

Definition 6：The point $a\in E$ is called a discontinuity of first kind for the function $f:E\to \mathbb{R}$ if the following limits ${}^2$ exist:
${\lim }_{E\ni x\to a-0}f(x):=f(a-0),{\lim }_{E\ni x\to a+0}f(x):=f(a+0),$
but at least one of them is not equal to the value $f(a)$ that the function assumes at $a$ .

定义 6：对于函数 $f:E\to \mathbb{R}$ 来说，如果点 $a\in E$ 满足以下极限 ${}^2$ 存在：

${\lim }_{E\ni x\to a-0}f(x):=f(a-0)\text{（这里}{\lim }_{E\ni x\to a-0}f(x)\text{表示}x\text{从}a\text{的左侧趋近于}a\text{时}f(x)\text{的极限，记为}f(a-0)\text{）},$

${\lim }_{E\ni x\to a+0}f(x):=f(a+0)\text{（表示}x\text{从}a\text{的右侧趋近于}a\text{时}f(x)\text{的极限，记为}f(a+0)\text{）},$ 但至少其中一个极限值不等于函数 $f$ 在 $a$ 点所取的值 $f(a)$ ，那么点 $a$ 就被称为函数 $f$ 的第一类间断点。

${}^2$ If $a$ is a discontinuity, then $a$ must be a limit point of the set $E$ . It may happen, however, that all the points of $E$ in some neighborhood of $a$ lie on one side of $a$ . In that case, only one of the limits in this definition is considered.

${}^2$ 如果 $a$ 是一个间断点，那么 $a$ 必定是集合 $E$ 的极限点。然而，有可能出现这样的情况：在 $a$ 的某个邻域内，集合 $E$ 中的所有点都位于 $a$ 的一侧。在这种情况下，此定义中只考虑这两个极限（即左极限和右极限）中的一个。

Definition 7：If $a\in E$ is a point of discontinuity of the function $f:E\to \mathbb{R}$ and at least one of the two limits in Definition 6 does not exist, then $a$ is called a discontinuity of second kind.

定义 7：如果 $a\in E$ 是函数 $f:E\to \mathbb{R}$ 的一个间断点，并且定义6中的两个极限（即左极限和右极限）至少有一个不存在，那么 $a$ 就被称作第二类间断点。

Thus what is meant is that every point of discontinuity that is not a discontinuity of first kind is automatically a discontinuity of second kind.

这意味着，每一个不是第一类间断点的间断点，自然就属于第二类间断点。

Let us present two more classical examples.

让我们再给出两个经典的例子。

Example 11：The function

$\mathcal{D}(x)=\{\begin{array}{ll}1,& \text{if }x\in \mathbb{Q}\\ 0,& \text{if }x\in \mathbb{R}\backslash \mathbb{Q}\end{array}$
is called the Dirichlet function. ${}^3$

例11：函数
$\mathcal{D}(x)=\{\begin{array}{ll}1,& \text{若 }x\in \mathbb{Q}（即x是有理数）\\ 0,& \text{若 }x\in \mathbb{R}\setminus \mathbb{Q}（即x是无理数）\end{array}$

被称作狄利克雷函数。 ${}^3$

This function is discontinuous at every point, and obviously all of its discontinuities are of second kind, since in every interval there are both rational and irrational numbers.

这个函数在每一点都是不连续的，而且显然它所有的间断点都属于第二类间断点，因为在每一个区间内都既有有理数又有无理数。

Example 12：Consider the Riemann function ${}^4$

$\mathcal{R}(x)=\{\begin{array}{ll}\frac{1}{n},& \text{if }x=\frac{m}{n}\in \mathbb{Q},\text{ where }\frac{m}{n}\text{ is in lowest terms},n\in \mathbb{N}\\ 0,& \text{if }x\in \mathbb{R}\backslash \mathbb{Q}\end{array}$

例 12：考虑黎曼函数 ${}^4$

$\mathcal{R}(x)=\{\begin{array}{ll}\frac{1}{n},& \text{若 }x=\frac{m}{n}\in \mathbb{Q}（即x是有理数，且\frac{m}{n}是最简分数形式，n\in \mathbb{N}）\\ 0,& \text{若 }x\in \mathbb{R}\setminus \mathbb{Q}（即x是无理数）\end{array}$

We remark that for any point $a\in \mathbb{R}$ , any bounded neighborhood $U(a)$ of it, and any number $N\in \mathbb{N}$ , the neighborhood $U(a)$ contains only a finite number of rational numbers $\frac{m}{n}$ , $m\in \mathbb{Z}$ , $n\in \mathbb{N}$ , with $n<N$ .

我们要指出的是，对于任意实数 $a\in \mathbb{R}$ ，它的任意有界邻域 $U(a)$ 以及任意自然数 $N\in \mathbb{N}$ ，邻域 $U(a)$ 中只包含有限个有理数 $\frac{m}{n}$ （其中 $m\in \mathbb{Z}$ ， $n\in \mathbb{N}$ 并且 $n<N$ ）。

By shrinking the neighborhood, one can then assume that the denominators of all rational numbers in the neighborhood (except possibly for the point $a$ itself if $a\in \mathbb{Q}$ ) are larger than $N$ . Thus at any point $x\in \dot{U}(a)$ we have $|\mathcal{R}(x)|<1/N$ .

通过缩小这个邻域，我们可以假定邻域内（除了可能的点 $a$ 本身，如果 $a$ 是有理数的话）所有有理数的分母都大于 $N$ 。因此，对于任意点 $x\in \dot{U}(a)$ （这里 $\dot{U}(a)$ 表示去心邻域），我们有 $|\mathcal{R}(x)|<1/N$ 。

We have thereby shown that

${\lim }_{x\to a}\mathcal{R}(x)=0$

at any point $a\in \mathbb{R}\backslash \mathbb{Q}$ . Hence the Riemann function is continuous at any irrational number. At the remaining points, that is, at points $x\in \mathbb{Q}$ , the function is discontinuous, except at the point $x=0$ , and all of these discontinuities are discontinuities of first kind.

由此我们证明了，对于任意无理数点 $a\in \mathbb{R}\setminus \mathbb{Q}$ ，都有 ${\lim }_{x\to a}\mathcal{R}(x)=0$ 。因此，黎曼函数在任意无理数点处是连续的。在其余的点，也就是有理数点 $x\in \mathbb{Q}$ 处，该函数是不连续的，除了 $x=0$ 这一点，并且这些间断点都是第一类间断点。

${}^3$ P.G. Dirichlet (1805–1859) – great German mathematician, an analyst who occupied the post of professor ordinarius at Göttingen University after the death of Gauss in 1855.

${}^3$ P.G.狄利克雷（1805 - 1859）——伟大的德国数学家，分析学家，在1855年高斯去世后，他担任哥廷根大学正教授这一职位。

${}^4$ B.F. Riemann (1826–1866) – outstanding German mathematician whose ground-breaking works laid the foundations of whole areas of modern geometry and analysis.

${}^4$ B.F.黎曼（1826 - 1866）——杰出的德国数学家，他那些开创性的工作为现代几何和分析的多个领域奠定了基础。

via: Zorich