<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>希尔伯特 on kenji.blog</title><link>http://kenji.blog/zh-cn/tags/%E5%B8%8C%E5%B0%94%E4%BC%AF%E7%89%B9/</link><description>Recent content in 希尔伯特 on kenji.blog</description><generator>Hugo -- gohugo.io</generator><language>zh-cn</language><copyright>kenjinote</copyright><lastBuildDate>Thu, 10 Sep 2026 06:00:00 +0900</lastBuildDate><atom:link href="http://kenji.blog/zh-cn/tags/%E5%B8%8C%E5%B0%94%E4%BC%AF%E7%89%B9/index.xml" rel="self" type="application/rss+xml"/><item><title>希尔伯特旅馆悖论：如何在一个客满的旅馆里，再住进无限位客人</title><link>http://kenji.blog/zh-cn/p/hilberts-grand-hotel/</link><pubDate>Thu, 10 Sep 2026 06:00:00 +0900</pubDate><guid>http://kenji.blog/zh-cn/p/hilberts-grand-hotel/</guid><description>&lt;img src="http://kenji.blog/p/hilberts-grand-hotel/img/hilberts_hotel.jpg" alt="Featured image of post 希尔伯特旅馆悖论：如何在一个客满的旅馆里，再住进无限位客人" />&lt;h2 id="1-欢迎来到终极旅馆">1. 欢迎来到终极旅馆
&lt;/h2>&lt;p>德国伟大的数学家大卫·希尔伯特（David Hilbert），为了说明“无限”这个概念是多么违背人类的直觉，构思了以下这个有趣的思维实验。&lt;/p>
&lt;p>请想象一下。在宇宙的某个地方，有一家名叫**“希尔伯特无限旅馆”&lt;strong>的旅馆。
这家旅馆有1号房、2号房、3号房……总共存在着&lt;/strong>无限个**带有编号的房间。&lt;/p>
&lt;p>有一天，宇宙中举办了一场盛大的活动，这家无限旅馆的所有房间都住满了客人，宣告**“客满”**。
就在这时，一位疲惫不堪的旅行者来到前台，问道：“能给我腾出一间空房吗？”&lt;/p>
&lt;p>如果是普通的旅馆，只能拒绝说：“非常抱歉，我们已经客满了。”
但是，这里可是无限旅馆。经理微笑着回答：“好的，马上为您准备房间。”
明明已经客满，要怎么让新客人住进来呢？&lt;/p>
&lt;hr>
&lt;h2 id="2-案例1安排1位新客人入住的方法">2. 案例1：安排1位新客人入住的方法
&lt;/h2>&lt;p>经理通过馆内广播，向所有已经入住的客人播报了如下通知：&lt;/p>
&lt;p>&lt;strong>“各位客人请注意。请各位搬到当前房间号‘加1’的房间。”&lt;/strong>&lt;/p>
&lt;p>这样一来会发生什么呢？&lt;/p>
&lt;ul>
&lt;li>1号房的客人，搬到了2号房。&lt;/li>
&lt;li>2号房的客人，搬到了3号房。&lt;/li>
&lt;li>3号房的客人，搬到了4号房。&lt;/li>
&lt;li>$n$号房的客人，搬到了$n+1$号房。&lt;/li>
&lt;/ul>
&lt;div class="mermaid">graph LR
subgraph "搬迁前（客满）"
R1["1号房&lt;br>(客人A)"]
R2["2号房&lt;br>(客人B)"]
R3["3号房&lt;br>(客人C)"]
R4["..."]
end
subgraph "搬迁后"
NewR1["1号房&lt;br>(空房!)"]
NewR2["2号房&lt;br>(客人A)"]
NewR3["3号房&lt;br>(客人B)"]
NewR4["4号房&lt;br>(客人C)"]
end
R1 -->|搬迁| NewR2
R2 -->|搬迁| NewR3
R3 -->|搬迁| NewR4
NewGuest["新客人"] -->|办理入住| NewR1
style NewR1 fill:#aaffaa,stroke:#333,stroke-width:2px
style NewGuest fill:#ffaaaa,stroke:#333,stroke-width:2px&lt;/div>
&lt;p>由于房间是无限的，所以不会发生“最后一间房的客人被赶出去”的情况。所有人都能顺利地搬到隔壁的房间。
而且奇妙的是，&lt;strong>1号房空出来了。&lt;/strong> 新来的旅行者顺利地住进了1号房。&lt;/p>
&lt;p>在无限的世界里，$\infty + 1 = \infty$ 是成立的。
从“整体（无限）”中拿出“1个”，整体的大小并不会改变。&lt;/p>
&lt;hr>
&lt;h2 id="3-案例2安排无限位新客人入住的方法">3. 案例2：安排无限位新客人入住的方法
&lt;/h2>&lt;p>到了第二天。旅馆再次恢复了客满状态。
没想到这次，一辆载着**“无限位乘客”的无限巴士**到达了。
从巴士上下来的客人们涌向前台，要求：“给我们所有人准备房间！”&lt;/p>
&lt;p>如果像昨天那样拜托大家“加1”搬迁的话，需要花费永远也走不到头的时间。
然而，经理并没有慌张。他再次进行了馆内广播。&lt;/p>
&lt;p>&lt;strong>“各位客人请注意。请各位搬到当前房间号‘乘以2’的房间。”&lt;/strong>&lt;/p>
&lt;p>这样一来会发生什么呢？&lt;/p>
&lt;ul>
&lt;li>1号房的客人，搬到了2号房。&lt;/li>
&lt;li>2号房的客人，搬到了4号房。&lt;/li>
&lt;li>3号房的客人，搬到了6号房。&lt;/li>
&lt;li>$n$号房的客人，搬到了$2n$号房。&lt;/li>
&lt;/ul>
&lt;p>通过这次搬迁，原本已经入住的无限位客人，被完完全全地安置在了**“所有偶数号的房间”&lt;strong>里。
而奇迹般的是，&lt;/strong>“所有奇数号的房间（1号房、3号房、5号房&amp;hellip;）”完全空出来了**！&lt;/p>
&lt;div class="mermaid">graph LR
subgraph "现有房客"
G1["客人1"] -->|乘以2| R2["2号房"]
G2["客人2"] -->|乘以2| R4["4号房"]
G3["客人3"] -->|乘以2| R6["6号房"]
end
subgraph "巴士上的新客人（无限人）"
N1["新客1"] -->|去奇数房| R1["1号房 (空)"]
N2["新客2"] -->|去奇数房| R3["3号房 (空)"]
N3["新客3"] -->|去奇数房| R5["5号房 (空)"]
end
style R1 fill:#aaffaa,stroke:#333
style R3 fill:#aaffaa,stroke:#333
style R5 fill:#aaffaa,stroke:#333&lt;/div>
&lt;p>由于奇数也是无限的，所以经理只要按无限巴士乘客的顺序，依次将他们引导至1号房、3号房、5号房&amp;hellip;就可以让所有人住下了。&lt;/p>
&lt;p>在无限的世界里，$\infty + \infty = \infty$ 是成立的。
无限加上无限，结果在大小上依然是相等的“无限”。&lt;/p>
&lt;hr>
&lt;h2 id="4-案例3如果有无限辆无限巴士到达呢">4. 案例3：如果有无限辆无限巴士到达呢？
&lt;/h2>&lt;p>又到了第二天。旅馆又是客满状态。
谁知这次，竟然到达了**“无限辆载有无限位乘客的无限巴士”**。&lt;/p>
&lt;p>1号巴士上有无限人，2号巴士上有无限人，3号巴士上有无限人……就这样有无限辆巴士排成一列。
这下就连经理也快要恐慌了，但他是一位数学天才。他想到了使用“质数”。&lt;/p>
&lt;p>经理发出了如下指示：&lt;/p>
&lt;ol>
&lt;li>
&lt;p>&lt;strong>让已经住在旅馆的客人搬迁&lt;/strong>
设当前的房间号为 $n$，请客人搬到“$2^n$ 号房”。
（1号房 $\rightarrow$ 2号房、2号房 $\rightarrow$ 4号房、3号房 $\rightarrow$ 8号房&amp;hellip;）
这样现有的客人就全部安置好了。&lt;/p>
&lt;/li>
&lt;li>
&lt;p>&lt;strong>引导1号巴士的客人（无限人）&lt;/strong>
设客人的座位号为 $n$，引导至“$3^n$ 号房”。
（3号房、9号房、27号房&amp;hellip;）&lt;/p>
&lt;/li>
&lt;li>
&lt;p>&lt;strong>引导2号巴士的客人（无限人）&lt;/strong>
使用下一个质数 5，引导至“$5^n$ 号房”。
（5号房、25号房、125号房&amp;hellip;）&lt;/p>
&lt;/li>
&lt;li>
&lt;p>&lt;strong>引导第 $k$ 号巴士的客人（无限人）&lt;/strong>
使用第 $k+1$ 个质数 $P$，引导至“$P^n$ 号房”。&lt;/p>
&lt;/li>
&lt;/ol>
&lt;p>根据数学中一个强大的定理“算术基本定理（任何大于1的自然数都可以唯一地分解为质数的乘积）”，$2^n, 3^n, 5^n, 7^n \dots$ 这些房间号绝对不可能与其他任何人发生重复。&lt;/p>
&lt;p>就这样，经理将**“无限 $\times$ 无限”**这样难以估量的庞大客流，完美地容纳进了一家无限旅馆中！&lt;/p>
&lt;hr>
&lt;h2 id="5-无限也有大小之分康托尔定理">5. 无限也有“大小”之分（康托尔定理）
&lt;/h2>&lt;p>希尔伯特无限旅馆告诉我们一个事实：&lt;strong>“可数无限（可以像1, 2, 3&amp;hellip;这样标号计数的无限）”，无论怎么相加、怎么相乘，最终都会落入相同大小的“可数无限”的框架内&lt;/strong>。&lt;/p>
&lt;p>然而，数学家格奥尔格·康托尔（Georg Cantor）发现了一个更可怕的事实。
“自然数”和“分数”，全都能住进这家无限旅馆。但是，&lt;strong>如果来的是“实数（包含无理数在内的所有小数）”的客人，即使使用这家无限旅馆也绝对无法让所有人住下&lt;/strong>。&lt;/p>
&lt;p>数学证明，实数的数量，在根本上是比无限旅馆房间数量（可数无限）“更大（级别更高）的无限”。
虽然常常被笼统地称为“无限”，但实际上在无限之中，也存在着“较小的无限”和“无论如何也达不到的巨大的无限”这种层级结构（势）。&lt;/p>
&lt;hr>
&lt;h2 id="6-总结颠覆人类直觉的无限">6. 总结：颠覆人类直觉的“无限”
&lt;/h2>&lt;p>希尔伯特无限旅馆，生动地描绘了我们在日常生活中培养出的“有限的常识”，在“无限的世界”里是如何行不通的。&lt;/p>
&lt;p>“整体大于部分”
“客满的旅馆进不去任何人”
“无限加上无限会变得更大”&lt;/p>
&lt;p>这些理所当然的直觉，全都被完美地推翻了。
无限的世界，是悖论（违背直觉的真理）的宝库。数学家们并没有害怕这些悖论，而是用逻辑的力量将其征服、分类，并建立起了现代集合论这一美丽的体系。&lt;/p>
&lt;p>下次当你被拒绝说“旅馆客满”时，请务必想象一下“如果这家旅馆是希尔伯特无限旅馆就好了”。&lt;/p></description></item></channel></rss>