4.2 FRAENKEL與替換公理1922#

本章導言#

Zermelo 1908 的系統能用，但有兩個技術缺口（4.1 節）：造不出序數、造不出「函數像集」。1922 年 Abraham Fraenkel 與 Thoralf Skolem 分別提出替換公理（Axiom of Replacement）：若對集合 \(a\) 的每個成員 \(x\) ，函數 \(F\) 給出唯一對象 \(F(x)\) ，則像集 \(\{F(x) : x \in a\}\) 成集。加上 John von Neumann 1923 的序數定義，ZFC 的現代形態在 1925 年前後完成。本節講替換公理的動機、內容、與「最大公理」的地位，以及 von Neumann 如何以它重建整個序數—基數理論。

缺口的具體化：三個 Zermelo 系統做不出的事#

缺口 A：序數。Zermelo 系統可以造 \(0, 1, 2, \dots, \omega\) （靠無窮公理），卻造不出 \(\omega + 1 = \omega \cup \{\omega\}\) 之後的收攏步驟：集合 \(\{\omega, \omega+1, \omega+2, \dots\}\) （即 \(\omega \cdot 2\) ）需要「對映射 \(n \mapsto \omega + n\) 取像集」——像集成集正是替換公理的內容。

缺口 B：函數像集。設 \(F(x) = \{x\}\) （單點化）。對任何集合 \(a\) ，像集 \(\{\{x\} : x \in a\}\) 在 Zermelo 系統中無法保證存在（可用冪集與分離構造出 \(a\) 的一部分情形，但一般不行）。更關鍵： \(F(x) =\) 「 \(x\) 的第 \(\alpha\) 個叠代冪集」這類函數，其像集完全依賴替換。

缺口 C：基數理論。Zermelo 系統無法定義「 \(|A|\) 作為一個集合」（初等基數），因此「每個基數有後繼基數」不可證——無窮基數階層（2.2 節）無法在系統內展開。

替換公理的內容與力量#

替換公理（Replacement）：對每個一階公式 \(\phi(x, y, \vec p)\) ，若 \(a\) 中每個 \(x\) 有唯一 \(y\) 使 \(\phi(x, y, \vec p)\) ，則存在集合 \(b\) ：

\[ \forall x \in a\, \exists! y\, \phi(x, y, \vec p) \Rightarrow \exists b\, \forall y\,(y \in b \leftrightarrow \exists x \in a\, \phi(x, y, \vec p)). \]

它是 ZFC 中「最大」的公理：可以證明，替換公理蘊含分離公理（取 \(\phi(x,y)\) 為 \(x = y \wedge \psi(x)\) ）與部分無序對、部分冪集的功能。現代教科書（Kunen, Jech）的標準清單：外延性、基礎（正則）、無序對、併集、冪集、無窮、替換（模式）、選擇、正則。九條，其中替換是無窮公理模式。

替換公理的哲學特點：它是唯一一條不是「從已有集合出發」而是「沿函數向外推進」的公理——它把「函數在集合上的行為」視為存在性的保證。這與選擇公理（也是函數存在性公理）形成對照：替換是確定性函數的像集，AC 是任意選擇函數的存在。

VON NEUMANN 序數：一次徹底的重建#

von Neumann 1923 的定義使序數成為具體的集合：

序數 = 傳遞且被 \(\in\) 良序的集合。 \(0 = \varnothing\) ； \(1 = \{0\}\) ； \(2 = \{0, 1\}\) ；……； \(\omega = \{0, 1, 2, \dots\}\) ； \(\omega + 1 = \omega \cup \{\omega\}\) ；……

（傳遞集合：每個成員的成員也是成員。）此定義的天才之處：序數既是序型又是集合——「第 3 個」與「 \(\{0,1,2\}\) 」是同一個對象。序數的良序 \(\in\) 有三個性質：三分性（任兩序數可比）、傳遞性、良基性。

有了替換公理，序數理論完整展開：

\[ 0, 1, 2, \dots, \omega, \omega+1, \dots, \omega \cdot 2, \dots, \omega^2, \dots, \omega^\omega, \dots, \varepsilon_0, \dots, \omega_1, \dots \]

超窮歸納法成為集合論的基礎證明工具：若性質 \(P\) 對「所有較小序數成立則對 \(\alpha\) 成立」，則 \(P\) 對一切序數成立。遞迴定義（超窮遞迴）：給定 \(F\) 的遞推規則，可定義 \(G\) 在所有序數上的值——其合法性證明恰恰需要替換公理。

一個具體例子#

例題 4.2.1：用替換公理證明：對每個序數 \(\alpha\) ，存在序數 \(\alpha + 1\) ，且集合 \(\{\alpha + n : n \in \omega\}\) 存在（其上確界為 \(\alpha + \omega\) ）。

解：定義 \(F(n)\) 為「從 \(\alpha\) 起的第 \(n\) 個叠代後繼」： \(F(0) = \alpha\) ， \(F(n+1) = F(n) \cup \{F(n)\}\) 。此遞迴定義由超窮遞迴定理（需要替換公理證明 \(F\) 在 \(\omega\) 上的存在唯一）合法化。

\(F\) 是一個確定函數：每個 \(n\) 對應唯一的 \(F(n)\) 。由替換公理，像集

\[ b = \{F(n) : n \in \omega\} = \{\alpha, \alpha+1, \alpha+2, \dots\} \]

成集。由併集公理與無窮公理， \(\sup b = \bigcup b \cup b\) 的成員皆為序數且 \(b\) 被 \(\in\) 良序， \(\alpha + \omega = \bigcup\{F(n) + 1 : n \in \omega\}\) 為序數，嚴格大於每個 \(\alpha + n\) 。 \(\blacksquare\)

要點：沒有替換公理， \(\{\alpha + n : n \in \omega\}\) 不可證存在——「無窮多個叠代」的收攏正是 Zermelo 系統做不到、替換公理做到的事。這就是序數理論、基數階層、以及一切「沿 \(\omega\) 或 \(\omega_1\) 推進」的構造的公理基礎。

例題 4.2.2：證明替換公理蘊含分離公理。

解：給定集合 \(a\) 與公式 \(\psi(x)\) 。定義 \(\phi(x, y) := \psi(x) \wedge y = x\) 。對 \(a\) 中每個 \(x\) ：若 \(\psi(x)\) 則唯一 \(y = x\) 滿足 \(\phi\) ；若 \(\neg\psi(x)\) 則沒有 \(y\) 滿足——不滿足唯一性！修正： \(\phi(x, y) := (\psi(x) \wedge y = x) \vee (\neg\psi(x) \wedge y = \varnothing)\) 。此時每個 \(x\) 有唯一 \(y\) （ \(x\) 或 \(\varnothing\) ）。替換公理給出 \(b = \{y : \exists x \in a\, \phi(x, y)\}\) 。再由分離（此時用分離的空集合存在或直接用 \(b\) ）： \(a \cap b\) 的滿足 \(\psi\) 的子集即 \(\{x \in a : \psi(x)\}\) 。 \(\blacksquare\)

SKOLEM 的一階化與其炸彈#

Fraenkel 與 Skolem 1922 的第二貢獻：把「確定性質」精確化為一階公式。Skolem 進一步指出（1922/1923）：ZFC 是一階理論，其公理只有可數多條（替換是模式，但每條實例有限），因此——

Skolem 悖論：若 ZFC 一致，它有可數模型（Löwenheim–Skolem 定理，5.3 節）。即：存在模型 \(M\) ，其中「不可數集合 \(\mathbb{R}\) 」的 \(M\) -版本從外部看是可數的。

Skolem 視此為「一階集合論不能刻畫『不可數』的絕對概念」的哲學炸彈；主流數學家視之為「相對性」的接受事實。此爭論將在 5.3 節展開——替換公理的一階化是 ZFC 成形的同時，也種下了它永遠無法「絕對化」的種子。

歷史啟示#

公理由「用得上」驅動：替換公理不是為邏輯美感而生，而是為了做出數學家實際需要的構造（序數、像集、遞迴）。
一個好的定義（von Neumann 序數）等於一個理論：序數作為集合的定義使抽象序型變為可操作對象——表示法的選擇是基礎研究的核心技術。
修補與炸彈同時到達：一階化使系統嚴格，也使它永遠相對化（Skolem）。嚴格化不會終結哲學，只是改變哲學的問題。

與其他章節及領域的關聯#

4.1 節：Zermelo 系統是替換公理的起點。
4.3 節：累積層級 \(V_\alpha\) 的定義需要替換（沿 \(\alpha\) 推進）。
2.2 節： \(\aleph\) 序列的嚴格定義依賴序數理論。
5.3 節：Skolem 悖論與 Löwenheim–Skolem 定理。
6.1 節：Gödel 編碼中的遞迴函數構造，形式上就是超窮遞迴在 \(\omega\) 上的版本。
9.3 節：Martin-Löf 類型論的「宇宙層級」 \(U_0 : U_1 : \cdots\) 是替換公理「沿層級推進」思想的類型論對應。
計算機科學：Map-Reduce 的「對每個 \(x\) 算 \(F(x)\) 再收攏」正是替換公理的計算形象；集合論中的序數用於 Termination checking（超窮排序作為程式終止的度量）。

練習#

證明 von Neumann 序數是傳遞的：若 \(\alpha\) 是序數且 \(\beta \in \alpha\) ，則 \(\beta\) 是序數。
證明：任何傳遞且被 \(\in\) 良序的集合，其每個成員都是它的初始段（即 \(\alpha = \{\beta : \beta < \alpha\}\) ）。
用替換公理證明 \(\{\omega, \omega \cdot 2, \omega \cdot 3, \dots\}\) （序數列）成集。
完成例題 4.2.2 中「再由 \(b\) 構造 \(\{x \in a : \psi(x)\}\) 」的細節。
思考題：替換公理是「模式」（每個 \(\phi\) 一條），因此 ZFC 有可數無窮多條公理。這對「ZFC 是一個系統」的直觀有何衝擊？比較：Newton 力學的「 \(F = ma\) 對每個力型適用」是否也是模式？

進階研讀：三個深化場景#

場景一：von Neumann 的 1923–1928 三部曲。1923 序數、1925「一種替代集合論的建構」（以函數為原始概念）、1928 良序定理的新證明。von Neumann 22 歲的這組工作使集合論從「Zermelo 的實用清單」變為「有內在層級結構的宇宙理論」——累積層級（4.3 節）是他的最終成品。

場景二：替換公理的獨立性。Zermelo 系統（不含替換）+ \(V_{\omega \cdot 2}\) 構成替換公理的一個模型（在 \(V_{\omega \cdot 2}\) 內，替換失敗於「 \(n \mapsto \omega + n\) 」）——替換公理獨立於 Zermelo 公理，這證明它真正新增了數學能力，不是修辭。

場景三：Fraenkel 的命運。Fraenkel 1922 的貢獻使他成為 ZFC 的「F」，但他本人的主要興趣是有原子集合論（ZFA，允許非集合的原子，用於 Fraenkel–Mostowski 模型、選擇公理的獨立性研究，8.1 節）與猶太學術史。ZFC 的字母排序（Zermelo–Fraenkel–Cantor 的縮寫巧合）成為科學命名史的趣聞：C 在哪裡被「加」進去，標誌著 Cantor 地位的追認。

名詞速查表#

替換公理：確定函數在集合上的像集成集（公理模式）。
von Neumann 序數：傳遞且被 \(\in\) 良序的集合。
傳遞集合：成員的成員仍是成員。
超窮歸納／遞迴：沿序數的歸納證明與遞迴定義。
** \(\varepsilon_0\) **： \(\omega, \omega^\omega, \dots\) 的上確界，Gentzen 一致性證明的歸納界（3.3 節）。
ZFA：有原子的集合論，Fraenkel–Mostowski 模型的舞台。

年表速查#

1908：Zermelo 系統。
1919：Fraenkel《集合論導論》。
1922：Fraenkel、Skolem 提出替換公理；一階精確化。
1923：von Neumann 序數定義。
1925：von Neumann 函數式集合論。
1928：von Neumann 良序定理新證。
1930：Zermelo 分層宇宙；ZFC 名稱的普及。

深化問答三則#

問：替換公理為何不是「明顯為真」的？ 答：因為它斷言「每個在集合上確定的操作，其輸出的全體成集」——這是對「集合宇宙足夠豐富」的承諾。若宇宙太小（如 \(V_{\omega \cdot 2}\) ），某些像集會越界。替換公理是對宇宙「開放性」的公理化，其自明性依賴於層級圖像（4.3 節）的接受。

問：為什麼 ZFC 需要「基礎公理」（正則公理）？ 答：它排除 \(x \in x\) 與無窮下降鏈，使每個集合都有 \(\in\) -最小成員，序數理論因此乾淨（ \(\in\) 良序性依賴它）。有趣的事實：沒有正則公理，日常數學幾乎不變——它主要服務於層級圖像的優雅，這也說明 ZFC 的部分公理是「宇宙觀」而非「數學必需」。

問：Skolem 悖論為何沒有摧毀 ZFC？ 答：因為它不是矛盾而是現象：模型內的「不可數」是模型內相對的。數學界把 Skolem 的哲學擔憂轉化為模型論的研究對象（內模型、初等子模型）。這是悖論處理的第三種模式（第一種：排除；第二種：降格為定理；第三種：升格為研究領域）。

（本節完）