可去间断点

可去间断点（removable discontinuity）是数学分析中函数间断点的一种重要类型。若函数 $f$ 在点 $x=a$ 处无定义，或虽有定义但 $f(a)$ 不等于该点处的极限值，且极限 $\lim_{x\to a} f(x)$ 存在且有限，则称 $x=a$ 为 $f$ 的可去间断点。这一名称来源于该间断点可以通过"重新定义"或"补充定义"函数在该点的值来消除，从而使函数在该点变为连续。

定义与判定

设函数 $f$ 在点 $a$ 的某个去心邻域内有定义。若极限 $\lim_{x\to a} f(x) = L$ 存在（$L$ 为有限实数），但 $f(a)$ 要么无定义，要么 $f(a) \neq L$，则称 $a$ 为 $f$ 的可去间断点。若进一步定义 $f(a) = L$，则函数在 $a$ 处连续。

从数学语言来看，可去间断点满足以下条件：

• 左极限与右极限均存在且相等：$\lim_{x\to a^-} f(x) = \lim_{x\to a^+} f(x) = L$
• 函数值 $f(a)$ 无定义或 $f(a) \neq L$

与之相对的是跳跃间断点（左右极限存在但不相等）和无穷间断点（极限为无穷大）。可去间断点是第一类间断点中的特殊情况——第一类间断点的左右极限均存在，可去间断点进一步要求二者相等。

典型例子

最常见的可去间断点出现在分式函数中。考虑函数

该函数在 $x=1$ 处无定义，因为分母为零。但

极限存在且为 2，因此 $x=1$ 是一个可去间断点。若补充定义 $f(1) = 2$，函数在整个实数轴上连续。

分段函数也常出现可去间断点。例如

0, \& x = 0

由于 $\lim_{x\to 0} \frac{\sin x}{x} = 1$，而 $g(0) = 0 \neq 1$，故 $x=0$ 是可去间断点。若将定义改为 $g(0) = 1$，函数即变为连续。

几何直观

从几何角度理解，可去间断点意味着函数图像在该点处有一个"空洞"或"错位"。极限值对应于图像上该点的"应有高度"，而实际函数值要么缺失（空洞），要么偏离到另一个位置（错位）。正因为这个偏离是有限的且可以修正，称之为"可去"。

与连续延拓的关系

可去间断点的概念与函数的连续延拓密切相关。若函数 $f$ 在点 $a$ 处有可去间断点，则存在唯一的连续函数 $\tilde{f}$，使得 $\tilde{f}$ 在 $a$ 的某个去心邻域内与 $f$ 相等，且 $\tilde{f}$ 在 $a$ 处连续。这个 $\tilde{f}$ 正是通过设定 $\tilde{f}(a) = \lim_{x\to a} f(x)$ 得到的。例如，函数 $h(x) = \frac{\sin x}{x}$ 在 $x=0$ 处有可去间断点，而其连续延拓 $\tilde{h}(x)$ 即为著名的 sinc 函数。

在实分析中的意义

可去间断点是实分析中研究函数性质的重要概念。以下是一些关键性质：

• 可去间断点集可以是可数无穷的。例如，函数 $f(x) = \frac{1}{\sin(1/x)}$ 的某些变形可能在无穷多个点处具有可去间断点。
• 单调函数的间断点只能是跳跃间断点，不存在可去间断点。这一性质源于单调函数的单侧极限总是存在且函数值受限于极限值。
• 若函数在区间上除去一个至多可数集外连续，则这些间断点可以是可去间断点或跳跃间断点。

从拓扑学视角

从拓扑视角看，可去间断点的存在表明函数在定义域上不是连续延拓的紧致化结果。具体而言，若将函数视为从定义域到值域的映射，可去间断点对应于定义域的某个极限点处，映射不能自然延拓的情形。通过添加该点并赋予适当的函数值，定义域变为紧致集，映射随之成为连续映射。

与测度论的联系

在勒贝格积分理论中，改变函数在一个点（甚至一个零测集）上的取值不影响其可积性和积分值。可去间断点正是这一事实的直观体现——修正可去间断点处的函数值后，函数的积分行为完全不变。这使得可去间断点在实际计算积分时常常被忽略，简化了分析过程。

应用举例

例一： 函数 $f(x) = \frac{e^x - 1}{x}$ 在 $x=0$ 处无定义，但 $\lim_{x\to 0} \frac{e^x - 1}{x} = 1$，故 $x=0$ 为可去间断点。补充定义 $f(0) = 1$ 后，函数在全体实数上连续。

例二： 函数 $f(x) = \frac{\ln(1+x)}{x}$ 在 $x=0$ 处无定义。由极限 $\lim_{x\to 0} \frac{\ln(1+x)}{x} = 1$ 可知，$x=0$ 是可去间断点。该函数的连续延拓在数学分析中经常出现。

例三： 考虑分段函数

2, \& x = 0

由于 $\lim_{x\to 0} x \sin\frac{1}{x} = 0$，而 $f(0) = 2 \neq 0$，故 $x=0$ 为可去间断点。有趣的是，该函数在 $x=0$ 附近无限振荡，但振幅趋于零，因此极限仍然存在。

与其他类型间断点的比较

理解可去间断点的最佳途径是将其与另外两种常见间断点进行对比。第一类间断点中的跳跃间断点，其左右极限存在但不相等，函数图像在该点处出现"跳跃"，无法通过单点修正消除。第二类间断点（包括无穷间断点和振荡间断点）的极限不存在或为无穷大，更无"可去"之说。可去间断点是唯一一种可以通过补充或修正单点定义来消除的间断类型，这种特性使其在函数延拓和积分计算中具有特殊地位。

复分析中的可去奇点

可去间断点的概念在复分析中有自然的推广——可去奇点。若复变函数 $f(z)$ 在点 $z_0$ 的某去心邻域内解析，且极限 $\lim_{z\to z_0} f(z)$ 存在有限，则 $z_0$ 称为 $f$ 的可去奇点。与实分析类似，通过适当定义 $f(z_0)$ 可将函数延拓为 $z_0$ 处的解析函数。黎曼可去奇点定理给出了判断可去奇点的充要条件：若 $f(z)$ 在去心邻域内有界，则奇点可去。

教学意义

在微积分教学中，可去间断点是帮助学生理解极限概念与连续概念之间联系的重要桥梁。它直观地展示了极限如何刻画函数的"应有行为"，以及连续性是"函数值等于极限值"这一要求的直接结果。掌握可去间断点的概念，有助于学生区分间断点的不同类型，并为后续学习一致连续性、导数存在性等更深入的概念奠定基础。

总而言之，可去间断点虽然使函数在某点处不连续，但其温和的特性使得这种不连续性能够通过简单的重新定义来消除。这一概念不仅是理论分析的基础工具，也在实际应用中简化了函数的处理过程，在从实数分析到复变函数的理论体系中占据着重要位置。