初等数学O 集合论基础 第三节 序关系

这一讲的目标是在非空集合中定义序关系，读者可以把序关系理解为大于小于关系的抽象化与公理化。我们总是试图把一些耳熟能详的结果公理化，是因为这些结果非常实用，公理化之后可以在更多场景中应用这些结果。把大于小于抽象为序关系之后，只要在某个集合上我们能够定义一个序关系，这个集合中的元素也就有了像数字一样的大小关系，我们就能比较任意两个元素的大小、找出最大值/最小值。

---

定义0.10 序关系
假设$X$是一个非空集合，用$\le$表示$X$中任意两个元素的关系，如果$\forall x,y,z\in X$，

1. $x\le x$ (自反性，reflexivity)
2. $x\le y,y\le z\Rightarrow x\le z$ (传递性，transitivity)

就称$\le$是一个先序关系(preorder)，如果它还满足

3. $x\le y,y\le x\Rightarrow x=y$ (反对称, antisymmetric)

就称$\le$是一个偏序关系(partial order)，并称配备有偏序的集合$X$为偏序集；如果一个偏序还满足

4. $x\le y$, $y\le x$中至少有一个成立 (完全性, totality)

就称$\le$是一个全序关系(total order)或者线性序关系 (linear order)，并称配备有偏序的集合$X$为全序集。读者可以自行验证，实数的大小关系是一个全序。

---

例0.4 假设$X$是一个非空集合，$\mathcal{P}(X)$是它的幂集，$\subseteq$是幂集上的全序吗？

证
i）验证自反性，$\forall E\in \mathcal{P}(X)$, $E\subseteq E$显然成立；
ii）验证传递性，$\forall A,B,C\in \mathcal{P}(X)$, $A\subseteq B,B\subseteq C$，显然可得$A\subseteq C$。一种更严谨的叙述是借助验证包含关系的操作，$\forall a\in A$, $A\subseteq B$说明$a\in B$，$B\subseteq C$说明$a\in C$，因此$A\subseteq C$；
iii) 验证反对称，$\forall E,F\in \mathcal{P}(X)$, $E\subseteq F,F\subseteq E$，根据集合相等的定义，$E=F$
iv）验证完全性。事实上完全性不成立，显然两个集合不一定总是包含与被包含的关系，也可以是相交、不相交的关系，比如 X = { 1 , 2 , 3 , 4 } X=\{1,2,3,4\} X={ 1,2,3,4}, E = { 1 , 2 } E = \{1,2\} E={ 1,2}, F = { 1 , 3 } F = \{1,3\} F={ 1,3}，显然$E,F$没有包含关系，所以完全性不成立。

综上，$\subseteq$不是幂集上的全序，但它是一个偏序。

例0.5 假设$X$是一个非空有限集合，$\mathcal{P}(X)$是它的幂集，对幂集中的任意两个集合$E,F$，基于集合的势定义$E\lesssim$