离散数学-⑧-关系

关系

关系及其性质

• 设A和B是集合，一个从A到B的二元关系是$A\times B$的子集

• 集合A上的关系是从A到A的关系（集合A上的关系是$A\times A$的子集）

• 自反：若对每个元素$a\in A$有$(a,a)\in R$，那么定义在集合A上的关系R称为自反的

• 对称：对于任意$a,b\in A$，若只要$(a,b)\in R$就有$(b,a)\in R$，则称定义在集合A上的关系R为对称的

• 反对称：对于任意$a,b\in A$，若$(a,b)\in R$且$(b,a)\in R$，一定有a=b，则称定义在集合A上的关系R为反对称的

• 传递：若对于任意$a,b,c\in A$，$(a,b)\in R$并且$(b,c)\in R$则$(a,c)\in R$，则称定义在集合A上的关系R为传递的

• 合成：设R是从集合A到集合B的关系，S是从集合B到集合C的关系，R与S的合成是由有序对(a,c)的集合构成的关系，其中$a\in A,c\in C$，并且存在一个$b\in B$的元素，使得$(a,b)\in R$且$(b,c)\in R$，用$S\circ R$表示R与S的合成

• 设R是集合A上的关系，R的n次幂$R^n(n=1,2,3,...)$递归第定义为

$$R^1=R和R^{n+1}=R^n\circ R$$

• 集合A上的关系R是传递的，当且仅当对n=1,2,3,…有$R^n\subseteq R$
• n元关系：设$A_1,A_2,...,A_n$是集合，定义在这些集合上的n元关系是$A_1\times A_2\times ...\times A_n$的子集，这些集合$A_1,A_2,...,A_n$称为关系的域，n称为关系的阶
• 设R是一个n元关系，C是R中元素可能满足的一个条件，那么选择运算符$S_c$将n元关系R映射到R中满足条件C的所有n元组构成的n元关系

关系的表示

• 用矩阵表示：用0-1矩阵表示一个有穷集之间的关系，有关系为1，无关系为0
• 用图表示：用有向图表示
• 有向图：由顶点集V合边集E组成，其中边集是V中所有元素的有序对的集合，顶点a叫做边（a,b）的始点，而顶点b叫做这条边的终点

关系的闭包

• 闭包：如果存在包含R的具有性质P的关系S，并且S是所有包含R且具有性质P的关系的子集，那么S叫做R的关于性质P的闭包
  • 自反闭包
  • 对称闭包
  • 传递闭包
• 设R是集合A上的关系，从a到b存在一条长为n(n为正整数)的路径，当且仅当$(a,b)\in R^n$
• 设R是集合A上的关系，连通性关系$R^{\ast }$由形如(a,b)的有序对构成，使得在关系R中，从a到b之间存在一条长度至少为1的路径
• 关系R的传递闭包等于连通性关系$R^{\ast }$

等价关系

• 等价关系：定义在集合A上的关系，如果它是自反的、对称的和传递的，则叫做等价关系
• 等价：如果两个元素a和b由于等价关系而相关联，则称他们是等价的
• 等价类：设R是定义在集合A上的等价关系，与A中的一个元素a有关系的所有元素的集合叫做a的等价类，A的关于R的等价类记为$[a{]}_R$，当只考虑一个关系时，可以省去下标记为$[a]$

偏序

• 偏序：定义在集合S上的关系R，如果它是自反的、反对称的和传递的，就称为偏序

• 偏序集：集合S与定义在其上的偏序R一起称为偏序集，记做（S,R）

• 在一个偏序集中，记号$a\le b$表示$(a,b)\in R$

• 偏序集$(S,\le )$中的元素a和b，如果$a\le b$或$b\le a$，则称a和b是可比的，当a和b是S中的元素并且既没有$a\le b$也没有$b\le a$，则称a与b是不可比的

• 全序：集合中每对元素都可比

• 全序集：如果$(S,\le )$是偏序集，且S中的每对元素都是可比的，则称S为全序集，也称为链

• 良序集：对于偏序集$(S,\le )$，如果$\le$是全序，并且S的每个非空子集都有一个最小元素，则称为良序集

• 偏序集相关：

  • 字典排序：笛卡尔积或字符串的一个偏序
  • 哈塞图：偏序集的图表示，其中所有的环和由传递性可得的边不出现，并且顶点的位置隐含了边的方向
  • 格：偏序集的每对元素都有最小上界和最大下界
  • 拓扑排序：构造一个与给定的偏序相容的全序

置隐含了边的方向

• 格：偏序集的每对元素都有最小上界和最大下界
• 拓扑排序：构造一个与给定的偏序相容的全序