离散数学第2a章课件.pptVIP

* 定理6。设R是非空集合Ａ上的等价关系， ?是A上的一个划分。那么 R= R? ? ?R = ? 。 [证]. (采用逻辑法) 先证： R= R? ? ?R = ? 对任何元素a?A ，有 对任何元素x?A ，有 　　　　 x??a?R 　　　　 ? xRa ? xR?a (已知条件： R= R? ) ? x??a?R? 所以　?a?R=?a?R? 所以 (?a?A)(?a?R=?a?R? ) 　所以 ?R ={?a?R : a?A }={?a?R? : a?A }= ? ； * 次证： ?R = ?? R= R? 　对任何序偶(a,b)?A×A 　　　 (a,b)?R ?aRb ?bRa (R是等价关系，故R对称) ?b??a?R ?b??a?R? (已知条件：?R = ??(?a?A)(?a?R=?a?R? ) ) ?bR? a ?aR? b (R?是等价关系，故R?对称) 　 ?