伽利略悖论——自然数和平方数一样多？

大家好，我是 Senko。 本文将解读“伽利略悖论”。

1、2、3、4、5……无限延续的自然数。从中只挑出 1、4、9、16、25……这些平方数（某数的二次方）。平方数明明应该“更少”，却可以说两者的个数一样多。

最早明确指出这个怪事的，正是那位伽利略·伽利雷。无穷这个概念如何背叛我们的常识——400 年前的观察至今仍引人深思。

悖论的内容

这个悖论出现在伽利略 1638 年出版的著作《两门新科学的对话》中，以萨尔维亚蒂与辛普利丘对话的形式，探讨无穷的奇妙。

把自然数依次排开：1、2、3、4、5、6、7、8、9、10…… 把平方数排开：1、4、9、16、25、36、49、64、81、100……

10 以内的自然数中平方数只有 3 个（1、4、9）；100 以内 10 个，1000 以内 31 个，10000 以内 100 个。数字越大，平方数的“密度”越低。

这个趋势永无止境：n 以内的自然数有 n 个，而 n 以内的平方数只有约 √n 个。100 万以内，自然数 100 万个，平方数只有 1000 个，占比 0.1%。平方数相对自然数越来越“稀疏”。

据此，我们很想下结论：“平方数比自然数少。”

一一对应带来的冲击

可另一方面，让每个自然数 n 对应平方数 n²，就能建立毫无遗漏的对应。

每个自然数都有对应的平方数，每个平方数也都有对应的自然数。一一对应，不多不少：既没有多余的自然数，也没有落单的平方数。

能建立一一对应，理应意味着“个数一样多”。

“按密度看明显更少，按一一对应看却一样多”——这就是悖论。

伽利略的结论——对无穷的谨慎

伽利略为这个悖论苦恼良久，最终的结论是：“相等”“更大”“更小”这些概念只适用于有限的量。

在无穷的场合，这些概念失去意义，因此不应比较无穷量。借伽利略的原话：“对无穷量而言，大于、小于、等于这些属性都不适用。”

在当时，这是极为明智的结论。但它同时也是一种放弃——“无穷超出人类的理解”。两百多年后，一位打破这份放弃的数学家出现了。

康托尔的革命

19 世纪德国数学家格奥尔格·康托尔正面迎击了伽利略回避的问题。

康托尔做出一个大胆的决定：用“能否建立一一对应”来定义集合的“大小”（基数）。能一一对应的两个集合，就定义为一样大（基数相同）。

按这个定义，自然数和平方数能一一对应，所以是“一样大的无穷”。康托尔把这个大小命名为“可数无穷”（阿列夫零，ℵ₀）。

伽利略回避的“部分与整体一样大”现象，康托尔没有当成矛盾，而是接受为无穷的本质特征。

悖论变成了无穷的定义

更妙的是，德国数学家理查德·戴德金反过来利用伽利略悖论，给出定义：“能与自身某个真子集一一对应的集合，就是无穷集合。”

也就是说，“部分与整体一样大”不是无穷的 bug，而是它的 feature。有限世界里部分必定小于整体，无穷世界里这条常识不成立——而这，恰恰是让无穷成其为无穷的本质性质。

按这个定义，伽利略悖论就不再是悖论了：“部分与整体一样大”只不过是“这个集合是无穷的”的证明而已。

偶数、素数、有理数——同样“大”的无穷们

伽利略悖论不限于平方数。用同样的手法可以证明：自然数与偶数、自然数与奇数、自然数与素数都能一一对应。

康托尔还进一步证明了自然数与有理数（全体分数）之间也能一一对应。直觉上，自然数与自然数之间填满了无穷多的有理数（1 和 2 之间挤着 1/2、1/3、1/4……），整体上却一样大。

另一方面，康托尔又用对角线论证证明了实数是比自然数“严格更大的无穷”。无穷也分大小——这一震撼发现，让始于伽利略悖论的无穷探索，最终孕育出数学的新分支——集合论。

数学无穷类的相关悖论

以下是与伽利略悖论同样涉及无穷集合反直觉性质的相关悖论。

结语

本文解读了“伽利略悖论”。

这个让 400 年前的伽利略困惑不已的问题告诉我们：在有限世界里养成的常识，到了无穷就不管用了。伽利略谨慎地绕开了无穷，而康托尔的正面迎击为数学开辟了新的地平线。

“部分与整体一样大”这个事实，哪怕理解了一次，每次再想仍觉得不可思议。

想返回悖论列表的读者请点击下方链接。

我们下一篇文章见。

世界经典悖论大全——哲学、数学、物理、经济学著名悖论完全解读zh.senkohome.com/paradox-list/