空集

空集 (Empty Set)

空集是集合论中最基本的概念之一，指不包含任何元素的集合。尽管看似平凡——一个"什么都没有"的集合——但在数学大厦的构建中，空集扮演着不可替代的角色：它是从无到有的起点，是众多构造的根基，也是检验命题边界条件的试金石。空集通常记作 $\varnothing$ 或 $\{\}$。

定义与唯一性

定义（空集）：空集是满足 $\forall x (x \notin \varnothing)$ 的唯一集合，即对任意对象 $x$，$x$ 均不属于 $\varnothing$。

在ZFC公理系统中，空集的存在性由空集公理（Axiom of Empty Set）直接保证：

该公理断言存在一个集合不包含任何元素。在此基础上，结合外延公理（Axiom of Extensionality）——两个集合相等当且仅当它们包含完全相同的元素——可以证明空集的唯一性：若 $A$ 和 $B$ 均为空集，则对任意 $x$，$x \notin A$ 且 $x \notin B$，故 $A$ 和 $B$ 拥有完全相同的元素（即都没有），由外延公理得 $A = B$。因此，空集是唯一的。

基本性质

空集拥有一系列优雅且实用的性质，这些性质往往是逻辑推理的基础工具：

• 空集是任意集合的子集：对任意集合 $A$，有 $\varnothing \subseteq A$。这一结论基于子集定义的空真（vacuous truth）逻辑：命题"若 $x \in \varnothing$，则 $x \in A$"的前件恒假，因此该蕴含式恒真。
• 基数为零：$|\varnothing| = 0$。空集的基数为 0，是唯一的基数为 0 的集合。在冯·诺依曼序数构造中，$0 := \varnothing$，即自然数 0 被定义为空集本身。
• 空集的幂集：$\mathcal{P}(\varnothing) = \{\varnothing\}$。空集只有一个子集——空集自身，因此其幂集包含恰好一个元素。注意 $|\mathcal{P}(\varnothing)| = 1$，而 $\mathcal{P}(\{\varnothing\}) = \{\varnothing, \{\varnothing\}\}$ 已有两个元素，这揭示了集合论的层级结构。
• 空集与任意集合的笛卡尔积为空集：对任意集合 $A$，$A \times \varnothing = \varnothing \times A = \varnothing$，因为没有有序对能满足其中一个坐标属于空集。
• 空函数：存在唯一的函数 $f: \varnothing \to A$，称为空函数，其定义域为空集，图像为空关系。同理，$f: A \to \varnothing$ 仅在 $A = \varnothing$ 时存在。

集合运算中的空集

空集在各种集合运算中充当单位元或零元的角色：

这些运算规律在布尔代数中对应恒等律和支配律，空集对应布尔代数的最小元 0。

空真与逻辑基础

空集性质的核心依赖于空真（vacuous truth）这一逻辑原则：形如"对任意 $x \in \varnothing$，性质 $P(x)$ 成立"的命题恒为真。因为不存在反例可以证伪它——根本就没有 $x$ 属于 $\varnothing$。

空真在数学中远不止是一个逻辑技巧，它确保了诸多基础定义的连贯性。例如，空集是有序集且是良序集（因为没有元素需要被比较或违反良序条件）；空拓扑空间和空间是合法拓扑空间（空集既开又闭，且紧致）；空间的维数有时被定义为 -1 或 $-\infty$ 以保持公式的一致性。

自然数的集合论构造

空集是冯·诺依曼构造自然数的起点，这是现代数学最具美学魅力的构造之一：

一般地，$n+1 := n \cup \{n\}$。从空集的纯粹虚无出发，通过反复运用幂集、并集等操作，可以构造出整个自然数、整数、有理数、实数乃至所有数学对象。这一事实具有深刻的本体论含义：整个经典数学可以建立在"存在一个没有任何元素的集合"这一极简承诺之上。

在各数学分支中的角色

• 拓扑学：空集和全集是任意拓扑空间必须包含的两个开集（也是闭集）。在拓扑公理中，空集被明确要求属于拓扑 $\tau$。它是唯一同时为开集和闭集、连通且完全不连通、紧致且离散的集合。
• 测度论：任何测度均满足 $\mu(\varnothing) = 0$ 作为测度公理之一。测度空间 $(\Omega, \mathcal{F}, \mu)$ 中，空集的测度为零保证了可加性推理的基底。
• 范畴论：在集合范畴 $\mathbf{Set}$ 中，空集是始对象（initial object）：对任意集合 $A$，存在唯一函数 $\varnothing \to A$。但空集不是终对象（除非退化为单点范畴），这与单点集 $\{*\}$ 形成范畴论的基本对偶。
• 群论：平凡群是仅含单位元的群，虽不是空集，但空集在群论中以"空积"（empty product）的形式出现——空积约定为 1，正如空和约定为 0，这一约定保证了递归定义的一致。
• 线性代数：零向量空间 $\{\mathbf{0}\}$ 的基是空集。按约定，空集的线性张成是零空间，且空集线性无关。这使得 $\dim(\{\mathbf{0}\}) = 0$。

常见误区

学习空集时有几个典型陷阱值得警惕：

1. $\varnothing$ 与 $\{\varnothing\}$ 不同：前者是没有元素的集合，后者是包含一个元素（该元素恰好是空集）的集合。$|\varnothing| = 0$，但 $|\{\varnothing\}| = 1$。
2. $\varnothing$ 与 $\{0\}$ 不同：后者包含数字 0 这一个元素，非空。
3. 空集与零的区分：在测度语境中，零测集不一定是空集，许多非空集合（如有理数集在勒贝格测度下）测度为零。空集是零测集的真子类。
4. 空集是任何集合的子集，但不一定是元素：$\varnothing \subseteq A$ 对所有 $A$ 成立，但 $\varnothing \in A$ 并非总是成立，仅当 $A$ 显式包含空集时才成立。

历史与哲学注记

空集概念的明确接受经历了漫长的历史过程。古希腊数学不承认空集或零作为合法的数学对象，亚里士多德的名言"自然憎恶真空"在某种程度上也适用于古代数学思想。甚至到了 19 世纪，理查德·戴德金和格奥尔格·康托尔在创立集合论初期对空集的使用也相当谨慎。

空集在数学哲学中引发了独特的本体论讨论：一个"什么都没有"的集合究竟是否存在？它是被发现的还是被发明的？数学柏拉图主义认为空集同其他数学对象一样客观存在；而数学虚构主义将空集视为有用的语言约定。无论如何，空集在现代数学实践中已是不可或缺的推理工具——它是"从无到有"的最终范例，自空集而出，经由迭代构造，诞生了整个数学宇宙。