离散数学第11章格与布尔代数.ppt
《离散数学第11章格与布尔代数.ppt》由会员分享,可在线阅读,更多相关《离散数学第11章格与布尔代数.ppt(20页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、第十一章第十一章 格与布尔代数格与布尔代数主要内容主要内容l格的定义及性质格的定义及性质 l子格子格l分配格、有补格分配格、有补格l布尔代数布尔代数111.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的最大公约数的最大公约数.2图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)都不是格都不
3、是格.可以找到两个结点缺少最大下界或最小上界可以找到两个结点缺少最大下界或最小上界3格的性质:算律格的性质:算律定理定理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)=a4格的性质:序与运算的关系格的性质:序与运算的关系定理定理11.3设设L是格是格,则则 a,bL有有a bab=aab=b 可以用集合的例子来验证可以用集合的例子来验证 幂集格幂
4、集格,其中,其中P(B)是集合是集合B的幂集的幂集.幂集格幂集格.x,yP(B),xy就是就是xy,xy就是就是xy.5格的性质:保序格的性质:保序定理定理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 a,bc b得得a(bc)ab由由a a,bc c得得a(bc)ac从而得到从而得到a(bc)(ab)(ac)(注意最大下界)(注意最大下界)注意:一般说来注意:一般说来,格中的格中
5、的和和运算不满足分配律运算不满足分配律.6格作为代数系统的定义格作为代数系统的定义定理定理11.4设设是具有两个二元运算的代数系统是具有两个二元运算的代数系统,若对于若对于 和和运算适合交换律、结合律、吸收律运算适合交换律、结合律、吸收律,则可以适当定义则可以适当定义S中中的偏序的偏序,使得使得构成格构成格,且且 a,bS 有有ab=a b,ab=ab.证明省略证明省略.根据定理根据定理11.4,可以给出格的另一个等价定义可以给出格的另一个等价定义.定义定义11.3设设是代数系统是代数系统,和和是二元运算是二元运算,如果如果 和和满足交换律、结合律和吸收律满足交换律、结合律和吸收律,则则构成格
6、构成格.711.2分配格、有补格与布尔代数分配格、有补格与布尔代数 定义定义11.5设设是格是格,若若 a,b,cL,有有a(bc)=(ab)(ac)a(bc)=(ab)(ac)则称则称L为为分配格分配格.l注意:可以证明以上两个条件互为充分必要条件注意:可以证明以上两个条件互为充分必要条件L1和和L2是分配格是分配格,L3和和L4不是分配格不是分配格.称称L3为为钻石格钻石格,L4为为五角格五角格.实例实例8有界格的定义有界格的定义定义定义11.6设设L是格是格,(1)若存在若存在aL使得使得 xL有有a x,则称则称a为为L的的全下界全下界(2)若存在若存在bL使得使得 xL有有x b,则
7、称则称b为为L的的全上界全上界说明:说明:l格格L若存在全下界或全上界若存在全下界或全上界,一定是惟一的一定是惟一的.l一般将格一般将格L的全下界记为的全下界记为0,全上界记为全上界记为1.定义定义11.7设设L是格是格,若若L存在全下界和全上界存在全下界和全上界,则称则称L 为为有界有界格格,一般将有界格一般将有界格L记为记为.9 定理定理11.6设设是有界格是有界格,则则 aL有有a0=0,a0=a,a1=a,a1=1注意:注意:l有限格有限格L=a1,a2,an是有界格是有界格,a1a2an是是L的全的全下界下界,a1a2an是是L的全上界的全上界.l0是关于是关于运算的零元运算的零元,
8、运算的单位元;运算的单位元;1是关于是关于运算运算的零元的零元,运算的单位元运算的单位元.有界格的性质有界格的性质10有界格中的补元及实例有界格中的补元及实例定义定义11.8设设是有界格是有界格,aL,若存在若存在bL使得使得ab=0和和ab=1成立成立,则称则称b是是a的的补元补元.l注意:若注意:若b是是a的补元的补元,那么那么a也是也是b的补元的补元.a和和b互为补元互为补元.例例7考虑下图中的格考虑下图中的格.针对不同的元素,求出所有的补元针对不同的元素,求出所有的补元.11解答解答(1)L1中中a 与与c 互为补元互为补元,其中其中a 为全下界为全下界,c为全上界为全上界,b 没没有
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 11 布尔 代数
限制150内