离散数学 关系的闭包.pptVIP

4.4 关系的闭包 闭包定义 闭包的构造方法 集合表示 矩阵表示 图表示 闭包的性质 一、闭包定义 定义 设R是非空集合A上的关系, R的自反（对称或传递）闭包是A上的关系R?, 使得R?满足以下条件：（1）R?是自反的（对称的或传递的）（2）R?R?（3）对A上任何包含R的自反（对称或传递）关系 R?? 有 R??R??. 一般将 R 的自反闭包记作 r(R), 对称闭包记作 s(R), 传递闭包记作 t(R). 二、关系的闭包运算 （1）已知一个集合中的二元关系R，则 r(R),s(R),t(R)是唯一的，它是包含R的 最小的自反（对称，传递）关系； 闭包的构造方法（续） 闭包的构造方法（续） 实例 定理 　R是A上关系，则 ⑴R是自反的，当且仅当 r(R)=R. ⑵ R是对称的，当且仅当 s(R)=R. ⑶ R是传递的，当且仅当 t(R)=R. 证明略，因为由闭包定义即可得。 定理　 R是A上关系，则 ⑴R是自反的，则s(R)和t(R)也自反。 ⑵ R是对称的，则r(R)和t(R)也对称。 ⑶ R是传递的，则r(R)也传递。 证明: ⑴因为R自反,得r(R)=R,即 R∪IA=R, r(s(R))=s(R)∪IA=(R∪R-1)∪IA = (R∪IA)∪R-1=r(R)∪R-1 =R∪R-1 =s(R)