跳轉到

8.3 COHEN的力迫法1963#

本章導言#

1963 年，29 歲的 Paul Cohen 在 Stanford 證明：CH 與 ZFC 一致且 \(\neg\) CH 也與 ZFC 一致——連續統假設被證明獨立於 ZFC（Gödel 1938 已證一半）。他的工具力迫法（forcing）是二十世紀邏輯學最重要的發明：一種從已有模型擴張出新模型的組合技術。Cohen 因此獲 1966 年 Fields 獎（迄今唯一由邏輯學家以邏輯工作獲得者）。本節講力迫法的思想、典範應用（ \(\neg\) CH 的模型），以及它如何把集合論變成「宇宙的動力學」。

問題：如何「加入」新集合#

Gödel 的內模型（8.2 節）從 \(V\) 中切出 \(L\) ，證明 CH 不可反駁。要證明 \(\neg\) CH 不可反駁，需要一個 ZF + \(\neg\) CH 的模型——在 \(L\) 或 \(V\) 中找不到（它們都滿足 CH），必須擴張：往宇宙裡加入新的實數，使實數多於 \(\aleph_1\) 個。

困難：加入新實數會攪動整個宇宙—— \(\omega_1\) 可能改變、ZFC 公理可能失效。Cohen 的洞察：不直接加入集合，而用有限條件逼近之。

力迫法的架構#

偏序集（力迫條件）：取 \((\mathbb{P}, \le)\) ，元素 \(p \in \mathbb{P}\) 是「關於未來泛型的有限資訊」， \(q \le p\) 意為 \(q\) 資訊更多（更強）。

泛型濾子 \(G\) ： \(\mathbb{P}\) 的濾子，與地面模型 \(M\) 中所有稠密集相遇。 \(G\) 通常不在 \(M\) 中（對角線： \(M\) 中可枚舉稠密集， \(G\) 逐一躲開）。

**擴張模型 \(M[G]\) ：以 \(G\) 為「神諭」構造的新宇宙—— \(M\) 的集合 + 由 \(G\) 命名的對象。 \(M[G] \models \mathrm{ZFC}\) **（力迫定理保證）。

**力迫關係 \(p \Vdash \phi\) **：條件 \(p\) 強迫語句 \(\phi\) 在 \(M[G]\) 中為真。關鍵定理：

真值引理： \(M[G] \models \phi \iff \exists p \in G,\ p \Vdash \phi\) 。

力迫關係在 \(M\) 內可定義——這使「新宇宙的真值」在舊宇宙中可計算。整個技術是把無窮對象（新模型）化約為有限資訊（條件）的組合學。

\(\neg\) CH 的模型：Cohen 的原版論證#

目標：構造 \(M[G] \models 2^{\aleph_0} \ge \aleph_2\) 。

構造：取 \(\mathbb{P} = \operatorname{Fn}(\omega_2 \times \omega, 2)\) （有限部分函數， \(\omega_2 \times \omega \to \{0, 1\}\) ， \(\le\) 為反擴張）。 \(G\) 是泛型濾子時， \(\bigcup G\) 是從 \(\omega_2 \times \omega\) 到 \(2\) 的全函數，編碼 \(\omega_2\) 個新實數 \(r_\alpha = \{n : G(\alpha, n) = 1\}\) 。

論證：

  1. 真值引理保證 \(M[G] \models \mathrm{ZFC}\) 。
  2. 反鏈計數： \(M[G]\) 中每個實數若不同於所有 \(r_\alpha\) ，需要一個條件排除每個 \(r_\alpha\) ——而條件是有限的，只能排除有限多個；精細的分析（c.c.c. 反鏈條件： \(\mathbb{P}\) 的兩兩不交條件族至多可數）保證 \(\omega_1\) 在 \(M[G]\) 中不變（保基數）。
  3. 故 \(M[G]\) 中實數至少 \(\aleph_2\) 個而 \(\aleph_1\) 不變： \(2^{\aleph_0} \ge \aleph_2\) ， \(\neg\) CH 成立。

技術核心是 c.c.c.：有限條件的組合性質（兩兩不交者至多可數）阻止了新實數攪動舊基數——組合學守衛邏輯的一致性。不同力迫性質（c.c.c.、閉、塌縮）對應不同的宇宙工程效果，力迫法的「代數」由此生長為集合論的主要技術。

一個具體例子#

例題 8.3.1：證明 Cohen 力迫 \(\mathbb{P} = \operatorname{Fn}(\omega, 2)\) 添加的泛型實數 \(r = \bigcup G\) 不屬於地面模型 \(M\) 。

解：反設 \(r \in M\) （ \(r \subseteq \omega\) ）。在 \(M\) 中，對每個 \(n\) 定義稠密集

\[ D_n = \{p \in \mathbb{P} : n \in \operatorname{dom}(p)\}. \]

\(G\) 與每個 \(D_n\) 相遇，故 \(\operatorname{dom}(\bigcup G) = \omega\) ， \(r\) 是無窮 0-1 序列。

現在用對角線： \(r \in M\) ，故 \(M\) 中有稠密集

\[ D^* = \{p \in \mathbb{P} : \exists n \in \operatorname{dom}(p),\ p(n) \ne r(n)\}. \]

\(D^*\) 稠密（任何有限條件可擴張為在某新位置與 \(r\) 相異）。 \(G\) 與 \(D^*\) 相遇：存在 \(p \in G\) 與 \(r\) 在某處相異。但 \(r = \bigcup G \supseteq p\) ，故 \(r\) 與 \(p\) 在 \(p\) 的定義域上一致——矛盾。故 \(r \notin M\) 。 \(\blacksquare\)

要點：這是對角線法的第五次登場（2.1、3.1、6.1、7.1 之後）——泛型濾子的存在性由「與所有 \(M\) -稠密集相遇」保證，而其不在 \(M\) 中恰由對角線排除。力迫法內建了「新對象必然是新」的機制。

例題 8.3.2：用例題 8.3.1 的思想證明：任何可數傳遞模型 \(M \models \mathrm{ZFC}\) 都有力迫擴張。

解： \(M\) 可數，故 \(M\) 的稠密集只有可數多個，枚舉為 \(D_1, D_2, \dots\) 。對任意 \(\mathbb{P} \in M\) ，歸納構造鏈 \(p_1 \ge p_2 \ge \cdots\) 使 \(p_n \in D_n\) 。濾子 \(G = \{q : \exists n, q \ge p_n\}\) 與每個 \(D_n\) 相遇——泛型濾子存在（相對 \(M\) ）。（對不可數 \(M\) ，泛型性需在更大的 \(V\) 中取，或用布爾值模型——力迫法的布爾值版本使一切在 ZFC 內嚴格。） \(\blacksquare\)

力迫法的概念革命#

  • 宇宙的動力學：集合論宇宙不是固定的，而是可操作的（擴張、收縮、內模型）。CH 的獨立性不是「無解」而是「多解宇宙」——多元論的技術基礎（10.3 節）。
  • 組合學的升格：力迫性質（c.c.c.、真類反鏈、souslin 樹）使無窮組合學成為集合論的主流——「哪個宇宙」的問題由組合性質回答。
  • 獨立性的常態化：Cohen 之後，獨立性證明成為集合論的日常工藝：蘇斯林假設（1967–71）、馬丁公理、 diamond 原理、白板問題——每個獨立問題都是一次宇宙工程。

歷史啟示#

  • 第三種矛盾處理：Cantor（定理）、Russell（排除）、Gödel（不可判定語句）、Turing（不可計算）之後，Cohen 提供第五式：擴張宇宙使問題的兩面各自成立。對角線法譜系的最新章。
  • 一個年輕人的跨界：Cohen 是分析學出身（調和分析），自學邏輯兩年後解決 Hilbert 第一問題。基礎問題有時被外來者以「非標準方法」攻克——他甚至先「發明」了一階模型的初等子模型技術（獨立於模型論傳統）。
  • 相對一致性成為方法論：1963 之後，「證明獨立性」不再是否定性的（「無解」）而是建設性的（「多個宇宙」）——集合論從追求唯一真理轉為研究宇宙的景觀。

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

  • 8.1–8.2 節：AC、CH 的獨立性構成第 8 章的兩極。
  • 2.2 節：CH 的百年命運在此完成。
  • 4.3 節：累積層級是力迫擴張的幾何語言（在塔上「加樓層」）。
  • 5.2–5.3 節：力迫法是模型論的「動態版」——完備性給存在，力迫給受控存在。
  • 6.1 節：獨立性（CH）與不可判定性（ \(G_T\) ）的層次差別：前者是公理級、後者是定理級。
  • 計算機科學：力迫法的「條件—泛型」結構影響了域理論與資訊系統（Scott 拓撲）、匿名化與隨機化的對角線技術；布爾值模型是或然程式語義的先聲。
  • 物理：多元宇宙辯論（10.3 節）以集合論多元論為數學平行案例。

練習#

  1. 完成例題 8.3.1 中「 \(D^*\) 稠密」的驗證，並指出對角線的「位置 \(n\) 」如何選擇。
  2. 證明 \(\operatorname{Fn}(\omega, 2)\) 滿足 c.c.c.（提示：兩兩不交的有限部分函數族可數——每個條件有有限定義域，按域大小分層）。
  3. 說明為什麼力迫擴張中 \(\omega_1\) 不變需要「保基數」論證，而 \(\omega\) 永遠不變是平凡的。
  4. 描述 Solovay 模型（8.1 節場景二）的力迫輪廓：先塌縮不可達基數，再加隨機實數。
  5. 思考題：Cohen 說他的方法證明 CH「在原則上無解」。一元論者說只是 ZFC 太弱。兩種解讀對集合論研究的方向有何不同影響？

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

場景一：布爾值模型與嚴格化。Scott–Solovay 1967 把力迫重述為布爾值模型：語句賦值於完全布爾代數 \(\mathbb{B}\) ，而非真假二值。力迫關係 = 布爾值為 1。這使力迫在 ZFC 內嚴格（不需「可數模型」的外部直覺），也連接了 5.3 節的非標準語義——多值邏輯成為集合論的工程語言。

場景二：馬丁公理與宇宙譜系。馬丁公理（MA）：c.c.c. 偏序集的 \(\aleph_1\) 個稠密集有共同交點（需 \(2^{\aleph_0} > \aleph_1\) ）。MA + \(\neg\) CH 的宇宙在「規則性」上優於 \(L\) （更多集合可測性質、無蘇斯林樹）。力迫法使「宇宙的優劣」成為可比較的技術問題——集合論的重心從真偽轉為宇宙評鑑。

場景三：Cohen 之後的 CH 問題。Woodin 的 \(\Omega\) -邏輯（2.2 節場景三）試圖以「終極 \(L\) 」恢復 CH 的可判定性；Hamkins 的多元論主張 CH 無絕對答案。1963 年的技術在 60 年後仍是哲學戰場——力迫法沒有終結基礎問題，而是把基礎問題升級為「宇宙選擇」問題。

名詞速查表#

  • **力迫條件 \(\mathbb{P}\) **：關於泛型的有限資訊偏序集。
  • **泛型濾子 \(G\) **：與所有地面稠密集相遇的濾子。
  • **力迫 \(\Vdash\) **：條件強迫語句在擴張中為真。
  • 真值引理： \(M[G] \models \phi \iff\) 某 \(p \in G\) 力迫 \(\phi\) 。
  • c.c.c.：反鏈條件，保基數的組合性質。
  • 布爾值模型：力迫的代數化嚴格化。
  • 蘇斯林假設／馬丁公理：力迫時代的獨立性舞台。

年表速查#

  • 1963：Cohen 證明 \(\operatorname{Con}(\mathrm{ZFC}) \Rightarrow \operatorname{Con}(\mathrm{ZFC} + \neg\mathrm{CH})\) 。
  • 1964：Cohen《集合論與連續統假設》。
  • 1965：Solovay 隨機實數力迫。
  • 1966：Cohen 獲 Fields 獎。
  • 1967：Scott–Solovay 布爾值模型。
  • 1970：Solovay 可測模型；Tennenbaum–Solovay（蘇斯林）。
  • 1971：Martin 公理。
  • 1990s–：終極 \(L\) 與多元論之爭。

深化問答三則#

問：力迫法「加入」的實數是真的嗎？ 答：在擴張模型 \(M[G]\) 中，它與任何 \(M\) -實數一樣真—— \(M[G]\) 滿足 ZFC，其「真」是內部的。從外部（ \(V\) ）看， \(M[G]\) 只是 \(V\) 的子類。「真」總是相對於宇宙的——力迫法把這個哲學事實變成了可操作的技術。

問：為什麼泛型濾子要「躲開」地面模型？ 答：泛型的本質是不受地面預測：地面模型的稠密集是「要求」， \(G\) 滿足所有要求但不被任何地面集合捕獲（例題 8.3.1 的對角線）。這正是新資訊的來源——泛型性 = 對地面模型的不可預測性，與 7.1 節停機問題中「算法不可預測其自身對角行為」同一結構。

問：CH 獨立之後，數學家該「相信」CH 嗎？ 答：三種立場並存：一元論（有真相，ZFC 不夠，需新公理如大基數）、多元論（兩種宇宙皆合法）、實用主義（研究兩邊的後果）。Cohen 的發現使「相信」從必然變成選項——這可能是 1963 年最深的文化後果：數學基礎首次成為可選擇的框架，如同程式語言的選型。

（本節完）