第4章_二元关系(2009-2010-02).ppt

定理4.6.1 设R是有限集合X上的相容关系，C是R产生的相容类，那么必存在最大相容类CR，使得 C?CR。 证明：设X=?x1,x2,… ,xn?，令C0=C。 如下构造相容类序列：C0?C1?C2?… Ci+1=Ci∪?xj? 其中：j是使 xj?Ci 且xj与Ci的每一个元素都有相容关系R的x的最小下标。 因为|X|=n，所以至多经过n-|C|步，可结束此过程。序列的最后一个集合就是要求的最大相容类CR。 定理4.6.2 设X是有限集合，R是X上的相容关系，由R产生的所有最大相容类构成的集合是X的覆盖。 证明：设R产生的所有最大相容类构成的集合为：?C1, C2,…, Cn? ⑴由相容类的定义知，任何最大相容类Ci都是X的子集。 ⑵证明X= C1∪C2∪…∪Cn 因为Cj? X，所以 C1∪C2∪…∪Cn ? X。 ?x?X，?x?是相容类，根据定理4.6.1，必存在最大相容类Ci使得?x??Ci ，而Ci?C1∪C2∪…∪Cn， 所以x?C1∪C2∪…∪Cn， 这就证明X?C1∪C2∪…∪Cn 故X=C1∪C2∪…∪Cn 定义4.6.4 设R是X上的相容关系，S=?R产生的最大相容类?叫做集合X的完全覆盖，记为CR(X)。 例如，在例4.24中最大相容类构成的集合为??2,3,5?，?2,3,4?，?1,5?，?6??，它是集合X=?1,2,3,4,5,6?的一个完全覆盖。根据相容关系和相容类的定义，X中的任何元素组成的单元素集是由相容关系R产生的一个相容类。所以?1?,?2?,?3?,?4?,?5?,?6?都是相容类，集合??1?,?2?,?3?,?4?,?5?,?6??是X的覆盖。即完全覆盖是X的覆盖，某些相容类构成集合也是X的覆盖。所以由相容关系R产生的相容类构成的X的覆盖并不惟一。但是一个相容关系只对应惟一的一个完全覆盖。 定理4.6.3 设S=?S1，S2，…，Sm?是X的一个覆盖，则R=(S1×S1)∪(S2×S2)∪…∪(Sm×Sm)是X上的相容关系。 证明：⑴ x?X，因为S是X的一个覆盖，存在Si?S，使x?Si，于是有 ?x,x??Si×Si?(S1×S1)∪(S2×S2)∪…∪(Sm×Sm)=R，即?x,x ??R，所以R是自反的。 ⑵设?x,y??R=(S1×S1)∪(S2×S2)∪…∪(Sm×Sm)， ?x,y??Si×Si，?y,x??Si×Si， 而 Si×Si?(S1×S1)∪(S2×S2)∪…∪(Sm×Sm)=R，即?y,x??R，所以R是对称的。 将定理4.6.3中的R叫做覆盖S导出的相容关系。 【例4.25】设X=?1,2,3,4?，S1=??1,2,3?,?3,4??， S2=??1,2?,?2,3?,?1,3?,?3,4??是X的两个覆盖。试写出S1和S2 导出的相容关系R1和R2。 解：R1=?1,2,3?×?1,2,3?∪?3,4?×?3,4? =??1,1?,?1,2?,?1,3?,?2,1?,?2,2?,?2,3?, ?3,1?,?3,2?,?3,3?,?3,4?,?4, 3?,?4,4?? R2=?1,2?×?1,2?∪?2,3?×?2,3? ∪?1,3?×?1,3?∪?3,4?×?3,4? =??1,1?,?1,2?,?2,1?,?2,2?,?2,3?,?3,2?, ?3,3?,?1,3?,?3,1?,?3,4?,?4, 3?,?4,4?? 在例4.25中，S1≠S2，但是R1=R2。这说明不同的覆盖可以导出相同的相容关系。 定理4.6.4 集合X上的相容关系R与集合X的完全覆盖CR(X)是一一对应的。 4.7.1偏序关系与哈斯图 定义4.7.1 设R?X×X，如果R是自反的，反对称的和传递的，则称R是X上的偏序关系。记为?。二重组?X,??称为偏序集。如果?x,y???，记为x?y，读作x小于等于y。 【例4.26】设A是集合，P(A)是A的幂集合，P(A)上的包含关系?定义如下： ? =??x,y??x?P(A)∧y