- 1、本文档共20页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 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
您可能关注的文档
最近下载
- 宿舍改造案例.pptx
- 人教版七下数学《相交线与平行线》单元作业设计 (60页) .pdf
- 《威尼斯商人》课件2.ppt VIP
- 视频监控系统安装服务方案(技术方案).docx
- 2025中考语文权威押题 信息必刷卷01(安徽专用)(试卷+解析).docx VIP
- FK6-1000巴马格加弹机电气说明书.pdf
- 山东省烟台市2024_2025学年高二数学下学期期中试题含解析.doc VIP
- 文言文试题专项训练 专题01 先秦时期-2025年高考历史临考提分(解析版).docx
- 2025中考语文权威押题 信息必刷卷05(安徽专用)(试卷+解析).docx VIP
- 2025中考语文权威押题 信息必刷卷03(安徽专用)(试卷+解析).docx VIP
文档评论(0)