第4章二元关系范例.pptVIP

从定理4.5.1可以看出，等价关系的任何等价类是该等价关系前域(或陪域)的子集。例如，模3等价类是整数集合的子集：[0]R?I，[1]R?I，[2]R?I。 从定理4.5.1还可以看出，任何等价类是非空集合。x形成的R等价类[x]R至少有一个元素x。例如，在模3等价类中，0?[0]R，1?[1]R，2?[2]R。 定理4.5.2 设R是X上的等价关系，对于X的任意元素a和b，aRb 的充分必要条件是[a]R=[b]R 证明：设aRb，下证 [a]R=[b]R c?[a]R，aRc，由R的对称性有cRa，由条件aRb和R的传递性得cRb，再根据R的对称性有bRc，c?[b]R，故[a]R?[b]R。 类似地可以证明 [b]R?[a]R。这就证明了[a]R=[b]R。 设 [a]R=[b]R，下证aRb。 由定理4.5.1知a?[a]R，因为[a]R=[b]R，所以a?[b]R，bRa，由R的对称性有aRb。 定义4.5.3 设R是X上的等价关系，R的所有等价类组成的集合?[x]R?x?X?叫做X关于R的商集。记为X/R。 在例4.19中，等价关系R 有三个等价类：[1]R=[2]R=?1,2?，[3]R=[4]R=?3,4?，[5]R=?5?，A关于R的商集