数学世界中，无穷是无尽的数量/状态，但它们可不止一种，并且大小也并不总是“相等的”。
你或许会问，无穷怎么还能比大小呢？既然都数不完，难道“无穷”不是一样的吗？
事实上，有些无穷比另一些无穷“更大”。这种看似荒谬却深刻的现象，正是德国数学家数学家康托尔（Georg Cantor）在19世纪末揭示出来的。他发现，即使某些集合都为“无穷无尽”，但规模仍然可以不同。无穷也有大小之分！这一发现彻底改变了人类对无穷的理解。
今天，我们来借助康托尔的惊人发现，再来看下这样一个特别有意思的问题：为什么无理数比有理数多得多？两者的“无穷”到底有什么不同？
有理数：无穷但“可数”
首先，我们需要理解何为有理数。有理数是指那些可以写成两个整数之比的数，比如 1/2、-3/4、5 等。它们包括所有的整数、有限小数（比如 0.5）和无限循环小数（比如 0.333…）。
尽管有理数的数量是无穷的，但康托尔证明了它们是“可数”的。这个“可数”并不是说我们真的能把所有有理数数完，而是说有理数能够排列成一个序列，比如这样：
x₁ = 1, x₂ = -1, x₃ = 1/2, x₄ = -1/2, x₅ = 1/3, x₆ = -1/3, …
康托尔通过一种“对角线法”对有理数进行排列，证明了可以用自然数来“标号”每一个有理数。具体请看【遇见数学】之前发布的《当无限遇见无限，分数真的比整数多吗？》一文。
这样就可以依次列出所有有理数。尽管这个过程需要无限长的时间，但说明了有理数的集合是“可数”的。
换句话说，有理数和自然数一样多，尽管它们都是无穷的。
无理数：“不可数”的无穷
再来看无理数。无理数是那些不能表示成分数的数，比如 √2、π、e 等。这些数都以无限不循环小数的形式存在，像是 1.414213562…、3.141592653…。
康托尔当时令人震惊的发现是：无理数的无穷比有理数的无穷更大。
这听起来或许令人费解，但他所给出一种构造证明极为巧妙且令人惊叹，让我们来一探究竟。
假设只考虑 (0,1) 区间内的实数——也就是无理数和有理数的合集。现在面临的问题是：能不能用列出一个序列，把 (0,1) 区间内的所有实数都列出来？如果可以做到，那这些实数就是“可数”的；如果行不通，那它们就是“不可数”的。
为了证明实数不可数，康托尔采用了一个反证法。先假设：所有的 (0,1) 区间内的实数可以被列成一个清单。比如，假设清单长这样：
- 第 1 个数：x₁ = 0.123456…
- 第 2 个数：x₂ = 0.987654…
- 第 3 个数：x₃ = 0.543210…
- 第 4 个数：x₄ = 0.111111…
清单中列出了所有的实数。每个数的小数部分是无限的，而且我们假定这个清单已经包含了 (0,1) 区间的所有实数，没有任何遗漏。
构造一个新的数
康托尔的聪明之处在于，用了一个优雅的证明方法告诉我们：这是不可能的。他总能构造出一个新的数，并且这个数一定不在这个清单当中。
我们一步一步来看看他是如何构造这个数的：
关注清单中每个数的小数部分
假设清单中的数是这样的（为了简单起见，我们只列小数部分）：
- x₁ = 0.123456… （第 1 位小数是 1）
- x₂ = 0.987654… （第 2 位小数是 8）
- x₃ = 0.543210… （第 3 位小数是 3）
- x₄ = 0.111111… （第 4 位小数是 1）
我们可以画出一个“对角线”，把每个数的小数第 i 位连起来。这些数字是：
- 1 （来自 x₁ 的第 1 位）
- 8 （来自 x₂ 的第 2 位）
- 3 （来自 x₃ 的第 3 位）
- 1 （来自 x₄ 的第 4 位）
利用对角线生成一个新的
现在，我们构造一个新的数 y，它的规则是这样的：
- 如果对角线上的数字是 1，那么 y 的这一位是 2；
- 如果对角线上的数字不是 1，那么 y 的这一位是 1。
按照这个规则，就可以构造出一个数 y：
- y 的第 1 位是 2，因为 x₁ 的第 1 位是 1；
- y 的第 2 位是 1，因为 x₂ 的第 2 位是 8；
- y 的第 3 位是 1，因为 x₃ 的第 3 位是 3；
- y 的第 4 位是 2，因为 x₄ 的第 4 位是 1；
所以，构造出的新数可能是： y = 0.2112…
考虑一下，现在这个 y 与清单中的每一个数至少有一位是不同的。因此，y 不可能在这个清单中。
这就产生了矛盾！
康托尔通过对角线法优雅地证明了这样一个惊人的结论：(0,1) 区间内的实数无法被列成清单。这表明，实数的数量比自然数或有理数的数量更加庞大，达到了一种全新的无穷层次——不可数无穷。
在集合论中，有理数的无穷被称为“可数无穷”，而无理数的无穷属于更高的层次，称为“不可数无穷”。不可数无穷不仅“更大”，它代表着一种完全超越可数无穷的数量级。这种思想颠覆了人们对无穷的直觉，开辟了全新的数学领域。
