清华离i散数学(第2版)：4.4.ppt

* 4.4 等价关系与偏序关系 4.4.1 等价关系 4.4.2 等价类和商集 4.4.3 集合的划分 4.4.4 偏序关系 4.4.5 偏序集与哈斯图 * 等价关系的定义与实例 定义4.18 设R为非空集合上的关系. 如果R是自反的、对称的和传递的, 则称R为A上的等价关系. 设 R 是一个等价关系, 若x,y∈R, 称 x等价于y, 记做x～y.? 例1 设 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上的等价关系, 因为 ?x∈A, 有x≡x(mod 3) ?x,y∈A, 若x≡y(mod 3), 则有y≡x(mod 3) ?x,y,z∈A, 若x≡y(mod 3), y≡z(mod 3), 则有 x≡z(mod 3) * 模3等价关系的关系图 设 A={1, 2, …, 8},  R={ x,y| x,y∈A∧x≡y (mod 3) } R 的关系图如下： * 等价类 定义4.19 设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} * 等价类的性质 定理4.8 设R是非空集合A上的等价关系, 则 (1) ?x∈A, [x] 是A的非空子集. (2) ?x, y∈A, 如果 xRy, 则 [x]=[y]. (3) ?x, y∈A, 如果 x y, 则 [x]与[y]不交. (4) ，即所有等价类的并集就是A.  * 性质的证明 由等价类定义可知, ?x∈A有[x]?A. 由自反性有xRx，因此x∈[x], 即[x]非空. 任取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矛盾 * 性质的证明（续） (4) 先证 . 任取y,  y∈ ? ?x (x∈A∧y∈[x]) ? y∈[x]∧[x]?A ? y∈A 从而有 . 再证A? . 任取y, y∈A ? y∈[y]∧y∈A ? y∈ 从而有A? 成立. 综上所述得 * 商集 定义4.20 设R 为非空集合A 上的等价关系, 以R 的所有等 价类作为元素的集合称为A关于R 的商集, 记做 A/R, A/R = { [x]R | x∈A } 例2 令A={1, 2, …, 8}，A关于模 3 等价关系R 的商集为 A/R = { {1, 4,7}, {2, 5, 8}, {3, 6} } A关于恒等关系和全域关系的商集为： A/IA = { {1},{2}, … ,{8}} A/EA = { {1, 2, … ,8} } * 集合的划分 定义4.21 设A为非空集合, 若A的子集族? (? ?P(A)) 满足下面条件： (1) ??? (2) ?x?y (x,y∈?∧x≠y→x∩y=?) (3) ∪? =A 则称?是A的一个划分, 称? 中的元素为A的划分块.例3 设A＝{a, b, c, d}, 给定? 1, ? 2, ? 3, ? 4, ? 5, ? 6如下： ? 1={{a, b, c},{d}}， ? 2={{a, b},{c},{d}} ? 3={{a},{a, b, c, d}}， ? 4={{a, b},{c}} ? 5={?,{a, b},{c, d}}， ?