2021秋季《离散数学》_序关系

序关系：层次结构，用于组织

偏序关系

集合$X$上自反、反对称和传递的关系称为$X$上的偏序关系（偏序），又称部分序关系（部分序）。

• 通常用$\le$表示$x$和$y$满足这种偏序关系

偏序集

$(X,\le )$

若$\le$是全序，则上述标记为全序集。

特殊的偏序关系

1. 实数集上的小于等于关系$(X,\le )$、$(X,\ge )$大于等于关系

2. 非零自然数的整除关系$(X,|)$

3. 包含关系$(\mathcal{A},\subseteq )$

   例如
   A = { a , b } , A 1 = { ∅ , { a } , { b } } , A 2 = { { a } , { a b } } A=\{a,b\},\mathcal{A}_1=\{\empty,\{a\},\{b\}\},\mathcal{A}_2=\{\{a\},\{ab\}\} A={a,b},A1​={∅,{a},{b}},A2​={{a},{ab}}
   则
   ⊆ 1 = I A 1 ∪ { ( ∅ , { a } ) , ( ∅ , { b } ) } ⊆ 2 = I A 2 ∪ { ( { a } , { a , b } ) } \begin{aligned} \subseteq_1&=I_{\mathcal{A}_1}\cup\{(\empty,\{a\}),(\empty,\{b\})\} \\ \subseteq_2&=I_{\mathcal{A}_2}\cup\{(\{a\},\{a,b\})\} \end{aligned} ⊆1​⊆2​​=IA1​​∪{(∅,{a}),(∅,{b})}=IA2​​∪{({a},{a,b})}​

一般来说，全关系$E_X$不是$X$上的偏序关系

相关概念

可比

$$\forall x,y\in X,x与y可比\iff x\le y\vee y\le x$$

严格小于

$$\forall x,y\in X,x<y\iff x\le y\vee x\ne y$$

覆盖

设$(X,\le )$为偏序集，$\forall x,y\in A$，如果$x<y$且不存在$z\in X$使得$x<z<y$，则称$y$覆盖$x$.

全序关系

若"$\le$"是$X$上的偏序，且$\forall x,y\in X$，$x,y$可比，则称“$\le$”为$X$​上的全序关系（全序/线序）。

哈斯图

规定结点$x,y$之间有无向边当且仅当$y$覆盖$x$，且$y$位于$x$的上方。

全序集的哈斯图是一条直线（充要条件）。

偏序关系中的特殊元素

最大/小元

$y$是$B$的最大元
$$\forall x(x\in B\Rightarrow x\le y)$$
$y$是$B$的最小元
$$\forall x(x\in B\Rightarrow y\le x)$$

极大/小元

$y$是$B$的极大元
$$\forall x(x\in B\wedge y\le x\Rightarrow x=y)$$
$y$是$B$的极小元
$$\forall x(x\in B\wedge x\le y\Rightarrow x=y)$$
也就是说，对于极大（小）元来说，不存在比它更大（小）的元素，但允许存在与它不可比的元素。