本笔记基于李文威《代数学方法》

1. ZFC 公理体系：从虚无到万物

ZFC 的根本原则：集合只能从已有集合构造出来。不允许"凭空用一个性质收集所有满足它的东西"——那样会导致 Russell 悖论（考虑"所有不包含自身的集合的集合"）。

1.1 关键公理速览

1.2 建造链：从 $\emptyset$ 到整个数学

所有数学对象都编码为集合，从空集出发一层层构造：

$$\emptyset ;\xrightarrow{\text{配对、并、无穷}}; \mathbb{N} ;\xrightarrow{\text{积、商}}; \mathbb{Z} ;\xrightarrow{\text{积、商}}; \mathbb{Q} ;\xrightarrow{\text{幂集}}; \mathbb{R} ;\xrightarrow{\text{幂集}}; \text{拓扑、流形……}$$

自然数（冯·诺依曼方案）：

$$0 := \emptyset, \quad 1 := {0} = {\emptyset}, \quad 2 := {0,1}, \quad n+1 := n \cup {n}$$

每一步只用配对和并集。无穷公理将它们打包成集合 $\mathbb{N} = {0, 1, 2, \ldots}$。

整数 $\mathbb{Z}$： 在 $\mathbb{N} \times \mathbb{N}$ 上定义等价关系 $(a,b) \sim (c,d) \iff a+d = c+b$（直觉上 $(a,b)$ 代表 $a - b$），取商集。有序对用 Kuratowski 编码 $(a,b) := \{ \{a\}, \{a,b\} \}$。

有理数 $\mathbb{Q}$： 同样的套路，在 $\mathbb{Z} \times (\mathbb{Z}\setminus{0})$ 上取等价关系 $(a,b) \sim (c,d) \iff ad = cb$，取商集。

实数 $\mathbb{R}$： 两种经典方案：

• Dedekind 切割：实数 = $\mathbb{Q}$ 的一个向下封闭、无最大元的子集，即 $\mathbb{R} \subseteq \mathcal{P}(\mathbb{Q})$。
• Cauchy 序列的等价类：有理数 Cauchy 序列 $\subseteq \mathbb{Q}^{\mathbb{N}}$，再商掉。

更高层对象：

• 拓扑空间 $(X, \tau)$：$X$ 是集合，$\tau \subseteq \mathcal{P}(X)$ 满足拓扑公理。
• 流形：拓扑空间 + 图册（一堆开集到 $\mathbb{R}^n$ 的同胚组成的集合）。
• 群 $(G, \cdot)$：集合 $G$ + 二元运算 $\cdot,: G \times G \to G$（运算本身也是集合）。

每一步都只用 ZFC 公理从已有集合造新集合，没有任何自指。

2. 序结构

2.1 二元关系

集合 $X$ 上的二元关系 $R$ 就是 $X \times X$ 的子集。$(a,b) \in R$ 通常写作 $a,R,b$。

2.2 偏序（Partial Order）

$X$ 上的关系 $\leq$ 满足三条即为偏序：

1. 自反性：$\forall a,; a \leq a$
2. 反对称性：$a \leq b$ 且 $b \leq a \implies a = b$
3. 传递性：$a \leq b$ 且 $b \leq c \implies a \leq c$

关键词是"偏"——允许某些元素之间不可比较。

例 1：$(\mathcal{P}(S),, \subseteq)$，$S = {1,2,3}$。${1,2} \subseteq {1,2,3}$，可以比较；但 ${1,2}$ 与 ${2,3}$ 互不包含，不可比。

例 2：$(\mathbb{N},, \mid)$，整除关系。$2 \mid 6$，$3 \mid 6$，但 $2$ 与 $3$ 互不整除，不可比。

2.3 全序（Total Order / Linear Order）

偏序 + 第四条：

1. 完全性：$\forall a, b,; a \leq b$ 或 $b \leq a$

任意两个元素都可以比较。$(\mathbb{R}, \leq)$、$(\mathbb{Z}, \leq)$、$(\mathbb{Q}, \leq)$ 都是全序。

全序是偏序的特例。$(\mathcal{P}(S), \subseteq)$ 是偏序但不是全序。

2.4 良序（Well-Order）

全序 + 第五条：

1. 良基性：$X$ 的每个非空子集都有最小元

$(\mathbb{N}, \leq)$ 是良序：任何非空子集（如 ${5, 2, 100}$）都有最小元。

$(\mathbb{Z}, \leq)$ 不是良序：$\mathbb{Z}$ 本身没有最小元。$(\mathbb{R}, \leq)$ 同理。

良序定理（等价于选择公理）：任何集合都可以被赋予某种良序关系。但那个良序一般是非构造性的。

良序的意义：良序保证了归纳法/递归可以进行——不会出现无穷下降。

3. 序数（Ordinals）

3.1 动机

良序集有很多，但很多在结构上同构（存在保序双射）。序数就是给每一类同构的良序集选一个标准代表。

3.2 冯·诺依曼构造

一个集合 $\alpha$ 是序数，当且仅当：

• $\alpha$ 关于 $\in$ 是良序的；
• $\alpha$ 是传递集（$x \in \alpha \implies x \subseteq \alpha$）。

效果：每个序数恰好等于比它小的所有序数的集合，$\alpha = {\beta : \beta < \alpha}$，其中 $<$ 就是 $\in$。

有限序数 = 自然数：$0 = \emptyset,; 1 = {0},; 2 = {0,1},; \ldots$

第一个无穷序数：$\omega = {0, 1, 2, \ldots} = \mathbb{N}$

继续往上：

$$\omega + 1 = {0,1,2,\ldots,\omega}, \quad \omega + 2, \quad \ldots, \quad \omega \cdot 2, \quad \ldots, \quad \omega^2, \quad \ldots, \quad \omega^\omega, \quad \ldots$$

3.3 两类非零序数

• 后继序数：$\alpha + 1 = \alpha \cup {\alpha}$，有直接前驱。如 $1, 2, \omega+1, \omega+2$。
• 极限序数：无直接前驱，是所有更小序数的上确界。如 $\omega,; \omega \cdot 2,; \omega^2$。

这个分类直接决定超穷递归的结构。

3.4 关键性质

任意两个序数可比：$\alpha \in \beta$、$\alpha = \beta$、$\beta \in \alpha$ 三者恰有一个成立。序数全体按 $\in$ 构成良序，但序数全体本身不是集合（是真类）。

4. 超穷递归与 Zorn 引理

4.1 超穷归纳

将自然数归纳推广到所有序数。要证 $P(\alpha)$ 对所有序数成立，需处理三种情况：

1. 零：证 $P(0)$。
2. 后继步：$P(\alpha) \Rightarrow P(\alpha+1)$。
3. 极限步（新增）：若 $\lambda$ 是极限序数，证 $(\forall \beta < \lambda,; P(\beta)) \Rightarrow P(\lambda)$。

极限步的直觉：极限序数没有直接前驱，必须论证"之前所有步骤加在一起搞定了 $\lambda$"。

4.2 超穷递归

不是证性质，而是定义函数。在所有序数上定义 $F$：

1. 规定 $F(0)$。
2. 用 $F(\alpha)$ 定义 $F(\alpha+1)$。
3. 极限步：用 ${F(\beta) : \beta < \lambda}$ 定义 $F(\lambda)$。

超穷递归定理保证 $F$ 存在且唯一。

例：序数加法。固定 $\alpha$，对 $\beta$ 递归定义 $\alpha + \beta$：

• $\alpha + 0 = \alpha$
• $\alpha + (\beta+1) = (\alpha + \beta) + 1$
• $\alpha + \lambda = \sup{\alpha + \beta : \beta < \lambda}$（极限步）

4.3 Zorn 引理（核心工具）

陈述：设 $(X, \leq)$ 是偏序集。若 $X$ 中每条链（全序子集）都有上界，则 $X$ 有极大元。

等价于选择公理，等价于良序定理。等价性的证明依赖超穷递归。

代数中的典型应用（固定模板：定义偏序集 → 验证链有上界 → 调用 Zorn 引理得极大元）：

• 每个环有极大理想
• 每个向量空间有基
• 每个滤子可扩张为超滤子

5. 基数（Cardinals）

5.1 幂集

$A$ 的幂集 $\mathcal{P}(A)$ = $A$ 的所有子集构成的集合。

$$\mathcal{P}({1,2}) = {\emptyset, {1}, {2}, {1,2}}$$

若 $|A| = n$，则 $|\mathcal{P}(A)| = 2^n$（每个元素选或不选，独立决定）。

5.2 基数 vs 序数

序数关心排列方式（良序结构），基数关心大小（等势类）。

两个集合等势 $\iff$ 存在双射。基数 = 与之等势的最小序数。

$\omega$ 和 $\omega+1$ 是不同序数，但等势（基数相同，都是 $\aleph_0$）。同理 $\omega \cdot 2$、$\omega^2$ 的基数都是 $\aleph_0$。

5.3 Cantor 定理

陈述：对任意集合 $A$，不存在满射 $A \to \mathcal{P}(A)$。因此 $|A| < |\mathcal{P}(A)|$。

证明（对角线论证）：

假设 $f: A \to \mathcal{P}(A)$ 是满射。构造

$$D = {a \in A : a \notin f(a)}$$

$D \in \mathcal{P}(A)$，所以存在 $d \in A$ 使 $f(d) = D$。但：

• $d \in D \implies d \notin f(d) = D$，矛盾。
• $d \notin D \implies d \in f(d) = D$，矛盾。

注意：$D$ 的构造依赖于 $f$。无论怎么修改 $f$，$D$ 也随之改变，总存在一个不在像中的子集。对角线论证攻击的是任意的 $f$。

后果：

$$\aleph_0 < 2^{\aleph_0} < 2^{2^{\aleph_0}} < \cdots$$

无穷有不可穷尽的层级。不存在"所有集合的集合"。

5.4 无穷基数记号与连续统假设

• $\aleph_0 = |\mathbb{N}|$（最小无穷基数）
• $\aleph_1$ = 下一个无穷基数，$\aleph_2, \aleph_3, \ldots$
• $2^{\aleph_0} = |\mathcal{P}(\mathbb{N})| = |\mathbb{R}|$
• 连续统假设（CH）：$2^{\aleph_0} = \aleph_1$（$\mathbb{N}$ 和 $\mathbb{R}$ 之间无中间大小）。CH 在 ZFC 中独立（Gödel 1940, Cohen 1963）。

5.5 无穷基数算术

$$\aleph_0 + \aleph_0 = \aleph_0, \qquad \aleph_0 \cdot \aleph_0 = \aleph_0$$

一般地，无穷基数 $\kappa$ 满足 $\kappa + \kappa = \kappa \cdot \kappa = \kappa$（大的吃小的）。

但幂运算不同：$2^\kappa > \kappa$（Cantor 定理），幂运算能跳到更大的基数。

6. Grothendieck 宇宙

6.1 问题

范畴论需要谈论"所有群的范畴 $\mathbf{Grp}$"、"所有集合的范畴 $\mathbf{Set}$"，但"所有XX"在 ZFC 中太大，不构成集合（是真类）。需要一种机制使这些操作合法化。

6.2 定义

集合 $\mathscr{U}$ 是 Grothendieck 宇宙，若满足：

1. 传递性：$x \in \mathscr{U}$ 且 $y \in x \implies y \in \mathscr{U}$
2. 配对封闭：$x, y \in \mathscr{U} \implies {x, y} \in \mathscr{U}$
3. 幂集封闭：$x \in \mathscr{U} \implies \mathcal{P}(x) \in \mathscr{U}$
4. 族的并集封闭：$I \in \mathscr{U}$，$(x_i)\_{i \in I}$ 各 $x_i \in \mathscr{U}$，则 $\bigcup_{i \in I} x_i \in \mathscr{U}$

直觉：$\mathscr{U}$ 是一个自给自足的小世界，在内部可以做所有 ZFC 操作而不跑出去。

推论：$\emptyset \in \mathscr{U}$；有序对 $(x,y) \in \mathscr{U}$；笛卡尔积 $x \times y \in \mathscr{U}$；函数集 $x^y \in \mathscr{U}$；子集仍在 $\mathscr{U}$ 中。

6.3 幂集封闭为什么不矛盾

幂集封闭说的是 $x \in \mathscr{U} \implies \mathcal{P}(x) \in \mathscr{U}$，取幂集的对象是 $\mathscr{U}$ 的元素，不是 $\mathscr{U}$ 本身。

• 正则公理保证 $\mathscr{U} \notin \mathscr{U}$（ZFC 中任何集合都不是自身的元素），所以幂集封闭条件不适用于 $\mathscr{U}$ 本身。
• $\mathcal{P}(\mathscr{U})$ 确实比 $\mathscr{U}$ 大（Cantor 定理），但这不矛盾——$\mathscr{U}$ 对内部元素封闭，不对自身封闭。
• 技术上：$\mathscr{U}$ 的大小是不可达基数 $\kappa$，内部元素的基数 $< \kappa$，不可达性保证 $2^\lambda < \kappa$（$\forall \lambda < \kappa$），所以 $\mathcal{P}(x)$ 仍装得进 $\mathscr{U}$。

6.4 大小术语

固定宇宙 $\mathscr{U}$：

$\mathbf{Set}$、$\mathbf{Grp}$、$\mathbf{Top}$ 通常是局部小的。

6.5 宇宙公理

包含 $\mathbb{N}$ 的 Grothendieck 宇宙在 ZFC 中无法证明存在，需要额外公理：

宇宙公理：$\forall x,; \exists, \mathscr{U}$（Grothendieck 宇宙）使得 $x \in \mathscr{U}$。

等价于存在足够多的不可达基数。超出 ZFC，但数学界普遍认为不引入矛盾。

6.6 实际使用

1. 假设存在一个足够大的 $\mathscr{U}$，包含日常数学对象。
2. "所有群的范畴" = "所有 $\mathscr{U}$-小群的范畴"。
3. 如果需要再往上一层，换更大的宇宙 $\mathscr{U}' \ni \mathscr{U}$。

如同嵌套的游乐场：$\mathscr{U}$ 内随便操作，溢出到 $\mathscr{U}'$ 中仍然合法。

7. 附录：NBG 集合论（另一种方案）

NBG 不引入大集合，而是引入新概念层级：集合和类。

• 每个集合都是类，但有些类不是集合（真类）。
• "所有集合的类"、"所有群的类"是合法的真类。
• 限制：真类不能做其他类的元素——这是防止悖论的防火墙。

对比：

8. Q&A

Q1：为什么 $\omega$ 和 $\omega + 1$ 等势？后者明明多了一个元素。

希尔伯特旅馆的思路。定义 $f: \omega + 1 \to \omega$：$f(\omega) = 0$，$f(n) = n+1$。每个人往后挪一位，$0$ 号房间腾给新来的 $\omega$。这是双射。无穷集合可以和自己的真子集等势——这甚至可以作为无穷集合的定义（Dedekind 的定义）。同理 $\omega \cdot 2$（偶奇交错）和 $\omega^2$（对角线枚举）都与 $\omega$ 等势。

Q2：幂集 $\mathcal{P}(A)$ 是什么？为什么 $|\mathcal{P}(A)| = 2^{|A|}$？

$\mathcal{P}(A)$ 是 $A$ 的所有子集构成的集合。对有限集 $|A| = n$，构造子集等价于对每个元素做"选/不选"的二元决定，$n$ 个独立决定给出 $2^n$ 种组合。$2^{\aleph_0} = |\mathcal{P}(\mathbb{N})|$ 是这个记号从有限到无穷的推广。

Q3：Cantor 定理的对角线论证中，修改 $f$ 来"堵住" $D$ 不是就行了吗？

不行。$D$ 的定义依赖于 $f$：$D = {a \in A : a \notin f(a)}$。你修改 $f$，$D$ 也随之改变，总会产生一个新的不在像中的子集。对角线论证攻击的不是某一个特定的 $f$，而是任意的 $f$。

Q4：Grothendieck 宇宙要求幂集封闭，但 Cantor 定理说幂集会变大，这不矛盾吗？

不矛盾。幂集封闭说的是 $x \in \mathscr{U} \implies \mathcal{P}(x) \in \mathscr{U}$，只对 $\mathscr{U}$ 的元素取幂集。正则公理保证 $\mathscr{U} \notin \mathscr{U}$，所以条件不适用于 $\mathscr{U}$ 本身。$\mathscr{U}$ 的大小是不可达基数 $\kappa$，内部元素基数 $< \kappa$，不可达性保证 $2^\lambda < \kappa$（$\forall \lambda < \kappa$），所以内部的幂集操作不会溢出。

Q5：为什么 $\mathscr{U} \notin \mathscr{U}$？

这是 ZFC 正则公理的直接推论，与 Grothendieck 宇宙无关。正则公理：每个非空集合 $A$ 包含一个元素 $a$ 使得 $a \cap A = \emptyset$。取 $A = {x}$，若 $x \in x$，则 $x$ 是 $A$ 唯一的元素但 $x \cap A \ni x \neq \emptyset$，违反正则公理。因此 ZFC 中任何集合都不是自身的元素。

Q6：对物理学生来说，这章真正需要记住什么？

三件事：

1. Zorn 引理的陈述和使用模板（定义偏序 → 验证链有上界 → 得极大元）。
2. Cantor 定理：集合有不同层级的无穷大小，$|A| < |\mathcal{P}(A)|$。
3. Grothendieck 宇宙 / size 问题：后面遇到"小范畴"、"局部小"等术语时，知道它们指的是"在某个固定宇宙 $\mathscr{U}$ 内"，具体的集合论技术不影响代数计算。