离散数学第4章 二元关系.ppt

从定理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的商集 A/R=?[1]R，[2]R，[5]R? = ??1,2?，?3,4?，?5?? 模3等价关系R的等价类有以下三个：[0]R，[1]R和[2]R，由它确定的整数集合I关于R的商集I/R=?[0]R，[1]R，[2]R?。 定理4.5.3 设 R是X上的等价关系，X关于R的商集X/R是X的一个划分。 证明：⑴由定理4.5.1知，[x]R?X且[x]R≠?。 ⑵证明 = X。 因为 [x]R?X，所以 ?X。 另一方面， x?X，由定理4.5.1知，x?[x]R? ， x? ，所以，X? 。故 =X ⑶ 证明商集X/R中的元素是两两互不相交的。 设 [a]R≠[b]R ，证明[a]R∩[b]R =? 假定[a]R∩[b]R≠? ??c?[a]R∩[b]R ??c?[a]R∧?c?[b]R ?aRc∧bRc?aRc∧cRb (因为R是对称的) ?aRb (因为R是传递的) ?[a]R=[b]R (定理4.5.2) 与假定矛盾。 所以[a]R∩[b]R＝? 定理4.5.4 设S=?S1，S2，…，Sm?是X的一个划分， R=??x,y?| x和y在同一个划分块中?， 则R是X上的等价关系。 证明：⑴设x?X=S1∪S2∪…∪Sm，因为S是X的一个划分，所以存在惟一的划分块Sj?S，使x?Sj，于是有?x,x??R，即R是自反的。 ⑵设?x,y??R，x和y在某个划分块Sj中，则y和x也在划分块Sj中，所以?y,x??R，即R是对称的。 ⑶设?x,y??R∧?y,z??R?x和y在Si中且y和z在Sj中? y?Si∩Sj≠?，因为S是X的一个划分，其中元素两两互不相交，故必有Si=Sj?x和z在Sj中??x,z??R，即R是传递的。 将定理4.5.4中的等价关系R叫做划分S导出的等价关系。划分S导出的等价关系R也可以表示为： R =(S1×S1)∪(S2×S2)∪…∪(Sm×Sm) 【例4.21】设X=?1,2,3,4?，X的划分S=??1?，?2,3?， ?4??，试写出S导出的等价关系R。 解：R=??1,1?,?2,2?,?2,3?,?3,2?,?3,3?,?4,4?? =?1?×?1?∪?2,3?×?2,3?∪?4?×?4? 可以验证R是X上的等价关系。 定理4.5.5 设R，S集合X上的等价关系，则R=S 当且仅当 X/R=X/S 证明：⑴设R=S，证明X/R=X/