康托尔对角线论证——无穷之间也有“大小”之分？

大家好，我是 Senko。本文将解读“康托尔对角线论证”。

无穷就是无穷，没有更多更少之说——你可能这么以为，但 19 世纪的德国数学家格奥尔格·康托尔却证明了无穷之间也存在大小关系。而且他的证明方法优雅到让人一旦理解就忍不住拍案叫绝。

无穷都一样大吗？

首先，自然数（1、2、3、4……）有无穷多个。偶数（2、4、6、8……）也有无穷多个。

直觉上似乎自然数比偶数多，但其实这两者是“一样大的无穷”。因为只要让自然数 n 对应偶数 2n，就能建立不多不少的一一对应。

1↔2、2↔4、3↔6、4↔8……每个自然数都分到一个偶数，既没有剩余也没有重复。

那么，“实数”（包括小数在内的所有数，比如 0.1415926…… 这样的数）又如何？实数也有无穷多个。自然数和实数是同样大小的无穷吗？

康托尔用一种称为对角线论证的手法证明了：实数比自然数“严格地多”。

证明采用归谬法：先假设“0 到 1 之间的所有实数都能与自然数一一对应”，再推出矛盾。

假设我们把 0 到 1 之间的所有实数排成了一张清单：

现在，关注“对角线上的数字”：第 1 个实数的第 1 位、第 2 个实数的第 2 位、第 3 个实数的第 3 位……依次挑出来，得到数列 5、3、0、2、5……（上面加粗的部分）。

接着，把对角线上的每个数字都换成别的数字，造出一个新的小数。比如按“每位加 1（9 变 0）”的规则，得到 6、4、1、3、6……，即新实数 0.64136……

这个新实数不在清单的任何位置上。

也就是说，清单明明应该收录了所有实数，却造出了一个不在清单上的实数。这与“所有实数都被列入清单”的假设矛盾。

因此，给 0 到 1 之间的实数用自然数编号是不可能的——实数比自然数“多”。

康托尔的发现震撼世人：无穷不止一种，无穷之间也有大小之别。

自然数这类“数得过来的无穷”称为“可数无穷（阿列夫零）”，实数这类“数不过来的无穷”称为“不可数无穷”。

更惊人的是，这个层级没有尽头。存在比实数集合更大的无穷，其上还有更大的无穷……无穷的级别无穷延续。

康托尔的对角线论证发表于 1891 年，在当时的数学界遭到了猛烈批判。

尤其是极具影响力的数学家利奥波德·克罗内克，斥责康托尔是“腐蚀青年的人”。克罗内克的立场是“上帝创造了自然数，其余都是人的工作”，无法接受“无穷有大小”这种想法。

然而，康托尔的证明在逻辑上无懈可击，随着时间推移逐渐被数学界接纳。今天，对角线论证已被公认为数学中最优美的证明之一。

这套证明手法的价值，不只在于显示了实数的不可数。同一型的论证，催生了20世纪好几条重要的定理。