跳转至

函数会以哪些方式失去连续性？

先备知识

你需要掌握有限函数极限、左右极限、有限点处无穷极限、Heine 序列判别和连续延拓 定理。本单元只分类定义域中聚点处的连续性失败；若 \(a\notin D\)，应先说函数在 \(a\) 没有定义，再讨论它是否能延拓，而不是直接称 \(a\) 为不连续点。

学习目标

完成本单元后，你应当能够：

  1. 按极限诊断顺序区分四类常见间断；
  2. 用左右极限或无穷行为给出分类证据；
  3. 构造两条点列证明振荡型失败；
  4. 判断修改中心点能否恢复连续。

牵引问题

图像上的“断”可能来自四种完全不同的机制：极限存在但点值接错；左右靠近不同高度； 函数值无界增长；函数值在多个状态间无限切换。只看一张有限分辨率图像无法可靠区分， 必须回到量词或序列证据。

探索与猜想

一个有效诊断流程是：

  1. 先问有限双侧极限是否存在；
  2. 若存在，再比较它与点值；
  3. 若不存在，检查两个有限单侧极限是否分别存在；
  4. 再检查是否具有确定的无穷趋向；
  5. 若仍没有单一目标，尝试用两条点列暴露振荡。

这个流程区分原因，却不声称囊括所有可能的病态局部行为。

概念与理论

定义：四类常见间断

设 \(f:D\to\mathbb R\)，\(a\in D\) 是 \(D\) 的聚点，且 \(f\) 在 \(a\) 不连续。

  1. 若有限极限 \(L=\lim_{x\to a}f(x)\) 存在但 \(L\ne f(a)\)，称 \(a\) 为 可去间断点。
  2. 若有限左右极限都存在但不相等，称 \(a\) 为跳跃间断点；跳跃量可记为 \(\lim_{x\to a+}f(x)-\lim_{x\to a-}f(x)\)。
  3. 若至少一侧函数值趋于 \(+\infty\) 或 \(-\infty\)，称 \(a\) 为 无穷间断点。
  4. 若在任意小邻域内函数值持续振荡，且可找到趋于 \(a\) 的定义域点列产生不同的 函数值极限或使函数值列本身不收敛，称 \(a\) 为振荡型间断点。

可去间断由一个有限极限控制；跳跃间断由两个不同的有限单侧极限控制；无穷间断没有 有限目标；振荡型间断则连确定的单侧目标也可能不存在。

命题：只有可去间断能靠改点值修复

在上述四类中，只修改 \(f(a)\) 能使函数在 \(a\) 连续，当且仅当 \(a\) 是可去 间断点，并且新点值取为 \(\lim_{x\to a}f(x)\)。

证明。 修改 \(f(a)\) 不改变任何去心极限。若有限双侧极限 \(L\) 存在，取新值 \(L\) 后，连续延拓定理给出连续性。若双侧有限极限不存在，无论新点值是什么，都 不能制造等于该点值的有限双侧极限。因此跳跃、无穷和振荡型间断均不能仅靠改点值 修复。\(\square\)

命题：序列是证伪工具

若存在两条数列 \(x_n,y_n\in D\setminus\{a\}\)，满足 [ x_n\to a,\qquad y_n\to a, ] 但 \(f(x_n)\) 与 \(f(y_n)\) 趋于不同有限值，或者其中一列无有限极限，则 \(\lim_{x\to a}f(x)\) 不存在，因而 \(f\) 在 \(a\) 不连续。

证明。 若函数极限存在，Heine 判别要求每条趋向 \(a\) 的定义域点列的函数值 都趋向同一个极限。给出的点列违反这一必要条件，所以函数极限不存在。\(\square\)

这个命题证明“不存在”非常高效，但分类仍需继续查看左右方向、无穷趋势或振荡结构。

例题与迁移

例题 1：四种机制的并列诊断

在 \(0\) 处比较以下函数：

\[ \begin{aligned} r(x)&=\begin{cases}1,&x\ne0,\\0,&x=0,\end{cases}\\ s(x)&=\begin{cases}-1,&x<0,\\0,&x=0,\\1,&x>0,\end{cases}\\ t(x)&=\begin{cases}1/x^2,&x\ne0,\\0,&x=0.\end{cases} \end{aligned} \]

解。

  • \(r(x)\to1\ne r(0)\)，所以是可去间断；改成 \(r(0)=1\) 可修复。
  • \(s\) 的左极限为 \(-1\)，右极限为 \(1\)，所以是跳跃间断。
  • \(t(x)\to+\infty\)，没有有限极限，所以是无穷间断。

三个函数的中心点值都已定义，但只有第一种能通过改中心值恢复连续。

例题 2：用两条点列识别振荡

定义 \(f(0)=0\)，且 \(x\ne0\) 时 \(f(x)=\sin(1/x)\)。证明 \(f\) 在 \(0\) 是振荡型间断。

证明。 取 [ x_n=\frac{1}{\frac{\pi}{2}+2\pi n},\qquad y_n=\frac{1}{\frac{3\pi}{2}+2\pi n}. ] 则 \(x_n\to0\)、\(y_n\to0\)，但 [ f(x_n)=1,\qquad f(y_n)=-1. ] 两条函数值列趋向不同数，故函数极限不存在。并且这些点在任意小去心邻域内反复 出现，失败来自振荡，不是单一跳跃或确定的无穷趋向。\(\square\)

即时检验与回望

即时检验 1：\(1/x\) 的零点是不是“不连续点”？

答案

对自然定义域 \(\mathbb R\setminus\{0\}\) 而言，\(0\) 不在定义域，所以严格地说 它不是该函数的连续点或不连续点。可以说函数在 \(0\) 附近具有左右相反的无穷 行为，并且不存在实值连续延拓。

即时检验 2：左右极限相等但点值不同属于哪一类？

答案

相等的有限左右极限给出有限双侧极限。若该极限不等于函数点值，就是可去间断； 把点值改成这个极限即可修复。

习题与答案

习题 1：阶跃函数

设 \(f(x)=0\)（\(x<2\)），\(f(x)=3\)（\(x\ge2\)）。分类 \(x=2\) 处的间断。

答案

左极限为 \(0\)，右极限为 \(3\)，两者都是有限数但不相等，所以 \(2\) 是跳跃 间断点。点值 \(f(2)=3\) 与右极限相等并不能弥补左侧失败。

习题 2：有孔表达式

定义 \(f(1)=7\)，且 \(x\ne1\) 时 [ f(x)=\frac{x^2-1}{x-1}. ] 分类 \(1\) 处的间断并给出修复值。

答案

去心处可约为 \(x+1\)，所以极限为 \(2\)，而点值为 \(7\)。这是可去间断； 把 \(f(1)\) 改成 \(2\) 后函数在 \(1\) 连续。

习题 3：单侧无穷

定义 \(f(0)=0\)，且 \(x\ne0\) 时 \(f(x)=1/x\)。说明 \(0\) 处的局部类型。

答案

当 \(x\to0+\) 时 \(f(x)\to+\infty\)，当 \(x\to0-\) 时 \(f(x)\to-\infty\)。至少一侧具有无穷趋向，因此按本单元分类为无穷间断； 不存在有限双侧极限，改点值无效。

习题 4：整数部分函数

证明整数部分函数 \(\lfloor x\rfloor\) 在每个整数 \(n\) 处是跳跃间断。

答案

当 \(x\to n-\) 时，充分靠近 \(n\) 的左侧点满足 \(\lfloor x\rfloor=n-1\)，故左极限为 \(n-1\)；当 \(x\to n+\) 时，右侧值为 \(n\)，故右极限为 \(n\)。两侧有限但不相等，所以是跳跃间断。

习题 5：另一组振荡点列

定义 \(f(0)=0\)，且 \(x\ne0\) 时 \(f(x)=\cos(1/x)\)。构造两条点列证明其在 \(0\) 不连续。

答案

取 [ x_n=\frac1{2\pi n},\qquad y_n=\frac1{(2n+1)\pi}. ] 两列都趋于 \(0\)，但 [ f(x_n)=1,\qquad f(y_n)=-1. ] 由序列诊断命题，函数极限不存在，因此在 \(0\) 不连续，并呈振荡型。

常见误区与后续

  • 分类前先确认讨论点是否属于定义域；缺失点应使用“能否延拓”的语言。
  • 一条点列只能暴露某种失败，两条产生不同结果的点列才直接否定唯一极限。
  • “无穷间断”不表示函数值等于某个实数无穷大。
  • 四类是本书当前使用的诊断框架，不代替极限定义本身。

下一单元证明常见代数函数在自然定义域上的连续性，使“由基本块搭建连续函数”成为 可引用的正式工具。