← 回到目录
第 1 幕
一场永远吵不完的架
宿舍里这个问题能吵一晚上：0.999… = 1 吗？
| 甲方 | 乙方 |
|---|
它永远差那么一点点，
怎么可能等于 1 | 那你说差多少？
说出一个数来 |
| 差 0.000…001 | 后面无穷多个 0，
那个 1 写在第几位？ |
吵不出结果，是因为两边都还没说清楚 0.999… 这个写法本身是什么意思。
有限小数是明确的：0.999 就是 999/1000，一个数。可「后面还有无穷多个 9」——无穷多位是写不完的，那它到底指哪个数？
在有极限这个概念之前，0.999… 根本不是一个数，它只是一串数：
0.9, 0.99, 0.999, 0.9999, …
这一节要做的事，就是给「一串数的走向」下一个能判对错的定义——
做完之后，那场架五秒钟就能结束。
第 2 幕
一串数，只有三种下场
数列就是排好队的一串数 a₁, a₂, a₃, …，每个位置一个。把它画出来——注意是一颗一颗的点，不是一条线：
横轴是项号 n（只能取 1,2,3,…），中间没有点
三种下场：奔向某个数、原地打转、跑掉。后两种统称发散。
还第一页的账。
第一页说过：函数极限要分左右，是因为数轴上通往一个点有两条路，「左右」是地形逼出来的。
数列的地形不一样：n 只能是 1, 2, 3, …，只有一个方向可去，就是往大了走。
所以数列极限没有左极限、右极限——不是省略了，是根本没有第二条路。
数列是一串路标，不是一条路。
它比函数简单，简单就简单在这里：只有一个 n → ∞ 要考虑。
这也是为什么课本把它排在函数极限前面——先在最简单的地形上，把「极限」这个词定死。
第 3 幕
「越来越接近」这句话，不够用
直觉上我们会说：1/n 越来越接近 0，所以极限是 0。听起来天经地义。那就用它来判一道题：
1/n 到 −1 的距离是多少？
n=1 时是 2，n=2 时是 1.5，n=3 时是 1.333…
这个距离也在一步一步变小，一次都没有反弹过。
两串距离都在单调下降，但一串落到底，另一串卡在 1 上方下不来
照「越来越接近」这条标准，我们就得承认 1/n → −1。荒唐——可荒唐在哪儿？
差别不在「变小」，在「能小到什么程度」
到 0 的距离：要多小有多小，你说 0.001，我从第 1001 项起就比它小。
到 −1 的距离：一直在减，但永远越不过 1 这道地板——你说 0.5，我一项都拿不出来。
「越来越接近」只管方向，不管到达。
极限要的是后者：不是「一直在靠近」，而是「要多近，就有多近」。
数列 aₙ = 3 + 1/n：它到 3 的距离越来越小，到 2 的距离也越来越小。凭什么说极限是 3 不是 2？
因为到 3 的距离 1/n 可以小于任何你指定的正数；
到 2 的距离是 1 + 1/n，它永远大于 1——你只要指定 0.9，它就交不出货。
关键词是「任何」。下一幕整幕都在讲这两个字怎么变成一个能判对错的规矩。
第 4 幕
⚠️ 支点：把「要多近有多近」变成一场对赌
上一幕的漏洞怎么补？数学家的办法是把它变成一场有输赢的对赌：
你先出招：随便划一道精度线 ε（要多苛刻有多苛刻）
我后出招：我必须报出一个门牌号 N
判定：从第 N 项之后，所有项都落在 a ± ε 这条带子里 —— 我赢
只要你无论怎么划我都能应，就说这个数列收敛到 a。
拖动滑块，把带子越收越窄，看我报出的 N：
这个数列 aₙ = 1 + (−1)ⁿ/n 在 1 的上下来回摆，一次都没有「稳步靠近」过。但每一次你收窄带子，我都交得出 N——这就够了。
极限的定义里没有「接近」这个词，只有一句话：
你划任何一道线，我都能报出一个门牌号，从那之后全在线内。
写成符号就是：∀ε>0, ∃N, 当 n>N 时 |aₙ − a| < ε。
这一串符号你现在应该能一个字一个字读出来了。
⚠️ 顺序不能颠倒：先有 ε，后有 N。
N 是被 ε 逼出来的——带子越窄，门牌号越靠后（图上你已经看见了）。
谁先谁后写反，整个定义就废了，第 5 幕最后一个开关专门拆这个。
还第五页的账。
第五页说过：ε-δ 是验钞机不是印钞机——它只会验证你猜的答案，生不出答案。
当时你没见过这台机器长什么样。现在你见到了：它就是这场对赌。
你得先猜出 a = 1，才能拿它去验；它从来不告诉你 1 是哪儿来的。
为什么定义里非要写「存在 N」，不干脆写「当 n 充分大时」？这两句话有区别吗？
意思一样，但能不能判对错不一样。
「充分大」是形容词，谁也说不清多大算大——它把责任推给了直觉。
「存在 N」是个要你交出来的东西：ε = 0.01 时你的 N 是几？报不出来就是没赢。
整套定义的全部本事，就是把一句感觉翻译成一个必须交货的动作。
第 5 幕
崩坏测试：把定义拆开，看少哪个字会塌
定义里每个词都是承重的。逐个改掉试试——能构造出反例的，就是承重墙：
四个开关，三面墙一碰就塌：
「从 N 之后全部」——少了它，跳来跳去的数列也能算收敛
「任意 ε」——少了它，「收敛」退化成「有界」
「N 依赖 ε」——少了它，只有从某项起完全相等的数列才算数
一句话里三个承重词，这就是它写得这么别扭的原因。
aₙ = (−1)ⁿ 有无穷多项等于 1，为什么它的极限不是 1？用第 ② 个开关的话说一遍。
因为定义要的是「从第 N 项之后全部落进带子」，不是「有无穷多项落进带子」。
取 ε = 0.5：无论你报哪个 N，N 后面永远还有奇数项，它们死死待在 −1，离 1 有 2 那么远。
漏一项都不行——注意这里说的是「从某项起不许再有例外」，前面有多少项在带子外面都无所谓。
这就是为什么它写成「存在 N」而不是「对所有 n」。
第 6 幕
定义交出去，白拿三样
只要一个数列收敛，下面三条不用另证，全是白拿的：
两个不同的极限 ⟹ 两条不相交的带子 ⟹ 尾巴要同时待在两个地方
| 白拿的 | 怎么来的 |
|---|
| 极限唯一 | 若同时收敛到 a 和 b，取 ε 小于半个间距，两条带子不相交——尾巴不可能同时在两条带子里 |
| 收敛必有界 | 带子外面只剩有限项，有限项一定有最大最小值 |
| 子数列同极限 | 整串都进带子了，挑出来的那一小串当然也在里面 |
⚠️ 第二条反过来不成立：(−1)ⁿ 有界（老老实实待在 ±1），但它不收敛。
第三条是判发散最省事的工具
想说明一个数列不收敛，最快的办法是挑出两条子数列，奔向不同的数。
(−1)ⁿ：偶数项那一串恒等于 1，奇数项那一串恒等于 −1。
一个数列不可能同时收敛到 1 和 −1（第一条），所以它压根不收敛。
还第五页最大的一笔账。
第五页用单调有界准则造出了 e，当时你可能想过：为什么要两个条件？有界还不够吗？
现在有答案了——(−1)ⁿ 就是有界但不收敛的反例，光有界撑不住。
反过来单调也不够（aₙ = n 单调却跑掉了）。两条缺一不可，各自都有反例，这就是那条准则为什么长成那样。
数列 aₙ = sin(nπ/2) 收敛吗？用子数列说，一行话解决。
不收敛。
这串数是 1, 0, −1, 0, 1, 0, −1, 0, …。
挑 n = 1, 5, 9, … 这一串，恒等于 1；挑 n = 3, 7, 11, … 这一串，恒等于 −1。
两条子数列奔向不同的数，原数列必发散——不用碰 ε 一下。
第 7 幕
这一页排在最后做，可你早就一直在用它
翻回去看，前面十六页里到处是数列极限，只是当时没人给它发身份证：
| 在哪一页 | 用到的其实是 |
|---|
| 第三页那座砖塔 | n 块高 1/n 的砖，塔高恒为 1 |
| 第五页 e 的出生证明 | (1 + 1/n)ⁿ 的极限 |
| 第五页作业第 7 题 | n 项 1/(n²+k) 求和 |
| 第六页二分法 | 区间长 (b−a)/2ⁿ → 0 |
| 第十三页定积分的定义 | 分成 n 份，取 n → ∞ 的极限 |
最后一条是最重的。
定积分不是「用面积定义的」，它是用一串和式的极限定义的——
分割、近似、求和、取极限，前三步得到的是一个数列 S₁, S₂, S₃, …，
第四步说的「取极限」，取的就是这一页刚定义的那个极限。
没有这一页，第十三页那个 ∫ 号写不出来。
为什么它在书里排第二，我们却做到第十七页
因为它是地基，不是入口。地基长得都一样：没有它房子塌，可谁也不会指着地基说「我要盖房子是为了它」。
先看见房子哪儿会塌，再回来看地基，这时候每一根钢筋你都知道是干嘛的。
第 8 幕
整节话，就这三行
数列只有一个方向可去，所以极限不分左右
「越来越近」不算数，「要多近有多近」才算
翻译成动作：你划 ε，我交 N，从 N 之后一项不漏
回到第 1 幕那场架。现在可以五秒钟结束它了：
0.999… 这个记号，按定义就是数列 0.9, 0.99, 0.999, … 的极限。
它到 1 的距离是 10−n。你划 ε = 10−6，我报 N = 6；
你划多小我都报得出。所以那个极限就是 1，于是 0.999… = 1。
甲方一直在说「永远差一点点」——他说的是数列的每一项，那句话没错，每一项确实都小于 1。
可 0.999… 不是其中任何一项，它是这串数的极限。
这场架从头到尾争的不是数，是记号的含义。下了定义，就没得吵了。
今 天 的 任 务
八道，第 2、4、5、7 题是这一页的命门
凡是让你「用定义」的题，答案里必须出现一个具体的 N。写不出 N，就是没用定义。
- 用定义证明 lim(n→∞) 1/n = 0：给 ε = 0.01 报出一个 N，再给一般的 ε 报出 N热身。N 取多少都行，只要够用——不要求最小
- ⚠️ 1/n 到 −1 的距离也是一步步变小的，为什么不能说 1/n → −1？答案里要出现「地板」这个意思：距离减到 1 就下不去了
- 取 ε = 0.5，说明 aₙ = (−1)ⁿ 报不出 N随便挑一个 N，指出它后面还有哪一项在带子外
- ⚠️ 判断对错：「数列有无穷多项落在 (a−ε, a+ε) 内 ⟹ 数列收敛到 a」。举反例第 5 幕第 ② 个开关。先把你的判断写在纸上再看反例
- ⚠️ 「收敛 ⟹ 有界」对吗？反过来呢？举反例。再说明第五页的单调有界准则为什么两个条件都要两个条件各要一个反例，一共两个
- 用子数列说明 aₙ = cos(nπ) 发散一行话。用不上 ε
- ⚠️ 0.999… = 1 吗？要求把它写成一个数列的极限来回答，不许出现「无限接近」四个字这题就是第 1 幕那场架。先按你今天之前的想法写一遍，再按定义写一遍，两份并排贴
- ⚠️ 函数极限要分左极限右极限，数列极限为什么不分？回收第一页。答得出来说明你看的是地形不是公式
第 7 题的两份答案一定要都留着。
你今天之前的那份写的多半是「无限接近所以约等于」——那不是数学句子，是感觉的复述。
两份并排放着，你就能一眼看见这一节到底给了你什么：把感觉换成了一个必须交货的动作。
对完答案，每道错题旁只写一句：
我是没抓住「任意 ε」、把「无穷多项」当成「全部」、N 和 ε 的顺序搞反，还是纯算错？
课 本 习 题 · 1 - 2
同济第八版 P26 的八道原题，逐题给解
上面八道是我给的；下面八道是课本自己的——先在纸上做完，再点开对答案。
第 4–8 题课本标了 ＊，全是 ε-N 的正式训练，正好接第 4 幕那场对赌。
⚠️ 第 3 题是这一套的命门：四条「定义」只有两条是对的。
能看出另外两条错在哪，说明第 5 幕那四个开关真的看懂了。
第 1 题判断下列数列哪些收敛、哪些发散；收敛的写出极限：
(1) {1/2ⁿ} (2) {(−1)ⁿ/n} (3) {2 + 1/n²} (4) {(n−1)/(n+1)}
(5) {n(−1)ⁿ} (6) {(2ⁿ−1)/3ⁿ} (7) {n − 1/n} (8) {[(−1)ⁿ+1]·(n+1)/n}
收敛：(1)(2)(3)(4)(6)，极限分别是 0、0、2、1、0；发散：(5)(7)(8)。
⚠️ (2) 和 (5) 都在横跳，下场却相反——差别不在「跳不跳」，在幅度有没有被压下去。
这正是第 3 幕打掉「越来越接近」时说的那件事：要看的是「能小到什么程度」，不是「在不在变小」。
⚠️ (8) 是发散的最省事判法：找出两个子列，极限一个是 2、一个是 0 ⇒ 发散。
这就是第 6 幕那件工具（子数列同极限）的用法。
第 2 题(1) 数列的有界性是收敛的什么条件？(2) 无界数列是否一定发散？(3) 有界数列是否一定收敛？
(1) 有界性是收敛的必要不充分条件。
必要：收敛 ⇒ 有界（第 6 幕那条白拿的性质）。
不充分：有界 ⇏ 收敛，反例 (−1)ⁿ。
(2) 一定发散。这是 (1) 里「必要」那半句的逆否命题：
收敛 ⇒ 有界，两边取否定就是：无界 ⇒ 不收敛。
(3) 不一定。反例 (−1)ⁿ：被关在 [−1, 1] 里，却在两个数之间永远横跳。
(1) 必要不充分 (2) 是 (3) 否（反例 (−1)ⁿ）
⚠️ 这三小问其实是同一句话的三种问法，把它写成一行记住：
收敛 ⇒ 有界；有界 ⇏ 收敛。
这也正是「单调有界准则」为什么要两个条件——光有界不够，第 6 幕专门用 (−1)ⁿ 还过这笔账。
第 3 题下列关于「{xn} 的极限是 a」的说法，哪些对哪些错？错的给反例：
(1) ∀ε>0, ∃N, n>N 时 xn − a < ε（没有绝对值）
(2) ∀ε>0, ∃N, n>N 时有无穷多项满足 |xn − a| < ε
(3) ∀ε>0, ∃N, n>N 时 |xn − a| < cε（c 为某个正常数）
(4) ∀m∈N₊, ∃N, n>N 时 |xn − a| < 1/m
(1) 错 —— 丢了绝对值，就只管住了一边。
xn − a < ε 只说明 xn 不会比 a 高出太多，completely 不管它往下掉多远。
反例：xn = −n，a = 0。对任意 ε > 0，−n − 0 = −n < ε 恒成立，
可 {−n} 根本不收敛于 0（它跑到 −∞ 去了）。
(2) 错 —— 「无穷多项」不等于「从某项起全部」。
反例：xn = (−1)ⁿ，a = 1。偶数项全部等于 1，确实有无穷多项落在任何带子里；
可奇数项永远是 −1，数列并不收敛于 1。
(3) 对。因为 ε 是任意正数，而 c 是固定正常数。
给定任意 ε′ > 0，在原说法里取 ε = ε′/c，即得 |xn−a| < ε′。两种说法等价。
(4) 对。给定任意 ε > 0，取正整数 m > 1/ε，则 1/m < ε，
于是 |xn−a| < 1/m < ε。把「任意正数」换成「任意 1/m」不损失什么，因为 1/m 能任意小。
(1) 错 (2) 错 (3) 对 (4) 对
⚠️ 这四条正好是第 5 幕那四个开关的书面版：
(1) 动了「距离」（去掉绝对值）；(2) 动了「全部」（改成无穷多项）；
(3)(4) 只是换了 ε 的写法，没动结构，所以照样成立。
判断一条「定义」真伪的方法只有一个：看它动的是结构还是措辞。
＊第 4 题设 xn = (1/n)cos(nπ/2)。求 lim xn；并求出 N，使 n > N 时 |xn − 极限| < ε。ε = 0.001 时 N 是多少？
先看这串数长什么样（n = 1, 2, 3, …）：
0, −1/2, 0, 1/4, 0, −1/6, 0, 1/8, …——奇数项全是 0，偶数项正负交替且幅度是 1/n。
极限是 0。因为 |cos(nπ/2)| ≤ 1，所以
|xn − 0| = |cos(nπ/2)|/n ≤ 1/n
求 N：只要 1/n < ε，即 n > 1/ε。取 N = [1/ε]（取整）。
ε = 0.001 时 1/ε = 1000，取 N = 1000：n > 1000 时必有 |xn| < 0.001。
极限 0；N = [1/ε]；ε = 0.001 时 N = 1000。
⚠️ 注意我们并没有去分析 cos(nπ/2) 到底等于几——只用了「它跑不出 [−1,1]」。
找 N 时允许放大：只要放大后的式子还能被压到 ε 以下就行。
这里放成 1/n 之后，N 一眼就解出来了。
＊第 5 题按数列极限的定义证明：
(1) lim 1/n² = 0 (2) lim (3n+1)/(2n+1) = 3/2 (3) lim √(n²+a²)/n = 1 (4) lim 0.999…9 = 1
(1) |1/n² − 0| = 1/n² < ε ⇔ n > 1/√ε。取 N = [1/√ε]。
(2) 先把差算干净：
(3n+1)/(2n+1) − 3/2 = (6n+2 − 6n−3)/(2(2n+1)) = −1/(2(2n+1))
故 |差| = 1/(2(2n+1)) < 1/(4n)。要它 < ε，取 n > 1/(4ε)，即 N = [1/(4ε)]。
(3) 有理化：
√(n²+a²)/n − 1 = (√(n²+a²) − n)/n = a² / [n(√(n²+a²) + n)] ≤ a²/(2n²)
要它 < ε，取 n > |a|/√(2ε)。
(4) 记 xn = 0.99…9（n 个 9），则 1 − xn = 10−n。
要 10−n < ε，取 n > lg(1/ε)，即 N = [lg(1/ε)]。
四个 N 依次是 [1/√ε]、[1/(4ε)]、[|a|/√(2ε)]、[lg(1/ε)]。
⚠️ (4) 就是这一页开篇那场架的正式了结。
注意题目写的是 lim 0.999…9，那一串是一个数列（第 n 项有 n 个 9），
而 0.999…（无限个 9）按定义就是这个数列的极限，也就是 1。
甲方说的「每一项都小于 1」完全正确，可 0.999… 不是其中任何一项。
＊第 6 题若 lim un = a，证明 lim |un| = |a|。并举例说明：{|xn|} 有极限时 {xn} 未必有极限。
证明：关键是那条不等式（叫「三角不等式的推论」）：
| |un| − |a| | ≤ |un − a|
任给 ε > 0，由 lim un = a，存在 N 使 n > N 时 |un − a| < ε；
于是同样的 N 就有 | |un| − |a| | < ε，即 lim |un| = |a|。
反例（反向不成立）：xn = (−1)ⁿ。
|xn| ≡ 1，收敛于 1；可 {xn} 在 ±1 之间横跳，发散。
正向成立（同一个 N 直接搬过去用）；反向不成立，反例 (−1)ⁿ。
⚠️ 取绝对值会抹掉符号，也就抹掉了那次横跳。
唯一的例外是 a = 0：此时 |un| → 0 反过来能推出 un → 0（因为 |un − 0| = | |un| − 0 |）。
「什么时候反向也成立」比「反向不成立」更值得记。
＊第 7 题设 {xn} 有界，lim yn = 0，证明 lim xnyn = 0。
有界的意思是：存在 M > 0 使一切 n 都有 |xn| ≤ M。
任给 ε > 0。由 lim yn = 0，对 ε/M 这个正数存在 N，使 n > N 时
|yn| < ε/M
于是 n > N 时：|xnyn − 0| = |xn||yn| ≤ M · (ε/M) = ε。
故 lim xnyn = 0。
「有界 × 无穷小 = 无穷小」的数列版，技巧就是把 ε 提前除以 M。
⚠️ 注意 {xn} 只要求有界，不要求收敛——这正是这条性质的价值所在。
(−1)ⁿ · (1/n) 就是最典型的用法：前一个因子发散，后一个是无穷小，乘起来照样收敛于 0
（也就是第 1 题的 (2)）。
＊第 8 题若 x2k−1 → a（k→∞）且 x2k → a（k→∞），证明 xn → a。
把整个数列拆成奇、偶两支，两支都进了带子，整个数列自然就进了带子。
任给 ε > 0。
由 x2k−1 → a，存在 K₁，使 k > K₁ 时 |x2k−1 − a| < ε；
由 x2k → a，存在 K₂，使 k > K₂ 时 |x2k − a| < ε。
取 N = max{2K₁ − 1, 2K₂}。当 n > N 时，xn 不是奇数项就是偶数项，两种情形都已被上面覆盖，
故 |xn − a| < ε。
两支各给一个下标，取最大的那个换算成 N。
⚠️ 这道题是第 6 幕那条工具的反向用法。那里说：子列极限不同 ⇒ 发散（用来否定）；
这里说：奇偶两支同极限 ⇒ 收敛（用来肯定）。
⚠️ 但要小心：并不是「随便两个子列同极限就收敛」——必须是把整个数列瓜分干净的一组子列（奇+偶正好不重不漏）。
八道做完，回头看第 3 题：
四条只差几个字的「定义」，两条对两条错。而错的那两条，动的正是第 5 幕拆掉的那两根柱子——
「距离」和「全部」。
能一眼看出哪几个字是承重的，这一节就到手了。