第四章 二元关系-3rd.ppt

*/45 */45 等价类的性质 设X是一集合，X是R中的等价关系 2. 对于所有的 ，或者 ，或者 证明：当X=Ф，上述结论肯定为真。 当X≠Ф时，分两种情况讨论 (1)xRy (2)xRy １. 如果x∈X,则x ∈[x]R。该性质是明显的，因为Ｒ是自反的，所以有xRx,于是x ∈[x]R */45 */45 等价类的性质 (1) xRy 故 。 类似地可以证明 由上得 若 ，则xRz ， 由R 的对称性有zRx， 又由R的传递性有zRy ，因此 (2) xRy 假设 , 因此有 且 ， 故 于是由xRz,zRb，得xRy，与xRy相矛盾 */45 */45 等价类的性质 ３、对任何x∈X,∪[x]R=X 我们用证左边是右边的子集并且右边也是左子集的方法来证上面的等式． 对任何x∈X,则x∈[x]R而[x]R?∪[x]R于是 x∈∪[x]R即X?∪[x]R 而x∈∪[x]R则有x∈[x]R而[x]R?Ｘ于是有x∈Ｘ即∪[x]R ?Ｘ 综上∪[x]R=X */45 */45 等价类的性质 4. 证明：假定 ，对于某个 ，有 。由于 ，会有 ，因而 。 设 ，于是 因而证毕。 */45 */45 等价类的性质 例 设A={a,b,c,d}，A上的关系 R是A上的等价关系 同一个等价类中元素均相互等价。不同等价类中的元素互不等价。 由A的各元素所生成的等价类必定覆盖A，决定了集合A的一种划分。 */45 */45 二、等价关系 定理：设R是非空集合X中的等价关系。R的等价类的集合 ，是X的一个划分。 定义：设R是非空集合X中的等价关系。R的各元素生成的等价类集合 叫按R去划分X的商集，记作X/R，也可以写成X(mod R)。 由定义可知，按R对集合X的划分X/R是一个集合，并且X/R的基数是X的不同的R等价类的数目，因此X/R的基数又称为等价关系R的秩。 */45 */45 特殊的等价关系 全域关系：令等价关系R1=X X，这里X的每一个元素与X的所有元素都有R1的关系。按R1划分X的商集乃是集合{X}。等价关系R1是全域关系。全域关系会造成集合X的最小划分。 恒等关系R：X的每一个元素仅关系到它自身，而不关系到其它元素。显然，R是个恒等关系。按R划分X的商集，仅由单元素集合组成。恒等关系R会造成集合X的最大划分。这些划分均称作X的平凡划分。 */45 */45 等价关系与集合的划分 例：令R是整数集合I中的“模3同余”关系，R可给定成 求I的元素所生成的R等价类。 解：等价类是 可以看出，等价关系可以造成集合的一个划分。 */45 */45 等价关系与集合的划分 定理：设C是非空集合X的一个划分，则由这个划分所确定的下述关系R 必定是个等价关系，并称R为由C划分导出的X中的等价关系。 证明：要证明R是个等价关系，就必须证明R是自反的、对称的和可传递的。 (a)由于C是X的划分，C必定覆盖X。对任意的 ，必有X属于C的某一个元素S。所以对于每一个 ，都有xRx，即R是自反的。 */45 */45 等价关系与集合的划分 证明： （b） 假定xRy。于是存在一个 ，且 和 ，所以有yRx。因此，R是对称的。 （c）假定xRy和yRz。于是存在两个元素 和 ，且 和 ，所以有 。这样就有S1=S2，因此， 。从而xRz，所以有R是可传递的。综上，R是个等价关系。证毕。 可以看出，给定集合的一种划分，就可以写出一个等价关系。反过来，集合中的等价关系也能够生成该集合的划分。 */45 */45 等价关系与集合的划分 例：设X={a,b,c,d,e}和C={{a,b},{c},{d,e}}。试写出由划分C导出的X中的等价关系。 解：用R表示这个等价关系，（每一个类做笛卡尔乘积） 注意：集合中的等价关系能够生成该集合的划分，反过来集合中的任何一种划分又能确定一种等价关系。 */45 */45 a b c a b c b a c c a b a c b */45