← 回到目录
高 等 数 学 · 第 一 章 1.8

间断点分类:
为什么非要分成四种

接着上一页。你已经会看左右极限了——这一页只做一件事:用它把「坏点」分门别类,并且说清楚为什么值得分。

第 1 幕

先把「连续」说成可检验的话

直觉版的连续是「一笔画下来,笔不抬」。这句话没法验算,得换成能一条条打勾的形式。

x₀ 这一点,要同时满足三件事
连续 = 「周围指的那个数」和「这一点真实的值」对上了。
第 2 幕

三个条件,就有三种掉出去的方式

不连续不是「一件事」。上面三条,坏哪条都算,而且坏法长得完全不一样:

坏了
这点没值,缺个洞
坏了
两队报的数不一样
坏了
有值也有极限,
可这点被挑到别处
间断不是一扇门,是三扇。从哪扇掉出去,后果差得很远。
不连续有三种掉出去的方式——是哪三条条件各自坏了?先别翻回去看。
① 这一点没有值(f(x₀) 无定义)
② 周围没指向同一个数(极限不存在)
③ 有值也有极限,但两个数对不上
第 3 幕

关键问题:这个坏点,修得好吗

下面两条曲线都在 x = 0 处断了。你手上只有一个权力:给 x=0 这一个点,指定一个值。

拖动滑块,把那个红点上下挪,看看能不能把曲线接上。

左边这条
右边这条
左边:—
右边:—

左边那条,只要把点放对高度就接上了,整条曲线其他地方一点毛病没有——它的病只有一个点那么大。

右边那条,你把点放到天上去也没用。无论如何都接不上,因为两侧本来就奔着不同的数去。

分类的真正依据不是「长什么样」,是——
能不能只动一个点,就把它修好。
左边那条和右边那条,「只动一个点能不能修好」各是什么答案?为什么?
左边:把 f(0) 定成那个共同的高度就接上了,曲线其余地方毫发无伤——它的病只有一个点那么大。
右边不能:两侧本来就奔着两个不同的数,那个点放到天上也接不上。
第 4 幕

第一刀:砍在「两侧还在不在」

可是「修不好」的不止跳跃一种。1/x 修不好,sin(1/x) 也修不好,它们和跳跃是一类吗?

不是。再看一眼:跳跃的左右极限都还在,只是两个数不一样;而 1/xsin(1/x) 的左右极限压根就不存在。这是两种档次的坏。

第一刀砍在这里:
左右极限都存在(等不等无所谓)→ 第一类
只要有一侧不存在第二类

所以「第一类、第二类」不是老师随口编的序号。它衡量的是这个坏点还剩多少可用信息:第一类还能报回两个数,第二类连数都报不出来。

第一刀为什么砍在「两侧还在不在」,而不是砍在「两侧等不等」?
因为两侧都不存在的时候,「等不等」这个问题本身没有意义——你连两个数都拿不出来,拿什么比。
所以这两问的顺序不能换。
第 5 幕

第一类里再切一刀:两个数等不等

相等 → 可去间断点
补一个点就痊愈
不等 → 跳跃间断点
还能量出跳了多高

跳跃间断点有个好处:既然两个数都在,就能算出 跳跃度 = |右极限 − 左极限|。坏得多严重,是可以打分的。

可去间断点则名副其实——「可去」就是这个毛病可以被去掉:重新定义 f(x₀) 等于那个共同的极限值,函数当场变连续。

第 6 幕

第二类里也有两种常见坏法

无穷间断点
至少一侧奔向 ∞
振荡间断点
抖到说不出去向
⚠️ 说清楚一件事:第二类不止这两种,教材只是把最常遇到的两种点了名。所以判断顺序永远是——先确认它是第二类,再看它属于哪种常见形态,而不是反过来去套模板。
第 7 幕

整节的成品:这张树

前面六幕,只为了长出这一张图。这一节学完的标准,是你能合上书把它默画出来。

从上往下走,两个问题就到底了

注意这两个问题的顺序不能换:必须先问「两侧在不在」,再问「两侧等不等」。
因为两侧都不存在的时候,「等不等」这个问题本身没有意义。

第 8 幕

工程上为什么在意这四个格子

这不是分类癖。四个格子对应四种完全不同的现实处境

可去—— 是我算法的问题,系统没事

sin x / x 在 x=0 算不出来,但物理上什么也没发生。补一个值,公式照用。采样丢了一个点,也是这一类。

跳跃—— 系统真的在这一瞬间突变了

开关通断、换挡、碰撞、相变。函数在这里不可导,控制器过这一点会抖,需要专门处理(限幅、滤波、分段建模)。

无穷—— 模型在这里失效了

共振、除零、结构失稳。算出「无穷大」通常意味着你的模型不该用在这儿了,而不是真有无穷大的力。

振荡—— 测不了

无论采样多密,都拿不到稳定读数。这一类点必须绕开,不能指望「多测几次取平均」。

给间断点分类,其实是在回答一个工程问题:
这个坏点,是我算法的问题,还是系统真的有事?
仿真里算出了「无穷大」。这通常意味着什么?
多半意味着你的模型在这一点失效了,而不是真有一个无穷大的力。
这正是给间断点分类的价值:分清楚是算法的问题,还是系统真的有事。
第 9 幕

整节话,就一行

先看两侧在不在(分第一类 / 第二类),
再看两侧等不等(分可去 / 跳跃)。
今 天 的 任 务

八道,每道只做两件事

① 徒手画出图像 ② 走一遍第 7 幕那张树,说出它落在哪个格子。
仍然一个 ε 都不许写。

  1. sin x / x,看 x → 0这点算不出来,可周围一点事没有
  2. |x| / x,看 x → 0顺便算一下它的跳跃度
  3. [x](取整),看 x → 2跳跃度是多少?每个整数点都一样吗?
  4. 1 / (x − 1),看 x → 1两侧奔的方向一样吗
  5. sin(1/x),看 x → 0先在纸上老实画十几个波,你才会信它真的没有去向
  6. e1/x,看 x → 0⚠️ 陷阱题。左边规规矩矩,右边直接炸掉。先分别算左右,再走树
  7. x · sin(1/x),看 x → 0⚠️ 陷阱题。它抖得厉害,但抖归抖——两侧到底有没有去向?
  8. tan x,看 x → π/2两侧奔的方向不一样,仍然是同一格
第 6、7 两题是本节的分水岭。把这两题判对,才算真的会走那张树;靠图形长相套模板的人,这两题必栽。
做完之后,对着答案先不要改
先在每道错题旁写一句:我是哪一步判错的——是左右极限算错了,还是树走错了岔路?
这两种错要吃的药完全不同。
课 本 习 题 · 1 - 8

同济第八版 P58 的八道原题,逐题给解

上面八道是我给的,练的是那张决策树。
下面八道是课本自己的——先在纸上做完,再点开对答案。第 6、7 题课本标了 *,是选做。

⚠️ 做每一道之前,先把第 1 幕那三条摆出来
① 这一点有没有定义 ② 极限存不存在 ③ 两者相不相等
八道题里有六道,只要老老实实走这三条就出来了。
第 1 题y = f(x) 的图形如课本图 1-39,指出全部间断点;对可去间断点补充或修改定义,使它成为连续点。

先把图读成四句话(这才是这道题真正考的):
x < −1 沿 x 轴;(−1, 0) 处空心 → (0, −1) 处空心的一段下弯曲线;
(0, 0) 空心 → 直线升到 (1, 2) 空心;(1, 1) 有个实心点
再从 (1, 2) 降到 (2, 0) 空心;x > 2 又沿 x 轴。

x = −1:左极限 0,右极限 0,两侧一致;但该点空心,f(−1) 无定义 → 可去,补充 f(−1) = 0

x = 0:左极限 −1,右极限 0两侧都在但不相等跳跃间断点(跳跃度 1)。跳跃修不好,别去补。

x = 1:左右极限都是 2,极限存在;可 f(1) = 1(那个实心点)→ ③ 不满足可去,把 f(1) 改成 2

x = 2:左右极限都是 0,该点空心 → 可去,补充 f(2) = 0

四个间断点:x = −1, 0, 1, 2
其中 −1、1、2 可去(分别补/改为 0、2、0),0 是跳跃,不可修
⚠️ x = 1 那个实心点是全题的题眼:函数在那儿有定义,极限也存在, 偏偏两个数对不上——这正是第 2 幕说的「第三种掉出去的方式」,也是可去间断点最典型的长相。
「有定义」不等于「连续」,这道题用一个孤零零的点把它画出来了。
第 2 题研究下列函数的连续性并作图:
(1) f(x) = x²0 ≤ x ≤ 1),2 − x1 < x ≤ 2
(2) f(x) = x−1 ≤ x ≤ 1),1x < −1 或 x > 1

分段函数只需要查分界点,其余各段都是初等函数,本来就连续。

(1) 分界点 x = 1
左极限 limx→1⁻ x² = 1;右极限 limx→1⁺ (2 − x) = 1f(1) = 1² = 1
三个数全相等 → 连续

(1) 在 [0, 2] 上处处连续。图形=先一段抛物线升到 (1,1),再一段直线降到 (2,0),接口处不断开

(2) 两个分界点,结论不一样,必须分开查
x = 1:左极限 limx→1⁻ x = 1,右极限 1(那一段是常数),f(1) = 1连续
x = −1:左极限 1x < −1 时恒为 1),右极限 limx→−1⁺ x = −1f(−1) = −1
1 ≠ 右 −1跳跃间断点,跳跃度 2

(2) 除 x = −1 外处处连续;x = −1跳跃间断点
⚠️ 两个分界点一个连续一个不连续——这就是为什么不能只查一个然后说「分段函数在接口处连续」。 每个分界点都要单独走一遍那三条。
第 3 题指出下列间断点属于哪一类;可去的话补充或改变定义使其连续:
(1) y = (x²−1)/(x²−3x+2)x = 1, x = 2  (2) y = x/tan xx = kπ, x = kπ + π/2
(3) y = cos²(1/x)x = 0  (4) y = x−1 (x ≤ 1),3−x (x > 1)x = 1

(1) 先因式分解:y = (x−1)(x+1) / [(x−1)(x−2)] = (x+1)/(x−2)x ≠ 1, 2
x = 1:约掉的因子在这里 → 极限 = 2/(−1) = −2 存在 → 可去,补充 f(1) = −2
x = 2:约不掉,分母归零而分子不为零 → y → ∞第二类·无穷间断点

⚠️ 同一个式子的两个坏点,一个可去、一个是第二类
判据不是「分母为零」,是「约完之后分母还为不为零」——这是第 4 幕那第一刀的具体用法。

(2) y = x / tan x,要分三种点:
x = 0tan x → 0x → 0,极限 = 1可去,补充 f(0) = 1
x = kπ(k ≠ 0)tan x → 0 而分子 → kπ ≠ 0y → ∞第二类·无穷
x = kπ + π/2tan x → ∞,故 y → 0可去,补充该点函数值为 0

⚠️ k = 0 和 k ≠ 0 结论完全不同,必须分开写。 课本把它们并成一行 x = kπ,就是在等你一刀切。

(3) x → 01/x → ∞cos²(1/x)[0, 1] 之间反复横跳, 左右极限都不存在,也不是 ∞ → 第二类·振荡间断点

(4) 左极限 limx→1⁻(x−1) = 0,右极限 limx→1⁺(3−x) = 2f(1) = 0 → 两侧都在但不等 → 第一类·跳跃间断点,跳跃度 2

(1) 可去 / 无穷 (2) 可去 / 无穷 / 可去 (3) 振荡 (4) 跳跃
四道题正好把决策树的四个格子各走了一遍。
第 4 题讨论 f(x) = limn→∞ [(1 − x2n)/(1 + x2n)] · x 的连续性;若有间断点,判别其类型。

这道题的函数是「算出来的」,得先把它算成分段函数。关键只看 x2nn → ∞ 时往哪走:

|x| < 1x2n → 0,括号 → (1−0)/(1+0) = 1,故 f(x) = x
|x| = 1x2n = 1(偶次幂),括号 = (1−1)/(1+1) = 0,故 f(±1) = 0
|x| > 1x2n → +∞,括号 → −1(上下同除 x2n),故 f(x) = −x

于是 f(x) = x(|x|<1);0(|x|=1);−x(|x|>1)。剩下的就是查两个分界点。

x = 1:左极限 = 1,右极限 = −1f(1) = 0跳跃间断点
x = −1:左极限 = −(−1) = 1,右极限 = −1f(−1) = 0跳跃间断点

x = ±1 外处处连续;x = ±1 都是第一类·跳跃间断点
⚠️ 注意 f(±1) = 0 既不等于左极限也不等于右极限, 正好卡在跳跃的正中间——这是这类「用极限定义的函数」的典型长相。
先把 f 算出来、再查分界点,顺序反了就无从下手。
第 5 题判断对错,对的说理由,错的举反例:
(1) 若 f(x)a 连续,则 |f(x)| 也在 a 连续
(2) 若 |f(x)|a 连续,则 f(x) 也在 a 连续

(1) 对。关键是一条不等式:| |f(x)| − |f(a)| | ≤ |f(x) − f(a)|
右边能被压到任意小(fa 连续),左边就跟着被压到任意小,所以 |f|a 连续。

(2) 错。反例:f(x) = 1(x ≥ 0),−1(x < 0),取 a = 0
|f(x)| ≡ 1,是常数,处处连续;
f 在 0 处左极限 −1、右极限 1跳跃间断

(1) 对;(2) 错,反例见上。
⚠️ 取绝对值会「抹掉符号」,也就抹掉了那一次跳跃。
这道题的价值在于:命题反过来读不一定成立——这条规矩在后面几章会被反复用到, 而这里是它第一次露面,代价只有一个反例。
*第 6 题证明:若 f(x)x₀ 连续且 f(x₀) ≠ 0,则存在 x₀ 的某邻域,在其中 f(x) ≠ 0

这条叫「连续函数的局部保号性」。证法只有一句话:把 ε 取得足够小。

ε = |f(x₀)| / 2 > 0(因为 f(x₀) ≠ 0,这个 ε 确实是正数)。
fx₀ 连续,存在 δ > 0,使 |x − x₀| < δ
|f(x) − f(x₀)| < |f(x₀)|/2

于是 |f(x)| ≥ |f(x₀)| − |f(x) − f(x₀)| > |f(x₀)| − |f(x₀)|/2 = |f(x₀)|/2 > 0
所以在这个邻域里 f(x) ≠ 0

ε = |f(x₀)|/2 即可。而且顺带证明了更强的结论:f 在该邻域内与 f(x₀) 同号
⚠️ ε 是你自己挑的,这就是 ε 这套语言的用法——不是等着别人给,是为了目的去选一个合适的 ε
这条性质后面很有用:它保证「某点函数值不为零」能撑开成「一整段不为零」, 于是分母不为零、符号不变这类结论才有立足之地。
*第 7 题f(x) = x(x 为有理数),0(x 为无理数)。证明:(1) fx = 0 连续;(2) f 在任何非零点都不连续。

(1) 在 x = 0 处连续。
无论 x 是有理还是无理,都有 |f(x)| ≤ |x|(有理时等号,无理时左边是 0)。
x → 0 时右边 → 0,把 |f(x)| 死死压住 → limx→0 f(x) = 0 = f(0)连续

(2) 在任一 x₀ ≠ 0 处不连续。
任何一点附近既有有理数也有无理数
沿有理点靠近 x₀:函数值 = x → x₀
沿无理点靠近 x₀:函数值恒 = 0 → 0
因为 x₀ ≠ 0,两条路给出两个不同的数 → 极限不存在 → 不连续(第二类)。

只在 x = 0 一个点连续,其余处处间断。
⚠️ 这道题把「通往一点有很多条路」推到了极致。
第一页讲左右极限时,路只有两条(左边、右边),那是被数轴的地形逼出来的;
这里在同一侧就能找出两条给出不同答案的路(走有理点、走无理点)—— 所以「左右极限相等」只是极限存在的必要条件,不是它的定义。
⚠️ (1) 里那个「压住」的手法,正式名字叫夹逼准则,后面第五页会专门讲,这里先用它的直觉。
第 8 题f 对任意实数满足 f(x + y) = f(x) + f(y),且 fx = 0 连续。证明 f 在整个 R 上连续。

第一步:先算出 f(0)。在条件里令 x = y = 0
f(0) = f(0) + f(0)f(0) = 0

第二步:把任意一点的连续性,搬回原点。任取 x₀,考察增量:
f(x₀ + Δx) = f(x₀) + f(Δx)(直接用条件)
两边令 Δx → 0
limΔx→0 f(x₀ + Δx) = f(x₀) + limΔx→0 f(Δx) = f(x₀) + f(0) = f(x₀)

这正是「fx₀ 连续」的定义(第 1 幕那三条:有定义、极限存在、两者相等)。由 x₀ 任意,得证。

一处连续 + 可加性 ⟹ 处处连续。
⚠️ 这道题的味道值得记住:条件只给了「一个点」的连续性,结论要的是「整条直线」。
桥梁是那个函数方程——它让所有点长得一模一样,于是任何一点的邻域都可以平移回原点。
「把未知情形搬回已知情形」,这是整本书最常用的一招,这里是它第一次出现。
八道做完,回头数一下:
第 1、2、3、4 题问的全是同一个问题——那三条里断在第几条。
第 5 题告诉你命题反着读会塌;第 6、7、8 题则是把「连续」当工具用,而不只是当标签贴。
能把这四道判别题做成流水线,这一节就到手了。
做 完 之 后