集合论

集合论 (Set Theory)

集合论 (Set Theory) 是 数学 最基础的分支之一，以 集合 (Set) 作为原始概念，研究对象的汇集及其相互关系。集合论构成了整个现代数学的逻辑基石——几乎所有数学对象（自然数、函数、关系、拓扑空间、概率空间、代数结构等）都可以在集合论的框架内严格定义。当代标准公理系统是 ZFC 公理系统 (Zermelo-Fraenkel Set Theory with the Axiom of Choice)。

基本概念与朴素集合论

集合被直观地定义为"由确定的对象所汇集而成的整体"，其中的对象称为 元素 (Element 或 Member)。若 $a$ 是集合 $A$ 的元素，记作 $a \in A$；否则记作 $a \notin A$。集合的表示方式有两种：枚举法，如 $A = \{1, 2, 3\}$；以及 描述法，如 $A = \{x \mid x \text{ 是正偶数}\}$。

朴素集合论由 Georg Cantor 于 19 世纪末创立，其核心运算法则包括：

• 子集 (Subset)：若 $A$ 的所有元素都是 $B$ 的元素，则 $A \subseteq B$。
• 并集 (Union)：$A \cup B = \{x \mid x \in A \text{ 或 } x \in B\}$。
• 交集 (Intersection)：$A \cap B = \{x \mid x \in A \text{ 且 } x \in B\}$。
• 差集 (Difference)：$A \setminus B = \{x \mid x \in A \text{ 且 } x \notin B\}$。
• 补集 (Complement)：在论域 $U$ 下，$A^c = \{x \in U \mid x \notin A\}$。
• 笛卡尔积 (Cartesian Product)：$A \times B = \{(a, b) \mid a \in A, b \in B\}$。
• 幂集 (Power Set)：$\mathcal{P}(A) = \{X \mid X \subseteq A\}$，其基数为 $2^{|A|}$。

这些运算满足 德摩根定律 (De Morgan's Laws)：$(A \cup B)^c = A^c \cap B^c$ 和 $(A \cap B)^c = A^c \cup B^c$，以及分配律、交换律、结合律等代数性质。

Cantor 最重要的贡献之一是证明了 对角线论证 (Diagonal Argument)：对于任意集合 $A$，其幂集的基数严格大于 $A$ 的基数。由此他推出了不同层级的无穷——可数无穷与不可数无穷的本质区别。他证明了实数集不可数，从而在可数无穷 $\aleph_0$ 之上确立了更大的无穷层次。

罗素悖论与公理化运动

朴素集合论允许"任意构造集合"，这导致了 罗素悖论 (Russell's Paradox, 1901)。定义集合 $R = \{x \mid x \notin x\}$，那么 $R \in R$ 当且仅当 $R \notin R$，产生自相矛盾。这一发现动摇了数学的基础，促使数学界寻求集合论的严格公理化。此后还出现了 布拉利-福尔蒂悖论 (Burali-Forti Paradox) 和 康托尔悖论 (Cantor's Paradox)，进一步表明朴素集合论在逻辑上的不一致性。

ZFC 公理系统 由 Ernst Zermelo (1908) 提出、Abraham Fraenkel (1922) 完善，是当前最广泛使用的公理系统，包含十条基本公理：

1. 外延公理 (Axiom of Extensionality)：两个集合相等当且仅当它们有完全相同的元素。
2. 空集公理 (Axiom of Empty Set)：存在一个不含任何元素的集合 $\varnothing$。
3. 无序对公理 (Axiom of Pairing)：对任意 $a, b$，存在集合 $\{a, b\}$。
4. 并集公理 (Axiom of Union)：对任意集合 $A$，存在其所有元素的并集。
5. 幂集公理 (Axiom of Power Set)：对任意集合 $A$，存在其幂集 $\mathcal{P}(A)$。
6. 无穷公理 (Axiom of Infinity)：存在一个归纳集，从而保证自然数集 $\mathbb{N}$ 的存在。
7. 分离公理模式 (Axiom Schema of Separation)：可从已有集合中分离出满足某性质的子集，避免了罗素悖论式的无限制构造。
8. 替换公理模式 (Axiom Schema of Replacement)：函数作用下的像仍是集合。
9. 正则公理 (Axiom of Regularity)：每个非空集合含有一个与其不相交的元素，禁止了集合的"自包含"和无穷降链。
10. 选择公理 (Axiom of Choice, AC)：对一族非空集合，存在选择函数从每个集合中取出一元素。

基数与序数理论

基数 (Cardinal Number) 用于度量集合的"大小"。两个集合等势——即存在一一对应——时具有相同的基数。有限集合的基数就是其元素个数；无限集合的基数则有多个层级。自然数集的基数为 $\aleph_0$（读作"阿列夫零"），整数集和有理数集也属于这一层级。实数集 $\mathbb{R}$ 的基数为 $\mathfrak{c} = 2^{\aleph_0}$，称为连续统的势。连续统假设 (Continuum Hypothesis, CH) 断言 $\aleph_1 = \mathfrak{c}$，即不存在基数严格介于 $\aleph_0$ 与 $\mathfrak{c}$ 之间的集合。Kurt Gödel (1940) 证明 CH 与 ZFC 相容，Paul Cohen (1963) 证明 CH 的否定与 ZFC 相容，两人共同确立了 CH 在 ZFC 中的独立性。

序数 (Ordinal Number) 由 Cantor 引入，用于描述良序集合的"次序类型"。自然数 $0, 1, 2, \ldots$ 是最小的序数，其后是 $\omega$（自然数的序型），再后有 $\omega + 1, \omega + 2, \ldots, \omega \cdot 2, \ldots, \omega^2, \ldots, \omega^\omega, \ldots, \varepsilon_0, \ldots$ 构成无穷延伸的序数层级。序数在 超限归纳法 (Transfinite Induction) 和 递归定义 (Recursive Definition) 中发挥着不可替代的作用。

在数学各分支中的应用

集合论的语言渗透到了数学的每一个角落：

• 数学分析：实数被构造为 Dedekind 分割 或 Cantor 基本列的等价类；实数系 $\mathbb{R}$ 的完备性依赖于集合论的构造。开集、闭集、紧致性、连通性等拓扑概念均以集合论定义为基础。
• 概率论：概率空间 定义为三元组 $(\Omega, \mathcal{F}, P)$，其中 $\mathcal{F}$ 是 $\Omega$ 上的 $\sigma$-代数（一种对可数并封闭的集合族），事件正是 $\mathcal{F}$ 中的元素。随机变量可视为 $\mathcal{F}$-可测函数。
• 代数学：群、环、域、模等代数结构定义在集合之上并附加运算与公理；同态与同构是集合间保持代数结构的映射；自由对象的存在性依赖于选择公理。
• 数理逻辑：模型论研究结构（即带关系的集合）与形式语言之间的满足关系；可计算性理论中的递归函数、图灵机形式化也建立在集合论基础上。Gödel 的不完备定理揭示了形式系统自身的局限。
• 测度论：Lebesgue 测度定义在 $\mathbb{R}^n$ 上的 $\sigma$-代数之上；不可测集的存在（如 Vitali 集）必须依赖选择公理。

选择公理的地位与争议

选择公理是 ZFC 中最具争议的公理。一方面，它保证了每个向量空间都有 Hamel 基（包括无穷维空间）、每个域都有代数闭包、拓扑学中的 Tychonoff 定理（任意紧致空间的乘积仍紧致）、实分析中 Hahn–Banach 定理等关键结果。另一方面，它推导出反直觉的 Banach–Tarski 悖论：一个球体可以被分割为有限块并经过刚体运动重新组合为两个与原球体完全相同的球体。这虽然在直觉上令人惊讶，但在数学上并不构成逻辑矛盾。选择公理已被证明在 ZF 系统中独立于其他公理。现代数学的通行做法是在定理陈述中显式说明是否使用了选择公理。

集合论作为数学基础的元理论，其语言和思想已深入到每一门数学学科。它既提供了严格的存有论基础，又通过 Gödel 和 Cohen 的独立性结果揭示了形式系统固有的局限——这本身也是数学自反性 (Self-Reference) 最深刻的表现。