二元关系课件.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]Rc?[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/