2021秋季《离散数学》_关系的特殊性质及闭包

关系的幂运算

$R^n$：在$R$的有向图中找长度为$n$的线段

关系的特殊性质及其闭包

特殊性质

	自反关系	反自反关系	对称关系	反对称关系	传递关系
内容
充要条件	$I_X\subseteq R$	$R\cap I_X=\varnothing$	$R^{-1}=R$	$R\cap R^{-1}\subseteq I_X$	$R^2\subseteq R$
关系矩阵	对角线全为$1$	对角线全为$0$	对称	任意两个相互对称的位置上至少有一个$0$
不动点	$r(R)=R$		$s(R)=R$		$t(R)=R$
备注					可以推出$\forall n\in Z^{+},R^n\subseteq R$

特殊结论

1. 存在既对称又反对称的关系

   即满足$\forall (x,y)\in R,(y,x)\in R$（对称），$\forall (x,y)\in R且(y,x)\in R,x=y$（反对称）。于是有两个找特例的角度，

   • 该关系中的所有$(x,y)$都满足上述条件，即恒等关系；
   • 不存在$(x,y)\in R$，即空关系。

   对称不可以推出非反对称，反对称不可以推出非对称

2. 存在既非对称又非反对称的关系

   将对称、反对称关系取反，全称量词化为存在量词，即满足$\exists (x,y)\in R,(y,x)\notin R$（非对称），$\exists (x,y)\in R,(y,x)\in R,x\ne y$（非反对称）。于是只要找到一个关系，使其中即存在一对对称的$(x,y)$，又存在一个单独的$(x,y)$，例如
   R = { ( 1 , 2 ) , ( 2 , 1 ) , ( 3 , 4 ) } R=\{(1,2),(2,1),(3,4)\} R={(1,2),(2,1),(3,4)}

   非对称不可以推出反对称，非反对称不可以推出对称

闭包

设$R$是$X$上的关系，$P$是某种关系的性质。包含$R$的、具有性质$P$的、$X$上的最小关系为$R$的$P$闭包，记为$R^P$.

条件

1. $R\subseteq R^P$
2. $R^P$具有性质$P$
3. $\forall X$上的具有性质$P$的关系$R^{\prime }$，若$R\subseteq R^{\prime }$，则$R^P\subseteq R^{\prime }$

$$\forall S[(R\subseteq S\wedge S有性质P)\to P(R)\subseteq S]$$

三个特殊闭包

【单调性】和【闭包和并运算的关系】中的前提$R_1\subseteq R_2\subseteq A\times A$省略。

	自反闭包	对称闭包	传递闭包
表达式	$r(R)=R\cup I_X$	$s(R)=R\cup R^{-1}$	$t(R)={\bigcup }_{n\in N}{R}^n$
关系图	加环	将单向线扩充为双向线	将两步可达的路径直接首尾相连
关系矩阵	把主对角线全置1	以主对角线为基准进行对称操作	$M_{t(r)}=M_R\vee M_{R^2}\vee \cdots \vee M_{R^n}$
单调性	$r(R_1)\subseteq r(R_2)$	$s(R_1)\subseteq s(R_2)$	$t(R_1)\subseteq t(R_2)$
闭包和并运算的关系	$r(R_1)\cup r(R_2)=r(R_1\cup R_2)$	$s(R_1)\cup s(R_2)=s(R_1\cup R_2)$	$t(R_1)\cup t(R_2)\subseteq t(R_1\cup R_2)$
推论			若$

证明

单调性

（以自反闭包为例）由定义出发，由于$R_1\subseteq r(R_1)$，且$r(R_1)$是包含$R_1$的最小自反二元关系，同时$R_1\subseteq R_2\subseteq r(R_2)$，且$r(R_2)$自反，所以$r(R_1)\subseteq r(R_2)$。

闭包和并运算的关系

自反闭包和对称闭包

（以自反闭包为例）

1. 先证$r(R_1)\cup r(R_2)\subseteq r(R_1\cup R_2)$.

   由单调性，
   $$R_1\cup R_2\subseteq r(R_1)\cup r(R_2)\subseteq r(R_1\cup R_2)$$

2. 再证$r(R_1\cup R_2)\subseteq r(R_1)\cup r(R_2)$.

   由定义，$r(R_1\cup R_2)$是包含$R_1\cup R_2$的最小自反二元关系，同时$R_1\cup R_2\subseteq r(R_1)\cup r(R_2)$，且$r(R_1)\cup r(R_2)$自反，所以$r(R_1\cup R_2)\subseteq r(R_1)\cup r(R_2)$。

综上，$r(R_1)\cup r(R_2)=r(R_1\cup R_2)$.

传递闭包

问题在于$t(R_1)\cup t(R_2)$不一定传递。

例如 R 1 = { ( a , b ) , ( b , c ) , ( a , c ) } , R 2 = { ( c , d ) } R_1=\{(a,b),(b,c),(a,c)\},R_2=\{(c,d)\} R1​={(a,b),(b,c),(a,c)},R2​={(c,d)}.

关系图理解

求自反/对称闭包时，分别加环和一起加环/分别加边和一起加边是等效的。但在求传递闭包时，需要找长度为2的边，那么并集后可能出现新的长度为2的边，这是之前未曾首尾连接的。

表达式

自反闭包

对称闭包

传递闭包

闭包运算和关系性质

自反

对称

传递

交换性

$rs(R)=r(s(R))$

$rs(R)=sr(R)$

$$\begin{array}{rl}rs(R)& =r(R\cup R^{-1})\\ & =R\cup R^{-1}\cup I_A\\ & =(I_A\cup R)\cup (I_A^{-1}\cup R^{-1})\\ & =(I_A\cup R)\cup (I_A\cup R{)}^{-1}\\ & =s(I_A\cup R)\\ & =sr(R)\end{array}$$

$rt(R)=tr(R)$

$$\begin{array}{rl}rt(R)& =r(R\cup R^2\cup \cdots )\\ & =I_A\cup R\cup R^2\cup \cdots \\ & =(I_A\cup R)\cup (I_A\cup R\cup R^2)\cup \cdots \\ & =t(I_A\cup R)\\ & =tr(R)\end{array}$$

$st(R)\subseteq ts(R)$

$$\begin{array}{rl}st(R)& \subseteq st(s(R))单调性\\ & =s(ts(R))结合律\\ & =ts(R)s(R)对称，所以ts(R)也对称(定理2.25(2))，s(ts(R))=ts(R)(不动点)\end{array}$$