集合

集合（set）是由确定的元素组成、以元素归属关系来区分的数学对象。若两个集合具有完全相同的元素，它们就是同一个集合。集合不记录元素的排列顺序，也不记录重复出现的次数。本文采用初等数学中的集合语言，介绍成员关系、包含关系、集合运算、笛卡尔积与大小比较，并说明为什么“任何可描述的对象全体都是集合”不是安全的构造原则。

从解方程到确定讨论范围

方程 $x^{2} = 1$ 在实数中的解可以写成集合 ${- 1, 1}$ 。写出解集，就把“一个数是否满足条件”转化成“它是否属于这个集合”。若把讨论范围改成非负实数，解集只剩 ${1}$ 。所以对象范围不是可省略的背景；同一句条件在不同范围内会划出不同集合。

记 $x \in A$ 表示对象 $x$ 是集合 $A$ 的元素， $x \notin A$ 表示不是。集合可以列举，如 ${2, 3, 5}$ ；也可以用条件描述，如 ${n \in ℤ : n > 0, n < 4}$ 。冒号后的条件在前面指定的范围内筛选对象。后一集合与 ${1, 2, 3}$ 相同，因为两种描述选出了完全一样的元素。

“确定”指成员资格由清楚的数学条件规定，不是要求现在就能快速列出所有元素。有些集合无限，有些成员问题的计算十分困难，仍不妨碍定义本身明确。相反，“很大的数的全体”如果没有约定“很大”的界限，便不足以确定一个集合。表达习惯中的模糊分类与精确集合应当区分。

集合中顺序和重复不影响结果： ${1, 2, 2} = {2, 1}$ 。如果要记录先后次序，应使用有序对或序列；如果要记录出现次数，可以使用多重集。把数据列表直接看成集合会丢掉重复信息，例如一组观测值的平均数不能只从去重后的集合恢复。这是选择数学对象时必须考虑的信息损失。

元素、子集与空集不在同一层次

若集合 $A$ 的每个元素都属于集合 $B$ ，记 $A \subseteq B$ ，称 $A$ 是 $B$ 的子集。成员关系问“这个对象在不在里面”，包含关系问“这个集合中的所有元素是否都在另一个集合里”。集合本身也能作为元素，因而仅凭符号外观很容易把两层关系混淆。

取 $A = {1, {2}}$ 。它的两个元素是数字一和集合 ${2}$ ，所以 $1 \in A$ 、 ${2} \in A$ ，但 $2 \notin A$ 。同时 ${1} \subseteq A$ ，而 ${2} \subseteq̸ A$ 。后一判断检查的是数字二是否在原集合中，而不是集合 ${2}$ 是否作为整体出现。逐层辨认对象比记忆“左边能不能有花括号”可靠。

没有元素的集合称为空集，记 $\emptyset$ 。它不同于 ${\emptyset}$ ，后者含有一个元素，这个元素恰好是空集。空集是每个集合的子集，因为不存在一个属于空集却不属于目标集合的反例；但空集不一定是每个集合的元素。这里使用的是“所有元素满足条件”的逻辑，而不是把空集看成到处存在的一颗特殊点。

要证明 $A = B$ ，常用双向包含：先证明任意属于 $A$ 的元素也属于 $B$ ，再证明反向。只检查几个共同元素不够，因为仍可能漏掉别的元素；只证单向包含也不够，因为较大的集合可能多出元素。对于有限集合，还可结合包含关系与元素个数相同证明相等，但无限集合不能简单沿用“真子集一定更小”的直觉。

本文用 $\subseteq$ 允许两集合相等，用 $⊊$ 表示真包含。符号 $\subset$ 在不同教材中可能表示不同约定，阅读时应先确认。数学符号不是脱离上下文的自然语言，明确约定可以减少不必要的歧义。

把“并且、或者、不”变成集合运算

并集 $A \cup B$ 包含至少属于两者之一的元素，这里的“或”包括同时属于两者；交集 $A \cap B$ 包含同时属于两者的元素；差集 $A ∖ B$ 包含属于 $A$ 而不属于 $B$ 的元素。若预先指定全集 $U$ ，补集 $A^{c}$ 表示 $U ∖ A$ 。没有说明全集时，“所有不在某集合中的对象”往往并不明确。

例如取 $U = {1, 2, 3, 4, 5, 6}$ ， $A = {2, 4, 6}$ ， $B = {1, 2, 3}$ 。逐项检查得到 $A \cup B = {1, 2, 3, 4, 6}, A \cap B = {2},$ $A ∖ B = {4, 6}, B ∖ A = {1, 3}, A^{c} = {1, 3, 5} .$ 差集一般不交换；补集则依赖全集。如果把全集扩成一到十的整数，原来的偶数集合仍只有二、四、六，补集中还要加入七、八、九、十。这并不是运算矛盾，而是背景改变了。

另一个完整例子使用区间。令 $A = [- 1, 2)$ 、 $B = (0, 3]$ ，全集为实数。交集要求同时大于零且小于二，所以是 $(0, 2)$ ；并集覆盖从负一到三的全部点，两个最外端都被某个集合包含，所以是 $[- 1, 3]$ 。差集 $A ∖ B = [- 1, 0]$ ，因为零不属于第二个区间；而 $B ∖ A = [2, 3]$ ，因为二不属于第一个区间。端点的开闭不能靠图形的大致形状猜测。

有限集合的计数遵循 $| A \cup B | = | A | + | B | - | A \cap B | .$ 把两集合大小直接相加，会把共同元素数两遍，因此减去一次交集大小。上面的有限例子得到 $3 + 3 - 1 = 5$ ，与列举结果相符。这个简单论证是组合数学中容斥思想的起点，也说明计数公式应当有“每个对象被算了几次”的解释。

用逐元素证明代替只看示意图

集合恒等式可以转换成逻辑命题。德摩根律之一为 $(A \cup B)^{c} = A^{c} \cap B^{c}$ 。任取全集中的元素，它不在并集内，等价于既不在第一个集合也不在第二个集合，恰好等价于属于两个补集的交。对每个元素都成立，便由集合相等的判据得到恒等式。这是一份完整证明，不依赖集合有限或能画成圆圈。

另一条德摩根律把“交的补”写成“补的并”。它说一个对象没有同时满足两个条件，至少有一个条件失败；不能误写成两个条件都失败。这个区别在概率事件、数据库筛选与逻辑否定中反复出现。集合符号把条件组合具体化，逻辑则解释其推理形式。

分配律同样可以逐元素证明。例如一个元素属于 $A \cap (B \cup C)$ ，就是先满足属于 $A$ ，并且在 $B, C$ 中至少满足一项；把两种情况分开，正好得到 $(A \cap B) \cup (A \cap C)$ 。示意图有助于形成直觉，却可能隐藏空区域、包含关系或无限情形；逐元素证明补上了普遍性。

反例也可以用同样方法构造。若有人声称 $A ∖ (B \cup C) = (A ∖ B) \cup (A ∖ C)$ ，取一个同时属于 $A, B$ 但不属于 $C$ 的元素，它不在左侧，却在右侧第二项中。找到一个反例就能推翻全称恒等式，无需检查所有可能集合。

有序对、幂集与新的对象层次

笛卡尔积 $A \times B$ 是所有有序对 $(a, b)$ 的集合，其中第一项来自 $A$ ，第二项来自 $B$ 。顺序属于对象定义的一部分， $(1, 2)$ 与 $(2, 1)$ 不同。有限集合的积有 $| A | | B |$ 个元素，因为每个第一项都可与全部第二项配对。若其中一个集合为空，积也为空。

取 $A = {0, 1}$ 、 $B = {a, b, c}$ ，积有六个元素，而不是把两集合元素混在一起的五元素并集。关系可以看成笛卡尔积的子集，函数则是其中满足“每个输入恰有一个输出”的特殊关系。这个构造将函数、图、坐标空间等概念接入统一的集合语言。

集合 $A$ 的所有子集组成幂集，记 $𝒫 (A)$ 。若 $A = {u, v}$ ，幂集为 ${\emptyset, {u}, {v}, {u, v}}$ 。幂集元素是子集，而不是原来两个对象。有限集合若有 $n$ 个元素，其每个元素都可选择“加入”或“不加入”某个子集，所以子集共有 $2^{n}$ 个。

这个计数还解释了特征函数：给每个原集合元素标零或一，就编码了一个子集。两种描述信息完全相同，但适合的运算不同。集合语言强调属于哪些对象，零一函数语言则方便逐点计算。以后在概率中，事件的指示函数就是这一想法的数值形式。

关系如何把集合分块

在一个集合内，“具有相同余数”“同一天出生”“是同一向量的不同坐标表示”等分类，都需要说明怎样判断等价。若关系具有自反性、对称性和传递性，便称为等价关系。自反性使每个元素属于自己的类别；对称性排除单向归属；传递性保证经由共同对象连接的两类不能互相冲突。

以整数除以三的余数为例，所有整数分成三类，每类分别包含余零、余一、余二的数。每个整数恰落入其中一类，任意两类不相交，而三类合起来覆盖全部整数。这样的非空子集族称为原集合的一个划分。类别数只有三个，并不表示每类元素有限；这里每个类别都无限。

一般地，等价关系的等价类构成一个划分。若两个类别有共同元素，使用对称性和传递性便可把一类中任何元素连到另一类的代表，于是两类相同。反过来，任何划分都能定义一个等价关系：两个元素属于同一块时才等价。这给出“关系规则”与“分块结果”之间的对应，而不只是给分类另起一个名字。

不是任何相似性都能当作等价关系。例如规定两个实数相差不到一就算相似，零与零点六相似，零点六与一点二相似，但零与一点二不相似，传递性失败。因此凭局部相似直接分成互不重叠的类别，可能遇到边界冲突。集合论要求写清规则，正是为了把这种隐含问题暴露出来。同余提供了一个完整满足三条条件的分类模型。

无限集合为什么需要另一种大小比较

两个集合若存在双射，就称等势，即能一一配对。对有限集合，这与元素个数相等一致；对无限集合则提供了不依赖“数完”为止的比较方式。非负整数与非负偶数可以按 $n \mapsto 2 n$ 一一配对，尽管偶数是真子集。因此“真子集必然更少”只适用于有限集合。

但这并不意味着所有无限集合一样大。康托尔定理说，任何集合到它的幂集都不存在满射。证明可以直接给出：假设 $f : A \to 𝒫 (A)$ 能列出所有子集，构造 $D = {x \in A : x \notin f (x)}$ 。若 $D = f (d)$ ，则 $d \in D$ 等价于 $d \notin D$ ，产生矛盾。所以总有一个子集不在列表中。

另一方面，把每个元素送到只含它自身的单元素集，就得到原集合到其幂集的单射：不同元素产生不同单元素集。结合不存在满射的结论，才完整表达幂集严格更大的含义；不能只凭子集数量的有限直觉，跳过无限情形所需的比较规则。

这个论证不要求原集合可数，也不依赖十进制展开的细节。它的构造方式是对每个候选集合，在与其索引对应的位置做出相反选择，从而保证新集合不等于任何一个候选。有限情况下，定理与 $2^{n} > n$ 一致；无限情况下，它说明大小还有严格不同的层次。此处只介绍结论与证明，不把无限基数的进一步运算混同于普通整数运算。

集合构造的边界与历史

朴素地允许“任何条件描述出的对象全体”形成集合，会出现罗素型矛盾。假定所有不属于自身的集合可以组成集合 $R$ ，再问 $R$ 是否属于自身，两种答案都会与定义冲突。问题不在于普通有限集合运算失效，而在于允许无限制地搜集所有集合的构造原则过强。

现代公理化集合论限定哪些构造保证得到集合。例如分离思想允许从一个已经给定的集合中，筛选满足条件的元素，而不是自动承认一个包罗所有集合的全集。初等数学通常在清楚指定的数字、函数或几何对象范围内操作，因此不必每次展开公理体系，但仍应避免宣称存在“所有集合组成的集合”。

Cantor 在 1874 年的论文中研究代数实数与实数的大小差异，是现代集合论形成的重要节点；其工作把无限大小作为可精确比较的数学问题。Zermelo 在 1908 年提出集合论公理系统，为允许的集合构造提供规则。这是从研究无限到处理基础问题的两种不同贡献，不能写成同一次发现。MacTutor：A history of set theory、Stanford Encyclopedia：Zermelo’s Axiomatization of Set Theory分别讨论了这些发展。

English overview

A set is determined by its elements. Order and repeated occurrences do not matter, so a set is different from a sequence or a multiset. Membership asks whether one object belongs to a set, whereas inclusion asks whether every element of one set belongs to another. These distinctions remain important when sets themselves are elements.

Union, intersection, difference, and complement translate combinations of conditions into operations on sets. Complements require a specified universe. Worked examples with finite sets and real intervals show how membership and endpoint conditions determine the result. Elementwise arguments prove identities such as De Morgan's laws without relying on a particular diagram.

Cartesian products collect ordered pairs, and power sets collect subsets. These constructions provide the language for relations, functions, and counting. Bijections compare the sizes of sets, including infinite ones. An infinite set can be equinumerous with a proper subset, but Cantor's theorem shows that its power set is always strictly larger. Unrestricted collection principles lead to paradoxes, which motivates the controlled constructions of axiomatic set theory.

编者评注（AI 辅助）

本条的重点不是罗列符号，而是区分元素、子集和由子集组成的新集合。有限列举与区间端点两套例子分别检查离散对象和连续范围，逐元素证明再说明结论为何不依赖图形。无限部分保留完整的幂集证明，但不展开基数理论的全部技术。文字由 AI 辅助整理；编者把构造边界放在最后，是为了使初等运算可直接使用，同时不把朴素直觉误写成无限制的公理。

参考资料与后续阅读

Jiří Lebl，Basic Analysis，Basic set theory：集合、函数与大小比较的开放教材。
J. J. O’Connor、E. F. Robertson，A history of set theory：Cantor 的研究与历史脉络。
Stanford Encyclopedia of Philosophy，Zermelo’s Axiomatization of Set Theory：1908 年公理化工作的背景与内容。
后续可读函数、逻辑、组合数学、概率和拓扑空间。