第3章 集合与关系VI(11-12).pptVIP

【例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序关系 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?P (A)∧x?y ? 试证明?是P (A)上偏序关系。 证明：⑴?x?P(A)，x?x，?x,x???。即?是自反的。 ⑵设?x,y???∧?y,x???，由包含关系?定义有x?y∧ y?x，根据集合相等的定义，x=y。即?是反对称的。 ⑶设?x,y???∧?y,z???，由包含关系?的定义有x?y∧ y?z ，根据集合包含的传递性，x?z，再由包含关系?定义有?x,z???，即?是传递的。?是P (A)上偏序关系。 另外, 任意集合A上的恒等关系IA是自反的，反对称的和传递的，IA是A上偏序关系；实数集合上的小于等于关系(参看例4.10)也是自反的，反对称的和传递的，它是实数集合上的偏序关系。 定义4.7.2 设?X,??为偏序集，对X中的元素x和y，如果x?y，x≠y且没有X中的其它元素z使x?z和z?y，则称y盖住了x。 【例4.27】设A=?2,5,6,10,15,30?，A上的整除关系R定义如下： R=??x,y??x?A∧y?A∧x整除y ? 验证R是A上的偏序关系，分析哪些元素盖住了另一些元素，哪些元素没有盖住了另一些元素。 解：因为A的任何元素都能整除它自己，所以R是自反的；当x整除y且y整除x时，一定有x=y，所以R 是反对称的；当x整除y且y整除z，x一定整除z，所以R 是传递的。即R是A上的偏序关系。 用列举法将R表示为： R=??2,2?,?2,6?,?2,10?,?2,30?,?5,5?,?5,10?, ?5,15?,?5,30?,?6,6?,?6,30?,?10,10?,?10,30?, ?15,15?,?15,30?,?30,30?? 6和10盖住了2；但30没有盖住了2，因为?2,6??R和 ?6,30??R。 10和15盖住了5；但30没有盖住了5，因为?5,10??R和?10,30??R。 30盖住了6、10和15。 定义4.7.3设?X,??为偏序集，集合 ??x,y??x?X∧y?X∧y盖住了x? 叫做X上的盖住关系。记为COV X。 设COV X是X上的盖住关系，如果?x,y??COV X，根据定义4.7.3，y盖住了x，由定义4.7.2知，x?y，即?x,y???。故COV X??。所以任何盖住关系COV X都是相应偏序关系?的子集。 在例4.27中，偏序集?A, R?的盖住关系 COV A =??2,6?,?2,10?,?5,10?,?5,15?,