离散数学第17讲讲述.ppt

离散数学第17讲 回顾上节课所学知识点 关系的五个性质的定义 关系性质的判定方法 求解关系的闭包的几种方法 离散数学第17讲 本讲基本知识点： 1、闭包的性质定理 2、等价关系的定义 3、等价关系的性质 4、划分和商集的定义 5、偏序关系和偏序集的定义 6、哈斯图及应用 定理7.11 设R是非空集合A上的关系，则 (1) R是自反的 ? r(R) =R (2) R是对称的 ? s(R) =R (3) R是传递的 ? t(R) =R 证明：(1) 先证明“=” 由自反闭包定义知，R ? r(R) 又 ∵ R是自反的 且R ? R ,再由自反闭包定义知，r(R) ?R ∴ r(R) = R 再证明“=” 对于任意x，? x ∈ A = x,x ∈ r(R) = x,x ∈ R ∴ R是自反的。 证明：(2) 先证明“=” 由对称闭包定义知，R ? s(R) 又 ∵ R是对称的 且R ? R ,再由对称闭包定义知，s(R) ?R ∴ s(R) = R 再证明“=” 对于任意x,y， x,y ∈ R = y,x ∈ R ∴ R是对称的。 定理7.12 设R1和R2是非空集合A上的关系，且R1 ? R2则 (1) r(R1) ? r(R2) (2) s(R1) ? s(R2) (3) t(R1) ? t(R2) 证明：(1) R1 ?R2 = R1 ∪ IA ? R2 ∪ IA = r(R1 ) ? r(R2 ) (2) R1 ?R2 = R1-1 ? R2 -1 = R1 ∪ R1-1 ? R2 ∪ R2 -1 = s(R1 ) ? s(R2 ) (3) R1 ?R2 = R12 ? R2 2 R1 ?R2 = R13 ? R2 3 …… = R1 ∪ R12 ∪ R13 ∪… ? R2 ∪ R2 2 ∪ R2 3 ∪ … = t(R1 ) ? t(R2 ) 定理7.13 设R是非空集合A上的关系， (1) 若 R是自反的，则s(R)和t(R)也是自反的。 (2) 若 R是对称的，则r(R)和t(R)也是对称的。 (3) 若 R是传递的，则r(R)也是传递的。 证明：(只证明1） (1) ∵ R是自反的 ∴ IA ? R= IA ? R ∪R-1 = IA ? s(R) ∴ s(R) 是自反的。 ∵ R是自反的 ∴ IA ? R= IA ? R ∪R2 ∪R3 ∪… = IA ? t(R) ∴ t(R) 是自反的。 OBVIOUS:若关系R是自反或对称的，则关于R的闭包运算依旧是自反或对称的。 但若关系R是传递的，则关于R的闭包运算不一定是传递的。如： A={1,2,3}, R={1,3}, 而 r(R)={1,1, 2,2, 3,3, 1,3}是传递关系, s(R )={1,3,3,1}都不是传递关系。 7.6 等价关系与划分 定义7.15 设R是非空集合A上的关系。若R是自反的、对称的和传递的，则称R是A上的等价关系。 如果R是一个等价关系，若x,y ∈R,称x等价于y,记作x~y。 定义7.16 设R是非空集合A上的等价关系， ?x∈A，令 [x]R={y| y ∈ A ∧ xRy} 称 [x]R为x关于R的等价类，简称为x的等价类，简记为[x]或x。 定理7.14 设R是非空集合A上的等价关系，则 (1) ?x∈A，[x]是A的非空子集。 (2) ?x，y∈A，如果xRy,则[x]=[y]。 (3) ?x，y∈A，如果xRy,则[x]与[y]不交，即[x] ∩[y] = φ 。 (4) ∪{[x]| x∈A}=A。 证明：(1) 由等价类的定义易知， ? x ∈ A =[X] ?A 又由等价关系的自反性知，x ∈[x]R，即[x]非空。 (2) ? z ∈ [x] = xRz = zRx (∵R是对称的) ∴ zRx ∧ xRy = zRy (∵R是传递的) = yRz (∵R是对称的) = z ∈ [y] =[x] ?[y] 同理可证 [y] ?[x], 所以[x]=[y]. (3) 假设[x] ∩[y] ≠ φ ，则 ?z ∈[x] ∩ [y] = z ∈[x] ∧ z ∈ [y] =zRx ∧ zRy =xRz ∧zRy = xRy 与xRy矛盾。 (4) ∪{[x]| x∈A}=A