[工学]离散数学第7章-二元关系.ppt

第七章 二元关系 第一节 有序对与笛卡儿积 第二节 二元关系 第三节 关系的运算 第四节 关系的性质 第五节 关系的闭包 第七章 习题课 例9 设A={a,b,c,d}, R={a,b,b,a,b,c,c,d,d,b}, R和r(R), s(R), t(R)的关系图如下图所示. 三、闭包的性质 定理7.11 设R是非空集合A上的关系, 则 (1) R是自反的当且仅当 r(R)=R. (2) R是对称的当且仅当 s(R)=R. (3) R是传递的当且仅当 t(R)=R. 定理7.12 设R1和R2是非空集合A上的关系, 且 R1?R2, 则 (1) r(R1) ? r(R2) (2) s(R1) ? s(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) 是传递的. 说明：如果需要进行多个闭包运算，比如求R的自反、对称、传递的闭包 tsr(R)，运算顺序如下： tsr(R) = rts(R) = trs(R) 7.6 等价关系与划分 主要内容 等价关系的定义与实例 等价类及其性质 商集与集合的划分 等价关系与划分的一一对应 一、等价关系的定义与实例 定义7.15 设R为非空集合上的关系. 如果R是自反的、对称的和传递的, 则称R为A上的等价关系. 设 R 是一个等价关系, 若x,y∈R, 称 x等价于y, 记做x～y. 实例 设 A={1,2,…,8}, 如下定义A上的关系R： R={x,y| x,y∈A∧x ≡ y(mod 3)} 其中x ≡ y(mod 3)叫做 x与 y 模3相等, 即x除以3的余数与y除以3的余数相等. 不难验证 R 为A上的等价关系, 因为 (1) ?x∈A, 有 x ≡ x (mod 3) (2) ?x,y∈A, 若x ≡ y(mod 3), 则有y ≡ x(mod 3) (3) ?x,y,z∈A, 若x ≡ y(mod 3), y ≡ z(mod 3), 则有x ≡ z(mod 3) 图6 二、等价类及其性质 定义7.16 设R为非空集合A上的等价关系, ?x∈A，令 [x]R = {y | y∈A∧xRy} 称[x]R 为x关于R的等价类, 简称为x的等价类, 简记为[x]或 实例 A={1, 2, … , 8}上模3等价关系的等价类： [1] = [4] = [7] = {1, 4, 7} [2] = [5] = [8] = {2, 5, 8} [3] = [6] = {3, 6} 定理7.14 设R是非空集合A上的等价关系, 则 (1) ?x?A, [x]是A的非空子集 (2) ?x,y?A, 如果 xRy, 则 [x] = [y] (3) ?x,y?A, 如果 x y, 则 [x]与[y]不交 (4) ∪{[x] | x?A}=A 证 (1) 由定义, ?x?A有[x]?A. 又x?[x], 即[x]非空. (2) 任取 z, 则有  z∈[x] ? x,z∈R ? z,x∈R z,x?R∧x,y?R ? z,y?R ? y,z?R 从而证明了z∈[y]. 综上所述必有 [x]?[y]. 同理可证 [y]?[x]. 这就得到了[x] = [y]. (3) 假设 [x]∩[y]≠?, 则存在 z?[x]∩[y], 从而有z?[x]∧z?[y], 即x,z?R∧y,z?R成立. 根据R的对称性和传递性必有x,y?R, 与 x y矛盾 先证∪{[x] | x?A} ? A. 任取y, y?∪{[x] | x?A} ? ?x(x?A∧y?[x]) ? y?[x]∧[x] ? A ? y?A 从而有∪{[x] | x∈A} ? A 再证A ? ∪{[x] | x∈A}. 任取y, y?A ? y?[y]∧y?A ? y∈∪{[x] | x?A} 从而有∪{[x] | x∈A} ? A成立. 综上所述得∪{[x] | x?A} = A.  三、商集与集合的划分 定义7.17 设 R 为非空集合A上的等价关系, 以 R 的所有等价类作为元素的集合称为A关于R的商集, 记做A/R,  A/R =