第四章二元关系080921.ppt

*计算机科学与工程系 * 4.5 等价关系与偏序关系 1. 等价关系 定义 集合A上的关系ρ，如果它是自反的，对称的，且可传递的，则称ρ是A上的等价关系。 例如 数的相等关系是任何数集上的等价关系。 又例如 一群人的集合中姓氏相同的关系也是等价关系。 但父子关系不是等价关系，因为它不可传递。 例1 设A是任意集合，则A上的恒等关系和全域关系UA均是A上的等价关系。 例2 设 ，A上的关系 ρ是A上的等价关系。 例3 设m为大于等于2的正整数，整数集Z上的同余关系 则ρ是集合Z上的等价关系，称为Z上的模m同余关系。有时写成 或 2. 元素a与b等价 设ρ是集合A上的等价关系，若元素aρb ，则称a与b等价，或称b与a等价。 3. 等价类 定义 设ρ是集合A上的等价关系，则 A 中等价于元素 a 的所有元素组成的集合称为 a 生成的等价类，用 表示，即 a称为等价类 的代表元素。 显然有 例4 对于例2中的ρ来说 例5 整数集Z关于模3同余关系ρ的等价类共有三个： 而 恰好为 Z 的一个划分。 1. 对任意 , 等价类的性质(The Properties of Equivalenc