文章目录
第4章 二元关系
4.1 关系及其运算
二元关系的定义
- n元关系:n个集合的笛卡尔积的子集
- 二元关系:两个集合A和B的笛卡尔积A×B的子集,称为集合A到B上的二元关系。二元关系是由序偶构成的集合
- 一个二元关系的定义域是其前域的自己,值域是其陪域的子集
特殊的二元关系
-
空关系:∅
-
全域关系:A×B
二元关系的表示方法
- 列举法
- 关系矩阵
- 关系图
关系的集合运算
关系的复合运算
- 复合关系
- 复合关系的矩阵表示
关系的逆运算
4.2 集合上的二元关系及其特性
集合上二元关系的定义
- 集合上的二元关系:集合A与A的笛卡尔积A×A的子集称为A上的二元关系
- 集合A上的恒等关系:IA={<a,a>|a∈A}
集合上二元关系的幂
集合上二元关系的特性
- 自反的
- 反自反的
⭐️是否存在某个集合上的二元关系R,它既是自反的,也是反自反的?空集上的空关系
⭐️是否存在某个集合上的二元关系R,它既不是自反的,也不是反自反的?存在,R关系图上如果有的结点上有自回路,有的结点上没有,那么符合条件
- 对称的
- 反对称的
⭐️是否存在某个集合上的二元关系R,它既是对称的,也是反对称的?存在,R关系图上如果仅含零个或多个自回路,那么R既是对称的也是反对称的
⭐️是否存在某个集合上的二元关系R,它既不是对称的,也不是反对称的?存在
- 传递的
4.3 关系的闭包运算
闭包的定义
- 闭包
关系闭包的构造
- 【定理】设R是集合A上的二元关系,那么有
- R是自反的当且仅当r®=R
- R是对称的当且仅当s®=R
- R是传递的当且仅当t®= R
求传递闭包的Warshall算法
闭包的性质
4.4 等价关系与集合的划分
集合的覆盖与划分
- 覆盖
- 划分
等价关系的定义
-
等价关系
-
等价类
-
等价关系与集合的划分
-
商集
-
【定理】设R是非空集合A上的等价关系,则A上关于R的商集A/R是A的一个划分,称为由R诱导的A的划分
4.5 序关系
偏序的定义
- 偏序
- 可比
- 盖住
哈斯图
偏序集合中的特殊元素
- 极大元
- 极小元
- 最大元
- 最小元
- 上界
- 下界
- 最小上界
- 最大下界
拟序集合
- 拟序
- 【定理】若R是集合A上的二元关系
- 若R为A上的拟序,则r®=R∪IA是A上的偏序
- 若R是一偏序,那么R—IA是A上的拟序