第13讲_分配格.pptVIP

  1. 1、本文档共26页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  5. 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  6. 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  7. 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  8. 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.,

您可能关注的文档

文档评论(0)

xiaolan118 + 关注
实名认证
文档贡献者

你好,我好,大家好!

版权声明书
用户编号:7140162041000002

1亿VIP精品文档

相关文档