网站大量收购独家精品文档,联系QQ:2885784924

3~离散数学习题解答的(第五章)格与布尔代数5.doc

3~离散数学习题解答的(第五章)格与布尔代数5.doc

  1. 1、本文档共20页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
3~离散数学习题解答的(第五章)格与布尔代数5

离散数学习题解答 习题五(第五章 格与布尔代数) 1.设〈L,?〉是半序集,?是L上的整除关系。问当L取下列集合时,〈L,?〉是否是格。 a) L={1,2,3,4,6,12} b) L={1,2,3,4,6,8,12} c) L={1,2,3,4,5,6,8,9,10} [解] a) 〈L,?〉是格,因为L中任两个元素都有上、下确界。 b) 〈L,?〉不是格。因为L中存在着两个元素没有上确界。 例如:8?12=LUB{8,12}不存在。 c) 〈L,?〉不是格。因为L中存在着两个元素没有上确界。 倒例如:4?6=LUB{4,6}不存在。 2.设A,B是两个集合,f是从A到B的映射。证明:〈S,?〉是〈2B,?〉的子格。其中 S={y|y=f (x),x∈2A} [证] 对于任何B1∈S,存在着A1∈2A,使B1=f(A1),由于f(A1)={y|y∈B∧(?x)(x∈A1∧f (x)=y)}?B 所以B1∈2B,故此S?2B;又B0=f (A)∈S (因为A∈2A),所以S非空; 对于任何B1,B2∈S,存在着A1,A2∈2A,使得B1=f (A1),B2=f (A2),从而 L∪B{B1,B2}=B1∪B2=f (A1)f (A2) =f (A1∪A2) (习题三的8的1)) 由于A1∪A2?A,即A1∪A2∈2A,因此f (A1∪A2)∈S,即上确界L∪B{B1,B2}存在。 对于任何B1,B2∈S,定义A1=f –1(B1)={x|x∈A∧f (x)∈B1},A2=f-1(B2)={x|x∈A∧f (x)∈B2},则A1,A2∈2A,且显然B1=f (A1),B2=f (A2),于是 GLB{B1,B2}=B1∩B2=f (A1)∩f (A2) ?f (A1∩A2) (习题三的8的2)) 又若y∈B1∩B2,则y∈B,且y∈B2。由于y∈B1=f (A1)={y|y∈B∧(?x)(x∈A1∧f (x)=y)},于是存在着x∈A1,使f (x)=y,但是f (x)=y∈B2。故此x∈A2=f-1(B2)={x|x∈A∧f(x)∈B2},x∈A1∩A2,从而y=f (x)∈f (A1∩A2),所以 GLB{B1,B2}=B1∩B2=f (A1)∩f (A2) ?f (A1∩A2) 这说明 GLB{B1,B2}=B1∩B2=f (A1)∩f (A2)=f (A1∩A2)于是从A1∩A2∈2A可知f (A1∩A2)∈S,即下确界GLB{B1,B2}存在。 因此,〈S,?〉是〈2B,?〉的子格。 3.设〈L,?〉是格,任取a,b∈L且a?b。证明〈B,?〉是格。其中 B={x|x∈L 且 a?x?b} [证] 显然B?L;根据自反性及a?b?b 所以a,b∈B,故此B非空; 对于任何x,y∈B,则有a?x?b及a?y?b,由于x,y∈L,故有z1=x?y为下确界∈L存在。我们只需证明z1,z2∈B即可,证明方法有二,方法一为: 由于 a?x,所以a?x=x,于是 z1=x?y =(a?x) ?y (利用a?x=x) =a? (x?y) (由?运算结合律) 因此a?z1;另一方面,由y?b可知y?b=b,由x?b可知x?b=b,于是 z1?b=(x?y) ?b =x?(y?b) (由?运算结合律) =x?b (利用y?b=b) =b (利用x?b=b) 因此 z1?b,即 a?z1?b 所以z1∈B 由于a?x及a?y,所以a*x=a,a*y=a,因而 a*z2=a* (x*y) =(a*x) *y (由*运算结合律) =a*y (利用a*x=a) =a (利用a*y=a) 因而a?z2;又由于y?b,所以y*b=y 于是 z2=x*y =x* (y*b) =(x*y) *b (利用*运算结合律) =z2*b 从而z2?b,即a?z2?b 所以z2∈B 因此〈B,?〉是格(是格〈L,?〉的子格)。 方法二:根据上、下确界性质,由a?x,a?y,可得a?x*y,(见附页数) 4.设〈L,?,*,?〉是格。?a,b∈L,证明:(附页) a?x??y,即a?z2,a? 又由x?b,y?b,可得x?y?b,x*y?y?b,即z1?b,z2?b 所以a?z1?b,a?z2?b,故此z1,z2∈B a*b?a且a*b?b?a与b是不可比较的。 [证] 先证? 用反证法,假设a与b是可比较的,于是有a?b或者b?a。 当a?b时,a*b=a与a*b?a(得a*b≠a)矛盾; 当b?a时,a*b

文档评论(0)

ayangjiayu3 + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档