查看“︁高中数学（重制版）/集合论”︁的源代码

集合是近代数学最基本的概念。本章首先介绍集合论的公理系统。不过这个系统近来已被证明是不完备的，所以对这里所采取的出发点做了必要的说明。其次介绍集合论本身的主要内容——序数与基数理论。
== 集合 ==
=== 集合的定义 ===
==== 朴素集合论 ====
一些事物的全体叫做一个'''集合'''，这些事物中的每一个，都称为这个集合的元素。如果某种事物只有一个，这个事物记作<math>a</math>，那么称这种事物的全体是集合<math>\{a\}</math>，<math>a</math>是<math>\{a\}</math>的唯一元素。如果某种事物不存在，就称这种事物的全体是'''空集'''。规定任何空集都是同一个集合，记作<math>\varnothing</math>。任何事物都不是<math>\varnothing</math>的元素。每一个集合都是一个事物。

假定<math>a</math>是集合<math>A</math>的元素，记作<math>a\in A</math>或<math>A\ni a</math>，“<math>\in</math>”读作“属于”，“<math>\ni</math>”读作“包含”。假定<math>a</math>不是<math>A</math>的元素，记作<math>a\notin A</math>或<math>A\not\ni a</math>，“<math>\notin</math>”读作“不属于”，“<math>\not\ni</math>”读作“不包含”。

<math>\{a\}</math>和<math>a</math>一般是不同的概念，比如<math>\{\varnothing\}</math>有一个唯一的元素<math>\varnothing</math>，但是<math>\varnothing</math>没有元素。<math>\in</math>和<math>\notin</math>在逻辑上是彼此相否定（非）的，换句话说，假定<math>a</math>是一个事物，<math>A</math>是一个集合，那么<math>a\in A</math>和<math>a\notin A</math>不能都成立，也不能都不成立。假定<math>A</math>和<math>B</math>都是集合，如果任何一个事物属于<math>A</math>也一定属于<math>B</math>，属于<math>B</math>也一定属于<math>A</math>，那么<math>A</math>和<math>B</math>是同一个集合，或称两个集合<math>A</math>和<math>B</math>'''相等'''，记作<math>A=B</math>。

假定有一些事物，全部写出来是<math>a,b,c,\cdots</math>，那么由定义，它们的全体是一个集合，这个集合可以记成<math>\{a,b,c,\cdots\}</math>。元素符号的次序和重复都无关实质，比如<math>\{a,b\}=\{b,a\}=\{a,b,a\}</math>。由定义，<math>\varnothing</math>是一个集合，而集合是一个事物，所以下列的事物都是集合：<math>\{\varnothing\}</math>，<math>\{\{\varnothing\},\varnothing\}</math>，<math>\{\{\{\{\varnothing \}\},\{\varnothing \}\},\{\varnothing \}\}</math>，又例如，零和正整数可以定义如下：<math>0=\varnothing</math>，<math>1=\{0\}=\{\varnothing \}</math>，<math>2=\{0,1\}=\{\varnothing,\{\varnothing \}\}</math>，<math>3=\{0,1,2\}=\{\varnothing,\{\varnothing \}, \{\varnothing,\{\varnothing \}\}\}</math>，<math>4=\{0,1,2,3\}</math>，<math>\cdots\cdots\cdots\cdots</math>。

族是集合的同义词。在某些情况，比如一个集合<math>a</math>的元素都是集合的时候，为了避免混淆，也把<math>a</math>叫做一个'''族'''或者一个'''集族'''。虽然在现代集合论模型中，任何一个集合的元素都是集合（因为不考虑非集合的“事物”），但是有时使用“族”这个称呼可以表达得更清楚。族有时也当量词用。例如把属于一个集族的全部集合说成“一族集”。

==== 罗素悖论 ====
上面已经用例子说明怎样用列举元素的办法来表示一个集合。但是当一个集合的全部元素无法列举的时候，这个集合应该怎样表示呢？在集合论发展的初期，流行的习惯是把一个集合说成是“所有满足某条件的事物的全体”。如果把“某个事物<math>x</math>满足某条件”这句话表示成一个逻辑公式<math>p(x)</math>，那么按照所说的这种习惯表示法，一个集合可以记成<math>\{x\mid p(x)\}</math>或<math>\{x:p(x)\}</math>（所有使<math>p(x)</math>成立的<math>x</math>的全体）。一般往往认为只要所说的条件是明确的，也就是对任何<math>x</math>，<math>p(x)</math>和<math>\lnot p(x)</math>（非<math>p(x)</math>，就是<math>p(x)</math>的否定）有一个且只有一个成立，那么这种表示法是没有问题的。可是实际上并不如此。下面举著名的罗素悖论当例子：

设<math>z=\{x\mid x\notin x\}</math>。如果<math>z</math>是集合，那么<math>z</math>也是事物，因此<math>z\in z</math>和<math>z\notin z</math>不能都成立。假定<math>z\in z</math>，那么<math>z</math>应该满足所说的条件<math>x\notin x</math>，因此<math>z\notin z</math>，自相矛盾。假定<math>z\notin z</math>，那么<math>z</math>已经满足所说的条件<math>x\notin x</math>，因此<math>z\in z</math>，又自相矛盾。这就叫'''罗素（Russell）悖论'''。

根据“<math>\in</math>和<math>\notin</math>在逻辑上是彼此相否定（非）的，换句话说，假定<math>a</math>是一个事物，<math>A</math>是一个集合，那么<math>a\in A</math>和<math>a\notin A</math>不能都成立，也不能都不成立。”，<math>a</math>不是集合。因此罗素悖论实际上是错误地假设“<math>a</math>是集合”引起的。除了这个形式逻辑上的理由外，由罗素悖论还可作更深入的解释，但是有个根本的问题不好解决，既然<math>a</math>不是集合，那么别的<math>a</math>可以算作集合吗？

为了回答这个问题，集合的概念必须进一步精密化，因此下面介绍公理系统。

==== ZFC公理系统与NBG公理系统 ====
目前集合论公理系统有两种形式，一种是'''策梅洛-弗兰克尔（Zermelo-Fraenkel）形式'''，简称'''ZFC'''；另一种是'''冯·诺伊曼-博内斯-哥德尔（von Neumann–Bernays–Gödel）形式'''，简称'''NBG'''。这里采用ZFC公理系统。

ZFC包括九个公理（有三个显然包含在前面集合的定义和定义的注释中），它们是

'''外延公理'''：假定<math>A</math>和<math>B</math>都是集合，如果任何一个事物属于<math>A</math>也一定属于<math>B</math>，属于<math>B</math>也一定属于<math>A</math>，那么<math>A</math>和<math>B</math>是同一个集合，或称两个集合<math>A</math>和<math>B</math>'''相等'''，记作<math>A=B</math>。

'''空集公理'''：存在一个不包含任何元素的集合。

'''配对公理'''：对任何事物<math>x</math>和<math>y</math>，存在一个集合<math>\{x,y\}</math>，<math>\{x,y\}</math>的仅有元素是<math>x</math>和<math>y</math>。

'''正则公理'''：任何一个不空的集合<math>A</math>一定包含一个元素<math>a</math>，<math>A</math>的任何一个元素都不是<math>a</math>的元素。

由正则公理可以知道，对任何集合<math>a</math>来说，<math>a</math>和<math>\{a\}</math>是不同的。这是因为如果<math>a=\{a\}</math>，那么<math>\{a\}</math>就不符合正则公理。

ZFC的其余五个公理是'''替代公理'''，'''幂集公理'''，'''并集公理'''，'''无穷公理'''，'''选择公理'''。它们分别在各有关节里详细说明。总的来说，这些公理用比较精密的形式规定了集合有哪些。但这个公理系统不能证明自己不矛盾，同时它也没有把集合论所必需的所有集合都规定在内。因此这个系统未能成功地取代朴素集合论。后面将采用如下的出发点：假设这五个公理所规定的集合是符合前面朴素集合论和定义的注释的。除了元素可以全部列举的集合以外，只考虑上述公理所规定的集合。

=== 映射、集合的一般表示法、指标集 ===
假定<math>x</math>和<math>y</math>都是事物，那么<math>\langle x,y\rangle=\{\{x,1\},\{y,2\}\}</math>称为由<math>x</math>和<math>y</math>结成的'''有序对'''，<math>x</math>和<math>y</math>分别称为<math>\langle x,y\rangle</math>的'''左投影'''和'''右投影'''。有序对是针对无序对说的。可以看到<math>\langle x',y' \rangle=\langle x,y\rangle</math>的充分必要条件是：<math>x'=x</math>且<math>y'=y</math>，而无序对跟元素先后次序无关。

'''替代公理'''：假定<math>X</math>是一个集合，如果对每个<math>x\in X</math>作为左投影，都有一个且只有一个<math>y</math>与<math>x</math>结成有序对<math>\langle x,y\rangle</math>，那么所有这种有序对的右投影<math>y</math>的全体是一个集合<math>Y</math>。把每个<math>\langle x,y\rangle</math>看作有序对<math>\langle x,\langle x,y\rangle \rangle</math>的右投影，再一次应用替代公理，就可以看到所有这种有序对<math>\langle x,y\rangle</math>的全体也是一个集合。

假定<math>X</math>是一个集合，如果对每个<math>x\in X</math>作为左投影，都有一个且只有一个<math>y</math>与<math>x</math>结成有序对<math>\langle x,y \rangle</math>，其右投影<math>y</math>的全体记作<math>Y</math>（是一个集合），那么所有这种有序对<math>\langle x,y \rangle</math>的全体是一个集合<math>f</math>，这时称<math>f</math>为把<math>X</math>映上<math>Y</math>的'''映射'''，或<math>f</math>为从<math>X</math>到<math>Y</math>的'''满射'''，<math>X</math>称为在映射<math>f</math>下<math>Y</math>的的'''原象'''，<math>Y</math>称为在映射<math>f</math>下<math>X</math>的'''象'''，记作<math>Y=F(X)</math>。一般，假定<math>\langle x,y \rangle \in f</math>，那么记作<math>y=f(x)</math>，<math>x</math>称为在映射<math>f</math>下<math>y</math>的'''原象'''，<math>y</math>称为在映射<math>f</math>下<math>x</math>的'''象'''。

由定义，一个映射的每个原象都只有一个象（单值性），但是一个象不一定只有一个原象。如果特别每个象也都只有一个原象，那么称<math>f</math>是'''单射'''，如果特别<math>f</math>是满射，那么称<math>f</math>是'''双射'''。在双射<math>f</math>下，可以得到一个从<math>Y</math>到<math>X</math>的映射<math>f^{-1}</math>，<math>f^{-1}</math>称为<math>f</math>的'''逆映射'''。如果<math>f(x)=y</math>，那么<math>f^{-1}(y)=x</math>。

假定有一个从集合<math>H</math>到<math>X</math>的双射，那么<math>X</math>是一个集合，如果把每个原象<math>h</math>（<math>\in H</math>）的象记作<math>x_h</math>（<math>\in X</math>），把<math>X</math>记作<math>X=\{x_h\mid h\in H\}</math>，那么<math>H</math>称为<math>X</math>的'''指标集'''，每个<math>h</math>称为<math>x_h</math>的'''指标'''。反过来，一个集合总有指标集。因为至少它自己就可以看作自己的指标集。因此这种表示法是普遍使用的。以后应用这种记号的时候不一定再说明<math>H</math>是指标集，只要规定这种记号里写在<math>H</math>位置上的必定是指标集。

=== 公理系统规定的集合 ===
规定<math>A</math>和<math>B</math>都是集合，<math>B</math>的每个元素都是<math>A</math>的元素，那么称<math>B</math>为<math>A</math>的一个'''子集'''，记作<math>B\subseteq A</math>或<math>A\supseteq B</math>。“<math>\subseteq</math>”读作“包含于”，“<math>\supseteq</math>”读作“包含”。对于任何集合<math>A</math>，<math>B</math>和<math>C</math>有<math>A\subseteq A</math>（自反性），<math>A\subseteq B,B\subseteq A \Rightarrow A=B</math>（反对称性），<math>A\subseteq B,B\subseteq C \Rightarrow A\subseteq C</math>（传递性），假定<math>B\subseteq A</math>但是<math>B\ne A</math>，那么称<math>B</math>为<math>A</math>的一个'''真子集'''，记作<math>B\subset A</math>。规定空集<math>\varnothing</math>是任何集合的子集。

假定一个映射<math>a</math>把一个集合<math>a</math>映上集合<math>a</math>的一个子集，那么称<math>a</math>为把<math>a</math>映入<math>a</math>的'''映射'''。满射是映射的特殊情况。

'''分类公理'''：假定有一个映射<math>f</math>把一个集合<math>X</math>映入<math>\{0,1\}</math>，那么<math>1</math>的所有原象的全体是<math>X</math>的一个子集<math>X'</math>，<math>f</math>称为<math>X'</math>的'''特征函数'''。分类公理是替代公理的结论，因为如果<math>1</math>的原象全体是<math>\varnothing</math>，那么<math>\varnothing</math>当然是<math>X</math>的子集，否则<math>1</math>至少有一个原象<math>x_0\in X</math>，构造一个映射<math>g(x)=\left\{\begin{matrix}
x_0&,&f(x)=0 \\
x&,&f(x)=1
\end{matrix}\right.</math>，那么<math>g(X)=X'</math>，所以<math>X'</math>是集合。'''推论'''：假定<math>X</math>是集合，对每个<math>x\in X</math>，命题<math>p(x)</math>和<math>\lnot p(x)</math>一定有且只有一个成立，那么<math>\{x\mid x\in X\land p(x) \}</math>是一个集合。

假定<math>A</math>和<math>B</math>都是集合，那么所有属于<math>A</math>但不属于<math>B</math>的元素的全体是一个集合（由分类公理的推论），称为<math>A</math>和<math>B</math>的'''差集'''，记作<math>A\setminus B</math>。特别，当<math>B\subseteq A</math>时，<math>A\setminus B</math>称为<math>B</math>在<math>A</math>中的'''补集'''。

'''幂集公理'''：一个集合<math>A</math>的所有子集的全体是一个集合，记作<math>^A2</math>，称为'''<math>A</math>幂集'''。可以把<math>^A2</math>双射到“所有把<math>A</math>映入<math>2=\{0,1\}</math>的映射的全体”。所以后者也是一个集合，这个集合和<math>A</math>幂集可以互相作为彼此的指标集。今后，往往把它们看作同一个集合，也就是把<math>A</math>的一个子集跟它的一个特征函数混同起来。

'''并集公理'''：假定<math>\{A_h\mid h\in H\}</math>是一个集族，那么<math>\{x\mid \exists A_h \ni x\}</math>是一个集合，它称为这族集合的'''并集'''，记作<math>\bigcup_{h \in H}A_h</math>。当一个集族的全部集合是<math>A,B,C,\cdots</math>时，这族集合的并集可写成<math>A\cup B\cup C\cup\cdots</math>。'''例'''：<math>\{1,2,3\} \cup \{0,2,4\} \cup \{2,1\}=\{0,1,2,3,4\}</math>。

假定<math>\{A_h\mid h\in H\}</math>是一个集族，那么<math>\{x\mid \forall A_h \ni x\}</math>是一个集合，它称为这族集合的'''交集'''，记作<math>\bigcap_{h\in H}A_h</math>。交集存在是分类公理的结论。当一个集族的全部集合是<math>A,B,C,\cdots</math>时，这族集合的交集可写成<math>A\cap B\cap C\cap\cdots</math>。'''例'''：<math>\{1,2,3\}\cap\{0,2,4\} \cap \{2,1\}=\{2\}</math>。

假定<math>A=\{x_h\mid h\in H\}</math>，<math>B=\{y_k\mid k\in K\}</math>，那么<math>\{\langle x_h,y_k \rangle \mid x_h\in A \land y_k\in B\}</math>是一个集合，它称为<math>A</math>和<math>B</math>的'''笛卡尔（Cartesius）积'''，记作<math>A\times B</math>。笛卡尔积存在是替代公理与并集公理的结论。因为对任何<math>h\in H</math>与<math>k\in K</math>，<math>\{\langle x_h,y_k \rangle\}</math>是一个集合，由替代公理，<math>\{\{\langle x_h,y_k \rangle \} \mid h\in H\}</math>是一个集族，因此存在并集<math>C_k=\bigcup_{h\in H}\{\langle x_h,y_k \rangle \}</math>。<math>\{C_k\mid k\in K\}</math>又是一个集族，所以又存在并集<math>\bigcup_{k\in K}C_k</math>，这就是<math>A\times B</math>。假定<math>\{A_h\mid h\in H\}</math>是一个集族，其中每个<math>A_h \ne \varnothing</math>，那么由选择公理，对每个<math>h\in H</math>可以得到一个<math>x_h\in A_h</math>，并且由替代公理得到一个集合<math>\langle x_h \mid h\in H \rangle = \{\{x_h,h\}\mid h\in H \}</math>，称为由一个选择变换的到的有序组。把每个<math>x_h\in A_h</math>换为一个<math>x_h'\in A_h</math>，那么由替代公理得到另一个集合<math>\langle x_h' \mid h\in H \rangle = \{\{x_h',h\}\mid h\in H \}</math>，这同样可以看作由一个选择变换得到的有序组。所有这种有序组的全体是一个集合，它称为一族集合<math>A_h</math>（<math>h\in H</math>）的笛卡尔积，记作<math>\prod_{h\in H}A_h</math>。<math>H=2</math>时，<math>\prod_{h\in H}A_h</math>就是<math>A\times B</math>。