【集合论】序关系 ( 全序关系 | 全序集 | 全序关系示例 | 拟序关系 | 拟序关系定理 | 三歧性 | 拟线序关系 | 拟线序集 )

一、全序关系 ( 线序关系 )

---

$A$ 集合与该集合之上的 偏序关系 $\preccurlyeq$ 组成的有序对是 : $<A,\preccurlyeq >$ 偏序集 ;

$A$ 集合中 任意元素 $x,y$ 都 可比 ;

则称 $\preccurlyeq$ 关系是 $A$ 集合上的 全序关系, 又称为 线序关系 ;

称 $<A,\preccurlyeq >$ 为全序集 ( 线序集 ) ;

$<A,\preccurlyeq >$ 偏序集 是全序集

当且仅当

$<A,\preccurlyeq >$ 偏序集的哈斯图是一条直线

二、全序关系示例

---

非空集合 $A$ 包含于 实数集 $R$ , $\varnothing \ne A\subseteq R$ ,

$A$ 集合上的 大于等于 $\ge$ , 小于等于 $\le$ 都是 $A$ 集合上的 全序关系 ,

$<A,\le >$ , $<A,\ge >$ 是 全序集 ;

哈斯图是一条直线 ;

三、拟序关系

---

非空集合 $A$ , 二元关系 $R$ 是 $A$ 集合上的二元关系 ;

符号化表示 : $A\ne \varnothing$ , $R\subseteq A\times A$ ;

如果 二元关系 $R$ 是 反自反 , 传递 的 ,

则称 $R$ 关系是 $A$ 集合上的拟序关系 ,

使用 $\prec$ 表示拟序关系 ,

称 $<A,\prec >$ 是拟序集 ;

偏序关系 $\preccurlyeq$ 是 小于等于 关系 , 拟序关系 $\prec$ 就是 严格小于 关系 ;

拟序关系示例 : 大于 , 小于 , 真包含 , 都是拟序关系 ;

拟序关系 完整的性质是 反自反 , 反对称 , 传递 ,
之所以概念中没有提 反对称 性质 , 是因为 根据 反自反 , 传递性质 , 可以推导出 反对称 性质 ;

数学中倾向于使用最小的条件进行定义 , 因此这里将反对称性去掉 ;

四、拟序关系定理 1

---

非空集合 $A$ , $A\ne \varnothing$ ,

$\preccurlyeq$ 是非空集合 $A$ 上的偏序关系 ,

$\prec$ 是非空集合 $A$ 上的拟序关系 ;

① 偏序关系性质 : $\preccurlyeq$ 是 自反 , 反对称 , 传递的

② 拟序关系性质 : $\prec$ 是 反自反 , 反对称 , 传递的

③ 偏序关系 -> 拟序关系 : 偏序关系 减去 恒等关系 就是 拟序关系 , $\preccurlyeq -I_A=\prec$

④ 拟序关系 -> 偏序关系 : 拟序关系 与 恒等关系 的并集就是 偏序关系 , $\prec \cup I_A=\preccurlyeq$ ;

四、拟序关系定理 2

---

非空集合 $A$ , $A\ne \varnothing$ ,

$\prec$ 是非空集合 $A$ 上的拟序关系 ;

① $x\prec y$ , $x=y$ , $y\prec x$ 中最多有一个成立 ;

使用反证法 , 任意两个成立都会导致 $x\prec x$ ;

② $(x\prec y\wedge x=y)\wedge (y\prec x\wedge x=y)\Rightarrow x=y$

五、三歧性、拟线序

---

非空集合 $A$ , $A\ne \varnothing$ ,

$\prec$ 是非空集合 $A$ 上的拟序关系 ;

如果 $x\prec y$ , $x=y$ , $y\prec x$ 中仅有一个城里 , 那么称 $\prec$ 拟序关系 具有 三歧性 ;

有三歧性的 逆序关系 $\prec$ 称为 $A$ 集合上的 拟线序关系 , 又称为拟全序关系 ;

$<A\prec >$ 被称为 拟线序集 ;