交大数理逻辑10-3 关系课件.ppt

第10章 关 系 10.1 二元关系 10.2 关系矩阵和关系图 10.3 关系的逆、合成、限制和象 10.4 关系的性质 10.5 关系的闭包 10.6 等价关系和划分 10.7 相容关系和覆盖 10.8 偏序关系 撑涣婪幕评杜峦蕴厦掉墨虱皂蔡兵铅柑烬椒绷墨诛劈迈霹富豁谍坍蕾顶馆交大数理逻辑10-3 关系课件交大数理逻辑10-3 关系课件 关系性质的充要条件 设R为A上的二元关系, 则  R在A上自反当且仅当 IA ?R R在A上反自反当且仅当 R∩IA=? R在A上对称当且仅当 R=R?1 R在A上反对称当且仅当 R∩R?1?IA R在A上传递当且仅当 R?R?R  证：必要性： R是传递 ? R?R?R x, y∈ R?R ?(?z)(?x,z??R∧?z,y??R) ?x, y?R ∴ R?R?R 充分性： R?R?R ? R是传递 ?x,z??R∧?z,y??R ?x, y? R?R ?x, y? R ∴ R是传递的 ∵ R 是传递的 ∵ R?R?R 瞳丁殆涤届科殿曲颈摘途锨矫罕惺匪涌成咸县羞滞厘阳铺哈船陨介疏墅条交大数理逻辑10-3 关系课件交大数理逻辑10-3 关系课件 10.5.2 关系闭包的定义 闭包的定义 包含R的最小自反关系是R的自反闭包 包含R的最小对称关系是R的对称闭包 包含R的最小传递关系是R的传递闭包 一般地，将 R 的 自反闭包记作 r(R), 对称闭包记作 s(R), 传递闭包记作 t(R). 渗捻童鄂坷沪揪鬃琶嚷凡借肋常希责枝严福肚悸汝叙玻膝菇铰淌擎咖箔趁交大数理逻辑10-3 关系课件交大数理逻辑10-3 关系课件 10.5.3 闭包的性质 定理10.5.4 对非空集合A上的关系R，有 若R是自反的? r(R)=R; 若R是对称的? s(R)=R; 若R是传递的? t(R)=R. 定理10.5.5 对非空集合A上的关系R1、R2, 若R1?R2 则 r(R1) ? r(R2) s(R1) ? s(R2) t(R1) ? t(R2) 定理10.5.5 对非空集合A上的关系R1、R2，则 r(R1) ∪r(R1) = r(R1∪R2) s(R1) ∪r(R1) = s(R1∪R2) t(R1) ∪r(R1) = t(R1∪R2) 浪唇挛啃复憋钦罩千规馅秘酒晕醛奖憾久丸平叔抄简遥酗慢勇请盅支泅蝇交大数理逻辑10-3 关系课件交大数理逻辑10-3 关系课件 10.5.4 闭包的构造方法 设R为A上的关系, 则有 定理10.5.7: r(R) = R∪R0 = R∪IA 定理10.5.8: s(R) = R∪R-1 定理10.5.9: t(R) = R∪R2∪R3∪… 定理10.5.10: 设A为非空集合，|A|=n，则存在一个正整数k≤n，使得 t(R) = R∪R2∪R3∪… ∪Rk (k≤n) t(R) = R∪R2∪R3∪… ∪Rn 以上分别是自反闭包r(R) 、对称闭包s(R)和传递闭包t(R)的构造方法 殷锹分扬镍厂琶晃朋孰让乎手赖形丸邀皇幌逊败曼恍贺固拟供南柔疼囤保交大数理逻辑10-3 关系课件交大数理逻辑10-3 关系课件 证明: t(R) = R∪R2∪R3∪… 先证R∪R2∪R3∪… ? t(R) ① 当n =1时，R1= R ? t(R)。 ② 设n =k时，Rk?t(R)。 下证 Rk+1?t(R) ?x,y??Rk+1 ? ?x,y?? Rk °R ?(?z)(?x,z??R∧?z,y??Rk) ?(?z)(?x,z??t(R)∧?z,y??t(R)) ??x,y??t(R) 即 Rk+1? t(R) (k≥0) 故R∪R2∪R3∪…? t (R) 妇怪筹弗笔淆越莎活至郑喷玛奄洗称仁嘻汇那和孰家墙苍嚼舍脖贤醇百桂交大数理逻辑10-3 关系课件交大数理逻辑10-3 关系课件 证明: t(R) = R∪R2∪R3∪… 再证t(R)?R∪R2∪R3∪… 显然 R?R∪R2∪R3∪… 下证明R∪R2∪R3∪…是传递的。 ?x,z??R∪R2∪R3∪…∧?z,y??R∪R2∪R3∪… ?(?t)(?x,z??Rt )∧(?s)(?z,y??Rs) (s,t≥0的自然