间断点的分类

定义陈述

设 $f$ 在 $x_0$ 的某去心邻域内有定义，但在 $x_0$ 处不连续（即 ANL-DEF-012 不成立）。 按单侧极限（ANL-DEF-011）的存在性，间断点分为两大类、三小类：

第一类间断点（单侧极限都存在）

• 可去间断点：$f(x_0-0)=f(x_0+0)=L$，但 $L\ne f(x_0)$ 或 $f(x_0)$ 无定义。 通过重定义 $f(x_0):=L$ 即可”修复”为连续。

• 跳跃间断点：$f(x_0-0)$ 和 $f(x_0+0)$ 都存在但不相等。 跳跃幅度 $|f(x_0+0)-f(x_0-0)|$ 是一个固有的”间断量”。

第二类间断点（至少一侧极限不存在）

• 无穷间断点：单侧极限为 $\pm \infty$。例：$1/x$ 在 $0$ 处。
• 振荡间断点：单侧极限不存在且不为 $\pm \infty$。例：$\sin (1/x)$ 在 $0$ 处。

经典例子表

函数	间断点	类型
$f(x)=\frac{\sin x}{x}$（$x\ne 0$）	$x_0=0$	可去（取 $f(0):=1$ 后连续）
$\mathrm{sgn}(x)$	$x_0=0$	跳跃（左 $-1$ 右 $1$）
$\lfloor x\rfloor$	任意整数 $n$	跳跃（左 $n-1$ 右 $n$）
$1/x$	$x_0=0$	无穷间断（左 $-\infty$ 右 $+\infty$）
$\sin (1/x)$	$x_0=0$	振荡间断
$x\sin (1/x)$（$x\ne 0$）	$x_0=0$	可去（取 $f(0):=0$ 后连续，由夹逼）
Dirichlet $1_{\mathbb{Q}}$	任意 $x_0$	第二类（处处间断）

直觉理解

第一类间断的共同特征是”局部行为虽不连续，但仍可被两个有限值描述”：

• 可去：图像有”一个孤立的洞或错位点”——重新放上一点就好。
• 跳跃：图像在 $x_0$ 处”竖直裂开”——两侧高度不一致。

第二类间断刻画”局部行为根本不能用有限实数描述”：

• 无穷：图像沿垂直方向飞向无穷远。
• 振荡：图像在 $x_0$ 附近无穷次穿越某个区间，无法贴近任何固定值。

决策图

f 在 x₀ 处不连续？
├── 是
│   ├── 单侧极限都存在？
│   │   ├── 是 → 第一类
│   │   │   ├── 左极限 = 右极限 → 可去间断
│   │   │   └── 左极限 ≠ 右极限 → 跳跃间断
│   │   └── 否 → 第二类
│   │       ├── 至少一侧 → ±∞ → 无穷间断
│   │       └── 否则 → 振荡间断
│   └── ……
└── 否 → 不是间断点（连续）

常见错误

• ✗ 认为”跳跃间断 = 第二类”。 跳跃间断属于第一类——“第一/第二类”的划分依据是单侧极限是否存在， 而非”图像是否平滑”。
• ✗ 把”振荡 + 无界”自动归为无穷间断。 必须单侧极限是 $\pm \infty$（即在某侧函数最终大于任何 $M$）。 反例：$\sin (1/x)/x$ 在 $0$ 附近无界，但单侧极限均不存在（既非有限也非 $\pm \infty$），是振荡间断。
• ✗ 误把”$f$ 在 $x_0$ 无定义”等同于”间断点”。 按定义，间断点须在某去心邻域内有定义。$1/x$ 在 $x_0=0$ 是间断点（去心邻域有定义）。 但函数 $\sqrt{x}$ 在 $x_0=-1$ 处根本未定义，且周围也无定义，谈不上间断。

链接

• 前置：ANL-DEF-011 单侧极限、ANL-DEF-012 函数连续
• 习题：ANL-PROB-001 间断点判定与构造

跨专业应用

• 信号处理：跳跃间断对应信号的”边缘”——Canny 算法、Sobel 算子的核心检测目标
• 物理：相变（一阶相变 ↔ 物理量跳跃间断；二阶相变 ↔ 导数跳跃但函数本身连续）
• 控制论：分段线性反馈系统在切换点的稳定性，依赖单侧极限的匹配性