




版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
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)
3、=aa=a. 对于情况(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
4、*c).,一、分配格,定理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 对于一个格,若全上界存在,那么
5、它是唯一的(若全下界存在,则唯一). Note: 1 有限格必有全上界(全下界) 2 无限格不一定有全上界(全下界) 如无全上界. 有界格的定义: 具有全上界和全下界的格称为有界格,记作.,二、有界格和有补格,例2 (1) S=a,b,c, 偏序格是 , 全上界 S A(S),有AS 全下界 A(S), 有A (2) X=A|A是由变元p1,p2,pn, , 构成的合式公 式集。诱导的偏序格是 . 全上界 T PX,有PT 全下界 F PX, 有FP.,二、有界格和有补格,定理6 设是一个有界格,则对于aA,都有 a1=1 a1=a (1是运算的零元,运算的幺元) a0=a a0=0 (0是运
6、算的幺元,运算的零元) 证明: (1) 证 a1=1 因为a1 L且1是全上界,所以 a11;又因为 1 a1,所以 a1=1. (2) 证 a1=a 因为a a,a 1, 所以a a1;又因为 a1 a,所以a1=a. (3)(4)类似可证.,二、有界格和有补格,补元的定义: 设是有界格aL,若存在bL使得ab=1和ab=0,则称b为a的补元。,(1)中a,b,c都不存在补元,0与1互为补元. (2)中a,b,c中任意两个都互为补元, 0与1互为补元. (3)中a的补元都是b和c,而c的补元是a,0与1互为补元.,Note: 在格中有的元素无补元,有的元素有补元,有的元素有多个补元.,二、有
7、界格和有补格,有补格定义: 如果在一个有界格中,每个元素都至少有一个补元,则称这个格为有补格.上图中(2)和(3)是有补格,而(1)不是有补格.,证明: 01=0,01=1,0、1互为补元。设c也是0的补元, 0c =1, 必有c=1,故0的补元唯一。 同理可证1的补元也唯一。,定理7 在有界格中, 0 和 1互为补元, 且是唯一的.,证明: 设 b,c都是a的补元, 则ab=0=ac, ab=1=ac,分配格 满足消去律,可知b=c. 消去律: (即对于任意a,b,cL有(ab=ac) (ab=ac)b=c),定理8 在分配格中,如果元素aL有一个补元a ,则此补元a是唯一的.,三、布尔格(
8、布尔代数),布尔格的定义 如果格,既是有补格,又是分配格,则称此格为布尔格(或有补分配格),也叫做布尔代数.,例3 设S是非空有限集合, 为代数格 A,B(S),ABAB=AAB 由诱导的偏序格是. 说明是布尔格.,证明 (1)是格; (2)是有界格, 因为 全上界 S A(S),有AS 全下界 A(S),有A; (3)是有补格, 因任取 A(S), A的补元是S-A; (4)是分配格, 因和运算满足相互分配律. 综上可知, 是一个布尔格。,三、布尔格(布尔代数),例4 X=A|A是由变元p1,p2,pn,构成的合式公式集。诱导的偏序格是 .说明是布尔格.,证明 (1) 是格, (2) 是有界格, 因为 全上界 T PX,有PT 全下界 F PX, 有FP. (3) 是有补格,因任取 PX, P的补元是P (4) 是分配格,因和运算满足相互分配律, 综上可知, 是一个布尔格。,三、布尔格(布尔代数),由于布尔代数L中的每个元都有唯一的补元.求一个元素的补元素可以看作一元运算,称为补运算.因此,布尔代数L可记为,其中表示求补运算.,证明 (1) 由于aa=1, aa=0;根据交换律有, aa=1, aa=0;所以(a)=a; (2) (ab)(ab)=(aab)(bab)=0 (ab)(
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 项目工程师培训课件
- 油田开发项目建议书(参考)
- 2025年压力表合作协议书
- 2025年智能分拣系统项目发展计划
- 2025年预防用生物制品项目发展计划
- 五年级上册数学教案 第七单元
- 2025年惯性组合项目合作计划书
- 2025年商业照明灯具项目发展计划
- 2025年轻质建筑材料及制品合作协议书
- 2025年中高压阴极电容铝箔合作协议书
- 2025年四级中式烹调师(中级)职业技能鉴定参考试题库(含答案)
- 夜间作业安全培训培训资料
- 中药知识讲解课件
- 施工资源需求计划与调配策略
- 预制箱梁首件工程施工总结
- 2024-2025学年人教版高二化学选择性必修3配套课件 基础课时4 有机物分子式和分子结构的确定
- 湖南省岳阳市2024-2025学年小升初模拟数学测试卷含解析
- 宠物店店员的工作职责与服务理念
- 高中家长会 高一下学期期末家长会课件
- 2025浙江衢州市柯城区国企业招聘31人高频重点提升(共500题)附带答案详解
- 中国平面设计行业发展运行现状及投资潜力预测报告
评论
0/150
提交评论