(离散数学)9.关系

0. 术语&总结

---

---

总结

• 一个二元关系是一个集合，元素都是有序对，且可以为空集；
  • $(x,y)\in R$ 记作 $xRy$
  • $R^{-1}$表示$R$的逆
  • 关系的复合：传递一下
• 关系的表示
  • 集合表达式
  • 关系矩阵（0-1矩阵）
  • 关系表
• 关系的性质

性质	解释	n元集符合性质的关系数(所有关系数为$2^{n^2}$)
自反(reflexive)	$\forall a\in A,aRa$	$2^{n(n-1)}$
反自反(irreflexive)	$\forall a\in A,\neg aRa$	$2^{n(n-1)}$
对称(symmetric)	$aRb\to bRa$	$2^{\frac{n(n+1)}{2}}$
非对称(asymmetric)	$aRb\to \neg bRa$	$3^{\frac{n(n-1)}{2}}$
反对称(antisymmetric)	$(aRb)\cup (bRa)\to a=b$	$2^n{3}^{\frac{n(n-1)}{2}}$(比楼上多了aRa)
传递(transitive)	$(aRb)\cup (bRc)\to aRc$

• 关系的闭包
  • 自反闭包：给R补上所有自反
  • 对称闭包：给R补上已有的对称
  • 传递闭包：$R^{\ast }={\bigcup }_{k=1}^{\infty }{R}^k,R^{\ast }$称为连通性(connectivity)关系
    • 算法1: 计算${\bigcup }_{k=1}^n{A}^{[k]}$
    • warshall’s algorithm:计算$W_k=[w_{ij}^{k-1}\vee (w_{ik}^{k-1}\wedge w_{kj}^{k-1})]$，就是找上一刻本身的位置以及同行的第k个和同列的第k个
• 等价关系：自反，对称，传递
  • 等价类：通过等价关系R，所有与a等价的元素组成的集合，记为$[a{]}_R$，a叫做代表元(representative)
  • 划分(partition)：S的不相交的非空子集构成的集合
• 偏序关系：自反，反对称，传递
  • 全序集：S的每对元素都可比
    • 拓扑排序（$a_1\prec a_2\prec a_3\cdots$）
    • 良序集：全序集的S的所有非空子集都有一个最小元素
  • Hasse图：只留单边
  • 覆盖关系：$x\prec y\to \neg \exists z(x\prec z\prec y)$，通过一个覆盖关系，它的对称闭包的自反闭包就是它对应的偏序集
  • 最大&最小元：只能有一个
    • 极大&极小元：可以有多个
    • 上界&最小上界/上确界LUB（A中大于等于B(A的子集)中所有元素的最小元素）
    • 下界&最大下界/下确界GLB
  • 格：每对元素都有上确界和下确界的偏序集（S, *）

1. 定义&性质

1.1. 定义