- 1、本文档共10页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
2、格同态定义: S,*,?,L,∧,∨是二个格,f:S?L 且?a,b?S 有f(a*b)=f(a)∧f(b) f(a?b)=f(a)∨f(b) 称f是S,*,?到L,∧,∨的格同态;若f是双射则称S,*,?和L,∧,∨是同构的。 三、子格、格同态 例: (1)设L1={2n|n∈Z+}, L2={2n+1|n∈N } 则L1和L2关于通常数的小于或等于关系构成格。 令 f:L1→L2,f(x)=x-1 不难验证f是L1到L2的同态映射,因为对?x, y∈L1有: f(x∨y)=f(max(x, y))=max(x, y)-1 f(x)∨f(y)=(x-1) ∨(y-1)=max(x-1, y-1)=max(x, y)-1 f(x∧y)=f(min(x, y))=min(x, y)-1 f(x)∧f(y)=(x-1)∧(y-1)=min(x-1, y-1)=min(x, y)-1 即: f(x∨y) = f(x)∨f(y), f(x∧y) = f(x)∧f(y) 成立。 定理:若a,b?L,a≤b 则f(a)≤’f(b) 证: a≤b ? a*b=a ? f(a)∧f(b)=f(a*b)=f(a) ? f(a)≤’f(b) 注1:保序的函数不一定是同态的。 ? 格同态是保序的 三、子格、格同态 〈S12,整除* 〉 〈S12,小于等于∧ 〉 f: S12 ? S12,f(x)=x, 则f是保序的。 即a≤b ? f(a)≤f(b) 但f不是同态映射: f(3*2)≠ f(3)∧f(2) ( f(3*2)=f(1)=1 ,f(3)∧f(2)=2 ) 例1: 12 4 2 1 6 3 12 6 4 2 3 1 三、子格、格同态 证:?)f是格同构 由“格同态是保序的”知:a≤b ? f(a)≤’f(b) 反之,设f(a)≤’f(b) 则:f(a)=f(a)*f(b)=f(a∧b) 因为f是双射, a= a∧b ? a≤b 例2:设f是双射,则f是A1,≤到A2,≤’的格同构,当且仅当?a,b?A1,a≤b ?f(a)≤’f(b) ?)已知?a,b?A1, a≤b ? f(a)≤’f(b) 需证f是同构, 即证:f(a∧b)= f(a)*f(b) 证:令 c= a∧b 则 c≤a ? f(c)≤’f(a) c≤b ? f(c)≤’f(b) ? f(c)≤’f(a)*f(b) 令 f(a)*f(b)=f(d) 则 f(d)≤’f(a) ? d≤a f(d)≤’f(b) ? d≤b ? d≤a∧b=c ? f(d)≤’f(c) ? f(c)=f(d) ? f(a∧b)=f(a)*f(b)证毕 由此看出,同构的二个格,其哈斯图相同。 三、子格、格同态 因为,三个元素的偏序集合(同构意义下)仅有: 例3:具有一、二、三个元素的格,分别同构于一、二、三元素的链。 四个元素的偏序集合(同构意义下) 仅有: 三、子格、格同态 三、子格、格同态 同理,五个元素的格仅为: §7.2 分配格 一、定义 二、性质 §7.2 分配格 一般格只满足分配不等式: a∨(b∧c)≤(a∨b)∧(a∨c) 设L,∧,∨是格,若?a,b,c?L,有: (1) a∧(b∨c)=(a∧b)∨(a∧c), (2) a∨(b∧c)=(a∨b)∧(a∨c), 则称 L,∧,∨ 为分配格。 注:(1)(2)是互相等价的,由对偶原理,从一式可推得另一式。 一、定义 例: 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为五角格。 §7.2 分配格 二、性质 1、设L是格,则L是分配格当且仅当L中不含有与钻石格或五角格同构的子格。 由于该定理的证明比较繁且已超出本课程的范围,故此略去,只要掌握它的应用就行了。 小于五元的格都是分配格。 2、任何一条链是分配格。 证:设L,≤是一个链,?a,b,c?L (1) a≤b 或a≤c 则:a∧(b∨c)=a, (a∧b)∨(a∧c)=a (2) b≤a 且 c≤a ? b∨c ≤a
您可能关注的文档
最近下载
- GB Z 6113.401-2018 无线电骚扰和抗扰度测量设备和测量方法规范 第4-1部分:不确定度、统计学和限值建模 标准化的emc试验不确定度.pdf
- (高清版)B-T 6113.402-2022 无线电骚扰和抗扰度测量设备和测量方法规范 第4-2部分:不确定度、统计学和限值建模 测量设备和设施的不确定度.pdf VIP
- 在线网课学习课堂《结构抗震设计(重大 )》单元测试考核答案.pdf
- 2024中国人民大学人才工作领导小组办公室招聘1人笔试备考题库及答案解析.docx VIP
- 0123D00012-古代文学史3-2023版教学大纲.docx VIP
- 2024中国人民大学党委宣传部招聘1人笔试备考题库及答案解析.docx VIP
- 基于STM32的激光投影键盘的设计.docx
- GZ108婴幼儿照护赛项赛题 共10套题.docx
- 药物外渗的预防与处理.ppt VIP
- 环保部门协调措施.docx
文档评论(0)