- 1、本文档共35页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
* 格的子格与格同态 定义14.32 L的子格:L的非空子集S,且S关于L中? 和? 运算 封闭. 注意:对于子格元素,在原来格中求最大下界和最小上界. 例如 G的子群格L(G)是格,但一定不是P(G)的子格. 实例:Klein四元群G={e, a, b, c}, L(G)={ e, a, b, c, G } P(G)={ ?, e,{a}, {b}, {c}, a, b, c, {a,b}, {a,c}, {b,c}, {e,a,b}, {e,a,c}, {e,b,c}, {a,b,c}, G } 在P(G)中,a?b={e,a,b},在L(G)中, a?b=G 定义14.33 设 f:L1?L2,若?x,y?L1,有 f(x?y) = f(x)?f(y),f(x?y) = f(x)?f(y) 则称 f 为L1到 L2 的同态. * 特殊的格 分配格 有补格 布尔格 * 分配格 定义14.34 设L为格,若?a, b, c?L有 a?(b?c) = (a?b)?(a?c) a?(b?c) = (a?b)?(a?c) 则 L 为分配格. 注:在任何格中两个分配不等式是等价的. 例如 a?(b?c)=(a?b)?(a?c) ? a?(b?c)=(a?b)?(a?c) 证 (a?b)?(a?c) = ((a?b)?a)?((a?b)?c) ?对?的分配律 = a?((a?c)?(b?c)) 吸收律、?对?的分配律 = (a?(a?c))?(b?c) 结合律 = a?(b?c) 吸收律 * 实例 例9 指出下图中哪些格是分配格? 解 L1和L2是分配格, L3和L4不是分配格. 在L3中有 b∧(c∨d)=b∧e=b,(b∧c)∨(b∧d)=a∨a=a 在L4中有 c∨(b∧d)=c∨a=c,(c∨b)∧(c∨d)=e∧d=d 称L3为钻石格, L4为五角格. 这两个5元格在分配格的 判别中有着重要的意义. * 分配格的判别定理 定理14.15 设L是格, 则L是分配格当且仅当L不含有与钻石格或五角 格同构的子格. 定理14.16 格L是分配格当且仅当?a,b,c∈L有 a∧b=a∧c 且 a∨b=a∨c ? b=c. * 分配格的判别实例 L1不是分配格, 含有与钻石格同构的子格. L2和L3不是分配格, 含有与五角格同构的子格. 例10 判别下图中的格否为分配格. 在L1中有d∧b=d∧c且d∨b=d∨c, 但是b?c. 在L2中,c∧e=c∧b且c∨e=c∨b, 但是e?b. 在L3中,d∧c=d∧g且d∨c=d∨g, 但是c?g. * 有界格 定义14.35 设L是格,若存在a∈L使得?x∈L有a?x, 则称a为L的全下界;若存在b∈L使得?x∈L有x?b, 则称b为L的全上界.? L若存在全下界或全上界,一定是惟一的. 一般将格L的全下界记为0,全上界记为1. 定义14.36 设L是格,若L存在全下界和全上界, 则称L为有界格, 有界格L记为L, ∧, ∨, 0, 1. 实例:有限格 L={a1,a2,…,an}是有界格, 其中a1∧a2∧…∧an是L的全下界, a1∨a2∨…∨an是L的全上界. 幂集格P(B)是有界格,即使它是无穷集合. * 补元 定义14.37 设L,∧,∨,0,1是有界格, a∈L, 若存在b∈L 使得 a∧b=0 和 a∨b=1 成立, 则称 b 是 a 的补元. 对于有界格,补元的分布情况: 0与 1 互为补元, 它们都只有惟一的补元. 有的元素有补元, 可能存在多个补元. 有的元素没有补元. * 实例 解 L1中a与c互补, b没有补元. 例11 考虑以下四个格. 求出所有元素的补元. L2中a与d互补, b与c 互补. L3中a与e互补, b的补元c,d; c的补元b,d; d的补元b,c. L4中a与e互补, b的补元c,d; c的补元b; d 的补元b. * 补元的性质与有补格 定理14.17 设L,∧,∨,0,1是有界分配格. 若L中元素a存在补元, 则存在惟一的补元.? 证明 假设 b,c 是a 的补元, 则有
文档评论(0)