版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、1第十一章第十一章 格与布尔代数格与布尔代数主要内容主要内容l 格的定义及性质格的定义及性质 l 子格子格l 分配格、有补格分配格、有补格l 布尔代数布尔代数211.1 格的定义与性质格的定义与性质 定义定义11.1 设设是偏序集,如果是偏序集,如果 x,y S,x,y都有最小上都有最小上界和最大下界,则称界和最大下界,则称S关于偏序关于偏序 作成一个作成一个格格. (偏序关系(偏序关系P126)求求x,y 最小上界和最大下界看成最小上界和最大下界看成 x 与与 y 的二元运算的二元运算和和,例例1 设设n是正整数,是正整数,Sn是是n的正因子的集合的正因子的集合. D为整除关系,则为整除关系
2、,则偏序集偏序集构成格构成格. 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 = ma
3、x(x,y),xy = min(x,y),(3) 都不是格都不是格. 可以找到两个结点缺少最大下界或最小上界可以找到两个结点缺少最大下界或最小上界4格的性质:算律格的性质:算律定理定理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 5格的性质:序与运算的关系格的性质:序与运算的
4、关系定理定理11.3 设设L是格是格, 则则 a,bL有有a b ab = a ab = b 可以用集合的例子来验证可以用集合的例子来验证 幂集格幂集格,其中,其中P(B)是集合是集合B的幂集的幂集.幂集格幂集格. x,yP(B),xy就是就是xy,xy就是就是xy.6格的性质:保序格的性质:保序定理定理11.4 设设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
5、a, bc b 得得 a(bc) ab由由 a a, bc c 得得 a(bc) ac从而得到从而得到a(bc) (ab)(ac) (注意最大下界)(注意最大下界)注意:一般说来注意:一般说来, 格中的格中的和和运算不满足分配律运算不满足分配律. 7格作为代数系统的定义格作为代数系统的定义定理定理11.4 设设是具有两个二元运算的代数系统是具有两个二元运算的代数系统, 若对若对于于 和和 运算适合交换律、结合律、吸收律运算适合交换律、结合律、吸收律, 则可以适当定义则可以适当定义S中中的偏序的偏序 ,使得使得 构成格构成格, 且且 a,bS 有有 ab = a b, ab = a b.证明省略
6、证明省略. 根据定理根据定理11.4, 可以给出格的另一个等价定义可以给出格的另一个等价定义. 定义定义11.3 设设是代数系统是代数系统, 和和 是二元运算是二元运算, 如如果果 和和 满足交换律、结合律和吸收律满足交换律、结合律和吸收律, 则则构成格构成格.811.2 分配格、有补格与布尔代数分配格、有补格与布尔代数 定义定义11.5 设设是格是格, 若若 a,b,cL,有有 a(bc) = (ab)(ac) a(bc) = (ab)(ac) 则称则称L为为分配格分配格.l 注意:可以证明以上两个条件互为充分必要条件注意:可以证明以上两个条件互为充分必要条件L1 和和 L2 是分配格是分配
7、格, L3 和和 L4不是分配格不是分配格. 称称 L3为为钻石格钻石格, L4为为五角格五角格.实例实例9有界格的定义有界格的定义定义定义11.6 设设L是格是格,(1) 若存在若存在aL使得使得 xL有有 a x, 则称则称a为为L的的全下界全下界(2) 若存在若存在bL使得使得 xL有有 x b, 则称则称b为为L的的全上界全上界 说明:说明:l 格格L若存在全下界或全上界若存在全下界或全上界, 一定是惟一的一定是惟一的. l 一般将格一般将格L的全下界记为的全下界记为0, 全上界记为全上界记为1.定义定义11.7 设设L是格是格,若若L存在全下界和全上界存在全下界和全上界, 则称则称L
8、 为为有界有界格格, 一般将有界格一般将有界格L记为记为.10 定理定理11.6 设设是有界格是有界格, 则则 aL有有a0 = 0, a0 = a, a1 = a, a1 = 1注意:注意:l 有限格有限格L=a1,a2,an是有界格是有界格, a1a2an是是L的全下的全下界界, a1a2an是是L的全上界的全上界. l 0是关于是关于运算的零元运算的零元,运算的单位元;运算的单位元;1是关于是关于运算的运算的零元零元,运算的单位元运算的单位元. 有界格的性质有界格的性质11有界格中的补元及实例有界格中的补元及实例定义定义11.8 设设是有界格是有界格, aL, 若存在若存在bL 使得使得
9、 ab = 0 和和 ab = 1 成立成立, 则称则称b是是a的的补元补元.l 注意:若注意:若b是是a的补元的补元, 那么那么a也是也是b的补元的补元. a和和b互为补元互为补元. 例例7 考虑下图中的格考虑下图中的格. 针对不同的元素,求出所有的补元针对不同的元素,求出所有的补元.12解答解答(1) L1中中 a 与与 c 互为补元互为补元, 其中其中 a 为全下界为全下界, c为全上界为全上界, b 没有没有 补元补元.(2) L2中中 a 与与 d 互为补元互为补元, 其中其中 a 为全下界为全下界, d 为全上界为全上界, b与与 c 也互为补元也互为补元.(3) L3中中a 与与
10、 e 互为补元互为补元, 其中其中 a 为全下界为全下界, e 为全上界为全上界, b 的补的补 元是元是 c 和和 d ; c 的补元是的补元是 b 和和 d ; d 的补元是的补元是 b 和和 c ; b, c, d 每个元素都有两个补元每个元素都有两个补元. (4) L4中中 a 与与 e 互为补元互为补元, 其中其中 a 为全下界为全下界, e 为全上界为全上界, b 的补的补 元是元是 c 和和 d ; c 的补元是的补元是 b ; d 的补元是的补元是 b . 13有界分配格的补元惟一性有界分配格的补元惟一性定理定理11.7 设设是有界分配格是有界分配格. 若若L中元素中元素 a
11、存在存在补元补元, 则存在惟一的补元则存在惟一的补元.证证 假设假设 c 是是 a 的补元的补元, 则有则有 ac = 1, ac = 0, 又知又知 b 是是 a 的补元的补元, 故故 ab = 1, ab = 0 从而得到从而得到 ac = ab, ac = ab, 由于由于L是分配格是分配格.b=b (ba) = b (ca )= (b c) (b a )= (ac ) c=c注意:注意:l 在任何有界格中在任何有界格中, 全下界全下界0与全上界与全上界1互补互补.l 对于一般元素对于一般元素, 可能存在补元可能存在补元, 也可能不存在补元也可能不存在补元. 如果如果存在补元存在补元,
12、可能是惟一的可能是惟一的, 也可能是多个补元也可能是多个补元. 对于有界对于有界分配格分配格, 如果元素存在补元如果元素存在补元, 一定是惟一的一定是惟一的.14图9有补格的定义有补格的定义定义定义11.9 设设是有界格是有界格, 若若L中所有元素都有补中所有元素都有补元存在元存在, 则称则称L为为有补格有补格. 例如例如, 图中的图中的L2, L3和和L4是有补格是有补格, L1不是有补格不是有补格. 15布尔代数的定义与实例布尔代数的定义与实例定义定义11.10 如果一个格是有补分配格如果一个格是有补分配格, 则称它为布尔格或布则称它为布尔格或布尔代数尔代数. 布尔代数标记为布尔代数标记为
13、, 为求补运算为求补运算. 例例8 设设 S110 = 1, 2, 5, 10, 11, 22, 55, 110是是110的正因子集合,的正因子集合,gcd表示求最大公约数的运算,表示求最大公约数的运算,lcm表示求最小公倍数的运表示求最小公倍数的运算,问算,问是否构成布尔代数?为什么?是否构成布尔代数?为什么?解解 画出哈斯图?画出哈斯图? (1) 不难验证不难验证S110关于关于gcd 和和 lcm 运算构成格运算构成格. (略略)(2) 验证分配律验证分配律 x, y, zS110 有有 gcd(x, lcm(y, z) = lcm(gcd(x, y), gcd(x, z) (3) 验证
14、它是有补格验证它是有补格, 1作为作为S110中的全下界中的全下界, 110为全上界为全上界, 1和和110互为补元互为补元, 2和和55互为补元互为补元, 5和和22互为补元互为补元, 10和和 11互为补元互为补元, 从而证明了从而证明了为布尔代数为布尔代数. 16布尔代数的性质布尔代数的性质定理定理11.8 设设是布尔代数是布尔代数, 则则(1) aB, (a ) = a .(2) a,bB, (ab) = a b , (ab) = a b (德摩根律)(德摩根律)证证 (1) (a ) 是是a 的补元的补元, a也是也是a 的补元的补元. 由补元惟一性得由补元惟一性得(a ) =a.
15、(2) 对任意对任意a, bB有有 (ab)(a b ) = (aa b )(ba b ) = (1b )(a 1) = 11 = 1, (ab)(a b ) = (aba )(abb ) = (0b)(a0) = 00 = 0a b 是是ab的补元的补元, 根据补元惟一性有根据补元惟一性有(ab) = a b , 同理同理可证可证 (ab) = a b . l 注意:德摩根律对有限个元素也是正确的注意:德摩根律对有限个元素也是正确的. 17图11实例实例下图给出了下图给出了 1 元元, 2 元元, 4 元和元和 8 元的布尔代数元的布尔代数. 18第十一章第十一章 习题课习题课主要内容主要内
16、容l 格的两个等价定义格的两个等价定义l 格的性质格的性质l 子格子格l 特殊格:分配格、有界格、有补格、布尔代数特殊格:分配格、有界格、有补格、布尔代数基本要求基本要求l 能够判别给定偏序集或者代数系统是否构成格能够判别给定偏序集或者代数系统是否构成格l 能够确定一个命题的对偶命题能够确定一个命题的对偶命题l 能够证明格中的等式和不等式能够证明格中的等式和不等式l 能判别格能判别格L的子集的子集S是否构成子格是否构成子格l 能够判别给定的格是否为分配格、有补格能够判别给定的格是否为分配格、有补格l 能够判别布尔代数并证明布尔代数中的等式能够判别布尔代数并证明布尔代数中的等式 19解1求图中格
17、的所有子格求图中格的所有子格.1元子格:元子格: a , b , c , d , e ;2元子格:元子格: a, b , a, c , a, d , a, e , b, c , b, d , b, e , c, e , d, e ;3元子格:元子格: a, b, c , a, b, d , a, b, e , a, c, e , a, d, e , b, c, e , b, d, e ;4元子格:元子格: a, b, c, e , a, b, d, e , b, c, d, e ;5元子格:元子格: a, b, c, d, e 练习练习1eabcd20L1 L2 L3图122针对下图,求出每个格的补元并说明
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 独立董事2025年度履职评价与激励措施合同3篇
- 二零二五年度禾青幼儿园教玩具采购与幼儿园设施维护合同3篇
- 二零二五搬家公司合同模板:搬家保险责任与赔偿条款2篇
- 二零二五版物流行业预付款担保合同2篇
- 二零二五版搬家服务与家政服务融合合同样本2篇
- 二零二五年度蔬菜电子商务合同:线上销售平台与卖家之间的规则2篇
- 二零二五版汽车零部件购销合同标准及售后服务模板3篇
- 二零二五年度国际教育机构合作办学合同3篇
- 二零二五年度高压变压器安装及安全防护技术合同3篇
- 二零二五版社保缴纳与工伤保险待遇保障合同3篇
- 《项目施工组织设计开题报告(含提纲)3000字》
- ICU常见药物课件
- CNAS实验室评审不符合项整改报告
- 农民工考勤表(模板)
- 承台混凝土施工技术交底
- 卧床患者更换床单-轴线翻身
- 计量基础知识培训教材201309
- 中考英语 短文填词、选词填空练习
- 阿特拉斯基本拧紧技术ppt课件
- 初一至初三数学全部知识点
- 新课程理念下的班主任工作艺术
评论
0/150
提交评论