基础集合论 第五章 1 序集

定义

序集

对于任意一个集合 $A$ 和 $A$ 中的一个二元关系 $R,$ 当且仅当
1. $xRx, \forall x \in A,$
2. $xRy \land yRx \Rightarrow x = y, \forall x, y \in A,$
3. $xRy \land yRz \Rightarrow xRz, \forall x, y, z \in A,$
称 $R$ 是集合 $A$ 的一个偏序，称 $(A, R)$ 是一个序集。
按照习惯，$R$ 记为 $\le$ 。

严格序集

对于任意一个集合 $A$ 和 $A$ 中的一个二元关系 $R,$ 当且仅当
1. $x \not R x, \forall x \in A,$
2. $xRy \land yRz \Rightarrow xRz, \forall x, y, z \in A,$
称 $R$ 是集合 $A$ 的一个严格偏序，称 $(A, R)$ 也是一个序集。
按照习惯，$R$ 记为 $\lt$ 。

性质

1. 设 $\le$ 是集合 $A$ 的一个偏序，则 $< = \{ (x, y) | x \le y \land x \neq y\}$ 是集合 $A$ 的一个严格偏序。
   证明：
   1.1 $x \not \lt x, \forall x \in A,$
   1.2. $x < y \land y < z \Rightarrow ( x \le y \land x \neq y ) \land ( y \le z \land y \neq z ) \\ \Rightarrow x \le z \land x \neq z \Rightarrow x < z, \forall x, y, z \in A,$
2. 设 $\lt$ 是集合 $A$ 的一个严格偏序，则 $\le = \{ (x, y) | x \lt y \lor x = y\}$ 是集合 $A$ 的一个偏序。
   证明：
   2.1. $x \le x, \forall x \in A,$
   2.2. $x \le y \land y \le x \Rightarrow ( x \lt y \lor x = y ) \land ( y \lt x \lor y = x ) \\ \Rightarrow ( x = y ) \lor ( x \lt y \land y \lt x) \\ \Rightarrow x = y , \forall x, y \in A,$
   2.3. $x \le y \land y \le z \Rightarrow ( x \lt y \lor x = y ) \land ( y \lt z \lor y = z ) \Rightarrow$
   $$\begin{cases} ( x \lt y \land y \lt z) \Rightarrow x \lt z \Rightarrow x \le z, \\ ( x \lt y \land y = z) \Rightarrow x \lt z \Rightarrow x \le z, \\ ( x = y \land y \lt z) \Rightarrow x \lt z \Rightarrow x \le z, \\ ( x = y \land y = z) \Rightarrow x = z \Rightarrow x \le z, \end{cases}$$ $$\forall x, y, z \in A,$$
3. 由 1 或 2 得出的序集与原序集的关系：
   $x \le y \Leftrightarrow x \lt y \lor x = y, \\ x \lt y \Leftrightarrow x \le y \land x \neq y, \forall x, y \in A$
4. （严格）偏序的逆也是（严格）偏序。

全序或线性序

若 $\le$ 是集合 $A$ 的一个偏序，则当且仅当
$x \le y \lor y \le x, \forall x, y, \in A,$
称 $\le$ 是集合 A <script type="math/tex" id="MathJax-Element-71">A</script> 的一个全序或线性序。