- 1、本文档共90页,可阅读全部内容。
- 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
-格与布尔代数
第3-2章 格与布尔代数 即有 f(x∨y)=f(x)∨f(y), 同理 f(x∧y)=f(min(x,y))=min(x,y)-1f(x)∧f(y)=(x-1)∧(y-1)=min(x-1,y-1) =min(x,y)-1 即 f(x∧y)=f(x)∧f(y) 所以f是L1到L2的同态映射 (2) 如图13.4中的格L1,L2和L3,若定义 f1: L1→L2 f1(a)=f1(b)=f1(c)=a1, f1(d)=d1 f2: L1→L3?? f2(a)=a2,f2(b)=b2, f2(c)=c2,f2(d)=d2 问f1和f2是否格同态? L1 L2 L3 解:f1和f2都不是格同态, 定理13.5 设f是格L1到L2的映射,(1)若f是格同态映射,则f是保序映射, 即 x,y∈ L1,有 x y f(x) f(y) (2)若f是双射,则f是格同构映射, 当且仅当 x,y∈ L1 有 x y f(x) f(y) (1)证明:任取x,y ∈ L1,x y 由定理13.3知 x∨y=y 又由于f是格同态映射, 必有 f(y)=f(x∨y)=f(x)∨f(y), ∴f(x) f(y) (2)证明:必要性 已知条件:f是格同构映射 要证明的结论: x,y∈ L1 有 x y f(x) f(y) 充分性 已知条件:f :L1→L2是双射, 有 x y f(x) f(y) x,y∈ L1 要证明的结论: f是格同态。 例13.7 设L1=S12,D, L2=S12, ≤是格,其中S12是12的所有正因子构成的集合,D为整除关系,≤为通常数的小于等于关系,令f: S12→ S12 , f(x)=x 问f是否是L1到 L2的格同构? 解:不是。 因为f(2)=2 f(3)=3 f(2) ≤f(3) 但是 2 并不能整除3 三.格的直积 类似于半群,群,也可以定义格的直积。 定义13.6 设L1和L2是格,定义L1×L2 上的运算∩,∪: ????a1,b1,a2,b2∈L1×L2 a1,b1∩a2,b2=a1∧a2,b1∧b2 a1,b1∪a2,b2=a1∨a2,b1∨b2 称L1×L2,∩,∪为格L1和L2的直积。 可以证明L1×L2,∩,∪仍是格。 ? a1,b1,a2,b2,a3,b3∈L1×L2,有 a1,b1∩a2,b2=a1∧a2,b1∧b2 a2,b2∩a1,b1 =a2∧a1,b2∧b1 交换律? (a1,b1∩a2,b2)∩a3,b3 =a1∧a2,b1∧b2∩a3,b3=(a1∧a2)∧a3,(b1∧b2)∧b3 =a1∧a2∧a3,b1∧b2∧b3 结合律? a1,b1∩(a2,b2∩a3,b3) =a1,b1∩a2∧a3,b2∧b3=a1∧(a2∧a3),b1∧(b2∧b3) =a1∧a2∧a3,b1∧b2∧b3 a1,b1∩(a1,b1∪a2,b2) =a1,b1∩a1∨a2,b1∨b2=a1∧(a1∨a2),b1∧(b1∨b2)=a1,b1 同理有a1,b1∪(a1,b1∩a2,b2)=a1,b1 ∩和∪运算满足吸收律 同理可证∪运算也满足交换律和结合律、吸收律 从而证明L1×L2仍是格。 例如:格L={0,1},≤,≤为通常的小于或等于关系,则 L×L, ∪, ∩是L与L的直积,是格 0,0∪0,1=max(0,0),max(0,1)=0,1 0,0∪1,1=max(0,1),max(0,1)=1,1 0,1∪1,1=max(0,1),max(1,1)=1,1 0,0是格L×L的最小元,1,1是最大元 0,1与1,0是不可比的 0,0 0,1 1,0 1,1 其中 L×L={0,0,0,1,1,0,1,1}, 画出该格对应偏序集 L×L , 的哈斯图。 0,0 1,0 1,1, 所以 0,0 0,1 1,1, 13.3 分配格与有补格 一、分配格的定义、判别与性质 1.分配格的定义及实例 一般说来,格中运算∨对∧满足分配不等式,即 ?a,b,c∈L,有 a∨(b∧c) ????(a∨b)∧(a∨c)但是不一定满足分配律. 满足分配律的格称为分配格。 定义13.7 设L,∧,∨是格,
您可能关注的文档
- 六 空间向量及其运算.ppt
- 基础零件特征设计.ppt
- 六 空间向量及其运算(理).ppt
- 管理网络地址.ppt
- ()抽样分布与参数估计.ppt
- ()短语直接短语和句柄.ppt
- ()离散傅里叶变换.ppt
- ()班家长会.ppt
- (一)家长会数学教师发言.ppt
- (一部分)线性系统的状态空间描述.ppt
- 河南省郑州市第一中学2017-2018学年高一下学期周测物理试题(325)扫描版含答案.doc
- 山西省怀仁县第一中学2017-2018学年高二下学期第一次月考生物试题扫描版.doc
- 河南省六市高三下学期第一次联考试题(3月)理科综合扫描版含答案.doc
- 四川省高三全国Ⅲ卷冲刺演练(一)文综地理试卷扫描版含答案.doc
- 河南省洛阳市高三第二次统考文综试卷扫描版含答案.doc
- 甘肃省靖远县高三下学期第二次联考理科综合试题扫描版含答案.doc
- 问题导学法在办公场景中的实施策略及效果评估.docx
- 退休后的个人品牌打造与传播策略.docx
- 问题解决在办公流程优化中的应用.docx
- 问题导向的办公环境创新设计.docx
最近下载
- 浅谈区域品牌云展馆交互体验设计.docx VIP
- FDA-21 CFR Part 820新版医疗器械质量管理体系法规(QMSR)征求意见稿(中文)-202202.pdf
- 2025年主管护师(外科护理学)考试(专业知识)真题选题卷完整版 .pdf VIP
- 餐饮管理系统需求规格说明书.docx
- 2019-2023年福建省中考语文试题卷【文言文阅读题题解及答案解析】汇集.docx VIP
- 女装短视频运营方案.docx
- 2019-2023年福建省中考语文试题卷【文学类文本阅读题解及答案解析】汇集.docx VIP
- 2023年福建省各地中考语文模拟卷【古诗词鉴赏题解及答案解析】汇集.docx VIP
- 主管护师(外科护理)专业代码370真题相关专业知识2025年真题试卷真题.pdf VIP
- 开题报告-箱体零件的工艺规程及夹具设计.docx
文档评论(0)