無限 on kenji.blog

英國的海岸線有多長？：海岸線悖論

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

英國的海岸線長度，究竟有多少公里呢？你或許會覺得，只要查閱百科全書或地理教科書就能找到答案。然而，現實中存在著一個奇妙的事實：「答案會根據測量方式而改變，理論上甚至是無限大」。

這就是海岸線悖論（Coastline Paradox）。這個發現後來促成了「碎形幾何學」這個全新數學領域的誕生。

尺越短，距離越長

海岸線並不是筆直的直線，而是由無數的海灣、海角以及岩石表面的凹凸不平所組成的。

如果我們用一把長達 100 公里的巨大尺（直線）來測量英國的海岸線，這把尺會忽略那些小於 100 公里的小海灣和半島的鋸齒狀邊緣，直接抄捷徑。

接著，我們試著改用 1 公里長的尺重新測量。如此一來，就會沿著剛才被忽略的小海灣和海角的輪廓進行測量，因此總長度必定會增加。

如果進一步用 1 公尺長的尺去測量每一塊岩石的凹凸，用 1 公分長的尺去測量石頭表面的起伏，再用 1 毫米長的尺去測量沙粒的輪廓，結果又會如何呢？

graph TD A["海岸線的測量"] --> B["100公里的尺"] A --> C["1公里的尺"] A --> D["1公尺的尺"] B --> B1["忽略小海灣"] B1 --> B2["測量結果: 約2,800公里"] C --> C1["沿著海灣的形狀"] C1 --> C2["測量結果: 約3,400公里"] D --> D1["連岩石的凹凸都測量"] D1 --> D2["測量結果: 進一步增加（理論上為無限大）"] style B2 fill:#FFCDD2,stroke:#333 style C2 fill:#E57373,stroke:#333 style D2 fill:#F44336,stroke:#333,color:#fff

路易斯·弗萊·理查森（Lewis Fry Richardson）在 1951 年從實證中發現了這個現象。隨著測量單位（尺的長度）變小，測量出的海岸線長度將會無止盡地增加。

碎形維度：介於一維與二維之間

為這個悖論提供數學解釋的，是數學家本華·曼德博（Benoît Mandelbrot）。他在 1967 年於《科學》雜誌上發表了一篇著名的論文，題為〈英國的海岸線有多長？自我相似性與碎形維度〉。

曼德博指出，像海岸線這種自然界的形狀，具有**自我相似性（碎形）**的特徵，亦即「無論放大多少倍，都會呈現出相似的複雜結構」。

如果是純數學上的直線（一維），即使把尺縮短一半，長度也不會改變。然而，因為海岸線過於參差不齊，其複雜度超過了一維的線，但又不是具有面積的二維平面。

為了表示這種圖形的複雜程度，曼德博引入了**「碎形維度（Hausdorff dimension）」**的概念。英國海岸線的碎形維度估計約為 $D \approx 1.25$。換句話說，英國的海岸線是一個「維度高於一維的線，但低於二維的面」的奇妙存在。

假設尺的長度為 $s$，測量出的海岸線長度為 $L(s)$，那麼它與碎形維度 $D$ 之間存在以下關係：

$$ L(s) \propto s^{1-D} $$

就英國海岸線而言，$D = 1.25$，因此 $1 - D = -0.25$。

$$ L(s) \propto s^{-0.25} $$

這在數學上表明了，當尺的長度 $s$ 趨近於 0 時，測量結果 $L(s)$ 會發散至無限大 $\infty$。

終極結論：長度是無法定義的

我們日常使用的「長度」概念，僅適用於平滑的直線或曲線。對於自然界中存在的碎形圖形（如海岸線、雲朵、山脈、血管分支等）去尋求「絕對的長度」，在數學上其實是毫無意義的。

「英國的海岸線有多長？」其正確答案是「取決於測量尺的長度」，而在理論上則是「無限大」。在有限的狹小空間裡，卻摺疊著無限的長度，這個事實可以說是我們對於空間認知的一個美麗悖論。

飛行的箭是靜止的？：芝諾的「飛矢」悖論

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

從弓射出的箭正在空中飛行。這支箭確實是在移動。然而，西元前5世紀的希臘哲學家芝諾（Zeno），卻提出了以下令人畏懼的邏輯：

「飛行的箭，其實是靜止的」

這不是開玩笑，也不是詭辯，而是2500年來數學家和哲學家們持續認真討論的**「飛矢悖論」**。

芝諾的論證

芝諾的論證是以「時間的瞬間」這個概念為出發點。

時間是「瞬間」的連續。
若將某一個瞬間（時間長度為零的一點）像「照片」一樣截取下來，箭在空間中「存在」於特定的一點。
在那個瞬間，箭只是「佔據」著那個位置，並沒有在移動。（如果它在移動，那應該需要「時間段」而不是「瞬間」）
無論取出哪個瞬間，情況都是一樣的。
如果在時間的所有瞬間箭都是靜止的，那麼箭何時在移動呢？

graph TD A["飛行的箭"] --> B["時間是瞬間的連續"] B --> C["瞬間 t1: 箭在位置 A 靜止"] B --> D["瞬間 t2: 箭在位置 B 靜止"] B --> E["瞬間 t3: 箭在位置 C 靜止"] C --> F{"在所有瞬間箭都是靜止的"} D --> F E --> F F --> G["結論: 箭沒有在移動！"] style A fill:#2196F3,color:#fff style F fill:#FF9800,color:#fff,stroke-width:2px style G fill:#F44336,color:#fff,stroke-width:3px

直覺 vs 邏輯

「太荒謬了。箭實際上不是正在飛嗎？」這大概是大多數人最初的反應。然而，面對芝諾的論述，要在邏輯上指出他哪裡錯了，其實是非常困難的。

據說古希臘哲學家第歐根尼（Diogenes）對芝諾的反應，只是站起來在房間裡走來走去，以此展示「你看，在動啊」。然而，這並沒有反駁芝諾的邏輯。因為芝諾所問的不是「能不能動」，而是「我們能否用邏輯毫無矛盾地解釋『移動』究竟是什麼意思」。

微積分的解決方案（嘗試）

17世紀由牛頓和萊布尼茲發明的微積分學，為這個悖論提供了（至少部分的）數學解答。

在微積分中，「某一瞬間的速度（瞬時速度）」被定義如下：

$$ v(t) = \lim_{\Delta t \to 0} \frac{\Delta x}{\Delta t} $$

也就是說，將位置的變化量 $\Delta x$ 除以時間的變化量 $\Delta t$，並將 $\Delta t$ 趨近於無限小（極限），以此來定義速度。

這裡的重點在於，「瞬時速度」並不是在零時間長度內的移動距離。它是一個作為該時刻前後微小變化「趨勢」，也就是作為**「極限」**來定義的量。

因此，從微積分立場出發的回答如下：

「確實，如果截取長度為零的瞬間，在那個瞬間『內』箭是沒有移動的。但是，箭即使在那個瞬間也具有『瞬時速度（非零極限值）』這樣的性質。『靜止』意味著『瞬時速度為零』，但由於飛行中的箭其瞬時速度並非為零，因此不能說箭是『靜止』的。」

遺留的哲學問題

微積分學雖然給予了芝諾悖論一個實用的解決方案，但在哲學上並未完全塵埃落定。

「極限」這個概念終究只是一個數學工具（計算程序），對於**「時間的最小單位（瞬間）在物理上究竟是什麼」「連續是什麼」「運動的本質是什麼」**等根本問題，嚴格來說並沒有解答。

在現代物理學（量子力學）中，正在探討時間和空間是否也存在最小單位（普朗克時間、普朗克長度）。如果時間不是「連續」而是「離散（數位）」的，那麼芝諾悖論或許需要在完全不同的脈絡下重新評估。

芝諾的箭經過了2500年的今天，依然不斷地在質問我們：「什麼是移動」、「什麼是時間」。

能用油漆注滿，卻無法塗滿表面？：加百列號角

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

如果有一個容器，「體積有限，但表面積卻是無限大」，那會發生什麼事呢？直覺上這似乎是不可能的，但在數學世界裡，確實存在這樣的立體圖形。這就是**「加百列號角（Gabriel’s Horn）」，又被稱為「托里切利小號（Torricelli’s trumpet）」**。

這個圖形由義大利數學家埃萬傑利斯塔·托里切利於1641年發現，當時給數學家和哲學家們帶來了極大的震撼，並引發了關於「無限」本質的激烈爭論。

油漆悖論

如果將這個圖形的性質用日常的「油漆」來比喻，就會產生以下奇妙的悖論：

用油漆注滿號角內部時：因為號角的體積是有限的（精確來說是 $\pi$），所以只需倒入 $\pi$ 公升（約 3.14 公升）的油漆，就能完全填滿號角內部。
在號角表面塗上油漆時：號角的表面積是無限大的。因此，如果想用刷子在號角內側（或外側）的表面塗上油漆，無論準備多少油漆，都永遠無法塗完。

「只需 3.14 公升的油漆就能注滿內部，但要塗滿表面卻需要無限的油漆。」 為什麼會發生這種違反直覺的情況呢？

graph TD A["加百列號角"] --> B["體積計算 (積分)"] A --> C["表面積計算 (積分)"] B --> B1["體積 = π (有限)"] B1 --> B2["可以用油漆注滿內部"] C --> C1["表面積 = ∞ (無限大)"] C1 --> C2["永遠塗不滿表面"] B2 --> D{"悖論！"} C2 --> D style A fill:#FFD54F,stroke:#333,stroke-width:2px style B1 fill:#81C784,stroke:#333 style C1 fill:#E57373,stroke:#333,color:#fff style D fill:#F44336,stroke:#333,color:#fff,stroke-width:3px

數學證明：微積分的魔法

加百列號角是將函數 $y = \frac{1}{x}$ 的圖形（其中 $x \ge 1$）繞著 $x$ 軸旋轉而生成的。我們用微積分來計算這個立體的體積 $V$ 和表面積 $A$。

1. 體積的計算（為何有限）

旋轉體的體積 $V$ 可以藉由對截面積（半徑為 $\frac{1}{x}$ 的圓）進行積分來求得。

$$ V = \pi \int_{1}^{\infty} \left( \frac{1}{x} \right)^2 dx = \pi \int_{1}^{\infty} \frac{1}{x^2} dx $$

計算這個定積分：

$$ V = \pi \left[ -\frac{1}{x} \right]_{1}^{\infty} = \pi (0 - (-1)) = \pi $$

結果收斂為一個有限的值 $\pi$。

2. 表面積的計算（為何無限）

另一方面，表面積 $A$ 的計算如下：

$$ A = 2\pi \int_{1}^{\infty} y \sqrt{1 + \left(\frac{dy}{dx}\right)^2} dx $$

因為

$$ \frac{dy}{dx} = -\frac{1}{x^2} $$

，所以平方根裡面變成 $1 + \frac{1}{x^4}$。在這裡，對於所有的 $x \ge 1$，都有 $\sqrt{1 + \frac{1}{x^4}} > 1$，因此成立以下不等式：

$$ A > 2\pi \int_{1}^{\infty} \frac{1}{x} \cdot 1 dx = 2\pi \left[ \ln x \right]_{1}^{\infty} $$

自然對數 $\ln x$ 在 $x \to \infty$ 時會發散到無限大。因此，比它還要大的表面積 $A$ 當然也會發散到無限大。

這個悖論的「真相」

即使在數學上能證明其正確性，但在現實世界的感覺上可能還是令人難以接受。「既然能用油漆注滿，而且油漆確實接觸到了內部的表面，難道表面不應該也被塗滿了嗎？」

這種直覺上的偏差，源自於將數學概念與物理現實混為一談。

在數學世界中，油漆的「厚度」可以無限變薄到趨近於零。加百列號角越往尖端會變得無限細小，但數學上的油漆能變得任意薄，流入那極度細小的尖端深處，用有限的體積包覆無限的表面積（只是，油漆膜的厚度越靠近尖端會越趨近於零）。

然而，在物理的現實世界中，油漆是由原子和分子（具有有限大小的粒子）構成的。即使倒入真實的油漆，當號角的管徑變得比「油漆分子的直徑」還要細時，油漆就無法再往深處流動。換句話說，在物理上，既不可能注滿到尖端，也不可能塗滿無限的表面。

加百列號角是一個美麗的例子，它告訴我們，人類的直覺受限於「有限世界的規則」，並不總是能與處理「無限」的微積分世界相符。

希爾伯特的無限旅館：如何讓客滿的旅館再住進無限位客人

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% 正確，但推導出來的結論卻與人類的直覺和物理法則產生劇烈衝突意義上的悖論。

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

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

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

兩個信封悖論：無限期望值引發的邏輯崩潰與決策陷阱

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

1. 終極的選擇：該交換，還是不該交換？

你正站在一個遊戲節目的最終關卡。眼前的桌子上放著兩個外觀完全相同的 信封（A和B）。主持人這麼說：

「其中一個信封裡，裝有另一個信封 兩倍的獎金。請選擇其中一個。」

你猶豫了一下，選擇了 信封A。正當你想看裡面的內容時，主持人卻像惡魔般在耳邊低語：

「現在的話，你可以把那個信封A，和剩下的信封B 進行交換喔。你要交換嗎？」

那麼，你應該交換信封嗎？

2. 期望值計算導出的「無限迴圈」

在這裡，讓我們稍微運用一下數學思維。假設你持有的信封A裡面的金額為 $X$ 元。根據規則，信封B裡面的金額只有可能是「$X$ 元的一半（$\frac{X}{2}$）」或「$X$ 元的兩倍（$2X$）」。兩者的機率各為 $\frac{1}{2}$（50%）。

那麼，讓我們來計算一下 交換信封時的期望值（預期平均金額）。

$$ E = \frac{1}{2} \times \left(\frac{X}{2}\right) + \frac{1}{2} \times (2X) $$ $$ E = \frac{X}{4} + X = \frac{5}{4}X = 1.25X $$

得出了令人驚訝的結果。只要交換信封，期望值就會從原本的 $X$ 元飆升到 $1.25$ 倍（增加25%）。結論是：「從數學上來思考，交換絕對比較划算！」

但是，這裡發生了 邏輯的崩潰。假設你換成了信封B。就在那之後，如果主持人又問：「要不要再換回A呢？」會發生什麼事？完全相同的計算公式依然成立，這次變成了「如果從B換回A，期望值會變成1.25倍」。

也就是說，只要不斷重複「從A換到B」、「從B換到A」，理論上的期望值就會無限增加。這顯然與現實矛盾（信封裡的內容物從一開始就決定好了，並不會因為交換而增加）。

graph TD Start["你選擇了信封A (裡面是X元)"] --> Think["計算交換是否比較划算"] Think --> Case1["信封B是半價 (X/2元) : 機率50%"] Think --> Case2["信封B是兩倍 (2X元) : 機率50%"] Case1 --> Calc["期望值 = (X/4) + X = 1.25X"] Case2 --> Calc Calc --> SwitchToB["交換成信封B! (裡面是Y元)"] SwitchToB --> ThinkAgain["再次計算"] ThinkAgain --> Case3["信封A是半價 (Y/2元) : 機率50%"] ThinkAgain --> Case4["信封A是兩倍 (2Y元) : 機率50%"] Case3 --> Calc2["期望值 = 1.25Y"] Case4 --> Calc2 Calc2 --> SwitchToA["再次交換成信封A!"] SwitchToA --> Start style Calc fill:#ff9999,stroke:#333,stroke-width:2px style Calc2 fill:#ff9999,stroke:#333,stroke-width:2px style SwitchToA fill:#ff4444,color:#fff,stroke:#333,stroke-width:4px

為什麼看似完美的期望值計算，會產生如此荒謬的悖論呢？

3. 數學把戲的解密：變數的偷換

這個悖論的陷阱在於 「隨機變數 $X$ 的使用方式」。

在剛才的計算公式中，我們把信封A的金額 $X$ 當成一個 固定的常數 來處理，並假設信封B是「$\frac{X}{2}$ 或 $2X$」。然而，真正固定的是 「兩個信封裡的金額總和」，或者是 「較少的那個金額」。

假設裝有較少金額的信封裡有 $S$ 元。那麼，裝有較多金額的信封裡就有 $2S$ 元。遊戲的所有情境只有以下兩種模式（機率各為 $\frac{1}{2}$）。

模式1： 你選擇的信封A是較少的 ($S$)，信封B是較多的 ($2S$)
模式2： 你選擇的信封A是較多的 ($2S$)，信封B是較少的 ($S$)

現在，讓我們正確地計算 「不交換」 和 「交換」 時的期望值。

不交換時的期望值 $E_{stay}$：

$$ E_{stay} = \frac{1}{2} \times S + \frac{1}{2} \times 2S = \frac{3}{2}S = 1.5S $$

交換時的期望值 $E_{switch}$： 在模式1的時候能得到 $2S$，在模式2的時候能得到 $S$。

$$ E_{switch} = \frac{1}{2} \times 2S + \frac{1}{2} \times S = \frac{3}{2}S = 1.5S $$ $$ E_{stay} = E_{switch} $$

期望值完美地一致了！在最初錯誤的計算中，因為把模式1的 $X$（實際上是 $S$）和模式2的 $X$（實際上是 $2S$）這 兩個不同的值當作了同一個變數 $X$ 來處理，所以產生了「交換就能提升期望值」的幻覺。

pie title "期望值的真相（假設較少的金額為S）" "不交換的期望值 (1.5S)" : 50 "交換的期望值 (1.5S)" : 50

4. 如果打開了信封會怎麼樣？

悖論看起來似乎已經解決了。但是，更深層的問題還在後頭。

如果你 在交換信封之前，先看了自己信封A裡面的內容，那會怎麼樣呢？當你打開信封A，發現裡面裝著 「10,000元」。

在這個瞬間，$X = 10000$ 變成了一個確定的值。信封B裡面裝的，不是「5,000元」就是「20,000元」。如果套用最初的計算公式會變成怎樣呢？

$$ E_{switch} = \frac{1}{2} \times 5000 + \frac{1}{2} \times 20000 = 2500 + 10000 = 12500 $$

期望值是 12,500 元。絕對比現狀的 10,000 元還要高。而且，這次 $X$ 已經變成了 10,000 元這個「具體的常數」，所以剛才「偷換變數」的反駁已經行不通了。這樣的話，是不是 絕對交換比較划算 呢？

貝氏推論的有力反證：「事前分配」的缺失

針對這一點，數學家們提出了一個名為 「金額的事前分配（事前機率）」 的概念。也就是「5,000元和20,000元，真的可以說是各有 $\frac{1}{2}$ 的機率在裡面嗎？」這樣的疑問。

舉例來說，假設節目的預算最高只有1億元。如果你打開信封A發現裡面有「6,000萬元」，那麼信封B裡有「1億2,000萬元」的機率就是零（因為超出了預算）。也就是說，信封A的金額越大，信封B為「兩倍」的機率就會下降，而為「一半」的機率則應該會上升。

假設存在任意的事前分配 $P(x)$，並使用貝氏定理來計算期望值，數學上已經證明：在任何符合現實的（總和為1的）機率分配下，都不存在一種神奇的分配，能讓所有金額 $X$ 都符合「交換比較划算」的結果。

5. 無限的陷阱：與聖彼得堡悖論的關聯

唯一能讓「在所有 $X$ 的情況下交換都比較划算」成立的情況只有一種。那就是，假設節目的預算是 無限大，並且所有金額（1元、2元、4元、8元……無限）都以相等的機率出現，這種「非正則機率分配（總和為無限大的分配）」的假設。

然而，現實世界中並不存在擁有無限資產的電視台。這種「無限大的期望值」所引發的 bug，與 聖彼得堡悖論（面對一個具有無限期望值的賭博，人們願意支付多少錢的問題）有著極深的同源性。

6. 總結：機率與期望值的可怕之處

「兩個信封悖論」雖然只由簡單的乘法和加法構成，卻帶給我們以下教訓：

定義模糊所產生的錯誤：如果不將變數所指代的東西（$X$ 是否總是代表相同金額）明確化，邏輯就會輕易崩潰。
「沒有資訊＝機率50%」的錯覺：基於「因為不知道所以各半吧」的前提（不充分理由原則），有時會導致致命的計算錯誤。
處理無限的困難：如果將不適用於現實世界的「無限」概念帶入計算公式，就會得出違反常理的結果。

下次當你在人生中覺得「外國的月亮比較圓，交換一定比較划算」的時候，請想起這個悖論。或許只是在你的計算公式中，變數被偷換了而已。