离散数学--44等价关系和偏序关系.pptVIP

* 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 |