等价关系与偏序关系.ppt

等价关系 定义4.19 设R为非空集合上的关系. 如果R是自反的、对称的和传递的, 则称R为A上的等价关系. 设 R 是一个等价关系, 若x,y∈R, 称 x等价于y, 记做x～y.? 由定义知： （1）关系R是等价关系当且仅当R同时具备自反性、对称性和传递性； （2）关系R不是等价关系当且仅当R不具备自反性或对称性或传递性。 实例 设 A={1, 2, …, 8}, R={ x,y| x,y∈A∧x≡y (mod 3)} R 的关系图如： 例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) 定理4.8 设R是非空集合A上的等价关系，则有下面的结论成立： 1)对?x?A，[x]R≠Φ； 2)对?x,y∈A，如果y∈[x]R，则有[x]R=[y]R 3)对?x,y∈A，如果y ? [x]R，则有[x]R∩[y]R＝Φ 4)