Zermelo-Fraenkel体系(2)——正规公理

1. 前言

本文的预备文章为

• 一般拓扑/数学基础——数理逻辑
• 一般拓扑/Zermelo-Fraenkel体系(1)

在介绍了ZF体系的前八条公理之后，我们介绍ZF体系的最后一条公理——Foundation axiom

Foundation axiom. $\forall x\exists y(y\in x\wedge y\cap x=\varnothing )$.

这条公理是ZF体系中看起来最不自然的公理，读者之后会看到，这条公理事实上划定了集合的范围，完全地刻画了集合应该长什么样。

2. 偏序关系

定义1(二元关系). 设$X$是一个集合，$\mathcal{R}$是$X\times X$的子集，则称$\mathcal{R}$是$X$的一个二元关系。$\mathcal{R}$中的元素$(a,b)$通常被记为$a\mathcal{R}b$。

在二元关系$(X,\mathcal{R})$里通常有四个可以额外添加的性质：

• 自反性。即对任何$x\in X$，有$(x,x)\in \mathcal{R}$，或写成$x\mathcal{R}x$。换句话说，对角（diagnol） Δ X = { ( a , a ) : a ∈ X } ⊂ R \Delta_X=\{(a,a):a\in X\}\subset \mathcal{R} ΔX​={ (a,a):a∈X}⊂R。
• 传递性。即如果$x\mathcal{R}y$且$y\mathcal{R}z$，则$x\mathcal{R}z$。
• 对称性。即如果$x\mathcal{R}y$，则$y\mathcal{R}x$。
• 反对称性。即如果$x\mathcal{R}y$且$y\mathcal{R}x$，则$x=y$。

定义2(偏序关系). 设$X$是一个集合，$\mathcal{R}$是$X$上的二元关系。如果$\mathcal{R}$满足自反性，传递性和反对称性，则称$\mathcal{R}$是$X$上的偏序关系，记为$\le$。

定义3(全序关系). 设$X$是一个集合，$\le$是$X$上的一个偏序关系，如果任何$x,y\in X$，都有$x\le y$或$y\le x$，则称$\le$是一个全序关系。

定义4(偏序集中的术语). 设$(X,\le )$是一个偏序集，$A\subset X$是子集，则

• $a\in A$称为$A$的最大元，如果对任何$b\in A$，有$b\le a$。
• $a\in A$称为$A$的最小元，如果对任何$b\in A$，有$a\le b$。
• $a\in A$称为$A$的极大元，如果对任何$b\in A$，要么$a,b$无法比较，要么$b\le a$。
• $a\in A$称为$A$的极小元，如果对任何$b\in A$，要么$a,b$无法比较，要么$a\le b$。
• $a\in X$称为$A$的上界，如果对任何$b\in A$，有$b\le a$。
• $a\in X$称为$A$的下界，如果对任何$b\in A$，有$a\le b$。
• $a\in X$称为$A$的上确界，如果$a$是$A$的所有上界里的最小元。
• $a\in X$称为$A$的下确界，如果$a$是$A$的所有下界里的最大元。

如果$X$的有上界的非空子集都有上确界，则称$(X,\le )$是序完备的。

下面是一些有趣的例子

例子1.

• 考虑$\mathbb{R}$上通常的顺序$\le$，在这里我不想介入关于实数系统和通常的顺序的定义，这将占用很大的篇幅，而且与我们的主题无关。不难看出$(\mathbb{R},\le )$确实是偏序关系，而且任何两个数都能比较，故$(\mathbb{R},\le )$是全序关系，且任何$\mathbb{R}$的有上界的非空子集都有上确界，故$(\mathbb{R},\le )$是序完备的。
• 设$\mathbb{N}$是包括$0$的自然数，定义$m{\le }_{d}n$当且仅当$m|n$，即存在自然数$k$使得$n=mk$。这是一个偏序关系，且$0$在这个偏序下最大，$1$最小。如图所示
  
  设$S$是