- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
§ 几种特殊的格
§8.4 几种特殊的格 8.4.1 有 界 格 8.4.2 有 余 格 8.4.3 分 配 格 8.4.4 模 格 8.4.1 有 界 格 引理1 设(L,≤)是一个格。若S是L的任意一个有限非空子集,则S有一个最大下界和一个最小上界。 记集合S的最大下界为inf S; 集合S的最小上界为sup S。 Note: 对于格的一个无穷子集,引理1的结论不 成立。 例.在格(I+,≤)中,所有正偶数组成的集合 记为E+,显然,E+ ? I+,但E+没有最小上界。 定义. 格(L,≤)称为有界格,如果它有一个最大元素(记为1)和一个最小元素(记为0),亦即,对任意a∈L,都有 0≤a≤1 0,1称为格(L,≤)的界。 结论:有限格必是有界格 令L={a1,…,an} , 0 = a1×a2×…×an, 1 = a1⊕a2⊕…⊕an 引理2. 若(L,×,⊕,0,1)是有界格,则对任意a∈L,恒有 a ⊕ 0 = a, a×1 = a, a ⊕ 1 = 1, a×0 = 0。 定义. 在有界格(L,×,⊕,0,1)中,一个元素b∈L,称为元素a∈L的余元素,如果 a×b = 0, a⊕b = 1。 引理3 在有界格(L,×,⊕,0,1)中,1是0的唯一一个余元素,反之亦然。 证明:由引理2,0×1 = 0, 0⊕1 = 1, 所以,0,1互为余元素。 若c∈L,且c≠1,c是0的余元素, 0×c = 0, 0⊕c = 1。 但是,由引理2知,0⊕c = c 故,c = 1,矛盾。 8.4.2 有 余 格 定义. 称有界格(L,×,⊕,0,1)是一个 有余格,如果对L中每一个元素,都至少有一 个余元素。 例. n维格(Ln,≤n)是一个有余格,其中 1n=(1,1,…,1), 0n=(0,0,…,0)是界。 对任意Ln中元素(a1,…,an), 元素(b1,…,bn)是其 余元素,其中 例. 设S是有n个元素的集合,ρ(S)是S的幂 集合,于是,(ρ(S),?)是有余格。 其中, ?和S是此格的界. 对ρ(S)中任意元素A,ρ(S)中的元 素S-A是其余元素。 引理4 任意一个链都是一个分配格。 证明:设格(L,≤)是一个链,任取a,b,c ∈ L, 1)若a≥b且a≥c,于是a≥b⊕c,故 a×(b⊕c)= b⊕c 而a×b = b,a×c = c,所以 (a×b)⊕(a×c)= b⊕c 故a×(b⊕c)=(a×b)⊕(a×c)。 2)若a≤b或者a≤c,于是a≤(b⊕c), 故a×(b ⊕ c)= a。而 (a×b)⊕(a×c)= a 所以a×(b⊕c)=(a×b)⊕(a×c)。 定理8.4.2 设格(L,×,⊕)是分配格,对 任意a,b,c∈L,如果 a×c = b×c, a⊕c = b⊕c, 则有a = b。 证明:若(L,×,⊕)是分配格,且a×c=b×c,a⊕c=b⊕c, 则 a = a×(a⊕c)= a×(b⊕c) =(a×b)⊕(a×c) =(a×b)⊕(b×c)= b×(a⊕c) = b×(b⊕c)= b 推论 设格(L,×,⊕)是一个有余分配格, 则对任意a∈L,a的余元素a′是唯一的。 证明: 因(L,×,⊕)是有余格,设a′和a″都是a的余元素,即 a×a′= 0, a⊕a′= 1 a×a″= 0, a⊕a″= 1 故a×a′= a×a″,a⊕a′= a⊕a″。 由定理8.4.2知,a′= a″。 8.4.4 模 格 定义8.4.5 设(L,≤)是一个格,对任意a, b,c∈L,如果a≤b,都有 a⊕(b×c)= b×(a⊕c) 则称(L,≤)为模格。 Note: (1)任意一个分配格都是模格, 由a≤b, a⊕b=b,故 a⊕(b×c)= (a⊕b)×( a⊕ c) = b×(a⊕c) (2)模格不一定是分配格。 例.如图所示,L={0,1,b1,b2,b3}。则, 格(L,×,⊕)不是分配格: b1×(b2⊕b3)= b1 (b1×b2)⊕(b1×b3)= 0。 格(L,×,⊕)是模格: (1)当a=1时,若a≤b,则b也一定是1。故 a⊕(b×c)=1⊕(1
文档评论(0)