数学公理体系大全:Comprehensive Collection of Mathematical Axiom Systems(卷2)

卷二集合论------数学的宇宙（扩写详尽版）

在卷一我们精雕细琢了逻辑本身------命题如何联结，全称与存在如何言说，推理如何从公理流淌而出。现在，是时候用这套精致的工具去搭建一座城市，一座足以容纳全部数学对象的巨构。这座城市的蓝图就是公理集合论 ，而它的施工规范便是策梅洛--弗兰克尔公理系统，外加选择公理------简称ZFC。

数学家们常说"一个集合就是一组对象的汇拢"，这直觉固然温暖，却曾在二十世纪初引发轰然崩塌：罗素悖论证明了"所有不包含自身的集合构成的集合"是逻辑上矛盾的。从那场地震中站起来的人们意识到，集合并非可以任意"汇拢"，必须像对待猛兽一样，用严密的公理加以驯服。ZFC就是这头猛兽的牢笼兼栖息地------它既禁止悖论的出现，又给了数学足够宽广的天地。让我们一条一条检视这些公理，并亲手用它们构建出序数、基数、自然数，直至证明那些震撼人心的元定理。

第四章 ZFC公理的形式化与构造演算

4.1 语言与基本记法

ZFC的全部陈述都写在一阶谓词逻辑带等词 的语言中，只有一个非逻辑符号------二元谓词 ∈\in∈（"属于"）。全部对象都是集合。变量 x,y,z,...x, y, z, \dotsx,y,z,... 遍历集合。等词 === 是逻辑符号，服从卷一中建立的等词公理。这一语言的公式由原子公式 x∈yx \in yx∈y 和 x=yx = yx=y 出发，通过逻辑联结词 ¬,∧,∨,→,↔\neg, \land, \lor, \to, \leftrightarrow¬,∧,∨,→,↔ 以及量词 ∀x,∃x\forall x, \exists x∀x,∃x 逐层构造而成。由于所有对象都是集合，符号上的极度节俭反而带来了本体论的纯粹：一切数学结构都被重新解释为某种集合。

为了方便阅读，我们引入常见缩写：

x⊆yx \subseteq yx⊆y 表示 ∀z(z∈x→z∈y)\forall z (z \in x \to z \in y)∀z(z∈x→z∈y)（子集）
x⊊yx \subsetneq yx⊊y 表示 x⊆y∧x≠yx \subseteq y \land x \neq yx⊆y∧x=y（真子集）
{x,y}\{x, y\}{x,y} 等记法将在公理保证存在后引入
∅\varnothing∅ 指称空集（存在性由公理给出）
P(x)\mathcal{P}(x)P(x) 指称幂集（存在性由幂集公理保证）
⋃x\bigcup x⋃x 指称并集（存在性由并集公理保证）
有序对 (x,y)(x, y)(x,y) 使用集合论内部定义，将在配对公理后给出。

这种记法的引入绝不是随意的：每当我们写出 {x∈A∣φ(x)}\{x \in A \mid \varphi(x)\}{x∈A∣φ(x)} 或 P(A)\mathcal{P}(A)P(A)，背后都必须有对应的公理（分离、幂集等）保证这一记法所指称的对象确实是一个集合，而不是一个会导致悖论的"真类"。集合论形式化的核心纪律之一，便是每引入一个新的集合记法，都必须能够从已有的公理证明其存在性与唯一性。

4.2 ZFC公理细览

公理0：存在公理（有争议但通常保留）

有些陈述包含一句 ∃x(x=x)\exists x (x = x)∃x(x=x)，从逻辑上说论域非空，但这更是一种逻辑背景约定。在大多数现代的公理化表述中，存在公理不再被单独列出，因为无穷公理直接给出了一个集合的存在性（它断言存在一个归纳集，至少包含空集）。然而在体系的最底层，如果暂时不考虑无穷公理，从分离公理模式加上"至少有一个集合"的假设也可以立即得到空集。我们在这里提它，是为了展示形式化的严密度，之后将直接从无穷公理或分离公理得出空集，故不单独列为一条公理。

公理1：外延公理

∀A∀B $\forallx(x\inA\leftrightarrowx\inB)\toA=B$ \forall A \forall B $\\forall x (x \\in A \\leftrightarrow x \\in B) \\to A = B$ ∀A∀B $\forallx(x\inA\leftrightarrowx\inB)\toA=B$

解读：集合由它的元素完全决定。没有"额外的标签"或"顺序"。这也蕴含：若两集合元素相同，则相等。反过来，等词公理早已保证若 A=BA=BA=B 则它们元素相同（这是带等词的一阶逻辑中的公理模式：对任何公式 φ\varphiφ，x=y→(φ(x)↔φ(y))x=y \to (\varphi(x) \leftrightarrow \varphi(y))x=y→(φ(x)↔φ(y))，特别取 φ\varphiφ 为 z∈xz \in xz∈x 即得）。因此集合相等性完全归结为外延。外延公理不仅是集合的同一性判据，它还从根本上排除了"多胞胎集合"------即元素完全相同但自身却不同的集合。在数学实践中，证明两个集合相等时，几乎无一例外地是通过证明它们互为子集来实现的，这正是外延公理提供的逻辑依据。

证明空集的唯一性 （前提有空集公理或后续构造）：设 E1,E2E_1, E_2E1,E2 皆无元素，则 ∀x(x∈E1↔x∈E2)\forall x (x \in E_1 \leftrightarrow x \in E_2)∀x(x∈E1↔x∈E2) 空虚地真------因为前提"x∈E1x \in E_1x∈E1"对任何 xxx 均为假，从而双向蕴含真实成立。由外延得 E1=E2E_1 = E_2E1=E2。由此我们可以安心谈论"那个"空集，记作 ∅\varnothing∅。空集的唯一性是外延公理发挥作用的第一个实例，也是今后所有唯一性证明的模板。

公理2：分离公理模式（子集公理）

对于每个公式 φ(x,w1,...,wn)\varphi(x, w_1, \dots, w_n)φ(x,w1,...,wn)，下式为公理：

∀A∀w1...∀wn∃B∀x $x\inB\leftrightarrow(x\inA\landφ(x,w1,...,wn))$ \forall A \forall w_1 \dots \forall w_n \exists B \forall x $x \\in B \\leftrightarrow (x \\in A \\land \\varphi(x, w_1, \\dots, w_n))$ ∀A∀w1...∀wn∃B∀x $x\inB\leftrightarrow(x\inA\landφ(x,w1,...,wn))$

动机：为避免罗素悖论，不能无条件地由性质形成集合。但可以从一个已有的集合 AAA 中分离出满足性质 φ\varphiφ 的那些元素，构成子集。记这个 BBB 为 {x∈A∣φ(x)}\{x \in A \mid \varphi(x)\}{x∈A∣φ(x)}。因为 AAA 已经是一个安全的"容器"，无论性质 φ\varphiφ 多么离奇，这样形成的 BBB 必定是 AAA 的子集，不可能超出 AAA 的范围而引发类似于"所有集合的集合"那样的矛盾。

注意：分离公理实际上是一个公理模式，即对于无穷多个可能的公式 φ\varphiφ，各自对应一条公理。这些公理可以在带等词的一阶逻辑中统一描述为上述模式。参数 w1,...,wnw_1,\dots,w_nw1,...,wn 的存在使得分离具有极大的灵活性，我们可以通过固定某些参数来定义子集，例如分离出"大于某个实数 rrr 的所有实数"，这里 rrr 便以参数身份出现。

存在空集 ：设 AAA 是任意集合（存在性待从无穷公理获得，但也可由逻辑非空给出一个集合），取 φ(x)\varphi(x)φ(x) 为 x≠xx \neq xx=x，则分离得到不包含任何元素的集合。故分离公理加一个集合的存在性就可以推出有空集。这也是为何有些陈述保留"存在集合"作为公理0。反过来，一旦有了空集，再配合其他公理（配对、并集、幂集、无穷）便可生成极为丰富的集合宇宙。

罗素悖论的消解 ：假设存在"所有集合的集合" VVV，那么我们可以用分离分出 R={x∈V∣x∉x}R = \{x \in V \mid x \notin x\}R={x∈V∣x∈/x}。于是 R∈R↔(R∈V∧R∉R)R \in R \leftrightarrow (R \in V \land R \notin R)R∈R↔(R∈V∧R∈/R)。由于 R⊆VR \subseteq VR⊆V，自然 R∈VR \in VR∈V，故等价于 R∈R↔R∉RR \in R \leftrightarrow R \notin RR∈R↔R∈/R，矛盾。因此 VVV 不能是集合。分离公理告诉我们，不能从"所有集合"这个万有整体中分离，因为我们缺少一个包含所有集合的集合 AAA 作为分离的容器。悖论被阻挡在"不存在万有集"这一步。集合论宇宙被证明是"无界"的：对任何集合 xxx，总存在不属于 xxx 的集合（例如 P(x)\mathcal{P}(x)P(x) 的基数更大，必然有集合不在 xxx 中），从而永远不能谈论"全体集合的集合"。

分离公理也是子集最大化的保证：给定一个集合 AAA，所有可以通过一阶公式定义出的 AAA 的子集必定存在。这在数学中相当够用，但它不能生成比 AAA 更大的集合。因此我们需要后续的公理来突破容器大小的限制。

公理3：配对公理

∀a∀b∃C∀x(x∈C↔(x=a∨x=b)) \forall a \forall b \exists C \forall x (x \in C \leftrightarrow (x = a \lor x = b)) ∀a∀b∃C∀x(x∈C↔(x=a∨x=b))

由此可以构成无序对 {a,b}\{a, b\}{a,b}。当 a=ba = ba=b 时得到单元素集 {a}\{a\}{a}。配对公理虽然简单，却是构造有穷多个元素的集合的基础。结合并集公理，我们可以逐次构造出包含三个、四个乃至任意有穷多个元素的集合。

有序对（库拉托夫斯基定义） ：(a,b):={{a},{a,b}}(a, b) := \{\{a\}, \{a, b\}\}(a,b):={{a},{a,b}}。可以证明：(a,b)=(c,d)(a, b) = (c, d)(a,b)=(c,d) 当且仅当 a=ca = ca=c 且 b=db = db=d。证明分两种情况：若 a=ba=ba=b，则 (a,b)={{a}}(a,b)=\{\{a\}\}(a,b)={{a}}，由 {{a}}={{c},{c,d}}\{\{a\}\}=\{\{c\},\{c,d\}\}{{a}}={{c},{c,d}} 可推出 {c}={c,d}={a}\{c\}=\{c,d\}=\{a\}{c}={c,d}={a}，从而 c=d=ac=d=ac=d=a。若 a≠ba \neq ba=b，则 (a,b)(a,b)(a,b) 包含一个单元素集 {a}\{a\}{a} 和一个双元素集 {a,b}\{a,b\}{a,b}。因 (a,b)=(c,d)(a,b)=(c,d)(a,b)=(c,d)，单元素集必须是 {c}\{c\}{c}，故 {a}={c}\{a\}=\{c\}{a}={c} 得 a=ca=ca=c；而双元素集 {a,b}\{a,b\}{a,b} 必须等于 {c,d}\{c,d\}{c,d}，即 {a,b}={a,d}\{a,b\}=\{a,d\}{a,b}={a,d}，结合 a≠ba \neq ba=b 可得 b=db=db=d。有序对的定义完全基于无序对和分离，是集合论内部定义的，无需额外公理。这显示出集合论表达力的强劲：连最基础的有序对都能被还原为纯粹的隶属关系。此外，还有维纳（Wiener）的定义 (a,b):={{{a},∅},{{b}}}(a,b) := \{\{\{a\},\varnothing\},\{\{b\}\}\}(a,b):={{{a},∅},{{b}}} 等，但库拉托夫斯基定义因简洁而成为标准。

公理4：并集公理

∀F∃A∀Y∀x $(x\inY\landY\inF)\tox\inA$ \forall \mathcal{F} \exists A \forall Y \forall x $(x \\in Y \\land Y \\in \\mathcal{F}) \\to x \\in A$ ∀F∃A∀Y∀x $(x\inY\landY\inF)\tox\inA$

这个公理说，对于任意集合 F\mathcal{F}F（其元素被视为一些集合），存在一个集合 AAA 包含了 F\mathcal{F}F 中每个元素的元素。但 AAA 可能"太大"，还夹杂了不需要的元素。因此我们再结合分离公理，可以得到精确的并集：

⋃F:={x∣∃Y∈F(x∈Y)} \bigcup \mathcal{F} := \{x \mid \exists Y \in \mathcal{F} (x \in Y)\} ⋃F:={x∣∃Y∈F(x∈Y)}

具体来说，令 AAA 为由并集公理给出的包容集，则 ⋃F={x∈A∣∃Y∈F(x∈Y)}\bigcup \mathcal{F} = \{x \in A \mid \exists Y \in \mathcal{F} (x \in Y)\}⋃F={x∈A∣∃Y∈F(x∈Y)}，由分离公理这是合法的集合。特别地，对两个集合 A,BA, BA,B，A∪B=⋃{A,B}A \cup B = \bigcup \{A, B\}A∪B=⋃{A,B}。并集公理允诺了集合的"平展化"：将集合的集合拍平为一个单一集合。这为后续定义关系的域、值域，以及构造超限并集等铺平了道路。

大并集与替换的互动 ：有时我们需要对某个集合 AAA，将每个元素 x∈Ax \in Ax∈A 替换为某个集合 F(x)F(x)F(x)，然后取所有这些 F(x)F(x)F(x) 的并集。这一构造的有效性正依赖于替换公理（保证 {F(x)∣x∈A}\{F(x) \mid x \in A\}{F(x)∣x∈A} 是集合）和并集公理（再将其拍平）。这种"集合并"技术在序数算术和超限递归中经常出现。

公理5：幂集公理

∀X∃P∀u(u∈P↔u⊆X) \forall X \exists P \forall u (u \in P \leftrightarrow u \subseteq X) ∀X∃P∀u(u∈P↔u⊆X)

记 P=P(X)P = \mathcal{P}(X)P=P(X)。幂集运算将集合大幅度扩大，这是康托定理的基石。注意，这里"u⊆Xu \subseteq Xu⊆X"是已经通过 ∈\in∈ 和逻辑定义出的缩写，所以幂集公理可以用一阶语言严格表达。幂集公理表明了集合宇宙在"横向"上的丰富性：从任何一个集合，都可以上升到比它大得多的集合。

在分离公理的协助下，幂集公理还允许我们构造笛卡尔积 A×B⊆P(P(A∪B))A \times B \subseteq \mathcal{P}(\mathcal{P}(A \cup B))A×B⊆P(P(A∪B))，关系的集合，函数的集合等。可以说，几乎所有无穷集合的构造都离不开幂集公理。然而，幂集公理也是 ZFC 中最"暴力"的公理之一：它既不告诉我们 P(X)\mathcal{P}(X)P(X) 的基数应该是多少（连续统假设正好与此相关），也不给出其元素的可定义性。它仅仅断言"所有子集"毫无遗漏地存在，由此带来了大量不可判定的问题。

公理6：替换公理模式

对于每个公式 φ(x,y,A)\varphi(x, y, A)φ(x,y,A) 满足函数关系 ∀x∈A∃!yφ(x,y,A)\forall x \in A \exists! y \varphi(x, y, A)∀x∈A∃!yφ(x,y,A)，则有：

∃B∀y $y\inB\leftrightarrow\existsx\inAφ(x,y,A)$ \exists B \forall y $y \\in B \\leftrightarrow \\exists x \\in A \\varphi(x, y, A)$ ∃B∀y $y\inB\leftrightarrow\existsx\inAφ(x,y,A)$

也就是说，如果一个公式定义了 AAA 上的一个函数，那么该函数的值域是一个集合。注意，分离公理是替换公理的特例（取 φ(x,y,A)\varphi(x,y,A)φ(x,y,A) 为 y=x∧ψ(x)y=x \land \psi(x)y=x∧ψ(x) 之类），但历史陈述常保留分离。替换公理极大增强了集合的存在性，使得我们可以构造超限序列。例如，我们想通过超限递归定义 VαV_\alphaVα 或 ℵα\aleph_\alphaℵα，就必须沿着所有序数运行，而"所有序数"本身不是集合（是真类）。替换公理保证，当我们通过某个定义在集合大小的序数片段上进行替换时，得到的仍是一个集合，这在序数算术和模型论中是基础性工具。正因为替换公理，ZFC 的力量远超策梅洛最初的集合论 Z（不含替换），能够证明诸如"每个良序集合都同构于一个序数"等至关重要的定理。

无穷公理需要替换来证明归纳集的存在唯一性（弱一些），但无穷公理本身给出了一个归纳集。实际上，在现代的一些表述中，没有替换公理的 Z 系统已经足以构造自然数集等基本对象，但在更精细的超限构造中，替换是不可或缺的。

公理7：无穷公理

∃I $\emptyset\inI\land\forallx(x\inI\tox\cup{x}\inI)$ \exists I $\\varnothing \\in I \\land \\forall x (x \\in I \\to x \\cup \\{x\\} \\in I)$ ∃I $\emptyset\inI\land\forallx(x\inI\tox\cup{x}\inI)$

这里 x∪{x}x \cup \{x\}x∪{x} 是后继运算，记作 S(x)S(x)S(x)。满足这两条的集合 III 称为归纳集。无穷公理直接断言存在一个归纳集。结合分离，可以定义自然数集合 ω\omegaω 为所有归纳集的交，即最小归纳集。具体地，由无穷公理，存在至少一个归纳集 I0I_0I0。考虑 P(I0)\mathcal{P}(I_0)P(I0) 中所有归纳集的子集，再取它们的交，即可得到 ω\omegaω，并且可以证明 ω\omegaω 本身也是归纳集，而且它包含于任何归纳集中。这样我们得到了标准的自然数集：0=∅0 = \varnothing0=∅，1={∅}1 = \{\varnothing\}1={∅}，2={∅,{∅}}2 = \{\varnothing, \{\varnothing\}\}2={∅,{∅}}，等等。ω\omegaω 的存在使整个数学有了无穷的舞台。

定理4.2.1 （自然数集的存在与皮亚诺公理验证）：

在 ZF（去掉选择公理）中，ω\omegaω 满足皮亚诺算术的所有公理：

0∈ω0 \in \omega0∈ω。
若 n∈ωn \in \omegan∈ω，则 S(n)∈ωS(n) \in \omegaS(n)∈ω。
对任意 n∈ωn \in \omegan∈ω，S(n)≠∅S(n) \neq \varnothingS(n)=∅。
SSS 在 ω\omegaω 上是单射：S(n)=S(m)→n=mS(n) = S(m) \to n = mS(n)=S(m)→n=m。
归纳原理成立：若 A⊆ωA \subseteq \omegaA⊆ω 满足 0∈A0 \in A0∈A 且对每个 n∈An \in An∈A 有 S(n)∈AS(n) \in AS(n)∈A，则 A=ωA = \omegaA=ω。

证明细节：

后继非空 ：因 n∈S(n)=n∪{n}n \in S(n) = n \cup \{n\}n∈S(n)=n∪{n}，故 S(n)S(n)S(n) 至少有一个元素 nnn，从而 S(n)≠∅S(n) \neq \varnothingS(n)=∅。
单射：假设 S(n)=S(m)S(n) = S(m)S(n)=S(m) 即 n∪{n}=m∪{m}n \cup \{n\} = m \cup \{m\}n∪{n}=m∪{m}。由于 n∈S(n)n \in S(n)n∈S(n)，则 n∈S(m)n \in S(m)n∈S(m)，所以 n=mn = mn=m 或 n∈mn \in mn∈m。对称地，m=nm = nm=n 或 m∈nm \in nm∈n。若 n≠mn \neq mn=m，则 n∈mn \in mn∈m 且 m∈nm \in nm∈n，这意味着存在集合 mmm 使得 n∈m∈nn \in m \in nn∈m∈n，这与正则公理矛盾（见后）。故必然 n=mn = mn=m。
归纳原理 ：因 AAA 是归纳集，而 ω\omegaω 是最小归纳集（即所有归纳集的交），故 ω⊆A\omega \subseteq Aω⊆A。结合 A⊆ωA \subseteq \omegaA⊆ω 得等。

这样，皮亚诺算术在集合论中获得了模型。从此，自然数不再需要被单独假设，而是从更基础的 ∈\in∈ 关系与几条公理中生长出来的。数学基础上的"逻辑主义"梦想在这里得到部分实现，尽管 ZFC 的公理远比逻辑复杂。

公理8：正则公理（基础公理）

∀A(A≠∅→∃x∈A(x∩A=∅)) \forall A (A \neq \varnothing \to \exists x \in A (x \cap A = \varnothing)) ∀A(A=∅→∃x∈A(x∩A=∅))

此公理杜绝了恶性循环，例如不存在集合 xxx 满足 x∈xx \in xx∈x（否则 {x}\{x\}{x} 非空，但其唯一元素 xxx 满足 x∩{x}={x}≠∅x \cap \{x\} = \{x\} \neq \varnothingx∩{x}={x}=∅，与正则公理冲突），也不存在无穷降链 ⋯∈x3∈x2∈x1∈x0\dots \in x_3 \in x_2 \in x_1 \in x_0⋯∈x3∈x2∈x1∈x0。所有集合都是良基的。正则公理使集合宇宙分层为累积层级 V=⋃α∈OrdVαV = \bigcup_{\alpha \in \text{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α，这个层级被称为冯·诺依曼宇宙。有了正则公理，集合论的研究对象被限制在良基集合上，这既符合大多数数学实践的直觉（一个集合的元素应当在某种意义上"先于"该集合存在），又大大简化了元理论（例如使得 ∈\in∈-归纳法合法化）。

良基公理的等价形式 ：正则公理等价于"每个非空集合 AAA 有一个关于 ∈\in∈ 的极小元"，也就是 ∈\in∈ 在 AAA 上是良基关系。良基关系允许我们使用一种强力归纳法------∈\in∈-归纳法：要证明所有集合具有性质 PPP，只需证明对每个集合 xxx，若其所有元素都满足 PPP，则 xxx 也满足 PPP。这种归纳法不依赖于自然数的大小，而直接在全体集合上进行，是集合论中最基本的证明工具之一。

公理9：选择公理

∀F $(\emptyset\notinF\land\forallX,Y\inF(X\neqY\toX\capY=\emptyset))\to\existsC\forallX\inF\exists!x(x\inX\capC)$ \forall \mathcal{F} $(\\varnothing \\notin \\mathcal{F} \\land \\forall X, Y \\in \\mathcal{F} (X \\neq Y \\to X \\cap Y = \\varnothing)) \\to \\exists C \\forall X \\in \\mathcal{F} \\exists! x (x \\in X \\cap C)$ ∀F $(\emptyset\in/F\land\forallX,Y\inF(X\neq=Y\toX\capY=\emptyset))\to\existsC\forallX\inF\exists!x(x\inX\capC)$

意思是：由不交非空集合组成的族，存在一个选择集与其中每个集合恰好交于一点。等价表述众多，后文专章论述。这里给出的形式是针对两两不交的族，但通常选择公理的等价形式是：对任何非空集合的族 F\mathcal{F}F，存在一个函数 fff 使得对每个 X∈FX \in \mathcal{F}X∈F，f(X)∈Xf(X) \in Xf(X)∈X。这一形式不要求两两不交。两者在 ZF 的其他公理下等价。选择公理的非构造性在历史上引起巨大争议，但如今已被绝大多数数学家接受为必不可少的推理工具，正如我们在第六章将要展示的那样，它深刻渗透进了现代数学的每一个角落。

4.3 基本构造与关系

有了这些公理，我们可以定义数学中几乎所有基本概念。

笛卡尔积 ：A×B={(a,b)∣a∈A,b∈B}A \times B = \{(a, b) \mid a \in A, b \in B\}A×B={(a,b)∣a∈A,b∈B}。要证明这是集合，我们需要找到一个足够大的集合，再用分离公理。由于每个有序对 (a,b)={{a},{a,b}}(a,b) = \{\{a\}, \{a,b\}\}(a,b)={{a},{a,b}}，当 a∈A,b∈Ba \in A, b \in Ba∈A,b∈B 时，{a}⊆A∪B\{a\} \subseteq A \cup B{a}⊆A∪B，{a,b}⊆A∪B\{a,b\} \subseteq A \cup B{a,b}⊆A∪B，因此 (a,b)⊆P(A∪B)(a,b) \subseteq \mathcal{P}(A \cup B)(a,b)⊆P(A∪B)。进而 (a,b)∈P(P(A∪B))(a,b) \in \mathcal{P}(\mathcal{P}(A \cup B))(a,b)∈P(P(A∪B))。于是我们可以令 P=P(P(A∪B))P = \mathcal{P}(\mathcal{P}(A \cup B))P=P(P(A∪B))，再通过分离提取出满足"∃a∈A∃b∈B(x=(a,b))\exists a \in A \exists b \in B (x = (a,b))∃a∈A∃b∈B(x=(a,b))"的那些 xxx，就得到 A×BA \times BA×B。因此笛卡尔积的存在性由配对、并集、幂集和分离公理联合保证。

关系：一个关系是从 AAA 到 BBB 的某个子集 R⊆A×BR \subseteq A \times BR⊆A×B。关系的定义域 dom⁡(R)={x∈⋃⋃R∣∃y((x,y)∈R)}\operatorname{dom}(R) = \{x \in \bigcup\bigcup R \mid \exists y ((x,y) \in R)\}dom(R)={x∈⋃⋃R∣∃y((x,y)∈R)} 与值域类似，均由分离和并集得到。关系的复合、逆等运算均可在此框架下严格定义。

函数：一个关系 f⊆A×Bf \subseteq A \times Bf⊆A×B 若满足 ∀x∈A∃!y∈B((x,y)∈f)\forall x \in A \exists! y \in B ((x,y) \in f)∀x∈A∃!y∈B((x,y)∈f)，则称 fff 是从 AAA 到 BBB 的函数，记作 f:A→Bf: A \to Bf:A→B。所有函数的集合 BAB^ABA 可用替换和幂集构造：每个函数是 A×BA \times BA×B 的子集，因此 BA⊆P(A×B)B^A \subseteq \mathcal{P}(A \times B)BA⊆P(A×B)，再由分离得到。函数值的记法 f(x)f(x)f(x) 通过那个唯一的 yyy 来定义。在此，替换公理还保证，对函数 fff 和集合 AAA，fff 在 AAA 上的限制的值域 {f(x)∣x∈A}\{f(x) \mid x \in A\}{f(x)∣x∈A} 是集合，从而可以进行像的构造。没有替换公理的 Z 系统在某些情况下无法证明某些像集的存在性。

等价关系与商集 ：若 RRR 是 AAA 上的等价关系，商集 A/R={ $x$ R∣x∈A}A/R = \{ $x$ _R \mid x \in A\}A/R={ $x$ R∣x∈A} 是一个集合。因为映射 x↦ $x$ Rx \mapsto $x$ _Rx↦ $x$ R 是 AAA 上的一个可定义函数，由替换公理，其值域即为商集，这确保了商构造的合法性。这正是抽象代数中商群、商拓扑等的基础。没有替换，在某些情况下商集的存在性可能无法保证。

有序集 ：若 AAA 是集合，R⊆A×AR \subseteq A \times AR⊆A×A 是 AAA 上的偏序（自反、反对称、传递）。全序指任意两个元素可比较。良序则要求每个非空子集都有最小元。良序是集合论中最核心的概念之一，它直接与序数和选择公理相关联。

第五章序数与基数理论

5.1 序数------良序集合的"典范量尺"

每个良序集合都有一个"长度"，这个长度本身也是良序集合，并且是同类中"最小"的。序数就是用来度量良序集合的。

定义5.1.1（传递集） 集合 TTT 是传递的，如果它的每个元素的元素仍然是它的元素：∀x∈T(x⊆T)\forall x \in T (x \subseteq T)∀x∈T(x⊆T)。传递集的性质可以等价地描述为：⋃T⊆T\bigcup T \subseteq T⋃T⊆T，或者 T⊆P(T)T \subseteq \mathcal{P}(T)T⊆P(T)。直观上，传递集在 ∈\in∈ 关系下是"向下封闭"的，它包含了其元素的所有元素。这一性质使得 ∈\in∈ 在传递集上能够模拟一种"次序"。

定义5.1.2（序数） 一个集合 α\alphaα 是序数，当且仅当它是传递集且其元素关系 ∈\in∈ 在 α\alphaα 上是严格全序。等价的，α\alphaα 是传递集且 (α,∈)(\alpha, \in)(α,∈) 是良序。后面这种定义的好处在于，它直接包含了良序的性质，使得超限归纳与递归在序数上的应用变得自然。可以证明，如果 α\alphaα 是传递集并且 ∈\in∈ 在 α\alphaα 上连接（即对任意 x,y∈αx,y \in \alphax,y∈α，x∈yx \in yx∈y 或 x=yx=yx=y 或 y∈xy \in xy∈x），那么 (α,∈)(\alpha, \in)(α,∈) 自动是良序（得益于正则公理的良基性），因此序数的定义常被简化为"传递且由 ∈\in∈ 连接的集合"。

我们常用小写希腊字母 α,β,γ,...\alpha, \beta, \gamma, \dotsα,β,γ,... 表示序数。

例：

0=∅0 = \varnothing0=∅ 是序数，传递且空虚地满足连接条件。
若 α\alphaα 是序数，则 S(α)=α∪{α}S(\alpha) = \alpha \cup \{\alpha\}S(α)=α∪{α} 是序数，称为后继序数。它的传递性和连接性均可从 α\alphaα 的性质直接验证。
所有自然数 0,1,2,...0,1,2,\dots0,1,2,... 都是序数，且都是后继序数（除 000 外）。
ω={0,1,2,... }\omega = \{0,1,2,\dots\}ω={0,1,2,...} 是序数，它不是后继序数，因为它没有最大元：若 ω=α∪{α}\omega = \alpha \cup \{\alpha\}ω=α∪{α}，则 α∈ω\alpha \in \omegaα∈ω，故 α\alphaα 是自然数，但 S(α)S(\alpha)S(α) 也是自然数且在 ω\omegaω 中却不在 α∪{α}\alpha \cup \{\alpha\}α∪{α} 中，矛盾。这样的序数称为极限序数。
ω+1=ω∪{ω}\omega+1 = \omega \cup \{\omega\}ω+1=ω∪{ω} 是序数，ω+2,...\omega+2, \dotsω+2,...，乃至 ω+ω=ω⋅2\omega+\omega = \omega \cdot 2ω+ω=ω⋅2，等等。这些超限序数为测量不同"形状"的无穷良序集提供了可能。

引理5.1.3 序数的元素都是序数。若 α,β\alpha, \betaα,β 是序数，则 α∈β\alpha \in \betaα∈β 当且仅当 α⊊β\alpha \subsetneq \betaα⊊β。序数间的 ∈\in∈ 关系就是它们的严格序，即 α<β ⟺ α∈β\alpha < \beta \iff \alpha \in \betaα<β⟺α∈β。这引理揭示了序数类的优美结构：任何一个序数恰好由比它小的所有序数组成。因此，α={β∣β<α}\alpha = \{\beta \mid \beta < \alpha\}α={β∣β<α}。这一性质使得序数成为良序集合的"标准形"。事实上，任何良序集合 (L,<)(L, <)(L,<) 都同构于唯一的一个序数 α\alphaα（即它的序型），同构由超限递归建立。

定理5.1.4（超限归纳法） 设 PPP 是关于序数的性质。如果对于每个序数 α\alphaα，假设所有 β<α\beta < \alphaβ<α 都满足 P(β)P(\beta)P(β) 能推出 P(α)P(\alpha)P(α)，那么所有序数都满足 PPP。

证明：假设存在序数 α\alphaα 使 ¬P(α)\neg P(\alpha)¬P(α)。令 A={β≤α:¬P(β)}A = \{\beta \le \alpha : \neg P(\beta)\}A={β≤α:¬P(β)}。由于 ∈\in∈ 是良序，AAA 中有最小元 γ\gammaγ。对于所有 δ<γ\delta < \gammaδ<γ，必有 P(δ)P(\delta)P(δ) 成立，但由归纳假设可得 P(γ)P(\gamma)P(γ)，矛盾。∎

超限归纳法无需基础情况（如 P(0)P(0)P(0)）单独列出，因为当 α=0\alpha = 0α=0 时，"所有 β<0\beta < 0β<0"空虚地真，归纳假设直接要求推出 P(0)P(0)P(0)。这一特性使得超限归纳的陈述格外简洁。

定理5.1.5（超限递归定义） 给定函数规则 GGG，存在唯一的运算 FFF 定义在所有序数上，满足 F(α)=G(F↾α)F(\alpha) = G(F \upharpoonright \alpha)F(α)=G(F↾α)（其中 F↾αF \upharpoonright \alphaF↾α 是 FFF 限制在 α\alphaα 上的函数）。这允许我们递归定义序数算术、基函数等。要严格证明超限递归定理，通常需要使用替换公理，因为我们需要在序数上"迭代" GGG 并证明每次迭代产生的序列片段构成集合，然后求并集得到整个 FFF。超限递归是集合论中构建对象的超级工具，从 VαV_\alphaVα 层级到 ℵα\aleph_\alphaℵα 层级，无不依赖它。

5.2 序数算术

加法：对固定的 α\alphaα，定义 α+0=α\alpha + 0 = \alphaα+0=α；α+S(β)=S(α+β)\alpha + S(\beta) = S(\alpha + \beta)α+S(β)=S(α+β)；对极限 λ\lambdaλ，α+λ=sup⁡{α+β∣β<λ}\alpha + \lambda = \sup\{\alpha + \beta \mid \beta < \lambda\}α+λ=sup{α+β∣β<λ}。注意这里 sup⁡\supsup 的定义是：由替换公理，{α+β∣β<λ}\{\alpha + \beta \mid \beta < \lambda\}{α+β∣β<λ} 是一序数集合，取它的并集就是其上确界（即最小上界）。序数加法不交换：1+ω=sup⁡n<ω(1+n)=ω1 + \omega = \sup_{n<\omega} (1+n) = \omega1+ω=supn<ω(1+n)=ω，而 ω+1=S(ω)≠ω\omega + 1 = S(\omega) \neq \omegaω+1=S(ω)=ω。加法在右侧连续（即对于极限序数，右边加法是并集），但在左侧不连续。加法满足结合律 (α+β)+γ=α+(β+γ)(\alpha + \beta) + \gamma = \alpha + (\beta + \gamma)(α+β)+γ=α+(β+γ)，证明可由超限归纳法完成。

乘法：α⋅0=0\alpha \cdot 0 = 0α⋅0=0；α⋅S(β)=α⋅β+α\alpha \cdot S(\beta) = \alpha \cdot \beta + \alphaα⋅S(β)=α⋅β+α；对极限 λ\lambdaλ，α⋅λ=sup⁡{α⋅β∣β<λ}\alpha \cdot \lambda = \sup\{\alpha \cdot \beta \mid \beta < \lambda\}α⋅λ=sup{α⋅β∣β<λ}。也不交换：2⋅ω=sup⁡n<ω(2⋅n)=ω2 \cdot \omega = \sup_{n<\omega} (2 \cdot n) = \omega2⋅ω=supn<ω(2⋅n)=ω，而 ω⋅2=ω+ω≠ω\omega \cdot 2 = \omega + \omega \neq \omegaω⋅2=ω+ω=ω。乘法同样满足结合律，且对加法有左分配律：α⋅(β+γ)=α⋅β+α⋅γ\alpha \cdot (\beta + \gamma) = \alpha \cdot \beta + \alpha \cdot \gammaα⋅(β+γ)=α⋅β+α⋅γ，但右分配律一般不成立。

指数：α0=1\alpha^0 = 1α0=1；αS(β)=αβ⋅α\alpha^{S(\beta)} = \alpha^\beta \cdot \alphaαS(β)=αβ⋅α；对极限 λ\lambdaλ，αλ=sup⁡{αβ∣β<λ}\alpha^\lambda = \sup\{\alpha^\beta \mid \beta < \lambda\}αλ=sup{αβ∣β<λ}。

这些运算在超限归纳下具有良好的性质，且在有限序数（自然数）上就退化为普通算术。序数算术不仅是对自然数算术的延伸，它还揭示了"无穷过程"的不同完成方式。例如，ω\omegaω 的幂次 ωω\omega^\omegaωω 是可数序数，它给出了一个新的极限序数，其后还有 ωωω\omega^{\omega^\omega}ωωω 等，所有这些都仍然是可数的（作为序数，基数未必可数，但 ωω\omega^\omegaωω 在基数意义下仍与 ω\omegaω 等势）。直到 ε0=sup⁡{ω,ωω,ωωω,... }\varepsilon_0 = \sup\{\omega, \omega^\omega, \omega^{\omega^\omega}, \dots\}ε0=sup{ω,ωω,ωωω,...}，我们仍然停留在可数序数的世界里。这显示了序数与基数之间的巨大差异：序数的"长度"可以极长，但若仅从基数（势）的角度看，它们可能只是可数集的不同良序方式。

5.3 等势、基数与康托定理

定义5.3.1（等势） 集合 A,BA, BA,B 等势（即基数相同），记作 A≈BA \approx BA≈B，当存在从 AAA 到 BBB 的双射。等势是集合间"大小相同"的最基本标准。易证等势是等价关系（但要注意，严格地说，"所有与 AAA 等势的集合"构成的类是真类，不是集合）。

定义5.3.2（基数） 在 ZFC 中，每个集合都可良序化（由选择公理的等价形式良序定理），从而等势于某个序数。一个序数 κ\kappaκ 称为基数（或初始序数），如果对于所有序数 α<κ\alpha < \kappaα<κ，都有 α≉κ\alpha \not\approx \kappaα≈κ。也就是说基数是不与更小序数等势的序数。因此基数是一种特殊的序数，用来作为集合"势"的标尺。在 ZF（无选择公理）中，并非所有集合都能良序化，因此一般用 Scott 技巧定义基数：将集合 AAA 的基数定义为所有与 AAA 等势的集合中具有最小秩的那个集合的等价类。但在 ZFC 下，我们直接使用初始序数作为基数，并记 ∣A∣|A|∣A∣ 为唯一与 AAA 等势的基数。

例：

自然数 0,1,2,...0,1,2,\dots0,1,2,... 都是基数（任何有限集不能与更小的自然数等势）。
ω\omegaω 是基数，常记作 ℵ0\aleph_0ℵ0，它是第一个无穷基数。
ω1\omega_1ω1 是所有可数序数的集合（哈特格斯构造），是不可数的基数，记作 ℵ1\aleph_1ℵ1。一般地，我们可以用超限递归定义阿列夫层级：ℵ0=ω\aleph_0 = \omegaℵ0=ω； $\\aleph_{\\alpha+1} =$ 大于 ℵα\aleph_\alphaℵα 的最小基数（即哈特格斯数）；对于极限序数 λ\lambdaλ，ℵλ=sup⁡{ℵβ∣β<λ}\aleph_\lambda = \sup\{\aleph_\beta \mid \beta < \lambda\}ℵλ=sup{ℵβ∣β<λ}，且它也是基数。

定理5.3.3（康托定理） 对任意集合 XXX，∣X∣<∣P(X)∣|X| < |\mathcal{P}(X)|∣X∣<∣P(X)∣。即 XXX 的幂集的基数严格大于 XXX 的基数。

证明：单射 x↦{x}x \mapsto \{x\}x↦{x} 给出 ∣X∣≤∣P(X)∣|X| \le |\mathcal{P}(X)|∣X∣≤∣P(X)∣。假设存在双射 f:X→P(X)f: X \to \mathcal{P}(X)f:X→P(X)，构造对角线集 D={x∈X∣x∉f(x)}D = \{x \in X \mid x \notin f(x)\}D={x∈X∣x∈/f(x)}。因为 fff 是满射，存在 d∈Xd \in Xd∈X 使 f(d)=Df(d) = Df(d)=D。现在如果 d∈Dd \in Dd∈D，则 d∉f(d)=Dd \notin f(d) = Dd∈/f(d)=D，矛盾；如果 d∉Dd \notin Dd∈/D，则 d∉f(d)d \notin f(d)d∈/f(d) 推出 d∈Dd \in Dd∈D，矛盾。因此这样的双射不存在。∎

推论：存在无穷多个不同的无穷基数：ℵ0,2ℵ0,22ℵ0,...\aleph_0, 2^{\aleph_0}, 2^{2^{\aleph_0}}, \dotsℵ0,2ℵ0,22ℵ0,... 由康托定理，这是一个严格递增的基数序列。但值得注意的是，从 ℵ0\aleph_0ℵ0 到 2ℵ02^{\aleph_0}2ℵ0 之间是否有其他基数，正是连续统假设所追问的。

5.4 基数算术与连续统假设

基数加法 ：κ+λ=∣κ×{0}∪λ×{1}∣\kappa + \lambda = |\kappa \times \{0\} \cup \lambda \times \{1\}|κ+λ=∣κ×{0}∪λ×{1}∣。在无穷基数上，如果 κ,λ\kappa, \lambdaκ,λ 都是无穷基数且不全为空，选择公理下可以证明 κ+λ=max⁡(κ,λ)\kappa + \lambda = \max(\kappa, \lambda)κ+λ=max(κ,λ)。核心思路是利用良序定理将无穷基数视为某无穷良序集的幂，通过配对函数或归纳法证明 κ×κ≈κ\kappa \times \kappa \approx \kappaκ×κ≈κ（这本身需要超限归纳），从而 κ+λ≤κ⋅λ≤max⁡(κ,λ)⋅max⁡(κ,λ)=max⁡(κ,λ)\kappa + \lambda \le \kappa \cdot \lambda \le \max(\kappa, \lambda) \cdot \max(\kappa, \lambda) = \max(\kappa, \lambda)κ+λ≤κ⋅λ≤max(κ,λ)⋅max(κ,λ)=max(κ,λ)，反向的不等式显然。这种"吸收律"极大地简化了无穷基数算术。

基数乘法 ：κ⋅λ=∣κ×λ∣\kappa \cdot \lambda = |\kappa \times \lambda|κ⋅λ=∣κ×λ∣。对无穷基数，同样 κ⋅λ=max⁡(κ,λ)\kappa \cdot \lambda = \max(\kappa, \lambda)κ⋅λ=max(κ,λ)。特别地，ℵ0⋅ℵ0=ℵ0\aleph_0 \cdot \aleph_0 = \aleph_0ℵ0⋅ℵ0=ℵ0，这对应于"可数多个可数集的并集仍是可数集"这一经典结果（但需要注意，该结果的证明需要可数选择公理，在 ZFC 下当然成立）。

基数指数 ：κλ=∣{f∣f:λ→κ}∣\kappa^\lambda = |\{f \mid f: \lambda \to \kappa\}|κλ=∣{f∣f:λ→κ}∣，即所有从 λ\lambdaλ 到 κ\kappaκ 的函数的集合的基数。基数指数运算远比加法乘法复杂，且无穷指数的值往往由具体的基数决定。经典例子：2ℵ02^{\aleph_0}2ℵ0 是实数集 R\mathbb{R}R 的基数，而康托定理告诉我们 2ℵ0>ℵ02^{\aleph_0} > \aleph_02ℵ0>ℵ0。进一步，有没有 κ\kappaκ 使得 ℵ0<κ<2ℵ0\aleph_0 < \kappa < 2^{\aleph_0}ℵ0<κ<2ℵ0 呢？

康托的连续统假设 (CH) ：2ℵ0=ℵ12^{\aleph_0} = \aleph_12ℵ0=ℵ1。换言之，实数集合的基数恰好是第一个不可数基数。广义连续统假设 (GCH) ：对所有序数 α\alphaα，2ℵα=ℵα+12^{\aleph_\alpha} = \aleph_{\alpha+1}2ℵα=ℵα+1。GCH 蕴含了基数指数运算的一种极简模式：唯一不确定的跳跃只发生从 ℵα\aleph_\alphaℵα 到其幂集。

CH 和 GCH 都是集合论中最著名的问题。1940 年哥德尔证明 GCH 在 ZFC 中不可被证伪（如果 ZF 一致，则 ZFC+GCH 一致）；1963 年科恩证明 CH 在 ZFC 中不可被证明（如果 ZF 一致，则 ZFC+¬\neg¬CH 一致）。两者合起来，CH 独立于 ZFC。这正是第七章将要深探的主题。

基数算术中还有许多有趣的性质，例如 König 定理：对任意基数 κi<λi\kappa_i < \lambda_iκi<λi（i∈Ii \in Ii∈I），有 ∑i∈Iκi<∏i∈Iλi\sum_{i \in I} \kappa_i < \prod_{i \in I} \lambda_i∑i∈Iκi<∏i∈Iλi。此定理可直接推出选择公理与连续统假设的一些限制。无穷基数算术的广阔天地至今仍然充满悬而未决的问题。

第六章选择公理的等价形式及证明

选择公理（AC）表面上只关乎选择集的存在，但在数学中它的等价陈述广泛渗透于分析、代数、拓扑等分支。以下我们展示其与佐恩引理、良序定理等核心命题的等价性。

6.1 佐恩引理

陈述：若一个偏序集 (P,≤)(P, \le)(P,≤) 中每个链（全序子集）都有上界，则 PPP 至少有一个极大元。

佐恩引理有时被称为"数学家的选择公理"，因为它非常便于在代数、分析中应用：要证明某类对象的存在，只需构造一个偏序，证明其链有上界，然后调用佐恩引理得出极大元，该极大元往往就是所要的对象（如向量空间的基、极大理想、哈恩-巴拿赫扩张等）。

证明 AC ⇒ 佐恩引理 （概要）：

假设 (P,≤)(P, \le)(P,≤) 满足条件且无极大元。对每个 x∈Px \in Px∈P，集合 Ux={y∈P∣y>x}U_x = \{y \in P \mid y > x\}Ux={y∈P∣y>x} 非空。由选择公理，存在选择函数 fff 使得 f(x)∈Uxf(x) \in U_xf(x)∈Ux。我们想构造一个严格递增的超限序列 p0<p1<...p_0 < p_1 < \dotsp0<p1<... 直到不可再扩。利用超限递归定理，对每个序数 ξ\xiξ 定义 pξp_\xipξ，若已对所有 β<ξ\beta < \xiβ<ξ 定义了 pβp_\betapβ 且它们构成链，那么该链有上界 uuu，由于无极大元，可取 f(u)>uf(u) > uf(u)>u 作为 pξp_\xipξ。但这样会得到从全体序数到 PPP 的单射（因为序列严格递增），将全体序数嵌入集合 PPP。由替换公理，这将导致全体序数成为一个集合（因为序数序列的值域是 PPP 的子集，从而是集合，而该值域与所有序数一一对应），这与"全体序数构成真类"（布拉利--福尔蒂悖论）矛盾。故 PPP 必有极大元。∎

注意：上述证明中"全体序数是真类"这一事实本身可以用替换公理和正则公理证明：若全体序数构成集合 OOO，则 OOO 本身是传递且由 ∈\in∈ 连接的，从而是序数，于是 O∈OO \in OO∈O，与正则公理矛盾。因此这个矛盾驱动力良序。

证明佐恩引理 ⇒ AC （概要）：

给定不交非空集合族 F\mathcal{F}F，考虑偏序集 PPP 为"部分选择函数的集合"，即定义域为 F\mathcal{F}F 的某个子族，且满足选择性质的那些函数。具体地，P={g⊆F×⋃F∣g 是函数且 ∀(X,x)∈g(x∈X)}P = \{g \subseteq \mathcal{F} \times \bigcup \mathcal{F} \mid g \text{ 是函数且 } \forall (X,x) \in g (x \in X)\}P={g⊆F×⋃F∣g 是函数且 ∀(X,x)∈g(x∈X)}。PPP 以包含为序，任何链的并仍是部分选择函数，属于 PPP 且为上界。由佐恩引理，存在极大元 ggg。若 ggg 的定义域不是整个 F\mathcal{F}F，则存在 X∉dom⁡(g)X \notin \operatorname{dom}(g)X∈/dom(g)，因 XXX 非空可选一元素 x0x_0x0 加进 ggg，与极大性矛盾。故 ggg 定义在全 F\mathcal{F}F 上，即为所需选择函数。∎

6.2 良序定理

陈述：任何集合都能被良序化（即存在一个良序关系）。

这是策梅洛最初引入选择公理的形式。直观上，它声称我们可以给任何集合的元素排列成一个良序，无论集合多么大或多么"不规则"。

证明 AC ⇒ 良序定理 ：对集合 AAA，由选择公理可以得到选择函数 f:P(A)∖{∅}→Af: \mathcal{P}(A)\setminus\{\varnothing\} \to Af:P(A)∖{∅}→A。然后通过超限递归构造 AAA 的一个良序：a0=f(A)a_0 = f(A)a0=f(A)；假设已定义序列 {aβ}β<α\{a_\beta\}{\beta<\alpha}{aβ}β<α，若 A∖{aβ}β<αA \setminus \{a\beta\}{\beta<\alpha}A∖{aβ}β<α 非空，则令 aα=f(A∖{aβ}β<α)a\alpha = f(A \setminus \{a_\beta\}{\beta<\alpha})aα=f(A∖{aβ}β<α)。这一过程在某个序数 α\alphaα 时首次有 A∖{aβ}β<α=∅A \setminus \{a\beta\}{\beta<\alpha} = \varnothingA∖{aβ}β<α=∅ 而停止，此时 {aβ}β<α=A\{a\beta\}_{\beta<\alpha} = A{aβ}β<α=A，并且这个过程本身赋予 AAA 了一个良序（按照指标的顺序）。该构造的核心在于，每次从剩余未选元素中挑出一个"代表"，当集合被选空时，我们就得到了一个良序。∎

证明良序定理 ⇒ 选择公理 ：对族 F\mathcal{F}F，取并集 U=⋃FU = \bigcup \mathcal{F}U=⋃F，用良序定理将其良序。然后定义选择函数 C(X)C(X)C(X) 为 XXX 在该良序下的最小元，即得选择集。这一方向几乎平凡，却揭示了良序之所以强于选择的原因：良序给出了一种统一的选择方式，从每个非空子集中选出最小元。∎

此外还有豪斯多夫极大原理 （偏序集中任意链可扩充为极大链）、图基引理（具有有限特征的集合族有极大元）等，均与 AC 等价。它们在不同数学领域提供了最顺手的形式。例如，在证明"每个向量空间都有基"时，通常将基定义为极大线性无关组，并验证线性无关族具有有限特征，然后应用图基引理直接得到极大元。选择公理的这些等价形式表明，AC 不是孤立的技术假设，而是遍布数学推理底层的一种关于"无穷过程可完成"的信念的形式表达。

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

7.1 康托的不朽问题

1878 年康托提出：实数集 R\mathbb{R}R 的基数是 ℵ1\aleph_1ℵ1 吗？这就是连续统假设（CH）。更一般地，是否存在基数位于 ℵ0\aleph_0ℵ0 与 2ℵ02^{\aleph_0}2ℵ0 之间的集合？希尔伯特将其列为 23 个问题之首，足见其根本性。1938 年哥德尔证明了 GCH（因而 CH）在 ZFC 中不可被证伪：他构造了可构造宇宙 LLL ，在其中 GCH 成立。1963 年保罗·科恩发明力迫法，证明了 CH 在 ZFC 中不可被证明。两者合起来，CH 独立于 ZFC。这一结果不仅解决了一个世纪难题，更开创了现代集合论的新纪元：通过内模型和力迫扩张，我们可以精细地调控集合宇宙中各种命题的真值，揭示出大量自然数学命题的独立性。

7.2 哥德尔的 LLL：可构造层级

哥德尔将集合的构造过程严格分层：

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. L0=∅,Lα+1=Def(Lα),Lλ=α<λ⋃Lα.

其中 Def⁡(M)\operatorname{Def}(M)Def(M) 是 MMM 上所有可定义子集的集合（带参数）。具体来说，X⊆MX \subseteq MX⊆M 属于 Def⁡(M)\operatorname{Def}(M)Def(M) 当且仅当存在某个一阶公式 φ(x,y1,...,yn)\varphi(x, y_1, \dots, y_n)φ(x,y1,...,yn) 和参数 p1,...,pn∈Mp_1,\dots,p_n \in Mp1,...,pn∈M 使得 X={x∈M∣M⊨φ(x,p1,...,pn)}X = \{x \in M \mid M \models \varphi(x, p_1, \dots, p_n)\}X={x∈M∣M⊨φ(x,p1,...,pn)}。这一定义完全在 ZF 内形式化，因此 LLL 是 ZF 中的一个可定义的传递真类。LLL 满足 ZF 的所有公理，并且还满足"V=LV=LV=L"（可构造公理），即每个集合都是可构造的。在 V=LV=LV=L 的假设下，哥德尔证明了 GCH 成立：因为可以对每个子集按构造顺序进行细致的基数估计，证明对于无穷基数 κ\kappaκ，P(κ)∩L⊆Lκ+\mathcal{P}(\kappa) \cap L \subseteq L_{\kappa^+}P(κ)∩L⊆Lκ+，从而在 LLL 中 2κ=κ+2^{\kappa} = \kappa^+2κ=κ+。这里 κ+\kappa^+κ+ 表示大于 κ\kappaκ 的最小基数。特别地，2ℵ0=ℵ12^{\aleph_0} = \aleph_12ℵ0=ℵ1。由于若 ZF 一致，则 ZF + V=LV=LV=L 一致，所以 GCH 与 ZFC 相容。哥德尔的内模型方法不仅确定了 CH 的不可否证性，也为后来研究更强的公理（如大基数公理）提供了基本框架。

7.3 科恩的力迫：扩张宇宙

科恩的思路完全翻转：假设 ZFC 一致，要构造一个 ZFC 模型使得 ¬CH\neg CH¬CH 成立。他不是从内部限制，而是从地面宇宙 MMM（可假设为可数传递模型）出发，附加一个"通用滤子" GGG，构造扩张 M $G$ M $G$ M $G$ 。力迫条件是有穷部分函数，从 ℵ2M×ℵ0\aleph_2^M \times \aleph_0ℵ2M×ℵ0 到 {0,1}\{0,1\}{0,1}（此处的 ℵ2M\aleph_2^Mℵ2M 是 MMM 中的第二个不可数基数）。这些部分函数的集合 P\mathbb{P}P 赋予反向包含的偏序。MMM 中的一个滤子 G⊆PG \subseteq \mathbb{P}G⊆P 若与所有在 MMM 中定义的稠密集相交，则称为 MMM-通用滤子。这样的 GGG 存在于 MMM 之外，但我们可以考虑 M $G$ M $G$ M $G$ ，即包含 MMM 和 GGG 的最小的 ZFC 模型。GGG 将这些有穷部分函数拼接成一个全函数 ⋃G:ℵ2M×ω→{0,1}\bigcup G: \aleph_2^M \times \omega \to \{0,1\}⋃G:ℵ2M×ω→{0,1}。对每个 α<ℵ2M\alpha < \aleph_2^Mα<ℵ2M，我们得到一个实数 rα={n∈ω∣(⋃G)(α,n)=1}r_\alpha = \{n \in \omega \mid (\bigcup G)(\alpha, n) = 1\}rα={n∈ω∣(⋃G)(α,n)=1}。通过力迫条件的性质可证这些实数是两两不同的，因此在 M $G$ M $G$ M $G$ 中至少有 ℵ2M\aleph_2^Mℵ2M 个实数。通过精心选择力迫偏序满足可数链条件（ccc） ，可以证明 MMM 中的基数在 M $G$ M $G$ M $G$ 中保持不变，即 ℵ1M $G$ =ℵ1M\aleph_1^{M $G$ } = \aleph_1^Mℵ1M $G$ =ℵ1M，ℵ2M $G$ =ℵ2M\aleph_2^{M $G$ } = \aleph_2^Mℵ2M $G$ =ℵ2M。这样在 M $G$ M $G$ M $G$ 中，实数集的基数至少为 ℵ2\aleph_2ℵ2，从而 2ℵ0≥ℵ22^{\aleph_0} \ge \aleph_22ℵ0≥ℵ2，连续统假设不成立。科恩因此获菲尔兹奖。

7.4 力迫关系的核心机制

力迫语言中有语句 p⊩φp \Vdash \varphip⊩φ 读作"条件 ppp 强制 φ\varphiφ"。科恩证明了强制定理：在通用扩张 M $G$ M $G$ M $G$ 中真理等价于存在 p∈Gp \in Gp∈G 强制该语句。通过控制条件集，可以精确调控扩张中什么样的新集合被加入，又保持地面模型原有的哪些基数性质。力迫法催生了现代集合论中大量独立性证明：苏斯林问题（是否存在苏斯林线）、怀特海问题（是否每个怀特海群自由）、博雷尔猜想等。力迫还使我们能够比较不同模型的"力迫扩张"之间的关系，形成了迭代力迫、真类力迫等深层次理论。如今，集合论学家可以通过力迫构造拥有极复杂实数集的模型，或是满足各种强公理（如马丁公理、真力迫公理 PFA 等）的模型，极大地丰富了我们关于无穷的视野。

卷二的巡礼在此告一段落，但我们只是触碰了集合论深潭的表面。 ZFC的每一条公理都可单独争论（尤其是选择公理和替换公理），大基数公理试图拓展ZFC的疆域，而内模型与力迫的交互则持续揭示着"不可判定"的惊心动魄。在后续卷章中，当我们从集合论构造实数、拓扑空间、概率空间时，请记得，一切海洋的波涛都源于这几条晶莹的公理。从空集的虚无中，通过外延、分离、配对、并集、幂集、替换、无穷、正则和选择，我们不仅重建了自然数、实数，更构建了函数的殿堂、空间的网络、概率的流动------这就是数学的宇宙，一座从 ∅\varnothing∅ 生长出来的辉煌巨构。