数学公理体系大全:第七章连续统假设与力迫法简介

第七章连续统假设与力迫法简介

引言：希尔伯特第一问题与康托的遗产

1878年，集合论的创始人乔治·康托在系统地研究了无穷集合的基数之后，提出了一个令后世数学家魂牵梦萦的问题：实数连续统的基数 2ℵ02^{\aleph_0}2ℵ0 究竟在阿列夫谱系中处于什么位置？康托早已证明自然数集 N\mathbb{N}N 是可数的，其基数为 ℵ0\aleph_0ℵ0，而实数集 R\mathbb{R}R 是不可数的。通过经典的"对角线方法"，他进一步证明了对任意集合 XXX，幂集 P(X)\mathcal{P}(X)P(X) 的基数严格大于 XXX 自身的基数，由此产生了一条严格递增的无穷基数链：

ℵ0<2ℵ0<22ℵ0<⋯ . \aleph_0 < 2^{\aleph_0} < 2^{2^{\aleph_0}} < \cdots . ℵ0<2ℵ0<22ℵ0<⋯.

同时，康托利用序数与良序理论定义了阿列夫序列 ℵ1,ℵ2,...\aleph_1, \aleph_2, \dotsℵ1,ℵ2,...，其中 ℵ1\aleph_1ℵ1 是最小的不可数基数。他发现，尽管可以证明 2ℵ0≥ℵ12^{\aleph_0} \ge \aleph_12ℵ0≥ℵ1，却无法断定是否有介于 ℵ0\aleph_0ℵ0 与 2ℵ02^{\aleph_0}2ℵ0 之间的其他基数。康托大胆地猜想，实数集就是最小的不可数集，即

2ℵ0=ℵ1. 2^{\aleph_0} = \aleph_1. 2ℵ0=ℵ1.

这就是连续统假设（Continuum Hypothesis, CH） 。更为宏大的**广义连续统假设（Generalized Continuum Hypothesis, GCH）**则断言，对任意序数 α\alphaα，有

2ℵα=ℵα+1, 2^{\aleph_\alpha} = \aleph_{\alpha+1}, 2ℵα=ℵα+1,

即幂集运算恰好将每个基数提升到其后继基数。康托终其一生试图证明CH，但未能成功。这一问题深刻地揭示了无穷的微妙性。

1900年，大卫·希尔伯特在巴黎国际数学家大会上发表了著名的演讲，提出了引领20世纪数学发展的二十三个问题。他将连续统假设列为第一个问题，并预言数学的完备性将使CH或真或假，终将被证明。然而，历史走向了另一个方向。

1938年，库尔特·哥德尔通过构造可构造宇宙 LLL ，证明了广义连续统假设与ZFC公理系统（策梅洛--弗兰克尔集合论加上选择公理）的相对一致性：若ZFC一致，则ZFC不能否证GCH。哥德尔因此解决了希尔伯特第一问题的"否证"半面。二十五年后，1963年，保罗·科恩发明了力迫法 （forcing），证明了若ZFC一致，则ZFC也不能证明CH。科恩的工作一举解决了独立性的另一半，他因此获得1966年的菲尔兹奖。两项里程碑式的成果合在一起，宣告了连续统假设独立于ZFC公理系统。

哥德尔的内模型方法与科恩的外扩张方法，不仅仅解决了这一历史难题，更开创了现代集合论的两大核心研究范式。LLL 的构造启示我们可以在ZFC的宇宙中剥离出一个"苗条"的子宇宙，其中一切集合都是可定义的，幂集的大小受到严格的控制，从而使GCH自然成立。力迫法则完全相反：它从某个基模型出发，通过精心设计的"近似条件"向外添加新的集合，迫使连续统膨胀到任意想要的大小，同时保持原有的公理不变。这两种构造的交相辉映，不仅阐明了CH的独立地位，更揭示了公理化方法固有的局限：ZFC公理不足以唯一地确定集合宇宙的全貌。

本章将以哥德尔的 LLL 和科恩的力迫为主线，深入展现从内模型到力迫扩张的逻辑图景。我们将严格定义可构造层级，证明凝聚引理，并推导GCH在 LLL 中成立。随后，我们将引入力迫偏序、名字、力迫关系等基本概念，构造否定CH的模型，并证明其一致性。最后，我们讨论布尔值模型、多元宇宙观念以及力迫法对数学全域的深远影响。

7.1 问题的严格陈述与超限归纳的准备

7.1.1 ZFC框架下的CH与GCH

在ZFC公理系统中，基数被精确定义为等势类的初始序数------即不能与任何更小的序数建立一一对应的序数。阿列夫序列 ℵα\aleph_\alphaℵα 通过超限递归严格定义为：

ℵ0=ω,ℵα+1=大于 ℵα 的最小初始序数,ℵλ=⋃β<λℵβ (λ为极限序数). \aleph_0 = \omega,\quad \aleph_{\alpha+1} = \text{大于 }\aleph_\alpha\text{ 的最小初始序数},\quad \aleph_\lambda = \bigcup_{\beta<\lambda}\aleph_\beta \;\;(\lambda\text{为极限序数}). ℵ0=ω,ℵα+1=大于 ℵα 的最小初始序数,ℵλ=β<λ⋃ℵβ(λ为极限序数).

基数的运算，特别是幂集基数 2κ:=∣P(κ)∣2^\kappa := |\mathcal{P}(\kappa)|2κ:=∣P(κ)∣，构成了连续统问题的核心。连续统假设即

2ℵ0=ℵ1. 2^{\aleph_0} = \aleph_1. 2ℵ0=ℵ1.

广义连续统假设则扩展为对任意 α\alphaα，

2ℵα=ℵα+1. 2^{\aleph_\alpha} = \aleph_{\alpha+1}. 2ℵα=ℵα+1.

在ZFC的累积层级 V=⋃α∈OrdVαV = \bigcup_{\alpha \in \mathbf{Ord}} V_\alphaV=⋃α∈OrdVα 中，V0=∅V_0 = \varnothingV0=∅，Vα+1=P(Vα)V_{\alpha+1} = \mathcal{P}(V_\alpha)Vα+1=P(Vα)，极限步取并集。每个集合都在某个 VαV_\alphaVα 中出现。ZFC公理刻画了这个迭代图景，但幂集操作 P\mathcal{P}P 在无限步上会引入大量的子集，其大小难以从下一层的信息简单推断。哥德尔的革命性想法是：不取全部的幂集，只取那些"可定义的"子集，从而构建一个在基数上完全可控的平行层级。

7.1.2 可定义性与分层

可定义性是在一阶集合论语言 L∈={∈}\mathcal{L}_\in = \{\in\}L∈={∈} 中，允许带参数而描述的性质。对于非空集合 MMM，定义 MMM 上的可定义子集族 Def⁡(M)\operatorname{Def}(M)Def(M) 为所有形如

{x∈M∣(M,∈)⊨φ(x,a1,...,an)}, \{x \in M \mid (M,\in) \models \varphi(x, a_1, \dots, a_n)\}, {x∈M∣(M,∈)⊨φ(x,a1,...,an)},

的集合，其中 φ(v0,v1,...,vn)\varphi(v_0, v_1, \dots, v_n)φ(v0,v1,...,vn) 为任意 L∈\mathcal{L}_\inL∈-公式，参数 a1,...,an∈Ma_1,\dots,a_n \in Ma1,...,an∈M。注意量词同样被限制于 MMM 中，这保证了对 Def⁡(M)\operatorname{Def}(M)Def(M) 的每个元素，其定义均"在 MMM 内完成"。Def⁡(M)\operatorname{Def}(M)Def(M) 是集合论操作：我们可以证明，若 MMM 是集合，则 Def⁡(M)\operatorname{Def}(M)Def(M) 也是集合，且其基数满足

∣Def⁡(M)∣≤max⁡(∣M∣,ℵ0). |\operatorname{Def}(M)| \le \max(|M|, \aleph_0). ∣Def(M)∣≤max(∣M∣,ℵ0).

这为迭代提供了基础。

7.1.3 可构造公理 V=LV=LV=L

基于可定义性，我们定义可构造层级如下：

L0=∅,Lα+1=Def⁡(Lα),Lλ=⋃α<λLα (λ极限), L_0 = \varnothing,\quad L_{\alpha+1} = \operatorname{Def}(L_\alpha),\quad L_\lambda = \bigcup_{\alpha<\lambda} L_\alpha \;\;(\lambda\text{极限}), L0=∅,Lα+1=Def(Lα),Lλ=α<λ⋃Lα(λ极限),

并令可构造宇宙 为 L=⋃α∈OrdLαL = \bigcup_{\alpha \in \mathbf{Ord}} L_\alphaL=⋃α∈OrdLα。可构造公理 V=LV=LV=L 宣称"每一个集合都是可构造的"，即 V=LV = LV=L。哥德尔证明了：

LLL 是ZFC的传递内模型（所有ZFC公理在 LLL 中成立）；
LLL 满足 V=LV=LV=L；
LLL 满足选择公理（因为 LLL 上存在可定义的全局良序）；
最重要地，LLL 满足广义连续统假设。

因此，若ZF一致，则ZFC + GCH一致。这意味着ZFC不能否证CH。哥德尔本人却认为 V=LV=LV=L 太过局限，因为它排除了诸如可测基数等自然的强无穷公理。他预计CH很可能在ZFC中是不可证明的，后来的力迫法证实了这一点。

7.2 哥德尔的 LLL：可构造层级的精细刻画

7.2.1 可构造层级的严格定义与基本性质

定义 7.2.1（可构造层级） 对任意序数 α\alphaα，定义

L0=∅,Lα+1=Def⁡(Lα),Lλ=⋃α<λLα(λ 极限),L=⋃α∈OrdLα. \begin{aligned} L_0 &= \varnothing, \\ L_{\alpha+1} &= \operatorname{Def}(L_\alpha), \\ L_\lambda &= \bigcup_{\alpha<\lambda} L_\alpha \quad (\lambda \text{ 极限}), \\ L &= \bigcup_{\alpha \in \mathbf{Ord}} L_\alpha. \end{aligned} L0Lα+1LλL=∅,=Def(Lα),=α<λ⋃Lα(λ 极限),=α∈Ord⋃Lα.

容易验证每个 LαL_\alphaLα 是传递集，且 Lα⊆VαL_\alpha \subseteq V_\alphaLα⊆Vα。特别地，Lα∩Ord=αL_\alpha \cap \mathbf{Ord} = \alphaLα∩Ord=α，因此 LLL 包含所有的序数。

定理 7.2.2（LLL 的基本性质）

LLL 是传递的真类，满足所有ZFC公理。
对任意序数 α\alphaα，LαL_\alphaLα 是集合；若 α\alphaα 为无穷基数，则 ∣Lα∣=∣α∣|L_\alpha| = |\alpha|∣Lα∣=∣α∣。
LLL 中的序数与 VVV 中的序数完全相同。
L⊨V=LL \models V=LL⊨V=L。
存在一个 Σ1\Sigma_1Σ1-可定义的全局良序 <L<L<L 使得在每个 LαL\alphaLα 上为良序。因此 LLL 满足选择公理。

全局良序的构造是递归的：假设 LαL_\alphaLα 已良序，则 Lα+1=Def⁡(Lα)L_{\alpha+1} = \operatorname{Def}(L_\alpha)Lα+1=Def(Lα) 中的元素可以按其所依赖的公式、参数在良序下的字典序排列，从而获得 Lα+1L_{\alpha+1}Lα+1 的良序。在极限步，将前段的良序拼接起来。该良序的定义是 Σ1\Sigma_1Σ1 的（即存在一个 Σ1\Sigma_1Σ1 公式定义 x<Lyx <_L yx<Ly），这对后续的凝聚引理至关重要。

7.2.2 LLL 中GCH成立的证明精要

哥德尔证明GCH在 LLL 中成立的核心由两部分构成：凝聚引理 和基数估计。

凝聚引理 (Condensation Lemma)

引理 7.2.3（凝聚） 设 α\alphaα 为任意序数，X≺LαX \prec L_\alphaX≺Lα 是 LαL_\alphaLα 的初等子结构（即对于所有公式 φ\varphiφ 和参数 x∈Xx \in Xx∈X，Lα⊨φ(x)L_\alpha \models \varphi(x)Lα⊨φ(x) 当且仅当 X⊨φ(x)X \models \varphi(x)X⊨φ(x)）。令 π:X≅M\pi: X \cong Mπ:X≅M 为 XXX 的传递坍缩（Mostowski坍缩），则存在某序数 β≤α\beta \le \alphaβ≤α 使得 M=LβM = L_\betaM=Lβ。

证明概要 ：关键在于 LαL_\alphaLα 上的良序 <α<\alpha<α 是 Σ1\Sigma_1Σ1 可定义的。初等子模型 XXX 因而也继承了该良序的性质，即 XXX 满足"存在一个 Σ1\Sigma_1Σ1 定义的良序全域"。经传递坍缩后，MMM 成为传递模型，并且仍然满足相同的 Σ1\Sigma_1Σ1 语句。可以证明，满足"每个集合均可构造"这一 Σ1\Sigma_1Σ1 可表达性质的传递模型必定是某个 LβL\betaLβ 的前段。而序数的坍缩给出了 β=π(α∩X)≤α\beta = \pi(\alpha \cap X) \le \alphaβ=π(α∩X)≤α。更详细地说，我们可以归纳证明：对任一传递模型 NNN，若 NNN 认为"所有集合都是可构造的"（即 N⊨V=LN \models V=LN⊨V=L），则对于每个序数 γ∈N\gamma \in Nγ∈N，NNN 中的 VγV_\gammaVγ 实际上就是 LγL_\gammaLγ。由于 MMM 满足 V=LV=LV=L，且 MMM 是传递的，MMM 必然等于 LOrdML_{\mathbf{Ord}^M}LOrdM。而 OrdM\mathbf{Ord}^MOrdM 恰为 β\betaβ。

凝聚引理最深远的一个推论是：LLL 的任何初等子模型的坍缩一定是 LLL 的某个前段，且其层级不会超过原来的层级。这为基数控制提供了强大的组合工具。

层级基数的严格估计

引理 7.2.4 对任意无穷序数 α\alphaα，∣Lα∣=∣α∣|L_\alpha| = |\alpha|∣Lα∣=∣α∣。

证明：对 α\alphaα 超限归纳。α=ω\alpha = \omegaα=ω 时，Lω=VωL_\omega = V_\omegaLω=Vω 可数，等式成立。若 α=β+1\alpha = \beta+1α=β+1，则 Lα=Def⁡(Lβ)L_\alpha = \operatorname{Def}(L_\beta)Lα=Def(Lβ)，由 Def⁡(M)\operatorname{Def}(M)Def(M) 的基数上界知 ∣Lα∣≤∣Lβ∣⋅ℵ0|L_\alpha| \le |L_\beta| \cdot \aleph_0∣Lα∣≤∣Lβ∣⋅ℵ0。由归纳假设，∣Lβ∣=∣β∣|L_\beta| = |\beta|∣Lβ∣=∣β∣，而 ∣β∣⋅ℵ0=∣β+1∣|\beta| \cdot \aleph_0 = |\beta+1|∣β∣⋅ℵ0=∣β+1∣（对无穷基数）。极限步 α\alphaα 是极限序数时，Lα=⋃β<αLβL_\alpha = \bigcup_{\beta<\alpha} L_\betaLα=⋃β<αLβ，其基数不超过 ∑β<α∣β∣≤∣α∣⋅ℵ0=∣α∣\sum_{\beta<\alpha} |\beta| \le |\alpha| \cdot \aleph_0 = |\alpha|∑β<α∣β∣≤∣α∣⋅ℵ0=∣α∣，反方向由 ∣Lα∣≥∣α∣|L_\alpha| \ge |\alpha|∣Lα∣≥∣α∣ 显然。

作为推论，若 κ\kappaκ 为无穷基数，则 ∣Lκ∣=κ|L_\kappa| = \kappa∣Lκ∣=κ，且 ∣Lκ+∣=κ+|L_{\kappa^+}| = \kappa^+∣Lκ+∣=κ+。

幂集大小的控制与GCH

现在在 LLL 中考虑任意无穷基数 κ\kappaκ。我们要估计 LLL 中 κ\kappaκ 的幂集大小。设 A⊆κA \subseteq \kappaA⊆κ 且 A∈LA \in LA∈L。由于 L=⋃αLαL = \bigcup_\alpha L_\alphaL=⋃αLα，取一个足够大的极限序数 α\alphaα 使得 A∈LαA \in L_\alphaA∈Lα，且 α>κ\alpha > \kappaα>κ。运用勒文海姆--斯科伦下行定理，在 LαL_\alphaLα 内取初等子结构 XXX，满足：

κ∪{A}⊆X,∣X∣=κ. \kappa \cup \{A\} \subseteq X, \quad |X| = \kappa. κ∪{A}⊆X,∣X∣=κ.

令 π:X≅M\pi: X \cong Mπ:X≅M 为传递坍缩。由于 κ\kappaκ 的每个元素都是序数，且包含在 XXX 中，π\piπ 在 κ\kappaκ 上是恒等映射；同时 π(A)=A\pi(A) = Aπ(A)=A。由凝聚引理，M=LβM = L_\betaM=Lβ 对某个 β≤α\beta \le \alphaβ≤α，且因为 ∣Lβ∣=∣M∣=κ|L_\beta| = |M| = \kappa∣Lβ∣=∣M∣=κ，必须有 β<κ+\beta < \kappa^+β<κ+。从而 A=π(A)∈Lβ⊆Lκ+A = \pi(A) \in L_\beta \subseteq L_{\kappa^+}A=π(A)∈Lβ⊆Lκ+。

这证明了

P(κ)∩L⊆Lκ+. \mathcal{P}(\kappa) \cap L \subseteq L_{\kappa^+}. P(κ)∩L⊆Lκ+.

因此，

∣P(κ)∩L∣≤∣Lκ+∣=κ+. |\mathcal{P}(\kappa) \cap L| \le |L_{\kappa^+}| = \kappa^+. ∣P(κ)∩L∣≤∣Lκ+∣=κ+.

在 LLL 的内部视角中，κ\kappaκ 的幂集大小至多为 κ+\kappa^+κ+。结合康托定理 2κ≥κ+2^\kappa \ge \kappa^+2κ≥κ+，得 2κ=κ+2^\kappa = \kappa^+2κ=κ+。将 κ\kappaκ 取为 ℵα\aleph_\alphaℵα 即得GCH。

定理 7.2.5 LLL 满足广义连续统假设。

7.2.3 LLL 的哲学意义

哥德尔的可构造宇宙 LLL 为数学提供了一个"绝对极小"的ZFC模型。在 LLL 中，一切集合都是可定义的，没有不可定义的"野集"。选择公理因为可定义的全局良序而自然成立，GCH也水到渠成。然而，LLL 的极小性也是一柄双刃剑：它排除了大多数大基数公理（例如可测基数）。哥德尔本人倾向于认为CH在真实的集合宇宙中为假，因为 V=LV=LV=L 似乎过度限制了集合宇宙的丰富性。他在1947年的著名文章《什么是康托的连续统问题？》中提出，需要寻找新的公理来判定CH的真值，并指出大基数公理可能提供答案。

7.3 科恩力迫法的基本框架：从一致到一致

1963年，科恩发明了力迫法，证明了ZFC不能证明CH。力迫法的思想极为奇巧：从一个ZFC的可数传递模型 MMM 出发，在模型外部添加一个精心选择的"通用"集合 GGG，并将 MMM 与 GGG 合并生成扩张模型 M $G$ M $G$ M $G$ 。通过设计生成 GGG 的"近似条件"偏序，可以精确控制 M $G$ M $G$ M $G$ 中哪些语句为真。科恩通过向模型中添加足够多的新实数，并确保基数不坍缩，构造了一个满足 ¬CH\neg\text{CH}¬CH 的模型。

7.3.1 可数传递模型与力迫偏序

力迫法通常起始于一个ZFC的可数传递模型 （countable transitive model, CTM）。严格来说，ZFC的一致性并不直接蕴含CTM的存在，但通过反射原理和下行斯科伦定理，可以从任意ZFC的一致模型获得一个满足任意有限公理片段的可数传递模型。为直观计，我们假设已有一个完整的CTM MMM。

在 MMM 中，我们指定一个力迫偏序 P=(P,≤,1)\mathbb{P} = (P, \le, \mathbf{1})P=(P,≤,1)，其中 1\mathbf{1}1 是最大元。PPP 的元素称为条件。p≤qp \le qp≤q 读作"ppp 比 qqq 强"或"ppp 是 qqq 的延伸"。直观上，每个条件 ppp 承载了关于我们希望添加的"理想对象" GGG 的部分有限信息，p≤qp \le qp≤q 表示 ppp 的信息比 qqq 更精确。

一个滤子 G⊆PG \subseteq PG⊆P 是满足以下性质的子集：

1∈G\mathbf{1} \in G1∈G；
若 p∈Gp \in Gp∈G 且 p≤qp \le qp≤q，则 q∈Gq \in Gq∈G（向上封闭）；
对任意 p,q∈Gp, q \in Gp,q∈G，存在 r∈Gr \in Gr∈G 使得 r≤pr \le pr≤p 且 r≤qr \le qr≤q（定向性）。

若 GGG 还是一个通用滤子 ，则它必须与 MMM 中的每一个稠密集 D⊆PD \subseteq PD⊆P 相交（D∩G≠∅D \cap G \neq \varnothingD∩G=∅）。这里稠密集指 ∀p∈P ∃q≤p (q∈D)\forall p \in P \; \exists q \le p \; (q \in D)∀p∈P∃q≤p(q∈D)。由于 MMM 可数，MMM 中只有可数个稠密集，通过枚举并取逐次下降的序列，可以在 VVV 中构造出这样的 GGG。通常 G∉MG \notin MG∈/M，否则会与可定义性产生矛盾。

7.3.2 P\mathbb{P}P-名字与扩张 M $G$ M $G$ M $G$

为了在 MMM 中"谈论"尚未存在的 GGG，科恩引入了名字（names）的概念。一个 P\mathbb{P}P-名字是一个二元关系，形如

τ={(σ,p)∣σ 是 P-名字,p∈P}. \tau = \{ (\sigma, p) \mid \sigma \text{ 是 } \mathbb{P}\text{-名字}, p \in P \}. τ={(σ,p)∣σ 是 P-名字,p∈P}.

名字的类 MPM^{\mathbb{P}}MP 在 MMM 内通过良基递归定义。给定通用滤子 GGG，名字 τ\tauτ 的赋值 τG\tau_GτG 递归定义为

τG={σG∣∃p∈G ((σ,p)∈τ)}. \tau_G = \{ \sigma_G \mid \exists p \in G \; ((\sigma, p) \in \tau) \}. τG={σG∣∃p∈G((σ,p)∈τ)}.

这类似于对条件为"真"的元素进行筛选。然后，力迫扩张模型定义为

M $G$ ={τG∣τ∈MP}. M $G$ = \{ \tau_G \mid \tau \in M^{\mathbb{P}} \}. M $G$ ={τG∣τ∈MP}.

可以证明 M $G$ M $G$ M $G$ 是包含 M∪{G}M \cup \{G\}M∪{G} 的最小ZFC传递模型。特别地，我们可以为每个 x∈Mx \in Mx∈M 定义一个典型名字 xˇ\check{x}xˇ，使得 xˇG=x\check{x}_G = xxˇG=x。对于 GGG 本身，有一个名字 G˙={(pˇ,p)∣p∈P}\dot{G} = \{ (\check{p}, p) \mid p \in P \}G˙={(pˇ,p)∣p∈P}，满足 G˙G=G\dot{G}_G = GG˙G=G。

7.3.3 力迫关系与力迫定理

为了在 MMM 内部推理 M $G$ M $G$ M $G$ 中的真值，科恩定义了力迫关系 ⊩\Vdash⊩。对于条件 p∈Pp \in Pp∈P 和语句 φ(τ1,...,τn)\varphi(\tau_1, \dots, \tau_n)φ(τ1,...,τn)（其中 τi\tau_iτi 为名字），

p⊩φ(τ1,...,τn) p \Vdash \varphi(\tau_1, \dots, \tau_n) p⊩φ(τ1,...,τn)

读作"ppp 强制 φ\varphiφ"。直观含义是：不论将来选取的通用滤子 GGG 是什么，只要 p∈Gp \in Gp∈G，则在 M $G$ M $G$ M $G$ 中 φ\varphiφ 必然为真。

力迫关系的严格定义通过对公式的复杂度递归进行。对于原子公式 τ1∈τ2\tau_1 \in \tau_2τ1∈τ2：

p⊩τ1∈τ2 ⟺ {q≤p∣∃(σ,r)∈τ2 (q≤r∧q⊩τ1=σ)} 在 p 下稠密. p \Vdash \tau_1 \in \tau_2 \iff \{ q \le p \mid \exists (\sigma, r) \in \tau_2 \; (q \le r \land q \Vdash \tau_1 = \sigma) \} \text{ 在 } p \text{ 下稠密}. p⊩τ1∈τ2⟺{q≤p∣∃(σ,r)∈τ2(q≤r∧q⊩τ1=σ)} 在 p 下稠密.

等式的力迫也有类似定义。对于复合公式：

p⊩φ∧ψp \Vdash \varphi \land \psip⊩φ∧ψ 当且仅当 p⊩φp \Vdash \varphip⊩φ 且 p⊩ψp \Vdash \psip⊩ψ。
p⊩¬φp \Vdash \neg \varphip⊩¬φ 当且仅当不存在 q≤pq \le pq≤p 使得 q⊩φq \Vdash \varphiq⊩φ。
p⊩∃x φ(x)p \Vdash \exists x\, \varphi(x)p⊩∃xφ(x) 当且仅当 {q≤p∣∃τ∈MP (q⊩φ(τ))}\{ q \le p \mid \exists \tau \in M^{\mathbb{P}} \; (q \Vdash \varphi(\tau)) \}{q≤p∣∃τ∈MP(q⊩φ(τ))} 在 ppp 下稠密。

力迫定理（The Forcing Theorem）由两个核心部分组成：

可定义性引理 ：对任意公式 φ\varphiφ，关系 {(p,τ1,...,τn)∣p⊩φ(τ1,...,τn)}\{ (p,\tau_1,\dots,\tau_n) \mid p \Vdash \varphi(\tau_1,\dots,\tau_n) \}{(p,τ1,...,τn)∣p⊩φ(τ1,...,τn)} 在 MMM 中可定义。
真值引理 ：若 GGG 是 MMM 上的 P\mathbb{P}P-通用滤子，则对任意语句 φ\varphiφ，
M $G$ ⊨φ ⟺ ∃p∈G (p⊩φ). M $G$ \models \varphi \iff \exists p \in G \; (p \Vdash \varphi). M $G$ ⊨φ⟺∃p∈G(p⊩φ).

力迫定理的证明需对公式的复杂度作元归纳，存在量词情形依赖于 PPP 中极大反链的存在性与选择公理。这一定理使得我们可以在基模型 MMM 中通过条件间的强制关系，完全掌握扩张模型中语句的真假。

7.3.4 力迫否定CH的偏序设计

现在构造使CH为假的力迫扩张。目标是添加至少 ℵ2\aleph_2ℵ2 个新实数，同时保持 ℵ1\aleph_1ℵ1 与 ℵ2\aleph_2ℵ2 的基数性。在 MMM 中，令 I=ℵ2MI = \aleph_2^MI=ℵ2M（即 MMM 认为的第二个不可数基数）。定义科恩力迫偏序 P\mathbb{P}P 为所有定义在 I×ωI \times \omegaI×ω 的有限子集上、取值于 {0,1}\{0,1\}{0,1} 的函数的集合：

P={p:有限 dom⁡(p)⊆I×ω→{0,1}}. P = \{ p : \text{有限 } \operatorname{dom}(p) \subseteq I \times \omega \to \{0,1\} \}. P={p:有限 dom(p)⊆I×ω→{0,1}}.

序关系为反包含：p≤q ⟺ p⊇qp \le q \iff p \supseteq qp≤q⟺p⊇q，即 ppp 是 qqq 的扩张。空函数为最大元 1\mathbf{1}1。

设 GGG 为 MMM 上的 P\mathbb{P}P-通用滤子。令 FG=⋃GF_G = \bigcup GFG=⋃G。由滤子的定向性，FGF_GFG 是定义在全 I×ωI \times \omegaI×ω 上的函数。对每个 i∈Ii \in Ii∈I，定义实数

ri=FG(i,⋅):ω→{0,1}. r_i = F_G(i, \cdot) : \omega \to \{0,1\}. ri=FG(i,⋅):ω→{0,1}.

对 i≠ji \neq ji=j，考虑集合

Dij={p∈P∣∃n∈ω (p(i,n)≠p(j,n))}. D_{ij} = \{ p \in P \mid \exists n \in \omega \; (p(i,n) \neq p(j,n)) \}. Dij={p∈P∣∃n∈ω(p(i,n)=p(j,n))}.

任给条件 qqq，若 (i,n)(i,n)(i,n) 或 (j,n)(j,n)(j,n) 不在 dom⁡(q)\operatorname{dom}(q)dom(q) 中，可将其扩入并赋予不同值，从而得到 qqq 的延伸进入 DijD_{ij}Dij。故 DijD_{ij}Dij 是稠密的。通用性保证 G∩Dij≠∅G \cap D_{ij} \neq \varnothingG∩Dij=∅，因此存在 nnn 使得 ri(n)≠rj(n)r_i(n) \neq r_j(n)ri(n)=rj(n)，即 ri≠rjr_i \neq r_jri=rj。于是我们得到了 ∣I∣=ℵ2M|I| = \aleph_2^M∣I∣=ℵ2M 个两两不同的实数。

基数保留与可数反链条件

关键问题在于：ℵ2M\aleph_2^Mℵ2M 是否在 M $G$ M $G$ M $G$ 中仍然是 ℵ2\aleph_2ℵ2？许多力迫会"坍缩"基数，使原本的 ℵ2\aleph_2ℵ2 变成可数。科恩观察到，上面定义的 P\mathbb{P}P 具有可数反链条件（countable chain condition, ccc）。

定义 7.3.1 偏序 PPP 满足 ccc，如果 PPP 中任意两两不相容（无公共延伸）的元素的集合至多可数。这里 ppp 与 qqq 相容指存在 r≤pr \le pr≤p 且 r≤qr \le qr≤q。

有限函数偏序的 ccc 可以用 Δ\DeltaΔ-系统引理 证明：假设 {pα}α<ω1\{p_\alpha\}{\alpha<\omega_1}{pα}α<ω1 是不可数个条件。每个 pαp\alphapα 的定义域 dαd_\alphadα 是 I×ωI \times \omegaI×ω 的有限子集。通过 Δ\DeltaΔ-系统引理，存在不可数子族及有限根 rrr，使得各定义域两两相交恰为 rrr。在有限根上，函数取值只有有限多种可能，故可再提取不可数子族，使在根 rrr 上的取值完全相同。该子族中的任意两个条件必然相容（可在剩余部分直接取并集）。因此不存在不可数的反链。

定理 7.3.2（ccc力迫保留基数） 若 P\mathbb{P}P 在 MMM 中满足 ccc，则对所有 MMM 中的基数 κ\kappaκ，κ\kappaκ 在 M $G$ M $G$ M $G$ 中依然是基数。

证明思路 ：假若某基数 κ\kappaκ 在 M $G$ M $G$ M $G$ 中坍缩，则存在某个 λ<κ\lambda < \kappaλ<κ 和满射 f:λ→κf: \lambda \to \kappaf:λ→κ，f∈M $G$ f \in M $G$ f∈M $G$ 。由真值引理，存在名字 f˙\dot{f}f˙ 和条件 p0∈Gp_0 \in Gp0∈G 使得 p0⊩f˙:λˇ→κˇp_0 \Vdash \dot{f}: \check{\lambda} \to \check{\kappa}p0⊩f˙:λˇ→κˇ 是满射。在 MMM 中，对每个 α<λ\alpha < \lambdaα<λ，定义

Aα={β<κ∣∃p≤p0 (p⊩f˙(αˇ)=βˇ)}. A_\alpha = \{ \beta < \kappa \mid \exists p \le p_0 \; (p \Vdash \dot{f}(\check{\alpha}) = \check{\beta}) \}. Aα={β<κ∣∃p≤p0(p⊩f˙(αˇ)=βˇ)}.

由于 p0p_0p0 强制满射，每个 β<κ\beta < \kappaβ<κ 必属于某个 AαA_\alphaAα（且由通用性，存在 p∈Gp \in Gp∈G 力迫具体值）。利用 ccc 可以证明每个 AαA_\alphaAα 是可数的：若某个 AαA_\alphaAα 不可数，对每个 β∈Aα\beta \in A_\alphaβ∈Aα 选取一个见证的条件 pβp_\betapβ，则这些 pβp_\betapβ 两两不相容（因为它们力迫 f˙(αˇ)\dot{f}(\check{\alpha})f˙(αˇ) 取不同的值），这就给出了一个不可数反链，矛盾。因此 κ=⋃α<λAα\kappa = \bigcup_{\alpha<\lambda} A_\alphaκ=⋃α<λAα 是可数个可数集的并，基数不超过 λ⋅ℵ0<κ\lambda \cdot \aleph_0 < \kappaλ⋅ℵ0<κ，与 κ\kappaκ 是基数矛盾。

因此，ℵ1M=ℵ1M $G$ \aleph_1^M = \aleph_1^{M $G$ }ℵ1M=ℵ1M $G$ ，ℵ2M=ℵ2M $G$ \aleph_2^M = \aleph_2^{M $G$ }ℵ2M=ℵ2M $G$ 。在 M $G$ M $G$ M $G$ 中，连续统 2ℵ02^{\aleph_0}2ℵ0 至少为 ℵ2\aleph_2ℵ2，故 CH\text{CH}CH 为假。若我们还想让 2ℵ02^{\aleph_0}2ℵ0 恰为 ℵ2\aleph_2ℵ2，只需对添加 ℵ2\aleph_2ℵ2 个科恩实数的力迫进行恰当的迭代或取子模型即可。

7.3.5 力迫法的形式总结

力迫法的一般流程可归纳为：

从ZFC的CTM MMM 和 MMM 中的偏序 P\mathbb{P}P 出发。
在 VVV 中构造 MMM 上的 P\mathbb{P}P-通用滤子 GGG（利用 MMM 可数）。
形成扩张 M $G$ ={τG∣τ∈MP}M $G$ = \{\tau_G \mid \tau \in M^{\mathbb{P}}\}M $G$ ={τG∣τ∈MP}。
用力迫定理证明 M $G$ ⊨ZFCM $G$ \models \text{ZFC}M $G$ ⊨ZFC，且所需语句（如 ¬CH\neg\text{CH}¬CH）在 M $G$ M $G$ M $G$ 中成立。

若 MMM 满足GCH，则扩张后CH失效，这就证明了 Con(ZFC)⇒Con(ZFC+¬CH)\text{Con}(\text{ZFC}) \Rightarrow \text{Con}(\text{ZFC} + \neg\text{CH})Con(ZFC)⇒Con(ZFC+¬CH)。

7.4 CH的独立性：证明总结

7.4.1 哥德尔方向：Con(ZF) ⇒\Rightarrow⇒ Con(ZFC + GCH)

从ZF（或ZFC）的任意模型出发，在其内部定义可构造宇宙 LLL。证明 LLL 是ZFC的模型，并且 L⊨V=LL \models V=LL⊨V=L。利用凝聚引理和基数估计，得出 LLL 满足GCH。因此，若ZFC存在模型，则ZFC+GCH也存在模型，GCH（因而CH）不能被ZFC否证。

7.4.2 科恩方向：Con(ZF) ⇒\Rightarrow⇒ Con(ZFC + ¬CH)

假设ZFC一致，取它的一个可数传递模型 MMM（可额外要求 M⊨GCHM \models \text{GCH}M⊨GCH，由哥德尔的工作这总可实现）。在 MMM 中构造科恩偏序 P\mathbb{P}P（向 ℵ2M\aleph_2^Mℵ2M 添加实数的有限条件），生成通用扩张 M $G$ M $G$ M $G$ 。证明 M $G$ M $G$ M $G$ 中基数保留，且包含了至少 ℵ2\aleph_2ℵ2 个不同的实数，故 ¬CH\neg\text{CH}¬CH 成立。由此得到ZFC+¬CH的相对一致性。

两个方向合在一起，彻底确立了连续统假设独立于ZFC公理系统。

7.5 力迫语义与布尔值模型

科恩的力迫可以通过布尔值模型 得到更为优雅的代数化处理，无需外部通用滤子。给定一个完备布尔代数 B\mathbb{B}B，我们在 VVV 中递归构造布尔值宇宙 VBV^{\mathbb{B}}VB：它的元素是"布尔值名"，即一个函数 τ\tauτ，其定义域是一组 B\mathbb{B}B-名，而取值在 B\mathbb{B}B 中。对每个集合论公式 φ\varphiφ，我们赋予一个布尔值 ∥φ∥∈B\|\varphi\| \in \mathbb{B}∥φ∥∈B。例如，

∥τ1∈τ2∥=⋁(σ,b)∈τ2(b∧∥τ1=σ∥), \|\tau_1 \in \tau_2\| = \bigvee_{(\sigma, b) \in \tau_2} (b \land \|\tau_1 = \sigma\|), ∥τ1∈τ2∥=(σ,b)∈τ2⋁(b∧∥τ1=σ∥),

等式的布尔值也有递归定义。可以证明，所有ZFC公理的布尔值都是 1\mathbf{1}1。于是 VBV^{\mathbb{B}}VB 是一个"布尔值模型"，其中的语句真值是 B\mathbb{B}B 的元素，而非简单的真/假。

若取 B\mathbb{B}B 上的一个 VVV-通用超滤子 UUU，则可以通过商构造得到两值的传递模型 VB/UV^{\mathbb{B}}/UVB/U，这正对应于力迫扩张 V $G$ V $G$ V $G$ 。特别地，若 B\mathbb{B}B 是科恩偏序的正则开代数，则可以计算

∥2ℵ0≥ℵ2∥=1, \| 2^{\aleph_0} \ge \aleph_2 \| = \mathbf{1}, ∥2ℵ0≥ℵ2∥=1,

从而在任何商模型中CH均不成立。布尔值模型完全内部化了力迫构造，是现代力迫理论的基石。

7.6 力迫之后：连续统的多元宇宙

科恩的工作开创了连续统研究的全新疆域。如今我们知道，在ZFC的一致模型上，通过精心设计力迫偏序，连续统 2ℵ02^{\aleph_0}2ℵ0 几乎可以等于任意无界正则基数：ℵ2,ℵ3,ℵω+1,ℵω1\aleph_2, \aleph_3, \aleph_{\omega+1}, \aleph_{\omega_1}ℵ2,ℵ3,ℵω+1,ℵω1，等等。其限制仅来自柯尼希定理（2ℵ02^{\aleph_0}2ℵ0 不能为具有共尾度 ω\omegaω 的基数，如 ℵω\aleph_\omegaℵω）及某些组合约束。进一步，连续统旁边的基数不变量（cardinal invariants of the continuum），如 b,d,non⁡(N),cov⁡(N)\mathfrak{b}, \mathfrak{d}, \operatorname{non}(\mathcal{N}), \operatorname{cov}(\mathcal{N})b,d,non(N),cov(N) 等，几乎可以独立地排列，形成所谓的"基数不变量的 Cichoń 图"。

这种极度的可塑性催生了集合论多元宇宙 （Set-theoretic multiverse）观念。这一观点认为，不存在一个唯一的、绝对的集合宇宙 VVV；相反，ZFC公理描述的是一个由诸多可能宇宙构成的多元图景，每个宇宙对应于不同的力迫扩张、内模型或超幂。CH这样的独立命题，在不同的宇宙中具有不同的真值，这并非理论的缺陷，而是无穷本身多样性的体现。正如非欧几何揭示了平行公设的独立性，力迫法揭示了连续统假设的独立性，并将数学家的视野从单一宇宙引向了多元宇宙的宏大版图。

7.7 可定义性与可公理化的界限

连续统假设的独立性是哥德尔不完备定理在集合论中的壮丽回响。它深刻表明：任何足够强、能解释基本算术的能行可公理化理论，若一致，则必然包含不可判定的命题。ZFC公理体系非但不能判定CH，甚至无法判定绝大多数关于连续统结构的有意义问题。试图通过添加"自然的"新公理（如大基数公理、强制公理、V=LV=LV=L 等）来固定连续统的值，至今尚未获得广泛共识。一些学者，如 Woodin，提出基于 Ω\OmegaΩ-逻辑的"终极 LLL"纲领，试图证明CH在某种意义下为假；另一些学者则认为，多元宇宙的本体论地位已使CH的真值问题失去了传统意义上的绝对性。无论如何，CH的故事告诉我们，公理系统的力量与局限是一体两面：它们足以推导浩瀚的数学真理，却也谦逊地为不同可能性留白。

7.8 力迫法的影响：从集合论到数学全领域

力迫法的思想------通过近似条件的极限添加理想对象，同时保持原有结构的良好性质------已渗透到数学的诸多分支：

模型论：力迫扩张被用来构造饱和模型、实现类型的丰富结构，以及证明某些抽象类的存在性定理。
拓扑学：利用力迫证明诸如正规 Moore 空间猜想、S-空间与 L-空间存在性等独立性问题。
代数：构造具有特定组合性质的大代数结构，如无限阿贝尔群中的 Whitehead 问题（Shelah 证明其独立于 ZFC）。
测度论与描述集合论：力迫被用于研究实数子集的正则性质，如 Baire 性质、Lebesgue 可测性等的一致性。
计算机科学：克里普克语义与直觉主义逻辑中的力迫条件有天然联系；力迫也启发了程序语言中指称语义的域论模型。

科恩的力迫法不仅解决了一个希尔伯特问题，更重塑了数学基础研究的范式，将"一致性证明"由哥德尔的向内收缩，推向了向外扩张的新纪元。

7.9 总结：从公理到多元宇宙

连续统假设的故事，是一曲公理化方法的宏大交响。康托凭直觉揭开了无穷基数的序列；希尔伯特将其列为首要问题，渴望在公理框架内得出一劳永逸的真值；哥德尔以 LLL 的苗条宇宙证明它不可否证；科恩以力迫的膨胀宇宙证明它不可证明。最终，ZFC公理系统在CH面前保持了高贵的沉默。这沉默不是失败，而是宣告：公理足以勾画出可能世界的共相边界，但其内部风景的万千细节，则留待更深层的公理选择与数学家的美学判断去描绘。

选择公理、连续统假设、大基数、强制公理......这些公理候选项如同数学星空中的星辰，各自照亮一片可能的宇宙。而力迫法与内模型，则是我们遨游于这些宇宙之间的飞船。无论未来对CH的"真值"采取何种哲学立场，哥德尔与科恩的遗产都已成为现代数学不可分割的一部分，时刻提醒我们：当写下一条公理时，我们同时就选择了一种宇宙的可能形态。

下一卷，我们将从集合论的形而上学转向数系的公理化构造，看在更"脚踏实地"的公理中，自然数、实数与复数如何拔地而起。

数学公理体系大全:第七章 连续统假设与力迫法简介

第七章 连续统假设与力迫法简介