← 回到目录
第 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 和 ε 的顺序搞反，还是纯算错？