离散数学-第8章 习题解答.docVIP

第8章 习题解答 PAGE PAGE 1 习题 8.1 1.图8.9中给出4个偏序集的哈斯图。判断其中哪些是格。如果不是格，说明理由。 解：(a)是格。 (b)íd,ey虽有下界，但没有最大下界，不是格。 (c) ía,by没有下界，因而没有最大下界，不是格。 (d) ía,by没有下界，因而没有最大下界，不是格。 2.下列各集合对于整除关系都构成偏序集，判断哪些偏序集是格。 (1) L=í1,2,3,4,5y (2) L=í1,2,3,6,12y (3) L=í1,2,3,4,6,8,12,14y (4) L=í1,2,3,4,5,6,7,8,9,10,11,12y (5) L=í1,2,3,4,6,9,12,18,36y 解：(1)设R是L上的整除关系。 R=íx,y|x∈L∧y∈L∧x整除yy=í1,2,1,3,1,4,1,5,2,4y∪IL 它的盖住关系为：COV L＝í1,2,1,3,1,5,2,4y。其哈斯图如图8.11所示。因为í3,5y无上界，因而无最小上界，L,R不是格。 (2)设R是L上的整除关系。 R=í1,2,1,3,1,6,1,12,2,6,2,12,3,63,126,12y∪IL 它的盖住关系为：COV L＝í1,2,1,3,2,6,3,6,6,12y。其哈斯图如图8.12所示。L,R是格。 (3)设R是L上的整除关系。 R=í1,2,1,3,1,4,1,6,1,8,1,12,1,14,2,4,2,6,2,8, 2,12,2,14,3,6,3,12,4,8,4,12,6,12y∪IL 它的盖住关系为：COV L＝í1,2,1,3,2,4,2,6,2,14,3,6,4,8,4,12,6,12y。其哈斯图如图8.13所示。í8,12y无上界，也是最小上界，所以L,R不是格。 (4)设R是L上的整除关系。 R=í1,2,1,3,1,4,1,5,1,6,1,7,1,8,1,9,1,10,1,11,1,12,2,4, 2,6,2,8,2,10,2,12,3,6,3,9,3,12,4,8,4,12,5,10,6,12y∪IL 它的盖住关系为： COV L＝í1,2,1,3,1,5,1,7,1,11,2,4,2,6,3,6, 3,9,4,8,4,12,5,10,6,12y 其哈斯图如图8.14所示。í8,12y无上界，也是最小上界，所以L,R不是格。 (5)设R是L上的整除关系。 R=í1,2,1,3,1,4,1,6,1,9,1,12,1,18,1,36,2,4,2,6,2,12, 2,18,2,36,3,6,3,9,3,12,3,18,3,36,4,12,4,36,6,12, 6,18,6,36,9,18,9,36,12,36,18,36y∪IL 它的盖住关系为 COV L＝í1,2,1,3,2,4,2,6,3,6,3,9,4,12,6,12, 6,18,9,18,12,36,18,36y 其哈斯图如图8.15所示。L,R是格。 3．求下列命题的对偶命题。 (1) a∧(a∨b)=a (2) a∨(b∧c)?(a∨b)∧(a∨c) (3) (a∨b)∧c?a∨(b∧c) 解：(1) a∨(a∧b)=a (2) a∧(b∨c)?(a∧b)∨(a∧c) (3) (a∧b)∨c?a∧(b∨c) 4．设X,?是偏序集，在X上定义二元关系?=ía,b|b,a??y。证明X,?也是偏序集。 证明：⑴a?X，由?的自反性知，a,a???a,a??，所以，?是自反的。 ⑵a,b??且b,a???b,a??且a,b??，由于?是反对称的，所以a=b，所以，?是反对称的。 ⑶a,b??且b,c??，则b,a??且c,b??，由于?是传递的，所以c,a??。故a,c??，这就证明?是传递的。 综上所述，X,?也是偏序集。 5．设A,?是格，a,b?A，a?b (即a?b且a≠b)，令B=íx|x?A且a?x?by。证明B,?也是格。 证明：显然，B,?是偏序集。 x，y?B，íx,yy?B且B?A，所以íx,yy ?A，而A,?是格，íx,yy在A中有最小上界，设íx,yy最小上界是u?A。 先证明u?B。 因为u是íx,yy的上界，所以a?x?u，由?的传递性，a?u；又因为a?x?b和a?y?b,所以，b是íx,yy的上界，由最小界的定义，u?b。即a?u?b，所以，u?B，B≠?。 再证明u是íx,yy在B中的上界。 u?B?A，因为u是íx,yy最小上界，因而是上界，所以，x?u且y?u，故u是íx,yy在B中的上界。 最后证明u是íx,yy在B中的最小上界。 设v?B是íx,yy在B中的上界。因为B?A，所以v?A，又因为u 是íx,yy在A中的最小上界，u?v。所以，u是íx,yy在B中的最小上界。 类似地可