- 1、本文档共26页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第13讲_分配格,梯形格习字法第二讲,平均分配单元格,如何平均分配单元格,制造费用分配表格式,利润分配表格式,分配单元格大小,橄榄型分配格局,word平均分配单元格,分配格
格的不等式 (1)保序不等式 a?b,c?d ? a∧c?b∧d, a∨c?b∨d (2)分配不等式 a∨(b∧c)?(a∨b)∧(a∨c), a∧(b∨c)?(a∧b)∨(a∧c) (3)模不等式 a?b ?a∨(c∧b)?(a∨c)∧b 不满足分配律的格 钻石格: b ∨ (c∧d) = b ∨ a = b (b∨c) ∧ (b∨d) = e∧e = e 五角格:c∧(b∨d)=c∧a=c(c∧b)∨(c∧d)=e∨d=d 分配格定义 定义11.5:设A, ∨,∧是由格A, ?所诱导的代数系统,如果对任意的a,b,c∈A,满足 a∧(b∨c)=(a∧b)∨(a∧c)a∨(b∧c)=(a∨b)∧(a∨c) 则称A, ?是分配格。 分配律的两个形式等价 如果在一个格中交对并可分配,则并对交也可分配,反之亦然。 证:?a,b,c∈S,(格)如果a∧(b∨c)=(a∧b)∨(a∧c)那么(a∨b)∧(a∨c)=((a∨b)∧a)∨((a∨b)∧c) =a∨((a∨b)∧c) =a∨((a∧c)∨(b∧c)) =(a∨(a∧c))∨(b∧c) =a∨(b∧c) 反之同理可证 分配格举例 eg1: P(S), ∨,∧ 是由格P(S), ?诱导的,是分配格 分配格的判定 有以下结论: 定理11.5:一个格是分配格 iff 该格中没有任何子格与上述两个五元素格中的一个同构。 每个链是分配格 推论2:每个链是分配格。 证:设A, ?是链,则必为格 ?a,b,c∈A, 考虑a∧(b∨c)?= (a∧b)∨(a∧c) 分析a,b,c 的关系有如下六种(按大小顺序): 每个链是分配格 定理:每个链是分配格。 证(续):?a,b,c∈A,分以下两种情形: (1)a?b或a?c (2)b?a且c?a 对于情况(1),无论b?c还是c?b,都有 a∧(b∨c)=a和(a∧b)∨(a∧c)=a 对于情况(2),总有b∨c?a 所以,a∧(b∨c)=b∨c 而由b?a,c?a.应有(a∧b)∨(a∧c)=b∨c 故得证 分配格性质 性质1:设A, ?是一个分配格,那么,对于?a,b,c∈A,若有a∧b=a∧c和a∨b=a∨c,则有b=c. 证:(a∧b)∨c=(a∧c)∨c=c而又有(a∧b)∨c=(a∨c)∧(b∨c)=(a∨b)∧(c∨b)=(a∧c)∨b=(a∧b)∨b= b 分配格的判定2 设格L, ?是一个分配格,当且仅当?a,b,c∈L,若有a∧b=a∧c和a∨b=a∨c,则有b=c. 全上界\全下界 定义11.6:格L, ?是一个格,若存在a ∈L,使得?x∈L,有a ? x,则称a为L的全下界。若存在b∈L,使得?x∈L,有x ? b,则称b为L的全上界。 有界格 定义11.7:L, ?是一个格,若L存在全下界和全上界,则称L 为有界格,并记L为L, ∧,∨,0,1 。 全下界0 (唯一, ∧零元, ∨单位元) 全上界1 (唯一, ∨零元, ∧单位元) 有界格,存在0,1 补元 定义11.8:格L, ∧,∨,0,1是有界格, a∈L,若存在b ∈L,使得 a∧b=0, a∨b=1, 则称b是a的补元。 a与b互为补元。 0与1互补 补元举例 有补格 定义11.9(有补格):每一个元都有补元的有界格。 思考: 求补是否为有补格上的一元运算? 补元唯一性质 定理11.6:有界分配格中的元素a 如果存在补元,则是唯一的。 布尔代数 有补分配格称为布尔格(布尔代数) B, ? 求补是布尔格上的一元运算 1,0是布尔格上的零元运算 诱导的代数系统B, ∧,∨, ’,0,1 实例:幂集格 布尔代数的性质 交换律 x ∧ y=y ∧ x, x ∨ y=y ∨ x 分配律 x ∧(y ∨ z)=(x ∧ y) ∨(x ∧ z) x ∨(y ∧ z)=(x ∨ y) ∧(x ∨ z) 同一律 x ∧ 1=x, x ∨ 0=x 补元律 x ∧ x=0, x ∨ x’=1 注:同时也是代数系统做成布尔代数的条件 布尔代数的性质 双重否定律(a’ )’ =a D.M律 (a ∧ b)’ = a’ ∨ b’ (a ∨ b)’ = a’ ∧ b’ a?b ? a ∧ b’ = 0 ? a’ ∨ b = 1 ? a ∧ b = a ? a ∨ b = b a?b? b’? a’ 格同态 定义:设A, ?,B, ?是两个格,A, ∨,∧,B, ∨,∧分别为它们诱导的代数系统,如果存在一个从A到B的映射f, s.t.,
您可能关注的文档
- 第05章_算符优先分析法.ppt
- 第05章_语法分析自下而上分析.ppt
- 第05章 燃烧设备及运行.ppt
- 第06-07讲 组合数学——递推关系.ppt
- 第06章 图像复原.ppt
- 第06章UG NX6.0.ppt
- 第06章_数据库 关联检索.ppt
- 第07章 信息不对称、外部性与公共产品.ppt
- 第06讲 反向传播网络.ppt
- 第06章混凝土的强度(PPT 38页).ppt
- 北师大版(2024)八年级数学上册课件 3.2 平面直角坐标系 第2课时 点的坐标特征.pptx
- 北师大版(2024)八年级数学上册课件 3.2 平面直角坐标系 第3课时 建立适当的平面直角坐标系.pptx
- 北师大版(2024)八年级数学上册课件 4.3 一次函数的图象 第1课时 正比例函数的图象及性质.pptx
- (人教A版数学选择性必修三)讲义第15讲7.1.1条件概率(学生版+解析).docx
- (人教A版数学选择性必修三)讲义第19讲8.1成对数据的统计相关性(8.1.1变量的相关关系+8.1.2样本相关系数)(学生版+解析).docx
- 北师大版(2024)八年级数学上册课件 5.2 二元一次方程组的解法 第2课时 加减消元法.pptx
- (人教A版数学选择性必修一)2025年秋季学期讲义第01讲1.1.1空间向量及其线性运算(学生版+教师版).docx
- 北师大版(2024)八年级数学上册课件 5.2 二元一次方程组的解法 第1课时 代入消元法.pptx
- 北师大版(2024)八年级数学上册课件 5.3 二元一次方程组的应用 第3课时 二元一次方程组的应用(3).pptx
- 北师大版(2024)八年级数学上册课件 5.4 二元一次方程与一次函数 第2课时 用二元一次方程组确定一次函数表达式.pptx
最近下载
- 内蒙古自治区矿产资源储量.doc VIP
- 高三英语语法填空题20套(带答案)含解析.docx VIP
- 冠脉分叉病变并严重钙化的pci处理_陈竹君.ppt VIP
- 939_98G359-3悬挂运输设备轨道.pdf VIP
- 危险化学品目录(2025版) .pdf VIP
- 2025年全国预防接种技能竞赛【决赛】考试题库(含答案).docx VIP
- GB 50345-2012 屋面工程技术规范.docx VIP
- 中国铀矿山绿色安全的现状与发展思路参考.pdf VIP
- 2025年云南省投资控股集团有限公司人员招聘笔试备考试题及完整答案详解一套.docx VIP
- 冠脉分叉病变并严重钙化的PCI处.pptx VIP
文档评论(0)