第10讲 严格化之后 —— 从极限到弯曲的空间

前面几讲的数学家都在跟"问题"较劲：一道题、一本书、一个没算完的数。这一讲反过来，讲的是一次"地基"的更换。

牛顿和莱布尼茨的微积分能算对数、算面积、算运动，但它自己站在什么上面？很长时间里，答案含糊得像一句托词：无穷小量。"它不等于零，但可以当零用。"这句话从 17 世纪一直用到了 19 世纪初，用得很顺手，也确实没人能说清它到底是什么意思。

然后有人开始较这个真。

柯西：把微积分从"无穷小"搬到"极限"

奥古斯丁-路易·柯西，1789 年生，1857 年去世。他是法国大革命前后那一代数学家里最系统的一个，一生写了七百多种论著，其中 1821 年的《分析教程》（Cours d'analyse）改变了这门课的名字。

这本书做的事情，用今天的话说就是把微积分的全部基础词汇重新定义了一遍。

在柯西之前，说"函数 $f(x)$ 在 $x_0$ 处连续"，靠的是直觉——"笔不离纸就能画出来"。柯西给了它一个不含绘图动作的定义：当 $x$ 趋近 $x_0$ 时，$f(x)$ 趋近 $f(x_0)$。同理，导数、积分、级数收敛，全部改成用极限陈述。

这不是用更难的词换掉简单的词，这是把一门口语变成了一门能写证明的语言。今天课本里那些 $\varepsilon$-$N$、$\varepsilon$-$\delta$ 的极限定义，"柯西序列""柯西收敛准则"这些名字，都是这条线的直接产物。

你课本上写的那个极限定义：

$$\forall \varepsilon>0,\ \exists N,\ \text{当}\ n>N\ \text{时},\ |a_n-A|<\varepsilon \qquad (1)$$

它就是柯西这条线的成品。区别只在：最后给它封顶的不是柯西本人。

严格化自己也有漏洞：点点连续，不一定一致连续

这一节是这四讲里最值得在课堂上慢下来讲的一段，因为它讲的是"补别人的漏洞"这件事本身。

柯西的定义仍然是口语的。他说"$x$ 趋近 $x_0$ 时 $f(x)$ 趋近 $f(x_0)$"，可这个"趋近"没有把"多接近才算够近"写清楚。更要紧的是，他没有区分两种连续。

第一种，课本上叫连续：每个点各自连续。对每个点 $x_0$，你都能找到那个"够近"的范围，让函数值落进你要求的误差里。问题是这个"够近"可以随点变化，每一点有自己的尺度。

第二种，后来叫一致连续：同一个尺度，对区间上所有的点同时有效。不能你在这点用 $0.001$ 的容忍度、在那点就得用 $0.000001$。

这两种连续不是一回事。有一个经典反例，形状像梳子的函数，齿越往右边越密、越高，函数在区间上每一点都连续，可没有任何一个统一的容忍度能同时罩住全部的点。它点点连续，但不一致连续。

这个区分不是谁在挑字眼。"连续函数在闭区间上能取到最大值、一致连续"这类定理，靠的正是第二种连续。 少了它，一大批看起来天经地义的结论其实没有证明。

把地基真正夯死的是下两代人。外尔斯特拉斯（1815—1897）把 $\varepsilon$-$\delta$ 语言定型，把"极限"写成了今天课本上那个可以逐字核对的形式。海涅（1821—1881）则从一致连续的角度补齐了闭区间上连续函数的性质。海涅还和另外两位数学家各自独立地把"一致收敛"从"点点收敛"里分了出来，级数求和能不能换顺序、能不能逐项积分，全靠这个区分。

所以准确的讲法是：柯西给了现代分析一套词汇，外尔斯特拉斯给了它语法，海涅补上了第一批关键定理。

这件事对学生有个很直接的用处：课本上的极限定义不是柯西的原文，是这条线一百年后的成品。写成定义的那个时刻，比发明微积分晚了一百七十年。

黎曼：把空间从平直里放出来

波恩哈德·黎曼，1826 年生，1866 年去世，只活了 39 岁，其中一半时间在贫困和病中度过。

1854 年，他在哥廷根大学做就职演说，题目是《论几何基础之假设》。这篇演说做的事，今天听来仍然过分大胆：它问，空间为什么非得是欧几里得那样？

从欧几里得到黎曼的两千年里，几何学一直在处理同一件事的变体——第五公设"不顺眼"。有人想证明它，有人想换掉它，最后发现可以建立另一套自洽的几何，在那里平行线不止一条，或者一条也没有。

黎曼把这步走完了，而且走得更远。他提出：几何可以不从"空间"出发，而从距离怎么量出发。只要一个空间上有了测量距离的规矩（今天叫度量），曲率、夹角、体积这些概念都能内蕴地定出来——一个生活在曲面上的蚂蚁，不需要"外面"的三维空间，也能测出自己脚下的世界是弯的。这就是内蕴几何，也是 $n$ 维流形的起点。

你课本上的定积分记号 $\displaystyle\int_a^b$（黎曼和式的极限）用的就是这条路：区间划分、取点、求和、取极限。后人管它叫黎曼积分。

而黎曼思想路线最惊人的一次兑现发生在半个世纪后。爱因斯坦建立广义相对论时，需要的语言——流形、曲率、张量——正是从黎曼这条线上长出来的。牛顿的引力被重新写成了时空的弯曲。 黎曼 1854 年谈"空间的假设"时，跟物理学没有关系；六十年后，这套语言改写了物理学对引力的描述。

这是"抽象后来真的有用"最强的一个证据。黎曼不是为了应用才那么做的，他 1859 年那篇关于素数分布的论文里随手写下的第 8 个问题——今天叫黎曼猜想——至今没有人解决。

庞加莱：确定性的方程里，藏着不可预测

亨利·庞加莱，1854 年生，1912 年去世。他是那个世纪最后几个"什么都懂"的数学家之一：微分方程、拓扑学、天体力学、数论、数学物理，他都做了奠基性的工作。

他的故事适合用一句话开头：牛顿力学给了世界一个承诺——知道现在的状态，就能算出以后的一切。 行星的位置可以预测，潮汐可以预测，炮弹落点可以预测。这个承诺成立了两百年。

庞加莱研究的是三体问题：三个天体在引力作用下互相绕着运动，轨道怎么走？这个问题没有解析解，只能近似。1880 年代他试图用级数去逼近，结果发现级数不收敛。正常反应是"我的方法不行"，他的反应是"可能这个问题本身就不行"。

他确实发现了点什么。同一组确定的方程，初值只差一丝，轨道可以走成完全不同的样子。 方程是确定的，未来却是算不出来的——不是因为算力不够，是因为任何有限的测量精度都会被系统本身放大到失控。

这就是混沌的起点。他后来还发展了微分方程的定性理论：不解出公式，也能判断解的长期行为。这和拓扑学一起，变成 20 世纪数学的两大支柱之一。

课本里"极限存在则可导、可导则连续"这类推理训练的是确定性世界里的技巧；而庞加莱告诉你，有些确定性系统里，长期预测在原则上是做不到的。 天气预报超过一定天数就不准，根源就在这里，不在仪器。

冯诺依曼：把数学变成机器能执行的东西

约翰·冯诺依曼，190 1903 年生，1957 年去世，布达佩斯人。前面三位都是"纯数学的奠基人"这一个类型，他不太一样：他一半是数学家，一半是工程师。

1903 年说出生的年份就够了，剩下的全是速度：他参与曼哈顿计划，跟摩根斯坦合著《博弈论与经济行为》（1944），提出 minimax 定理，为整个现代博弈论奠基；他给出了 ENIAC 后继机 EDVAC 的存储程序架构——把程序和数据放在同一个存储器里，这个设计就是今天所有计算机的祖先。他还研究过细胞自动机和自复制机器的可能性。

他在这四讲里的位置跟前三个人都不同。柯西改的是微积分的语言，黎曼改的是"空间"这个词的含义，庞加莱改的是"确定性"的边界；冯诺依曼改的是"数学"由谁来执行。

从欧几里得到希尔伯特，数学一直被认为是一套写给人读、由人检验的推理。冯诺依曼这一代人把它变成了一套可以被机器逐步执行的东西。你手机里的每一次计算、每一个搜索、每一次 AI 推理，底下都是这个东西。

图示：四次转向，一条线

归拢：一条规律

四个人的故事放在一起，规律比前几讲更硬。

每一次地基更换，都不是因为旧的错了，是因为旧的不够用了。 柯西之前的微积分算得出正确结果，只是没法说清为什么正确。庞加莱之前的力学预测得了行星，只是预测不了三体。旧工具在它的适用范围内是对的，问题是没人知道边界在哪里，而外边已经有人在问了。

边界往往在更严格的要求下才露出来。 点点连续和一致连续的区分，不是因为"连续"这个概念日常不够用，是因为有人在追问"定理到底需要什么条件"。你听起来像在抠字眼的那一步，常常就是新数学出生的那一刻。

抽象的回报期可能比人的寿命长。 黎曼 1854 年谈流形时没有应用场景，1915 年爱因斯坦用上了。中间隔了六十年，黎曼本人一天都没等到。

讲给学生听时，讲什么

第一，讲极限定义时，务必讲它的来历。 学生背 $\varepsilon$-$N$ 定义的时候，普遍觉得这是一堆故意刁难人的符号。告诉他们：这套符号是 1821 年到 1870 年间几个数学家一点点抠出来的，比微积分晚一百多年，是为了堵一个真实的漏洞。定义不是刁难，是补丁。

第二，讲连续时，把"点点"和"一致"分开演示。 不用写严格的反例，画图就够了：一个齿越来越密的梳子形函数，问学生"你能不能用同一个尺子量完全区间"。让他们自己撞上"每个点都行、整体不行"的坎，比直接给定理有用。

第三，讲黎曼时，用"蚂蚁"打比方。 一只二维蚂蚁在球面上走路，不用知道三维空间，也能测出脚下的世界是弯的（三角形内角和大于 180 度）。这个比方能一次讲清"内蕴"是什么，也是黎曼几何最朴素的样子。

第四，讲庞加莱时，回到天气预报。 "方程确定但算不准"这件事对高中生有天然的吸引力，也天然能纠偏一种错觉——学了更多数学就能算出更远的未来。告诉他为什么不能，比告诉他能算什么更有价值。

一句话总结

微积分建立在极限上是柯西的功劳，可这份严格化自己也有漏洞；数学从来不是一次建成的，它是一代代人不满意上一代人的地基，然后重新夯一遍。

附：本文涉及的史实出处

• 柯西 1821 年《分析教程》（Cours d'analyse）；"柯西序列""柯西收敛准则"均出自该书体系
• 点点连续/一致连续的区分与外尔斯特拉斯 $\varepsilon$-$\delta$ 语言的定型：19 世纪后期数学分析标准化的通行叙述；海涅关于闭区间上连续函数一致连续的工作，以及海涅—康托尔—斯托克斯关于一致收敛与点点收敛的区分
• 黎曼 1854 年就职演说《论几何基础之假设》（Über die Hypothesen, welche der Geometrie zu Grunde liegen）；黎曼积分；1859 年《论小于给定数值的素数个数》中第 8 题（黎曼猜想）
• 庞加莱三体问题研究与微分方程定性理论：1880 年代起，见《天体力学新方法》（Les méthodes nouvelles de la mécanique céleste，1892—1899）
• 冯诺依曼与摩根斯坦《博弈论与经济行为》（1944）；EDVAC 报告（First Draft of a Report on the EDVAC，1945）的存储程序构想