离散数学笔记（六）

一、二元关系相关概念和性质：

• 二元关系的定义：

  ·有序对集合$R$是笛卡尔积$A\times B$上的关系，当且仅当$\forall r\in R,\exists x\in A,y\in B,使得r=(x,y)$，并记$(x,y)\in R$为$xRy$，特殊地，当$A=B$时，称R是集合A上的关系

---

• 特殊关系：

  关系	定义
  空关系$\varnothing$	$R=\varnothing$
  全关系$E_A$	E A = { ( x , y ) ∥ ∀ x , y ∈ A } E_A = \{(x,y)\|\forall x,y \in A \} EA​={(x,y)∥∀x,y∈A}
  恒同关系$I_A$	I A = { ( x , x ) ∥ ∀ x ∈ A } I_A = \{(x,x)\|\forall x \in A \} IA​={(x,x)∥∀x∈A}

---

• 关系的矩阵表示法：

设R是定义在笛卡尔积$A_m\times B_n$上的关系，则可用一个$m\times n$的0-1矩阵$M_R$来表示R，且：任意矩阵元$m_{ij}=1$，当且仅当$(a_i,b_j)\in R$

---

• 关系的逆：

  R − 1 = { ( x , y ) ∣ ( y , x ) ∈ R } R^{-1} = \{(x,y)|(y,x)\in R\} R−1={(x,y)∣(y,x)∈R}

  => $(R^{-1}{)}^{-1}=R$
  => $M_{R^{-1}}=M_R^T$

---

• 关系的复合运算：

  ($R$是$A$上的关系，$S$是$B$上的关系)

  R ∘ S = { ( x , y ) ∣ ∃ z , 使 得 ( x , z ) ∈ R ∧ ( z , y ) ∈ S } R\circ S = \{(x,y)| \exist z,使得(x,z)\in R \wedge (z,y) \in S\} R∘S={(x,y)∣∃z,使得(x,z)∈R∧(z,y)∈S}

  => 结合律：$R_1\circ (R_2\circ R_3)=(R_1\circ R_2)\circ R_3$
  => $(R\circ S{)}^{-1}=S^{-1}\circ R^{-1}$
  => $M_{R\circ S}=M_R\times M_S$

---

• 关系的幂：

  $R^0=I_A,R^{n+1}=R\circ R^n$

  => $R^m\circ R^n=R^{m+n};(R^m{)}^n=R^{mn}$
  => $M_{R^n}=M_R^n$

---

• 二元关系相关性质：

性质	集合定义	矩阵特征
自反	$\forall x\in A,xRx$	$\forall i,m_{ii}=1$
反自反	$\forall x\in A,\neg xRx$	$\forall i,m_{ii}=0$
对称	$\forall x,y\in A,xRy\to yRx$	$\forall i、j,m_{ij}=1\leftrightarrow m_{ji}=1$
反对称	$\forall x,y\in A,xRy\wedge yRx\to x=y$	$\forall i、j,m_{ij}=1\wedge m_{ji}=1\to i=j$
传递	$\forall x,y,z\in A,xRy\wedge yRz\to xRz$	$\forall i、j、k,m_{ij}=1\wedge m_{jk}=1\to m_{ik}=1$

---

• 笛卡尔积的运算律：

  （1）$A\times \varnothing =\varnothing \times A=\varnothing$
  （2）交换律：$A\times B=B\times A$
  （3）分配律：
  $A\times (B\bigcup C)=(A\times B)\bigcup (A\times C)$
  $A\times (B\bigcap C)=(A\times B)\bigcap (A\times C)$
  $A\bigcup (B\times C)=(A\bigcup B)\times (A\bigcup C)$
  $A\bigcap (B\times C)=(A\bigcap B)\times (A\bigcap C)$

---

---

二、常见关系：

• 等价关系：

  满足自反、对称、传递的关系叫做等价关系

  => 等价类：等价关系中彼此两两等价的元素的集合
  => 商集：以等价关系中所有的等价类为元素组成的集合，是原集合的一个子集划分

---

• 偏序关系：

  满足自反，反对称，传递的关系叫做偏序关系，其与其定义的集合一起称为偏序集

  对于偏序关系中任意有序对$(x,y)$，记$x\le y$；
  且若对于集合任意两元素a，b，若存在一系列元素$c_1,c_2,...,c_n(n\ge 0)$使得$a\le c_1\le c_2\le ...\le c_n\le b$，亦称$a\le b$，即$\le$存在传递性，称可由$\le$连接的两个元素是可比的；

  => 极大元/极小元：

  x是偏序集$(A,\le )$中的极大元当且仅当$\forall y\in A,若x\le y,则x=y$
  x是偏序集$(A,\le )$中的极小元当且仅当$\forall y\in A,若y\le x,则x=y$

  =>最大元/最小元：

  x是偏序集$(A,\le )$中的最大元当且仅当$\forall y\in A,y\le x$
  x是偏序集$(A,\le )$中的最小元当且仅当$\forall y\in A,x\le y$

  =>上/下（确）界：

  对于偏序集$(A,\le )$和A的子集B，若$\exists y\in A,对\forall x\in B,有x\le y$，则称y是B的上界，如果B的上界构成的偏序集有最小元，则称其为B的上确界，记为$lub(B)$；
  对于偏序集$(A,\le )$和A的子集B，若$\exists y\in A,对\forall x\in B,有y\le x$，则称y是B的下界，如果B的上界构成的偏序集有最大元，则称其为B的下确界，记为$glb(B)$

  => 全序：

  设R是A上的偏序关系，如果A中的任意两个元素都是可比的，则称R是A上的全序关系

  => 良序：

  设R是A上的偏序关系，若A的任一非空子集均存在最小元，则称R为良序

  => 覆盖：

  y覆盖x当且仅当$x\le y$且不存在$z\in A$使得$x\le z\le y$

  => 链/反链：

  设B是偏序集$(A,\le )$的一个子集，若B中任意两个元素均可比，则称B构成了一个链，而若偏序集有限，则其最长链的长度称为该偏序集的高度；
  设B是偏序集$(A,\le )$的一个子集，若B中任意两个元素均不可比，则称B构成了一个反链，而若偏序集有限，则其最长反链的长度称为该偏序集的宽度

  => Mirsky定理：

  若有限偏序集$(A,\le )$的高度为h，则一定可将其划分为h个反链

  => 推论：对于任意h>0, 有限偏序集$(A,\le )$要么有一条长度大于h的链，要么有一条长度至少为$\frac{|A|}{h}$的反链

  =>Diworth定理：

  若有限偏序集$(A,\le )$的宽度为w, 则一定可将其划分为w个链

  => 推论：对于有限偏序集$(A,\le )$，覆盖A所需的最小链数等于A的宽度

---

---

三、关系的闭包运算：

• 闭包的定义：

  设R是非空集合A上的关系，在关系R中，可能有或无性质P，如自反，对称，传递，若存在包含R且满足性质P的关系S，且S是所有包含R且满足性质P的关系的交集，则称S是R关于性质P的闭包；

  特殊地，当性质P分别为：自反/对称/传递 时，分别记S = $r(R)/s(R)/t(R)$

---

• 闭包的集合构造：

（1）R的自反闭包：$r(R)=R\bigcup R^0=R\bigcup I_A$
（2）R的对称闭包：$s(R)=R\bigcup R^{-1}$
（3）R的传递闭包： t ( R ) = R ⋃ R 2 ⋃ R 3 ⋃ . . . = ⋃ { R n ∣ n ≤ ∣ A ∣ } t(R) = R\bigcup R^{2}\bigcup R^{3}\bigcup...=\bigcup\{R^n| n \leq |A|\} t(R)=R⋃R2⋃R3⋃...=⋃{Rn∣n≤∣A∣}

---

• 闭包的矩阵构造：

（1）R的自反闭包：$M_{r(R)}=M_R\bigvee M_{I_A}$
（2）R的对称闭包：$M_{s(R)}=M_R\bigcup M_R^T$
（3）R的传递闭包： M t ( R ) = M R ⋁ M R 2 ⋁ M R 3 ⋁ . . . = ⋁ { M R n ∣ n ≤ ∣ A ∣ } M_{t(R)} = M_R\bigvee M_R^{2}\bigvee M_R^{3}\bigvee...=\bigvee\{M_R^n| n \leq |A|\} Mt(R)​=MR​⋁MR2​⋁MR3​⋁...=⋁{MRn​∣n≤∣A∣}

---

• 传递闭包的算法构造：（ Warshall算法）

Algorithm: Warshall
tR := MR
for k := 1 to n
	for i := 1 to n
		for j:= 1 to n
			tR[i,j] = tR[i,j] ∪ (tR[i,k] ∩ tR[k,j])
return tR

---

---

---