集合论 on kenji.blog

理查德悖论：无限的小数与“对角线论证”引发的矛盾

Thu, 10 Sep 2026 12:00:00 +0900

1. 可以用语言定义的数字列表

法国数学家朱尔·理查德（Jules Richard）在1905年发表的“理查德悖论”，可以说是之前介绍的“贝里悖论”的亲戚。然而，它更具数学性，包含了如同窥视无限彼岸般的深刻矛盾。

首先，请想象一下把**“能够用中文句子完全定义的，0到1之间的实数（小数）”**全部收集起来。（注：原文为日语，此处为便于理解译为中文）

例如，下面这些数字：

“零点五” $\rightarrow$ $0.5$
“三分之一” $\rightarrow$ $0.333333...$
“圆周率的小数第一位及之后排列的数” $\rightarrow$ $0.14159265...$

因为可以用中文表达的句子组合只是将字典里的汉字重新排列，所以我们可以给它们排定“顺序”。（例如，按字数从少到多排列，字数相同则按拼音字母顺序排列，等等。）

这样一来，我们就可以为“可以用中文定义的所有实数”，建立一个第1个、第2个、第3个……无限延伸的编号（列表）。

$$ \begin{align*} r_1 &= 0.\mathbf{3}333... \\ r_2 &= 0.5\mathbf{0}00... \\ r_3 &= 0.14\mathbf{1}5... \\ r_4 &= 0.777\mathbf{7}... \\ &\vdots \end{align*} $$

在这个列表里，应该完美地囊括了“可以用中文定义的所有的实数”，一个不漏。

2. 恶魔的技巧“对角线论证”

在这里，理查德进行了一项可怕的操作。他人为地创造出了一个**“全新的数字 $X$”**，避开了列表中的所有数字。

构造方法很简单。

看列表里第1个数字的，小数点后第1位（上面的例子中是 $3$）。给它加上 $1$ 得到的数，作为 $X$ 的第1位（$3+1=4$）。
看列表里第2个数字的，小数点后第2位（上面的例子中是 $0$）。给它加上 $1$ 得到的数，作为 $X$ 的第2位（$0+1=1$）。
看列表里第3个数字的，小数点后第3位（上面的例子中是 $1$）。给它加上 $1$ 得到的数，作为 $X$ 的第3位（$1+1=2$）。

※如果原来的数字是 $9$，我们规定它回到 $0$。

graph TD subgraph "列表化的实数们" R1["r1 = 0.[3]33..."] R2["r2 = 0.5[0]0..."] R3["r3 = 0.14[1]..."] R4["r4 = 0.777[7]..."] end subgraph "新创造的数字 X" X["X = 0.4128..."] end R1 -->|第1位加1| X R2 -->|第2位加1| X R3 -->|第3位加1| X R4 -->|第4位加1| X style X fill:#aaffaa,stroke:#333,stroke-width:2px

用这种方法创造出的新数字 $X$（在上面的例子中 $X = 0.4128...$），绝对不会与列表中的任何数字相同。因为，它与第 $n$ 个数字的“小数点后第 $n$ 位”数字是被故意错开的。（这种方法被称为**“对角线论证”**，是天才数学家康托尔为了证明实数的无限大而发明出来的。）

3. 理查德悖论的完成

那么，悖论从这里开始。

我们刚刚创造出了一个新的数字 $X$。而且，用来创造这个 $X$ 的“规则”，已经通过我刚才在上面写下的中文句子得到了完美的解释（定义）。

也就是说，$X$ 是一个**“能用中文定义的实数”**。

但是，请回想一下最初的前提。 “能用中文定义的实数”，应该都已经全部囊括在最初的列表（$r_1, r_2, r_3...$）中了。然而，$X$ 却是被构造成不与列表中任何数字一致的。

$X$ 必须存在于列表中（因为它是用中文定义的）。
$X$ 绝不能存在于列表中（因为它通过对角线论证被构造成与列表内的所有数都不相同）。

完美的矛盾！这就是理查德悖论。

4. 为什么逻辑会崩溃？（元语言的陷阱）

产生这个悖论的原因，和贝里悖论一样，都在于混淆了“语言的层级”。

为了严谨地进行数学研究，必须把“作为对象的数字列表（对象语言）”和“从外部探讨该列表性质的规则（元语言）”明确区分开来。

理查德的列表收集的是“可计算数字的定义”。然而，用来创造新数字 $X$ 的“看列表中第 $n$ 个数字的第 $n$ 位”这个规则，是一个必须从外部俯瞰列表本身才能执行的“元语言”操作。

理查德悖论之所以发生自我矛盾并爆炸，是因为它试图把“从外部操作列表创造出的元语言式的数字 $X$”，偷偷地塞进“内部的列表”中。

5. 交棒给哥德尔

这个理查德悖论给当时的数学界带来了巨大的冲击。 “人类的语言（或逻辑体系），稍不注意就会立刻引起自我矛盾。怎样才能让数学变得完美而没有矛盾呢？”

1931年，为这个问题画上最终句号的，是年仅25岁的天才数学家库尔特·哥德尔。哥德尔运用**“严谨的数学公式（哥德尔数）”**，完美地翻译并重现了理查德利用“语言的模糊性”引发的这个悖论结构。

其结果导出的，就是那著名的**“哥德尔不完备定理”**。这是一项证明人类智慧极限的伟大发现：“无论把数学规则制定得多么严谨，在这个规则体系内必定会产生‘既不能证明也不能证伪的真理’（数学是不完备的）。”

理查德悖论，从一个单纯的矛盾文字游戏开始，最终进化成了粉碎数学这门学问本身“绝对性”的最强武器。

希尔伯特旅馆悖论：如何在一个客满的旅馆里，再住进无限位客人

Thu, 10 Sep 2026 06:00:00 +0900

1. 欢迎来到终极旅馆

德国伟大的数学家大卫·希尔伯特（David Hilbert），为了说明“无限”这个概念是多么违背人类的直觉，构思了以下这个有趣的思维实验。

请想象一下。在宇宙的某个地方，有一家名叫**“希尔伯特无限旅馆”的旅馆。这家旅馆有1号房、2号房、3号房……总共存在着无限个**带有编号的房间。

有一天，宇宙中举办了一场盛大的活动，这家无限旅馆的所有房间都住满了客人，宣告**“客满”**。就在这时，一位疲惫不堪的旅行者来到前台，问道：“能给我腾出一间空房吗？”

如果是普通的旅馆，只能拒绝说：“非常抱歉，我们已经客满了。” 但是，这里可是无限旅馆。经理微笑着回答：“好的，马上为您准备房间。” 明明已经客满，要怎么让新客人住进来呢？

2. 案例1：安排1位新客人入住的方法

经理通过馆内广播，向所有已经入住的客人播报了如下通知：

“各位客人请注意。请各位搬到当前房间号‘加1’的房间。”

这样一来会发生什么呢？

1号房的客人，搬到了2号房。
2号房的客人，搬到了3号房。
3号房的客人，搬到了4号房。
$n$号房的客人，搬到了$n+1$号房。

由于房间是无限的，所以不会发生“最后一间房的客人被赶出去”的情况。所有人都能顺利地搬到隔壁的房间。而且奇妙的是，1号房空出来了。 新来的旅行者顺利地住进了1号房。

在无限的世界里，$\infty + 1 = \infty$ 是成立的。从“整体（无限）”中拿出“1个”，整体的大小并不会改变。

3. 案例2：安排无限位新客人入住的方法

到了第二天。旅馆再次恢复了客满状态。没想到这次，一辆载着**“无限位乘客”的无限巴士**到达了。从巴士上下来的客人们涌向前台，要求：“给我们所有人准备房间！”

如果像昨天那样拜托大家“加1”搬迁的话，需要花费永远也走不到头的时间。然而，经理并没有慌张。他再次进行了馆内广播。

“各位客人请注意。请各位搬到当前房间号‘乘以2’的房间。”

这样一来会发生什么呢？

1号房的客人，搬到了2号房。
2号房的客人，搬到了4号房。
3号房的客人，搬到了6号房。
$n$号房的客人，搬到了$2n$号房。

通过这次搬迁，原本已经入住的无限位客人，被完完全全地安置在了**“所有偶数号的房间”里。而奇迹般的是，“所有奇数号的房间（1号房、3号房、5号房…）”完全空出来了**！

由于奇数也是无限的，所以经理只要按无限巴士乘客的顺序，依次将他们引导至1号房、3号房、5号房…就可以让所有人住下了。

在无限的世界里，$\infty + \infty = \infty$ 是成立的。无限加上无限，结果在大小上依然是相等的“无限”。

4. 案例3：如果有无限辆无限巴士到达呢？

又到了第二天。旅馆又是客满状态。谁知这次，竟然到达了**“无限辆载有无限位乘客的无限巴士”**。

1号巴士上有无限人，2号巴士上有无限人，3号巴士上有无限人……就这样有无限辆巴士排成一列。这下就连经理也快要恐慌了，但他是一位数学天才。他想到了使用“质数”。

经理发出了如下指示：

让已经住在旅馆的客人搬迁 设当前的房间号为 $n$，请客人搬到“$2^n$ 号房”。（1号房 $\rightarrow$ 2号房、2号房 $\rightarrow$ 4号房、3号房 $\rightarrow$ 8号房…）这样现有的客人就全部安置好了。
引导1号巴士的客人（无限人） 设客人的座位号为 $n$，引导至“$3^n$ 号房”。（3号房、9号房、27号房…）
引导2号巴士的客人（无限人） 使用下一个质数 5，引导至“$5^n$ 号房”。（5号房、25号房、125号房…）
引导第 $k$ 号巴士的客人（无限人） 使用第 $k+1$ 个质数 $P$，引导至“$P^n$ 号房”。

根据数学中一个强大的定理“算术基本定理（任何大于1的自然数都可以唯一地分解为质数的乘积）”，$2^n, 3^n, 5^n, 7^n \dots$ 这些房间号绝对不可能与其他任何人发生重复。

就这样，经理将**“无限 $\times$ 无限”**这样难以估量的庞大客流，完美地容纳进了一家无限旅馆中！

5. 无限也有“大小”之分（康托尔定理）

希尔伯特无限旅馆告诉我们一个事实：“可数无限（可以像1, 2, 3…这样标号计数的无限）”，无论怎么相加、怎么相乘，最终都会落入相同大小的“可数无限”的框架内。

然而，数学家格奥尔格·康托尔（Georg Cantor）发现了一个更可怕的事实。 “自然数”和“分数”，全都能住进这家无限旅馆。但是，如果来的是“实数（包含无理数在内的所有小数）”的客人，即使使用这家无限旅馆也绝对无法让所有人住下。

数学证明，实数的数量，在根本上是比无限旅馆房间数量（可数无限）“更大（级别更高）的无限”。虽然常常被笼统地称为“无限”，但实际上在无限之中，也存在着“较小的无限”和“无论如何也达不到的巨大的无限”这种层级结构（势）。

6. 总结：颠覆人类直觉的“无限”

希尔伯特无限旅馆，生动地描绘了我们在日常生活中培养出的“有限的常识”，在“无限的世界”里是如何行不通的。

“整体大于部分” “客满的旅馆进不去任何人” “无限加上无限会变得更大”

这些理所当然的直觉，全都被完美地推翻了。无限的世界，是悖论（违背直觉的真理）的宝库。数学家们并没有害怕这些悖论，而是用逻辑的力量将其征服、分类，并建立起了现代集合论这一美丽的体系。

下次当你被拒绝说“旅馆客满”时，请务必想象一下“如果这家旅馆是希尔伯特无限旅馆就好了”。

巴拿赫-塔斯基悖论：把一个球体切碎，能变成两个同样大小的球体？

Thu, 10 Sep 2026 02:00:00 +0900

1. 魔法般的定理：1 = 1 + 1 ?

假设你面前有一个纯金的球。你用刀将这个球切成几个部分，然后像拼图一样把这些部分重新组合起来。你不拉伸、不弯曲这些部分，也不添加任何新的黄金，只是单纯地移动并把它们拼接在一起。

然而，当你看着拼好的“拼图”时，会发现**“变成了两个和原来球体大小完全一样的纯金球”**。

你可能会想：“怎么可能！这违背了质量守恒定律，简直是炼金术士的妄想！” 在现实的物理世界中，这确实是绝对不可能的。但是，在纯粹的数学（几何学、集合论）世界中，这被证明是一个在逻辑上100%正确的定理。

这就是1924年由斯特凡·巴拿赫（Stefan Banach）和阿尔弗雷德·塔斯基（Alfred Tarski）两位数学家证明的**“巴拿赫-塔斯基悖论”**。

2. 准确理解悖论的主张

把巴拿赫和塔斯基证明的定理用数学上精确的语言表达如下：

巴拿赫-塔斯基定理 三维空间中的任意实心球体 $S$ 可以被分割成有限个碎片。然后，仅通过（旋转和平移）重新排列这些碎片，就可以组合出两个与原球体 $S$ 半径完全相同的实心球体。

更令人惊讶的是，应用这个定理，我们还可以得出以下结论：

把一粒豌豆分割成有限个碎片，然后重新组合，就可以变成一个和太阳一样大的球体。（别名：豌豆与太阳悖论）

为什么在数学上允许这种魔法般的事情发生呢？其中的秘密隐藏在**“无限”和“选择公理”**这两个关键词中。

3. “无限”的奇妙性质

理解这个悖论的第一步是了解“无限集合”的奇妙性质。

在我们平时接触的“有限”世界中，整体必然大于部分。例如，从1到10的数字（10个）中取出偶数（5个），数量就会减半。

但是，在“无限”的世界里，这个常识行不通。所有的“自然数”（1, 2, 3, 4, …）和所有的“偶数”（2, 4, 6, 8, …），哪一个更多呢？直觉上，由于偶数只有自然数的一半，感觉自然数会更多。然而，请尝试像下面这样将它们配对：

1 $\rightarrow$ 2
2 $\rightarrow$ 4
3 $\rightarrow$ 6
$n \rightarrow 2n$

像这样，对于每一个自然数，必定能找到其两倍的偶数与之配对（一一对应），没有任何数字会多余。也就是说，在数学上，“自然数的数量（无限）”和“偶数的数量（无限）”是完全一样大的！

明明从整体（自然数）中取出了一半（偶数），大小却和原来一样没有改变。在无限集合中，**“部分等于整体”**的事情是可能发生的。巴拿赫-塔斯基定理可以说是将这种“无限的魔法”应用到三维空间中“点”的集合上的终极形式。

4. 空间中的点被切成“不可测”的状态

用菜刀切开现实中的物体（金子或苹果）时，切出的各个部分必然具有“体积”。但是，数学中的球体是由没有体积的**“无限个点的集合”**构成的。

巴拿赫和塔斯基用一种极其特殊且复杂的方法对这无限个点进行了分组（分割）。这种分割方式太过复杂和分散，以至于它们变成了一种“无法测量体积（不可测集合）”的状态。

只要把各个部分变成了“没有体积（无法测量）”的一团散乱的点的集合，就可以摆脱“各部分相加必须等于原体积”这一物理规则（测度的可加性）的束缚。然后，通过旋转并巧妙组合这些散乱的点的集合，借助“无限的魔法”，就能完成两个和原球体一样密布着点的球体。实际上，已经证明只要将原来的球仅仅分成 5个碎片，就可以实现这种“把一个球变成两个球”的操作。

5. 罪魁祸首：“选择公理”是什么？

那么，为什么在数学上可以进行“复杂到无法测量体积的分割”呢？这是因为我们承认了作为现代数学基础的**“选择公理（Axiom of Choice）”**这一规则。

简单来说，选择公理就是这样的规则：

选择公理的直观理解 当有许多个盒子里分别装着东西时，**“可以从每个盒子中各取出一个东西，组成一个新的套装（集合）”**的规则。

如果盒子的数量是有限的，任何人都能轻易做到。但是，如果盒子的数量是“无限个”，人类就不可能完成无限次“逐一挑选”的操作。即便如此，选择公理仍然承认“可以认为挑选出来组成的新集合是存在的”。

这个公理在构建现代数学体系时非常方便且不可或缺。大多数数学家都觉得“嗯，这是理所当然的”从而接受了这条规则。

然而，一旦承认了选择公理，就等同于承认了前面提到的“分散到无法测量体积的点的集合（不可测集合）”的存在。其结果就是，“一个球变成两个球”的巴拿赫-塔斯基定理，作为一种逻辑上的必然被推导了出来。

6. 总结：数学描绘的“超越直觉的世界”

巴拿赫-塔斯基悖论并不是“逻辑上存在矛盾”意义上的悖论（佯谬）。它是指逻辑上100%正确，但得出的结论却与人类的直觉和物理定律发生强烈冲突的悖论。

当这个定理被发表时，一些数学家主张：“既然能得出这么违背常理的结论，那么选择公理一定是错的！” 但到了今天，许多数学家都已经接受了选择公理，也把巴拿赫-塔斯基定理视为“三维空间和无限集合所拥有的一种奇妙而美丽的性质”接受了下来。

我们所居住的物理世界是由被称为原子的“有大小的颗粒（有限）”构成的，因此不可能把豌豆变成太阳那么大。但是，在人类大脑创造出的“数学”这块画布上，点的大小为零，且允许进行无限的操作。

巴拿赫-塔斯基悖论向我们展示了**“无限”这个概念是如何轻易地超越人类朴素直觉的**，它无疑是现代数学的最高杰作之一。