习题 1 — 罗素悖论

题目

证明”所有集合的集合”是一个矛盾的概念.

解答

假设存在一个以所有集合为元素的集合 $K$. 考虑性质

$$P(M) \;:\Longleftrightarrow\; M \notin M,$$

即 $M$ 不以自身为元素. 由分离公理,

$$S := \{\, M \in K \mid P(M) \,\} = \{\, M \in K \mid M \notin M \,\}$$

是一个集合.

若 $P(S)$ 成立, 则 $S \notin S$, 从而 $S$ 满足 $S$ 的定义条件, 故 $S \in S$, 矛盾.

若 $\neg P(S)$ 成立, 则 $S \in S$, 从而 $S$ 不满足 $S$ 的定义条件, 故 $S \notin S$, 矛盾.

排中律下 $P(S) \lor \neg P(S)$ 恒真, 而两者均推出矛盾. 因此原假设不成立---不存在所有集合的集合. $\square$

评注

这就是 罗素悖论 (Russell’s paradox, 1901), 它直接摧毁了康托尔 (Cantor) 的朴素集合论. 在康托尔最初的构想中, 任何性质都可以定义一个集合---即无限制概括原理 (unrestricted comprehension). 罗素证明了这将导致矛盾.

这一危机催生了公理化集合论, 其核心思想是严格限制哪些对象可以成为集合:

• 策梅洛-弗兰克尔 (ZF) 及 ZFC (ZF + 选择公理) 用分离公理取缔无限制概括: 给定集合 $A$ 和性质 $P$, $\{x \in A : P(x)\}$ 是集合. 关键限制在于, $\{x : P(x)\}$ 不能凭空构造---必须有一个预先存在的容器集. “所有集合的集合”因此根本不存在.
• 冯·诺依曼-博内斯-哥德尔 (NBG) 区分集合与类. 每个集合都是类, 但某些类 (如所有集合构成的类) “太大”而不能成为集合. 罗素类 $S$ 是真类而非集合, 悖论得以避免.
• 奎因 (Quine) 的新基础 (NF) 使用分层概括原理, 允许所有集合的集合存在而不产生矛盾.

选择公理与巴拿赫-塔斯基悖论

ZFC 是当今的主流基础, 但其包含的选择公理 (Axiom of Choice, AC) 一直不乏争议. 一个惊人的推论是巴拿赫-塔斯基悖论 (Banach-Tarski paradox, 1924): $\R^3$ 中的一个实心球可以分解为有限多个子集, 这些子集仅通过旋转和平移就能拼接成两个与原球完全相同的实心球.

证明概要. 自由群 $F_2$ (两个生成元) 具有一个悖论分解: $F_2 = A_1 \cup A_2 \cup A_3 \cup B_1 \cup B_2$ (两两不交), 且存在 $a, b$ 使得 $F_2 = aA_1 \cup A_2 \cup A_3 = bB_1 \cup B_2$. 其次, $\mathrm{SO}(3)$ 包含一个同构于 $F_2$ 的自由子群 (取两个独立的旋转). $G$ 作用于球面 $S^2$, 将其划分为不可数个轨道. 利用 AC 从每个轨道中选出一个代表点构成集合 $M$, 再将 $F_2$ 的悖论分解提升为球面的悖论分解 (除去可数个旋转不动点). 通过径向缩放扩展到实心球.

这不是逻辑悖论---它是 ZFC 的严格定理. 它揭示的深层事实是: AC 蕴含不可测集的存在, 分解中的”碎块”在勒贝格测度意义下没有体积. 现实中无法复制金球, 因为物理物质是有限可测的; 巴拿赫-塔斯基构造需要无限复杂的不可测集, 没有物理对应物.