离散数学--43关系的性质-精品·公开课件.pptVIP

4.3 关系的性质 4.3.1关系性质的定义和判别 自反性与反自反性 对称性与反对称性 传递性 4.3.2 关系的闭包 闭包定义 闭包计算 Warshall算法 自反性与反自反性 对称性与反对称性 传递性 关系性质的充要条件 自反性证明 对称性证明 反对称性证明 传递性证明 关系性质判别 实例 运算与性质的关系 闭包定义 定义4.17 设R是非空集合A上的关系, R 的自反 (对称或传 递) 闭包 是A上的关系R?, 使得 R?满足以下条件： (1) R?是自反的（对称的或传递的） (2) R ?R? (3) 对A上任何包含R 的自反（对称或传递）关系R?? 有 R??R??. 一般将 R 的自反闭包记作 r(R), 对称闭包记作 s(R), 传递 闭包记作 t(R). 闭包的构造方法 定理4.7的证明 只证 (1) 和 (3) 证 r(R)=R∪R0 只需证明R∪R0 满足闭包定义. R∪R0包含了R 由IA?R∪R0可知 R∪R0 在 A上是自反的. 下面证明R∪R0是包含R 的最小的自反关系. 假设R?是包含R 的自反关系，那么IA?R?, R?R?， 因此有 R∪R0=IA?R ?R? 定理4.7的证明（续） 任取x,y和y,z x,y?R∪R2∪R3∪…. ? y,z?R∪R2∪R3∪….