跳轉到

1.1 Cantor 集合論與第三次數學危機#

本節目標#

  • 理解 Cantor 集合論（1874、1895/1897）的誕生背景與核心貢獻：無窮的分層、對角線法與不可數性。
  • 認識 1897 年 Russell 悖論如何摧毀樸素集合論，觸發第三次數學危機。
  • 了解 Zermelo 1908 公理化如何把集合論從危機中救回。
  • 從三大數學危機的歷史定位，看出「危機 → 公理化 → 更強的數學」的驅動模式，這正是本書後續形式化數學的源頭。

無窮也能比較大小：Cantor 的革命#

在 Cantor 之前，數學家普遍追隨 Gauss 的態度：無窮只是「潛在的」（potential infinity），是寫不完的過程，不是可以操作的「實體」（actual infinity）。把無窮整體當成對象來研究，被視為方法論上的禁區。

Cantor 在 1874 年的論文〈論一切代數實數的一個性質〉打破禁忌：他證明代數數是可數的，而實數不可數——存在兩種大小不同的無窮。到了 1895/1897 年的兩篇終結性論文《貢獻》（Beiträge zur Begründung der transfiniten Mengenlehre），他建立了完整的超限數理論。

基數：把「一對一對應」當作數數的原則#

Cantor 的洞察是：比較兩個集合的大小，不必數個數，只需看能否建立一對一對應（bijection）。

\[ |A| = |B| \iff \exists f : A \to B,\ f \text{ 為雙射} \]

由此誕生無窮基數的層級：

\[ \aleph_0 < 2^{\aleph_0} < 2^{2^{\aleph_0}} < \cdots \]
  • \(\aleph_0\) ：自然數的基數（可數無窮）。
  • \(2^{\aleph_0}\) ：實數的基數，即連續統（continuum）的基數。
  • Cantor 定理保證 \(|A| < |\mathcal{P}(A)|\) ，因此無窮沒有「最大」。

對角線法：一個改變數學史的論證#

1891 年 Cantor 用對角線法（diagonal argument）重新證明實數不可數，證法極為優雅：假設把 \((0,1)\) 的所有實數排成序列 \(r_1, r_2, r_3, \ldots\) ，將每個寫成無窮小數。構造新數 \(d\) ，使其第 \(n\) 位數字與 \(r_n\) 的第 \(n\) 位不同：

\[ r_1 = 0.\mathbf{3}14159\ldots \]
\[ r_2 = 0.2\mathbf{7}18281\ldots \]
\[ r_3 = 0.141\mathbf{5}926\ldots \]
\[ d = 0.486\ldots \neq r_n \quad \text{對所有 } n \]

則 \(d\) 不在序列中，與假設矛盾。這個「對角線」結構將在 1.3 節以 Gödel 句子的形式重返舞台——自指與對角化是二十世紀數學邏輯的主旋律。

年份 事件 意義
1874 Cantor 首篇集合論論文 實數不可數，無窮有大小之分
1891 對角線法發表 自指式論證的通用工具
1895/1897 《貢獻》兩篇 超限基數與序數理論系統化
1897 第一次國際數學家大會 Hurwitz、Hadamard 等公開支持

1897：Russell 悖論與樸素集合論的崩壞#

Cantor 的集合論採用概括原理（comprehension principle）：任何性質 \(\varphi(x)\) 都決定一個集合

\[ \{x \mid \varphi(x)\} \]

這聽起來天經地義，卻在 1901 年（Russell 於 1901 年發現，1903 年《數學原理》中發表，並在 1902 年致 Frege 的信中率先告知）被一個問題摧毀：

令 \(R = \{x \mid x \notin x\}\) ，問 \(R \in R\) 成立嗎？

代入定義： \(R \in R \iff R \notin R\) 。矛盾。這就是 Russell 悖論。

影響是即時且毀滅性的：Frege 當時即將出版的《算術基本律》第二卷的公理系統因此失效，他在附記中承認「算術的基礎動搖了」。集合論曾是所有數學的共同基礎——自然數、函數、拓撲空間都定義為集合——基礎塌陷，整座大廈都在晃動。

注意結構：Russell 悖論與 Cantor 對角線法、以及日後的 Gödel 句子、Turing 停機問題，都是同一個模板：

\[ \text{定義 } X \text{ 為「不適用於自身的對象之全體」，再問 } X \text{ 適用於自身嗎？} \]

Zermelo 1908：公理化救火#

1904 年 Zermelo 證明良序定理（使用選擇公理），引發爭議；1908 年他發表公理化集合論，釜底抽薪：不禁止談論集合，而是限制哪些集合可以存在。

ZFC 的核心公理（現代形式，Zermelo 1908 奠基、Fraenkel 與 Skolem 1920 年代補強）：

公理 內容 防堵什麼
外延公理 元素相同則集合相同 確定「相等」的意義
分離公理 \(\{x \in A \mid \varphi(x)\}\) 需先有 \(A\) 直接堵死 Russell 悖論
配對、聯集、冪集 建構集合的基本操作 保證足夠的集合存在
無窮公理 存在歸納集 保證 \(\mathbb{N}\) 存在
正則公理 沒有 \(x \in x\) 的下降鏈 排除自屬集合
選擇公理 任意集合族可選代表 良序定理等經典結果

關鍵在分離公理：集合必須從既有集合中「切出」，不能無中生有。Russell 的 \(R\) 沒有母集 \(A\) 可資分離，於是無法定義——悖論不是「解決」了，而是被公理排除在系統之外。

但這引出新問題：我們如何知道 ZFC 自身是一致的？ 這個問題把火炬交給了 Hilbert（1.2 節），而答案將由 Gödel 給出（1.3 節）。

三大數學危機的歷史定位#

危機 年代 矛盾核心 解決方式 衍生成果
第一次：無理數 約公元前 5 世紀 \(\sqrt{2}\) 不可公度，畢氏學派「萬物皆數（整數比）」崩潰 Eudoxus 比例論、實數理論 嚴格的幾何公理傳統
第二次：微積分基礎 17–19 世紀 無窮小量 \(\frac{dy}{dx}\) 的 \(\frac{0}{0}\) 困境、Berkeley 稱之「消逝量的幽靈」 Cauchy/Weierstrass 的 \(\varepsilon\) - \(\delta\) 極限 分析算術化、實數嚴格化
第三次：集合論悖論 1897– Russell 悖論、概括原理自毀 ZFC 公理化 數理邏輯、證明論、可計算性

三次危機的共同模式：

  1. 新工具帶來巨大威力（無理數、微積分、集合論）。
  2. 直覺跟不上，產生內部矛盾。
  3. 公理化與邏輯嚴格化救回工具，且每次都比原直覺走得更深。

第三次危機尤其特殊：它的「救援隊伍」——Hilbert、Gödel、Turing、Church、Gentzen——直接催生了計算機科學。本書的主題 Lean 與 AI 數學證明，正是這條歷史線在二十一世紀的延伸。

小結與練習#

重點回顧#

  • Cantor 用雙射定義「大小」，對角線法證明 \(|\mathbb{R}| > |\mathbb{N}|\) ，實體無窮正式進入數學。
  • 概括原理允許自指集合，Russell 悖論令樸素集合論崩壞，構成第三次數學危機。
  • Zermelo 公理化的策略是限制集合的存在方式而非禁止討論，用分離公理堵死 \(R\) 的定義。
  • 危機沒有白費：公理化運動直接孕育了形式系統、元數學與可計算性理論。

練習#

  1. 證明 \(\mathbb{Q}\) 可數（提示：按分子分母之和分層排列）。
  2. 用對角線法證明：從 \(\mathbb{N}\) 到 \(\{0,1\}\) 的所有函數（即所有 \(\{0,1\}\) -序列）構成的集合不可數。
  3. 在 ZFC 分離公理下，說明為何無法對任意「性質」 \(x \notin x\) 直接形成集合。
  4. 比較 Russell 悖論與 Cantor 對角線法的結構相似性，寫出兩者共同的「自指模板」。
  5. 上網查閱：連續統假設（CH） \(2^{\aleph_0} = \aleph_1\) 在 ZFC 中的地位（提示：Gödel 1940 與 Cohen 1963），這將呼應 1.3 節的獨立性結果。