第4章复习提纲

第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上的拟序

全序集合

良序集合