离散数学第10讲 分配格、有界格与有补格ppt课件.ppt
《离散数学第10讲 分配格、有界格与有补格ppt课件.ppt》由会员分享,可在线阅读,更多相关《离散数学第10讲 分配格、有界格与有补格ppt课件.ppt(17页珍藏版)》请在三一办公上搜索。
1、1,离散数学(二),特殊格:分配格,有界格与有补格,主要内容:,重点和难点:,一、分配格,分配格的定义: 设是一个格, 若对于任何a,b,cL,有a*(bc) = (a*b)(a*c) 保交对保联可分配 (1)a(b*c) = (ab)*(ac) 保联对保交可分配 (2)则称是一个分配格。 Note: 上述定义中(1)和(2)是等价的,只要一个成立,应用吸收律可推出另外一个。因此,判断一个格是否是分配格只需判断(1)或(2)其中之一.例1:S=a,b,c, 为分配格, 因为任取A,B,C(S), (a) A(BC)=(AB)(AC) (b) A(BC)=(AB)(AC),一、分配格,例2: 图
2、中钻石格与五角格是分配格吗?,(a) b*(cd)b*ab (b*c)(b*d)eee 所以b*(cd) (b*c)(b*d)(b) c*(bd)c*ac (c*b)(c*d)ed=d 所以c*(bd) (c*b)(c*d),一、分配格,定理1 设是偏序格,则是分配格当且仅当 (i) 在此格中不存在与钻石格同构的子格; (ii) 且不存在与五角格同构的子格。推论:设是格,|L|是分配格。定理2 每个链都是分配格。证明: 设是链,则必是格.任取a,b,cL,讨论以下两种情况: (1) ab或ac; (2) ab和ac。 对于情况(1)有: a*(bc)=a; (a*b)(a*c)=aa=a. 对
3、于情况(2)有: a*(bc)=bc; (a*b)(a*c)=bc. 因此有a*(bc)=(a*b)(a*c). 所以,每个链都是分配格.,一、分配格,定理3 设是一个格,若*运算对运算可分配,则对*也可分配,反之亦然。证明: 设*运算对运算可分配,即任取a,b,cL,满足 a*(bc) = (a*b)(a*c),现要证 a(b*c) = (ab)*(ac). (ab)*(ac) = (ab) * a)(ab) *c) = a (a*c)(b*c) = a(a*c)(b*c) = a(b*c)同理可由a(b*c) = (ab)*(ac)推出a*(bc) = (a*b)(a*c).,一、分配格,
4、定理4 设是一个分配格,那么对于任意a,b,cL,若有a*b=a*c和ab=ac,则必有b=c。证明: c = (a*c)c = (a*b)c = (ac) *(bc) = (ab)*(bc) = (ab)*b)(ab) * c) = b(a*c) (b*c) = b(a*b) (b*c) = b(a*c) = b(a*b) = b,二、有界格和有补格,全上/下界定义:设是一个格, 若aL, 对所有xL均有xa,称a为格的全上界; 若bL, 对所有xL均有bx,称b为格的全下界。 通常将全上界记为“1”,而将全下界记为“0”。定理5 对于一个格,若全上界存在,那么它是唯一的(若全下界存在,则唯
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学第10讲 分配格、有界格与有补格ppt课件 离散数学 10 分配格 有界格 有补格 ppt 课件

链接地址:https://www.31ppt.com/p-1359987.html