- 1、本文档共24页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
离散数学习题解答(第五章)格与布尔代数
离散数学习题解答
习题五(第五章 格与布尔代数)
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
您可能关注的文档
最近下载
- 某公司服装生产线单件流实施方案.doc VIP
- 2025年四川省绵阳市中考数学二模试卷.docx
- 中职英语教案:Food-and-Drinks(全6课时).doc VIP
- 1019高二【历史(统编版)】近代以来中国的官员选拔与管理(下)-课件.pptx VIP
- 南阳历史文化名镇保护规划(2021-2035)文本+图集(100页).pdf VIP
- WinCC与Office办公平台的数据报表集成DataMonitor.pptx
- 1015高二【历史(统编版)】近代以来中国的官员选拔与管理(上)-课件.pptx VIP
- 双照楼诗词稿.docx VIP
- 锅炉维修施工方案.pdf VIP
- 美剧剧本绝望主妇台词本中英文对照精排版第一季第一集.pdf VIP
文档评论(0)