实数起源探秘：四百年数学追问史

单丁鹤纷

四百年来的不懈追问：实数到底从哪儿来？



你有没有想过一个问题——你手机里的计算器，屏幕上那个“1.41421356…”，它到底是个什么东西？你说它是根号2，可根号2又是啥？它不是分数，也不是整数，但它就在那儿，清清楚楚地躺在数轴上。可如果让你给“实数”下个定义，你能说清楚吗？
别觉得这是数学家的钻牛角尖。几百年前，那些最聪明的大脑也在为这事儿吵得不可开交。有人觉得实数就是长度，有人觉得它是极限，有人拿有理数序列去“拼”它，还有人干脆说：别管它是什么，只要它不导致矛盾，就算它存在。
这事儿有意思的地方在于：我们天天用实数，可能一辈子都意识不到它到底有多“怪”。今天咱们就聊聊，这帮数学家是怎么跟实数死磕的。
斯蒂文开了个头，但没人太当回事
1585年，斯蒂文（Simon Stevin）提出用十进小数来表示数。这事儿在今天看来稀松平常，可在当时算个不小的突破。然而，欧几里得（Euclid）那套“数就是量”的老观念，已经统治了将近两千年，哪那么容易动摇？
斯蒂文的十进小数，说白了就是把一个数写成有限位小数。比如0.5、0.125之类。可问题来了：你拿有限位小数，永远写不出√2。你只能写1.414，或者1.4142，但永远写不到头。所以斯蒂文那会儿，人们还是只把“有限小数”当正经数，无限的东西？太危险，还是躲远点好。

沃利斯：可以逼近，但别问极限是什么
1684年，沃利斯（John Wallis）出版了《代数论》。这人倒是比斯蒂文往前走了一步。他知道有些比例关系，比如圆的周长跟直径之比——也就是π——没法用有限小数精确表达。那怎么办？他说：没关系，我们可以“逼近”。你想多近就多近，超过任何你能指定的误差。
他这话说得挺实在。但你看仔细了：他说的是“逼近”，不是“等于”。对沃利斯来说，那些不可公度的量（比如√2）本身是存在的，但你不能用通常的记法把它写出来。你可以用连分数，可以用逐次开平方，一步一步凑过去，越凑越近——可极限是什么？他没说。不是他不想说，是那时候压根没准备好说。
说起来，沃利斯其实已经踩到了无穷级数的门槛上。可惜他没有证明级数收敛的工具，就像手里有把没开刃的刀，切不动肉。

欧拉：量就是能连续变化的东西
到了1771年，欧拉（Leonhard Euler）在《代数完全入门》里写了一句很经典的话：数学是“量的科学”。什么叫量？就是能连续增加或减少的东西。长度、面积、体积、质量、速度、时间，这些都是量的例子。它们都能用实数来度量。
欧拉是谁？十八世纪数学界的天花板。他这么说，基本上就等于给实数盖了个章：别纠结了，实数就是度量用的。
可讽刺的是，恰恰是欧拉自己的数学工作，把“量”这个概念给抽象化了。他开始用变量 x，这个 x 不一定非得是实数——它可以是复数，可以是别的什么东西。符号数学一发展，原来的“量”就兜不住了。你总不能说复数也是“能连续变化的东西”吧？那虚数怎么连续变化？
所以到了十九世纪初，人们不得不重新坐下来，认认真真地问一句：实数到底是个什么东西？

柯西和波尔查诺：摸到了门，但没推开
柯西（Augustin-Louis Cauchy）在1821年的《分析教程》里说了这么一句话：实数是某个有理数序列的极限。
这话听着挺像定义。可你再品品：他说“有理数序列的极限”——那极限本身是什么？你拿什么去定义极限？柯西其实默认实数已经存在了，他只是说它们有这么一个性质。就像你说“人是会笑的动物”，可如果你连“人”都没定义，光说“会笑”有什么用？
格拉比纳在一篇论文里点出了问题的要害：柯西隐含地假设了好几种实数完备性的形式，比如有界单调序列收敛，比如柯西准则是级数收敛的充分条件。但他自己并没有意识到，这些假设本身就是在“偷偷使用”实数的完备性。换句话说，他在用实数定义实数，转圈儿呢。
波尔查诺（Bernard Bolzano）比他走得远一点。1817年，波尔查诺证明了有界柯西列存在最小上界。后来他甚至搞出了一套自己的实数理论，用收敛的有理数序列来定义实数。可惜啊，这套东西没发表。等他死后人们翻出来一看，发现里面有错误——但更让人意外的是，波尔查诺自己已经发现了错误，还写了修正笔记。如果他当时发表了，实数理论的历史可能会改写。
可历史没有如果。他的工作躺在抽屉里，谁也没影响。

从柯西列到“虚构的极限”
柯西之后，数学家们慢慢意识到一个问题：你想用有理数序列来定义实数，首先得知道这个序列“应该”收敛到什么东西。可你不能先假设那个东西存在，不然就是循环定义。
怎么办呢？柯西准则给出了一个办法：如果一个序列的各项之间随着项数增加而无限接近（这就是今天的“柯西列”），那么它就应该收敛——哪怕我们不知道它收敛到哪个具体的数。
这话听起来像废话？其实不是。它等于在说：我们不需要预先知道极限是什么，只要序列自己“看起来像在收敛”，我们就承认它有一个极限。这个极限，就是实数。
梅雷（Charles Méray）在1869年把这层意思挑明了。他管这个极限叫“虚构的极限”——有意思吧？他直接把实数看作有理数加上这些“虚构”的玩意儿。三年后，海涅（Eduard Heine）在《函数论基础》里独立给出了差不多的想法，用柯西列的等价类来定义实数。
海涅的办法是这样的：把所有有理数的柯西列拿出来。两个序列an和bn，如果它们的差序列an-bn收敛到0，就认为它们代表同一个实数。然后在这些等价类上定义加减乘除和大小关系。除了除法要小心——极限非零的序列里可能有个别项是0，但没关系，跳过它们就行。
你可能会问：这不还是用有理数在“搭积木”吗？没错。但关键是，积木搭出来的东西，已经超出了有理数本身。那些“虚构的极限”里，有些正好对应有理数，有些则对应无理数。√2就是这样被“搭”出来的。

康托尔：我把实数造出来了
几乎同时，康托尔（Georg Cantor）也在1872年发表了自己的版本。他的办法跟海涅差不多，用的也是柯西列。他管这个叫“确定极限”。康托尔比海涅更进一步的是，他明确意识到：如果你想让实数和直线上的点一一对应，光靠构造还不够，还得加一条公理。
他是这么说的：直线上一个点到原点的距离，如果跟单位长度成有理数关系，那就在有理数域里。如果不是——比如你通过尺规作图得到了一个点——那它总可以用一个有理数序列来逼近。随着 n 增大，这些点越来越接近那个目标点。他说，为了把这种对应关系说清楚，必须添加一条公理：每一个由这种“确定极限”定义出来的数，在直线上都有一个确定的点与之对应。
这等于在说：我造的这些数，跟几何直觉是一致的。你要是不同意，那就等于不承认直线是连续的。

戴德金分割：另一条路
戴德金（Richard Dedekind）的故事挺有意思。他早在1858年就想出了自己的办法，但一直没发表。后来听说海涅和康托尔要发文章了，才赶紧在1872年也把自己的东西拿了出来。
他的想法跟柯西列完全不同。他把所有有理数分成两个集合 A1 和 A2，使得 A1 里的每个数都小于 A2 里的每个数。这叫一个“分割”。如果 A1 有最大数，或者 A2 有最小数，那这个分割对应的就是一个有理数。但如果两边都没有“边界”上的那个数——比如左边是所有平方小于2的有理数，右边是所有平方大于2的有理数——那这个分割对应的就不是有理数。
这时候怎么办？戴德金说：我们就创造一个新数，一个无理数，让它正好对应这个分割。
你看出来了吗？戴德金不是在“逼近”无理数，而是直接用有理数的“缺口”来定义无理数。他把缺口本身当作数。
这两种办法——柯西列和戴德金分割——在今天已经成为实数理论的两种标准定义。各有各的味道。柯西列像是从“过程”入手，戴德金像是从“位置”入手。但殊途同归。

汉克尔、弗雷格、希尔伯特：吵起来了
汉克尔（Hermann Hankel）在1867年说了一段很有冲击力的话。他说：数不再是独立于我们思考之外的某种实体。对数学家来说，唯一不可能的就是逻辑矛盾。换句话说，只要不自相矛盾，你就有权利定义一个数。
这话在当时相当激进。它等于在说：实数的定义不是“发现”的，而是“约定”的。你可以造数，只要规则自洽。
弗雷格（Gottlob Frege）不干了。他是个逻辑主义者，觉得数必须有纯粹逻辑的基础。他觉得汉克尔、托梅这帮人搞的“形式算术”太随意了——你们怎么证明这些构造不会导致矛盾？他在1903年讽刺道：这项任务从来没有人认真做过，更别说解决了。
可弗雷格自己也没完成。他正准备构建自己的逻辑体系时，听说了罗素悖论——整个地基都塌了。
希尔伯特（David Hilbert）走了另一条极端路线。1900年，他用公理体系为实数奠定了逻辑基石——域公理、序公理与完备性公理，将实数封存在一个自洽的形式框架中。他直接把实数定义为满足十八条公理的一个系统。其中十六条定义了一个有序域，外加阿基米德公理和完备性公理。完备性是什么意思？就是说你再也不能往这个系统里加新东西还能保持所有公理成立。
希尔伯特的办法跟之前所有做法都不同。以前的人都是从已知的有理数出发去“造”实数，希尔伯特不管——他直接列出实数应该遵守的规则，然后说：满足这些规则的东西，就叫实数。
可问题来了：你怎么知道存在这样一个系统？希尔伯特没证明。而且他同样面临弗雷格的质疑：这十八条公理内部会不会有矛盾？没人知道。

20世纪，实数成为唯一完备的全序域
希尔伯特的公理画出了一张地图，但地图不等于土地。进入20世纪，数学家们换了个角度：不再问“实数怎么造”，而是问“实数到底是什么样的结构”。
他们发现，实数可以用一句话说清楚：它是唯一一个连通、可分、完备的全序域。每个词都有重量——“连通”意味着数轴没有缝隙，“可分”意味着有理数密密麻麻挤在里面，“完备”意味着没有缺漏。更重要的是“唯一”：任何满足这些性质的东西，本质上都是实数。这不叫构造，这叫刻画。用范畴论的黑话，实数由它的“万有性质”决定——你不需要问它从哪儿来，只需要问它能做什么。
同一时期，布尔巴基学派用滤子与完备化重新走完了从有理数到实数的“极限闭包”。他们做得更抽象，也更干净：把有理数集扔进一个更大的拓扑空间，然后取所有“柯西滤子”的极限。这套语言后来被证明极其好用，不仅能造实数，还能造p进数、完备化任意度量空间。
但也有人嫌这条路太“标准”。罗宾逊（Abraham Robinson）在20世纪60年代大胆干了一件逆天的事：他把那个被柯西、康托尔们费尽心思驱逐出去的“无穷小”，重新合法地请了回来。他建立了非标准分析，将实数扩张为超实数。在超实数里，有比所有正实数都小却大于零的数，也有无穷大的数。尽管那是另一个宇宙，但罗宾逊证明了：只要你不乱用，超实数不会带来矛盾。原来，实数的疆域还可以被撑大。

21世纪，实数化身高阶归纳类型与可计算序列
进入21世纪，数学家的研究方向更野。
在同伦类型论（Homotopy Type Theory）里，实数被构造为一种高阶归纳类型。别被名字吓住——大意是：两个实数相等，不再只是“是或否”，而是可以有层次、有路径的。同一个数，可能有多种不同的方式证明它等于自己。这听起来像玄学，但在计算机辅助证明和数学基础里，它正在变成扎扎实实的技术。你可以在电脑里构造实数，并且让机器帮你检查每一步推理。
另一边，可计算分析走了一条更务实的路：一个实数，如果永远无法被计算机逼近到任意精度，那它对我们来说真的“存在”吗？于是，实数被重新定义为可计算序列的极限。只有那些能被图灵机一步步逼近的数，才算数。这样一来，大部分“传统实数”——比如那些随机生成的、没有任何规律的无理数——就被踢了出去。数学家们甚至开始怀疑：实数集真的只有一种吗？连续统假设的独立性，加上集合论中多元宇宙的观点，让“实数从哪儿来”慢慢变成了“实数可以从哪儿来”。
四百年的探寻并未终结。实数的定义没有在20世纪或21世纪画上句号——它依然在每一次数学革命中重新诞生，有时变得更抽象，有时变得更具体，有时被撑大，有时又被收紧。

尾声：实数还是那个实数吗？
现在，实数的概念已经完全变了样。它不再是古时候那个与测量、长度直接绑定的“量”，而是一个抽象的、通过极限、分割或公理体系构造出来的逻辑对象。到了21世纪，这一认识又进一步深化：实数被视作可计算分析中的构造对象，甚至是在连续统假设与拓扑模型下的多元诠释。
你可能会觉得：至于吗？我小学就知道实数就是数轴上的点。
可你想过没有：数轴本身又是什么？它就是实数的几何化身。你把实数定义清楚了，数轴就有了依据。反过来，如果你拿数轴来定义实数，那就循环了。
这帮数学家折腾了几百年，从沃利斯的“逼近”到康托尔的“柯西列”，从戴德金的“分割”到希尔伯特的“公理”，说到底是在做一件事：给一个我们从小就用、但从来没认真想过的东西，找一个说得过去的“出生证明”。
可笑吗？有点。可敬吗？也真是可敬。
你手机屏幕上那个1.41421356…，它不是终点，它是一段无穷旅程的标记。而这段旅程的每一步，都踩在那些最聪明的大脑上。他们吵过架、走过弯路、发表过错误的结果、也把正确的想法锁在抽屉里。但最终，他们把实数从“说不清”变成了“可以说清楚”——尽管这个“清楚”，依然绕不开一点点“虚构”。
也许，这才是实数最迷人的地方：它既是测量这个世界最实在的工具，又是人类理性最精巧的构造物。