已阅读5页,还剩32页未读, 继续免费阅读
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1,第十一章 格与布尔代数,主要内容 格的定义及性质 子格 分配格、有补格 布尔代数,2,11.1 格的定义与性质,定义11.1 设是偏序集,如果x,yS,x,y都有最小上 界和最大下界,则称S关于偏序作成一个格. 求x,y 最小上界和最大下界看成 x 与 y 的二元运算和,,例1 设n是正整数,Sn是n的正因子的集合. D为整除关系,则 偏序集构成格. x,ySn,xy是lcm(x,y),即x与y的 最小公倍数. xy是gcd(x,y),即x与y的最大公约数.,3,图2,例2 判断下列偏序集是否构成格,并说明理由. (1) ,其中P(B)是集合B的幂集. (2) ,其中Z是整数集,为小于或等于关系. (3) 偏序集的哈斯图分别在下图给出.,实例,(1) 幂集格. x,yP(B),xy就是xy,xy就是xy. (2) 是格. x,yZ,xy = max(x,y),xy = min(x,y), (3) 都不是格. 可以找到两个结点缺少最大下界或最小上界,4,实例:子群格,例3 设G是群,L(G)是G 的所有子群的集合. 即 L(G) = H | HG , 对任意的H1, H2L(G),H1H2是G 的子群,是由 H1H2生成的子群(即包含着H1H2的最小子群). 在L(G)上定义包含关系,则L(G)关于包含关系构成一个 格,称为G的子群格. 在 L(G)中, H1H2 就是 H1H2 H1H2 就是 ,5,格的性质:对偶原理,定义11.2 设 f 是含有格中元素以及符号 =, , ,和的命题. 令 f*是将 f 中的替换成,替换成,替换成,替换成 所得到的命题. 称 f* 为 f 的对偶命题. 例如, 在格中令 f 是 (ab)cc, f*是 (ab)cc .,格的对偶原理 设 f 是含有格中元素以及符号=,和等的命题. 若 f 对 一切格为真, 则 f 的对偶命题 f*也对一切格为真. 例如, 如果对一切格L都有 a,bL, aba,那么对一切格L 都有 a,bL, aba 注意:对偶是相互的,即 ( f*)*= f,6,格的性质:算律,定理11.1 设是格, 则运算和适合交换律、结合律、 幂等律和吸收律, 即 (1) a,bL 有 ab = ba, ab = ba (2) a,b,cL 有 (ab)c = a(bc), (ab)c = a(bc) (3) aL 有 aa = a, aa = a (4) a,bL 有 a(ab) = a, a(ab) = a,7,证明,(1) ab是 a, b 的最小上界, ba是 b, a 的最小上界. 由于 a, b = b, a , 所以 ab = ba. 由对偶原理, ab = ba.,(2) 由最小上界的定义有 (ab)caba (1) (ab)cabb (2) (ab)cc (3) 由式(2)和(3)有 (ab)cbc (4) 由式(1)和(4)有 (ab)ca(bc) 同理可证 (ab)ca(bc) 根据反对称性 (ab)c = a(bc) 由对偶原理, (ab)c = a(bc),8,证明,(3) 显然 a aa, 又由 a a 可得 aa a. 根据反对称性有aa = a . 由对偶原理, aa = a 得证. (4) 显然 a(ab) a (5) 由 a a, ab a 可得 a(ab) a (6) 由式(5)和(6) 可得 a(ab) = a, 根据对偶原理, a(ab) = a,9,格的性质:序与运算的关系,定理11.2 设L是格, 则a,bL有 a b ab = a ab = b,证 (1) 先证 a b ab = a 由 a a 和 a b 可知 a 是 a,b 的下界, 故 a ab. 显然有ab a. 由反对称性得 ab = a. (2) 再证 ab = a ab = b 根据吸收律有 b = b(ba) 由 ab = a 和上面的等式得 b = ba, 即 ab = b. (3) 最后证 ab = b ab 由 a ab 得 a ab = b,10,格的性质:保序,定理11.3 设L是格, a,b,c,dL,若a b 且 c d, 则 ac bd, ac bd,例4 设L是格, 证明a,b,cL有 a(bc) (ab)(ac).,证 ac a b, ac c d 因此 ac bd. 同理可证 ac bd,证 由 a a, bc b 得 a(bc) ab 由 a a, bc c 得 a(bc) ac 从而得到a(bc) (ab)(ac) 注意:一般说来, 格中的和运算不满足分配律.,11,格作为代数系统的定义,定理11.4 设是具有两个二元运算的代数系统, 若对于 和运算适合交换律、结合律、吸收律, 则可以适当定义S中 的偏序 ,使得 构成格, 且a,bS 有 ab = ab, ab = ab. 证明省略. 根据定理11.4, 可以给出格的另一个等价定义.,定义11.3 设是代数系统, 和是二元运算, 如果 和满足交换律、结合律和吸收律, 则构成格.,12,子格及其判别法,定义11.4 设是格, S是L的非空子集, 若S关于L中的运算和仍构成格, 则称S是L的子格.,例5 设格L如图所示. 令 S1=a, e, f, g, S2=a, b, e, g S1不是L的子格, 因为e, fS1 但 ef = cS1. S2是L的子格.,13,11.2 分配格、有补格与布尔代数,定义11.5 设是格, 若a,b,cL,有 a(bc) = (ab)(ac) a(bc) = (ab)(ac) 则称L为分配格. 注意:可以证明以上两个条件互为充分必要条件,L1 和 L2 是分配格, L3 和 L4不是分配格. 称 L3为钻石格, L4为五角格.,实例,14,分配格的判别及性质,定理11.5 设L是格, 则L是分配格当且仅当L不含有与钻石格 或五角格同构的子格. 证明省略. 推论 (1) 小于五元的格都
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 采购物资分类与供应商管理工具
- 本单元复习与测试教学设计-2025-2026学年小学劳动二年级上册人教版《劳动教育》
- 特定范围合规合法经营承诺函5篇
- 团队协作沟通平台与指南
- 2025榆林神木市高新技术产业开发区医院招聘(3人)考试笔试模拟试题及答案解析
- 会议策划执行流程模板高效执行指南
- 校企合作产教融合年度总结报告
- 新教师入职培训心得体会及工作建议
- 酒店客房管理与服务质量提升技巧
- 2025进口食品行业贸易格局分析及消费偏好与渠道优化策略研究报告
- DB42-T 2391-2025 全域国土综合整治项目实施方案编制指南
- DB44T 1591-2015 小档口、小作坊、小娱乐场所消防安全整治技术要求
- 无讼学院实习律师培训结业考试题目含答案
- DG-TJ08-2021-2025 干混砌筑砂浆抗压强度现场检测技术标准
- 养老院护理员培训课件
- 关于畜禽交易管理办法
- 神经内科眩晕病例讨论课件
- 管制刀具班会课件
- 2025-2030年中国经颅磁刺激仪行业市场现状供需分析及投资评估规划分析研究报告
- Z世代游客形象感知研究-洞察及研究
- 汽修维修记录管理制度
评论
0/150
提交评论