第五部分 · 数学回望自身

无穷有多大：康托尔与对角线

上一课在群与结构里，我们一次次撞见无穷集合。可"无穷"一直被当成一个含糊的大词。这一课，康托尔将逼问一个谁都没敢认真问的问题：所有无穷都一样大吗？答案，会把无穷本身劈成等级。

不能数，那就配对

怎么比较两个集合谁大谁小？有限的时候很简单——数一数个数就行。可无穷集合根本数不完，"个数"无从谈起。康托尔的突破口，是一个连小孩都懂、却从没被用到无穷上的办法：配对。

想象一个礼堂，你想知道"观众"和"座位"哪个多。你不必分别去数。只要让大家入座：如果每个观众都坐到一个座位、每个座位都坐了一个观众，不多不少正好配上，那观众和座位就一样多——哪怕你从头到尾没数过一个数。

这种"一个对一个、不重不漏"的配对，数学叫一一对应（也叫双射）。康托尔大胆地把这把尺子伸向无穷：

反直觉的第一击：偶数和自然数一样多

用这把尺子，立刻量出一个让人不舒服的结果。自然数是 1, 2, 3, 4, …，偶数是 2, 4, 6, 8, …。直觉尖叫："偶数明明只是自然数的一半！"可按配对的尺子看：

1↔2,　2↔4,　3↔6,　…,　n↔2n,　…

每个自然数 n 都精确地配到一个偶数 2n，反过来每个偶数也都被配到，不重不漏。一一对应成立 ⇒ 偶数和自然数一样多。这就是无穷的怪脾气：整体可以和它的一部分一样大。这在有限世界里绝不可能，在无穷世界里却是常态（伽利略早就注意到了，却不敢往下走；康托尔敢）。

同样的手法可以"数清"整数（把 0, 1, −1, 2, −2, … 排成一队，挨个贴上 1, 2, 3, …），甚至能数清看起来密密麻麻的有理数。我们把"能和自然数一一对应"的无穷叫做可数无穷，给它的大小起个名字，记作 ℵ₀（读作"阿列夫零"，希伯来字母 ℵ 加下标 0）。它是最小的无穷。

对角线论证：实数漏网

现在到了全课的核心。既然偶数、整数、有理数统统是可数无穷，一个自然的猜想是：所有无穷会不会都一样大，都是 ℵ₀？康托尔证明：不。实数是一种更大的无穷。他的证明，是数学史上最优雅的论证之一——对角线论证。

为简单起见，只看 0 到 1 之间的实数（证明 [0,1] 不可数，整条 ℝ 自然更不可数）。每个这样的数都能写成无限小数 0.d₁d₂d₃…。用反证法，照搬第 03 课对付 √2 的老套路：

第一步，假设它可数。那就存在一张无穷清单，把 [0,1] 里的每一个实数都排了进去，一行一个，一个不漏：

第1行：0. d₁₁ d₁₂ d₁₃ d₁₄ …

第2行：0. d₂₁ d₂₂ d₂₃ d₂₄ …

第3行：0. d₃₁ d₃₂ d₃₃ d₃₄ …　……

第二步，造一个反叛者。康托尔顺着这张清单的对角线走——取第 1 行第 1 位、第 2 行第 2 位、第 3 行第 3 位……即各个 dₖₖ。然后造一个新数 x = 0.x₁x₂x₃…，规则只有一条：每一位都和对角线上对应那位故意不同。比如规定"如果 dₖₖ 是 5，就让 xₖ 取 4，否则取 5"。

第三步，抓矛盾。这个新数 x 在清单里吗？它不可能是第 1 行——因为它的第 1 位被故意造得和第 1 行第 1 位不同。它不可能是第 2 行——第 2 位不同。一般地，对任意 k，x 都不是第 k 行，因为它俩在第 k 位上偏偏不一样。于是 x 是一个 [0,1] 里货真价实的实数，却不在那张"包含了每一个实数"的清单上——矛盾！

下面这个小实验，让你亲眼看着这个"漏网"的新数被一位一位造出来。

结论：无穷分等级了

矛盾来自哪里？唯一的假设是"实数可以排成一张可数的清单"。所以这个假设错了：

而这一刀，正好兑现了第 03 课埋下的伏笔。当时我们说"无理数比有理数多得多"，却说不清"多"是什么意思。现在清楚了：有理数只是可数无穷 ℵ₀；实数是不可数的连续统；既然实数 = 有理数 + 无理数，而有理数只占可数的那一点点，那么不可数的"分量"全压在无理数身上——无理数才是数轴的绝对主体。你随手在数轴上戳一点，几乎必然戳到无理数。

更进一步，康托尔还证明：层级没有尽头。任何集合的"所有子集组成的集合"都严格更大，于是 ℵ₀ < 连续统 < 更大 < …，无穷的阶梯一直向上，永不封顶。无穷不是一个终点，而是一整座塔。

一个被攻击到崩溃的人

这些结论今天写在每本数学教材里，可在当时，它们像异端。康托尔的老师辈、极有权势的克罗内克勃然大怒，公开斥责这是"危险的胡说"，甚至放话"我不知道康托尔这套东西里哪里有数学"，并动用影响力封杀他的论文、阻挠他的职位。一个把无穷劈成等级的人，被指控玩弄一堆没有意义的符号。

长年的孤立与攻击拖垮了康托尔。他患上抑郁，反复进出疗养院，晚年精神崩溃，在贫病中离世。可他亲手造出的"无穷的乐园"，终究站住了脚。大数学家希尔伯特在康托尔身后郑重宣告，给这场战争盖棺定论：

常见误解

• "无穷都一样大，反正都是无限。"这正是这一课打碎的直觉。可数无穷 ℵ₀（自然数、整数、有理数）和不可数的连续统（实数）不一样大，而且差着一整个等级。"无限"不是一个数，而是一族大小不同的东西。
• "无穷 + 1，或者 2 × 无穷，肯定更大。"对可数无穷而言不变。在自然数前面塞进一个新元素，照样能重新排队配对，还是 ℵ₀；把两个可数无穷拼起来，也还是 ℵ₀（偶数+奇数=自然数就是例子）。无穷的算术不服从有限的常识——只有像对角线那样"跳出可数"，才能真正变大。
• "对角线论证是诡辩，那个新数我也能补进清单里。"补不进去。一旦你把它加进清单（哪怕加到最前面），它就成了"新的清单"，对角线论证可以对新清单再来一遍，又造出另一个漏网的数。这不是抠字眼的把戏，而是一记任何清单都躲不掉的普遍构造——它击中的是"实数可数"这个假设本身。