二元关系这一章很重要。本篇包括二元关系的闭包、偏序关系、等价关系等内容,其中包含划分、哈斯图、最大最小元、上下界等小知识点。
一、闭包
1.定义:
闭包是包含原关系具有某种性质的最小的关系。
闭包是关系的一种特殊运算,运算结果依然是关系。
闭包有三种,自反闭包、对称闭包、传递闭包。R的自反闭包记作r(R), 对称闭包记作s(R), 传递闭包记作t(R)。
2.求法:
(1).集合表示法中闭包的求法:
设R为A上的关系, 则有
(2).矩阵表示法中闭包的求法:
设关系R, r(R), s(R), t(R)的关系矩阵分别为M, Mr , Ms 和 Mt ,则有 (1) Mr=M+E
(2) Ms=M+M '
(3) Mt=M+M2+M3+…
E 是单位矩阵, M '是 转置矩阵,相加时使用逻辑加。
(3).关系图表示法中闭包的求法:
设关系R, r(R), s(R), t(R)的关系图分别记为G, Gr, Gs, Gt, 则Gr , Gs , Gt 的顶点集与G 的顶点集相等. 除了G 的边以外, 以下述方法添加新的边:
(a) 考察G 的每个顶点, 若没自回路就加一个自回路,得到Gr
(b) 考察G 的每条边, 若有一条 xi 到 xj 的单向边, i≠j, 则在G中加一条 xj 到 xi 的反向边, 得到Gs
(c) 考察G 的每个顶点 xi, 找 xi 可达的所有顶点 xj (允许i=j ), 如果没有从 xi 到 xj 的边, 就加上这条边, 得到图Gt
例:设A={a,b,