- 1、本文档共75页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
本章内容 13.1 格的定义与性质 13.3 分配格与有补格 13.4 布尔代数 本章总结 作业 13.1 格的定义与性质 定义13.1 设S,≤是偏序集,如果?x,y∈S,{x,y}都有最小上界和最大下界,则称S关于偏序≤作成一个格(lattice)。 说明:由于最小上界和最大下界的唯一性,可以把求{x,y}的最小上界和最大下界看成x与y的二元运算∨和∧。 x∨y:表示x与y的最小上界 x∧y:表示x和y的最大下界。 ??? 本章出现的∨和∧符号只代表格中的运算,而不再有其它的含义。 格的实例 例13.1 设n是正整数,Sn是n的正因子的集合。D为整除关系,则偏序集Sn,D构成格。?x,y∈Sn, x∨y是lcm(x,y),即x与y的最小公倍数。 x∧y是gcd(x,y),即x与y的最大公约数。 下图给出了格S8,D,S6,D和S30,D。 例13.2 例13.2 判断下列偏序集是否构成格,并说明理由。 (1) P(B),?,其中P(B)是集合B的幂集。 (2) Z,≤,其中Z是整数集,≤为小于或等于关系。 (3) 偏序集的哈斯图分别在下图给出。 例13.2 解答 (1)是格。 ?x,y∈P(B),x∨y就是x∪y,x∧y就是x∩y。 由于∪和∩运算在P(B)上是封闭的,所以x∪y,x∩y∈P(B)。 称P(B), ?,为B的幂集格。 (2)是格。 ?x,y∈Z,x∨y=max(x,y),x∧y=min(x,y),它们都是整数。 (3)都不是格。 (a)中的{a,b}没有最大下界。 (b)中的{b,d}有两个上界c和e,但没有最小上界。 (c)中的{b,c}有三个上界d,e,f,但没有最小上界。 (d)中的{a,g}没有最大下界。 例13.3 例13.3 设G是群,L(G)是G的所有子群的集合。即 L(G)={ H|H≤G } 对任意的H1,H2∈L(G),H1∩H2也是G的子群,而H1∪H2是由H1∪H2生成的子群(即包含着H1∪H2的最小的子群)。 在L(G)上定义包含关系?,则L(G)关于包含关系构成一个格,称为G的子群格。 易见在L(G)中,H1∧H2就是H1∩H2,H1∨H2就是H1∪H2。 对偶原理 定义13.2 设f是含有格中元素以及符号=、≤、≥、∨和∧的命题。令f*是将f中的≤替换成≥,≥替换成≤,∨替换成∧,∧替换成∨所得到的命题。称f*为f的对偶命题。 例如 在格中令f是(a∨b)∧c≤c,则f*是(a∧b)∨c≥c。 格的对偶原理 设f是含有格中元素以及符号=、≤、≥、∨和∧的命题。若f对一切格为真,则f的对偶命题f*也对一切格为真。 例如 对一切格L都有 ?a,b∈L,a∧b≤a (因为a和b的交是a的一个下界) 那么对一切格L都有 ?a,b∈L,a∨b≥a 说明 许多格的性质都是互为对偶命题的。 有了格的对偶原理,在证明格的性质时, 只须证明其中的一个命题即可。 格的运算性质 定理13.1 设L,≤是格,则运算∨和∧适合交换律、结合律、幂等律和吸收律,即 (1)交换律 ?a,b∈L 有 a∨b=b∨a a∧b=b∧a (2)结合律 ?a,b,c∈L 有 (a∨b)∨c=a∨(b∨c) (a∧b)∧c=a∧(b∧c) (3)幂等律 ?a∈L 有 a∨a=a a∧a=a (4)吸收律 ?a,b∈L 有 a∨(a∧b)=a a∧(a∨b)=a 定理13.1 (1)a∨b和b∨a分别是{a,b}和{b,a}的最小上界。 由于{a,b}={b,a},所以a∨b=b∨a。 由对偶原理,a∧b=b∧a得证。 (2)由最小上界的定义有 (a∨b)∨c≥a∨b≥a (13.1) (a∨b)∨c≥a∨b≥b (13.2) (a∨b)∨c≥c (13.3) 由式13.2和13.3有 (a∨b)∨c≥b∨c (13.4) 再由式13.1和13.4有 (a∨b)∨c≥a∨(b∨c) 同理可证 (a∨b)∨c≤a∨(b∨c) 根据偏序关系的反对称性有 (a∨b)∨c=a∨(b∨c) 由对偶原理,(a∧b)∧c=a∧(b∧c)得证。 定理13.1 (3)显然a≤a∨a, 又由a≤a可得 a∨a≤a。 根据反对称性有 a∨a=a, 由对偶原理,a∧a=a 得证。 (4)显然 a∨(a∧b)≥a (13.5) 又由 a≤a,a∧b≤a 可得 a∨(a∧b)≤a (13.6) 由式13.5和13.6可得? a∨(a∧b)=a, 根据对偶原理,a∧(a∨b)=a 得证。 定理13.2 定理13.2
您可能关注的文档
- 诗歌鉴赏-评价作品思想和作者观点.ppt
- 诗歌鉴赏四:评价诗歌的思想内容和作者的观点态度讲稿.ppt
- 施工安全作业票填写标准与执行程序.ppt
- 施工动火安全检查报告.ppt
- 施耐德PLC讲座第07章 IEC语言:梯形图.ppt
- 十 Android Service.ppt
- 十、互连和IO-1.ppt
- 十二备份与恢复简介.ppt
- 十二烷基二甲基苄基氯化铵性能及.ppt
- 十二章和十三章物理总结.ppt
- 2025年休闲食品健康化转型下的市场拓展策略与渠道创新报告[001].docx
- 农村电商服务站品牌建设:2025年运营模式创新与品牌传播报告.docx
- 2025年互联网金融平台合规整改与金融科技监管的合规监督与可持续发展策略.docx
- 2025年短视频平台内容监管与平台社会责任关系研究报告.docx
- 农产品溯源体系在农产品质量安全监管中的信用体系构建与实施策略研究.docx
- 2025年工业互联网平台数据备份与恢复策略创新方案探讨.docx
- 2025年线上法律咨询服务平台法律咨询行业竞争策略研究.docx
- 农业产业集群农产品流通体系构建与发展机制报告.docx
- 智能制造领航者:2025年3D打印技术在规模生产中的应用效果分析报告[001].docx
- 农村金融服务创新与农村金融消费者权益保护法规实施效果分析报告.docx
文档评论(0)