第三部分 · 无穷与变化

ε–δ：把"无穷小"赶出去，给极限上锁

微积分整整一百年威力盖世，地基却松动得吓人。一位主教只用一句嘲讽——"消失量的幽灵"——就戳中了要害。数学家花了又一个世纪才补好这块地基，方法是把"无限接近"翻译成一种谁都能检验的有限语言。

威力惊人，地基松动

牛顿、莱布尼茨之后的一百年，微积分横扫天下：行星轨道、炮弹弹道、潮汐、流体、振动……欧拉、拉格朗日、伯努利们用它解出一个又一个曾经无解的问题，结果无比正确。可是当有人追问"你那个 h 到底是不是 0"时，没人答得上来。

回想第 07 课算 f(x)=x² 的导数：我们写 (2xh + h²)/h = 2x + h，约掉 h（这一步要求 h≠0，否则不能做分母），然后说"h 太小可忽略"，把 h 扔掉得 2x（这一步又把 h 当成了 0）。同一个 h，前一秒非零，后一秒当零——这在逻辑上是说不通的。当年人们靠"无穷小"这个含糊概念蒙混过关：它"小到可以忽略，又没小到真是 0"。

贝克莱主教的致命一击

1734 年，爱尔兰哲学家、克洛因主教乔治·贝克莱出版小册子《分析学家》，矛头直指微积分的逻辑。他的话至今读来仍刺耳：这些既非有限量、又非零、却也不是无的"消失量的幽灵"（the ghosts of departed quantities），究竟是什么？

贝克莱并非要废掉微积分（结果太成功，废不掉），他是要戳破数学家"我们比神学家更讲逻辑"的傲慢。这一戳，戳了将近一百年没人能彻底回应。微积分像一座盖在沼泽上的宏伟宫殿——能住，但谁也不敢保证它不沉。

回应：不谈"无限小"，改谈"要多近有多近"

真正的修复来自 19 世纪的柯西，并由魏尔斯特拉斯打磨成今天的样子。他们的洞见极为深刻：问题出在"无穷小"这个词本身——干脆别用它。

极限要表达的，无非是第 06 课那句直觉："要多近有多近，但可能永远不真的等于。" 魏尔斯特拉斯把这句话翻译成一种不含任何"无限"字眼、全是有限量、谁都能逐条检验的语言。我们说"当 x 趋近 a 时，f(x) 的极限是 L"，意思精确地是：

注意这里面一个"无穷小"都没有。没有"h 既是又不是 0"的幽灵，只有两个老老实实的正数 ε 和 δ，以及它们之间一个清清楚楚的逻辑关系。"无限接近"被翻译成了"对每一个精度要求，都能兑现"。

极限是一场"挑战—应答"游戏

ε–δ 最好的理解方式，是把它看成你和我之间的一局游戏：

• 你（挑战者）说出一个精度要求 ε，比如"我要 f(x) 离 L 不超过 0.1"。你可以越叫越苛刻：0.01、0.0001、十亿分之一……
• 我（应答者）必须拿出一个 δ 窗口，承诺"只要 x 站在 a 周围这个 δ 宽的范围内，f(x) 一定落进你要的 ε 带子里"。
• 如果无论你把 ε 叫得多小，我总能找到对应的 δ 兑现承诺——那么极限就是 L，板上钉钉。

极限于是不再是一个神秘的"无限趋近的过程"，而是一个可检验的逻辑陈述：一个"对所有 ε……都存在 δ……"的承诺。下面的小实验让你当挑战者：取简单函数 f(x)=2x 在某点 a 处（此时 L=2a），你把 ε 调小，widget 立刻算出能兑现承诺的 δ 窗口给你看——你会发现，无论 ε 多小，δ 总能找到。

为什么 δ = ε/2 就够？因为 |f(x) − L| = |2x − 2a| = 2|x − a|。要让它 < ε，只需 |x − a| < ε/2。所以取 δ = ε/2，挑战必被应答——而且对任何 ε 都成立。这就完成了一次严格的极限证明：没有用到任何"无穷小"，全程都是有限的不等式。

给整个第三部分上锁

ε–δ 这把锁，扣住的不止是一个例子。第 06 课的无穷和、第 07 课的导数（h→0 那一步）、第 08 课的积分（黎曼和的极限），每一个"取极限"都可以、也必须用 ε–δ 重新表述并证明。那个含糊的 h 被彻底改写：导数不再是"让无穷小 h 消失"，而是"对任意 ε，存在 δ，使割线斜率与某数之差小于 ε"。幽灵被驱散了。

还有一块拼图来自第 03 课。ε–δ 保证了"逼近的过程"，但"逼近的目标 L 真的存在吗"？这要靠实数的完备性——实数轴没有缝隙，每一个该有极限的地方都真有一个实数在那里等着（正是当年填平 √2 缺口时建立的性质）。ε–δ 加上实数完备性，两把锁一起，微积分这座宫殿才终于从沼泽搬到了岩石上。严格化，是被贝克莱逼出来的，但它让整门学问脱胎换骨。

常见误解

• "ε–δ 只是折磨学生的形式主义。" 不。它是对一场真实逻辑危机（贝克莱的攻击）的回应，是让微积分从"碰巧正确"变成"必然正确"的关键。没有它，导数和积分至今没有站得住脚的定义。形式不是目的，无懈可击的逻辑才是。
• "无穷小是错的、是骗局。" 当年的用法确实不严格，但"无穷小"本身并非死路。20 世纪罗宾逊创立非标准分析，用严格的逻辑让无穷小堂堂正正地复活，得到和 ε–δ 完全一致的结论。所以更准确的说法是：当年缺的是严格的地基，而非这个直觉本身。
• "求极限就是把 x 代进去算。" 对连续函数恰好能代入，于是给人这个错觉。但极限的定义压根不关心 f(a) 是多少（注意定义里写的是 0 < |x−a|，把 x=a 排除在外）——它问的是"x 靠近 a 时 f 趋向哪里"。导数 (f(x+h)−f(x))/h 在 h=0 处根本没定义，却照样有极限，正是这个道理。