集合論 on kenji.blog

理查悖論：無限的小數與「對角線論證」所引發的矛盾

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

1. 可以用文字定義的數字列表

法國數學家朱爾·理查在1905年發表的「理查悖論」，就像是先前介紹的「貝里悖論」的親戚。然而，這個悖論更具數學性，包含著彷彿窺視無限彼端的深刻矛盾。

首先，請想像將**「可以用中文句子完全定義的、介於0到1之間的實數（小數）」**全部收集起來。

例如，像下面這樣的數字：

「零點五」 $\rightarrow$ $0.5$
「三分之一」 $\rightarrow$ $0.333333...$
「圓周率小數點第一位開始排列的數字」 $\rightarrow$ $0.14159265...$

可以用中文表達的句子組合，只是將字典裡的字重新排列，所以可以排定「順序」。（例如，可以先按字數多寡排列，字數相同的再按筆畫順序排列等。）

就這樣，我們為「可以用中文定義的所有實數」建立了第一個、第二個、第三個……無限延伸的編號（列表）。

$$ \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號房的客人，移動到2號房。
2號房的客人，移動到3號房。
3號房的客人，移動到4號房。
$n$號房的客人，移動到$n+1$號房。

graph LR subgraph "移動前（客滿）" R1["1號房
(客A)"] R2["2號房
(客B)"] R3["3號房
(客C)"] R4["..."] end subgraph "移動後" NewR1["1號房
(空房！)"] NewR2["2號房
(客A)"] NewR3["3號房
(客B)"] NewR4["4號房
(客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

因為房間有無限多個，所以「最後一間房的客人會被趕出去」的情況並不會發生。所有人都能順利地搬到隔壁的房間。然後奇蹟發生了，1號房空出來了。 新的旅人順利地住進了1號房。

在無限的世界裡，$\infty + 1 = \infty$ 是成立的。即使從「全體（無限）」中取出「1個」，整體的大小也不會改變。

3. 情況二：讓無限位新客人入住的方法

到了第二天。旅館再次回到了客滿的狀態。這時，竟然來了一輛載著**「無限位乘客」的無限巴士**。從巴士上下來的客人們擠到櫃檯前要求：「給我們準備所有人的房間！」

如果像昨天一樣請大家「加1」移動，那將會花費永遠的時間。但是，經理並不慌張。他再次進行了館內廣播。

「各位貴賓請注意，請移動到您目前房號『乘以2』的房間。」

這樣會發生什麼事呢？

1號房的客人，移動到2號房。
2號房的客人，移動到4號房。
3號房的客人，移動到6號房。
$n$號房的客人，移動到$2n$號房。

透過這次移動，原本已經入住的無限位客人，就完全被安置在**「所有偶數號碼的房間」裡了。而奇蹟般地，「所有奇數號碼的房間（1號房、3號房、5號房…）」就完全空出來了**！

因為奇數也是無限多的，所以經理只要從無限巴士乘客的排頭開始，依序引導他們到1號房、3號房、5號房…就能讓所有人都住下來。

在無限的世界裡，$\infty + \infty = \infty$ 是成立的。無限加上無限，其大小仍然是相同的「無限」。

4. 情況三：如果來了無限輛的無限巴士呢？

又到了隔天。旅館依然是客滿的。這時竟然發生了，「載著無限位乘客的無限巴士，來了無限輛」，連綿不絕地抵達了。

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$ 號房」。

根據「質因數分解的唯一性（任何數字分解為質數乘積的組合都只有一種）」這個強大的數學定理，$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）兩位數學家所證明的**「巴拿赫-塔斯基悖論」（Banach-Tarski paradox）**。

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$

像這樣，對於每一個自然數，我們都一定能將其剛好乘以 2 並對應到一個偶數（一一對應）。沒有任何一個數字會多出來。也就是說，在數學上，「自然數的數量（無限）」和「偶數的數量（無限）」的大小是完全相同的！

明明是從整體（自然數）中取出一半（偶數），但其大小卻和原本一樣沒有改變。在無限集合中，**「部分可以等於整體」**的事情是有可能發生的。巴拿赫-塔斯基定理可以說就是將這種「無限的魔法」，應用到三維空間中的「點」集合上的終極形式。

4. 空間中的點被切割成「不可測」的狀態

當我們用菜刀切開現實中的物體（黃金或蘋果）時，切出來的碎片必定具有「體積」。但是，數學中的球體，是一個不具備實體體積的**「無限個點的集合」**。

巴拿赫與塔斯基用了一種非常特殊且複雜的方法，將這無限個點進行了分組（分割）。這種分法實在太過複雜且極度分散，導致它們變成了一種「無法測量體積的狀態（不可測集合）」。

一旦每個碎片都變成了「沒有體積（無法測量）」、模糊不清的點的集合，就可以擺脫「所有碎片加起來必須等於原本體積」這種物理法則（測度的可加性）的束縛。

然後，只要將這些模糊不清的點碎片旋轉並巧妙地組合起來，透過「無限的魔法」，就能完成兩顆充滿了與原本球體完全一樣的點的球。實際上，已經被證明只要將原本的球分割成短短的 5個碎片，就可以實現這種「從一顆球變出兩顆球」的操作。

5. 萬惡之源：什麼是「選擇公理」？

那麼，為什麼「複雜到無法測量體積的分割」在數學上是可能的呢？這是因為我們承認了作為現代數學基礎的**「選擇公理」（Axiom of Choice）**這條規則。

簡單來說，選擇公理是這樣的一條規則：

選擇公理的概念 當有許多的箱子，每個箱子裡都裝有物品時，**「可以從每個箱子中各挑選出一樣物品，來組成一個新的集合」**的規則。

如果箱子的數量是有限個，任何人都能輕易做到。但是，如果箱子的數量是「無限個」時，人類是無法完成無限次的「一個一個挑選」操作的。即使如此，依然承認「挑選出來組成的集合是存在的」，這就是選擇公理。

這條公理在建構現代數學時非常方便且不可或缺。大多數數學家也都以「這理所當然嘛」的態度接受了這條規則。

但是，一旦承認了這個選擇公理，就等同於承認了前面提到的「分散到無法測量體積、模糊不清的點的集合（不可測集合）」的存在。結果就是，「一顆球變成兩顆球」的巴拿赫-塔斯基定理，便作為邏輯上的必然結果被推導了出來。

6. 總結：數學描繪出的「超越直覺的世界」

巴拿赫-塔斯基悖論並不是那種「邏輯上存在矛盾」的悖論。它是邏輯 100% 正確，但推導出來的結論卻與人類的直覺和物理法則產生劇烈衝突意義上的悖論。

當這個定理被發表時，一些數學家主張：「如果會得出如此反常識的結論，選擇公理肯定是錯的！」但到了現在，大多數數學家已經接受了選擇公理，也將巴拿赫-塔斯基定理視為「三維空間和無限集合所擁有的一種奇異但美麗的性質」而接受了它。

因為我們居住的物理世界是由被稱為原子的「具有大小的粒子（有限）」所構成的，所以不可能把豌豆變成太陽那麼大。然而，在人類頭腦創造出來的「數學」畫布上，點的尺寸是零，因此允許無限的操作。

巴拿赫-塔斯基悖論告訴了我們，「無限」這個概念能夠多麼輕易地跨越人類樸素的直覺，可以說它是現代數學最偉大的傑作之一。