- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
* * * * * * * * * * * * * * * * * * * * * 考试时间:5月8日(周三)9:50 地点: Z2107教室 答疑时间: 5月7日13:30-16:00 地点:软件楼4楼密码与信息安全实验室 在线教务辅导网: 教材其余课件及动画素材请查阅在线教务辅导网 QQ:349134187 或者直接输入下面地址: 定理16.3:如引理16.2所得之偏序集(L;≤)为格。 定义16.4: [L;?,?]为一代数系统,?,?为定义在L上的二元运算,当其满足L1~L4时,称L为格。并称?为积(或交),?为和(或并) 定义:[L;?,?]为格,若L中存在元素0,使得对任意的x?L有x?0=x,则称0为?的单位元,并称0是格的零元;若L中存在元素1,使得对任意的x?L有x?1=x,则称1为?的单位元,并称1是格的单位元。 例:A的幂集格[P(A);?,?] 群G的子群格[L(G);?,?] [Z+;?,?] (Z;?)是格,但既无单位元,又无零元。 零元(单位元)存在则必唯一 定理:若格[L;?,?]存在零元0和单位元1,则0和1分别是L的最小元和最大元。 由于具有零元和单位元的格一定有最小元和最大元,称为有界格。 定理16.4(保序性):格[L;?,?],任a,b,c?L,当b≤c时有a?b≤a?c及a?b≤a?c。 定义16.5:[L;?,?]为格,T??, T?L,T关于?,?封闭(即a,b?T则a?b?T, a?b?T)时,则称T为L的子格。 必须注意的是:当T为L的子格时,T一定是格; 但当T?L,T关于L中的偏序关系≤为格时,T不一定是L的子格。 例:S={1,2,3},S3={e,?1, ?2, ?3, ?4, ?5}为三次对称群,则(P(S3);?)是格,并且是完全格。取T={{e}, H1,H2,H3,H4,S3},其中H1={e, ?1}; H2={e, ?2}; H3={e, ?3}; H4={e, ?4, ?5}都是S3的子群,则(T; ?)是格,但它不是(P(S3);?)的子格。 三、格的同态与同构 定义16.6:设[L;?,?]与[S;+,·]为两个格,如果存在映射?:L→S使对任a, b?L有: ?(a?b)=?(a)+?(b), ?(a?b)=?(a)·?(b),则称?为L到S的同态映射,当?(L)=S即?为满射时又说格L与格S同态;当?是一一对应时说格L与S同构;若S=L时又分别称它是自同态与自同构。 定理16.5:格[L;?,?]与格[S;?,?]同态,?为其同态映射,则?是保序映射, 即对任a, b?L,当a≤b时,?(a)≤?(b)。 保序映射不一定是同态映射 定理16.6:?是格L到格S的一一对应, 则?是同构映射,当且仅当:对任何a,b?L,a≤b当且仅当?(a)≤?(b)。 证明:(1)?是格L到格S的同构映射,则由定理16.5知?是保序映射,因此对任何a,b?L, 当a≤b,必有?(a)≤?(b). 若对任何a,b?L,有?(a)≤?(b),则由≤定义知?(a)??(b)=?(b), 因为同构,故有?(a?b)=?(b) 且a?b=b, 因此由≤定义得a≤b (2) ?是格L到格S的一一对应, 且对任何a,b?L,a≤b当且仅当?(a)≤?(b) 主要证明?是同态映射,即 ?(a?b)=?(a)??(b), ?(a?b)=?(a)??(b) 分别证明?(a?b)≤?(a)??(b) ?(a)??(b)≤?(a?b) §2 有补格及分配格 一、有补格 定义16.7:一个具有最大元1和最小元0的格[L;?,?]称为有界格。 定理16.8:[L;?,?]为有界格, 则任a?L有:a?1=1; a?0=0;a?1=a;a?0=a。 定义16.8:[L;?,?]为有界格,对a?L,如果存在b?L,使a?b=1,a?b=0,则称b为a的补元,记b为a。若L中的每个元有补元, 则称L为有补格。 例:S={1,2,3,4,5},其偏序关系由下图所示,则S是有界格,且为有补格. 由此可知补元不唯一. 二、分配格 定理(习题16.9):对任意格成立分配不等式, 即格[L;?,?]中任a,b,c?L,有: (1)a?(b?c)≤(a?b)?(a?c); (2)(a?b)?(a?c)≤a?(b?c)。 但等式不一定成立。 例:如下图所示的格分配等式不成立. 例:S??,[P(S);∪,∩]满足分配等式。 分配格 定义16.9:[L;?,?]为格,当对其任意元a,b,c?L成立分配律,即 (1)a?(b?c)=(a?b)?(a?c); (2)(a?b)?(a?c)=a?(b?c)。 则称该格为分配格。 定理:设S是分配格,a,x,y?S,若a?x=a?y,且a?x=a?
您可能关注的文档
- 汽车服务与营销英语教学课件 作者 黄星 王宏 服务英语.ppt
- 汽车工程制图 作者 魏文杲 项目八.ppt
- 汽车工程制图 作者 魏文杲 项目二.ppt
- 汽车工程制图 作者 魏文杲 项目二1.ppt
- 汽车工程制图 作者 魏文杲 项目九1.ppt
- 汽车工程制图 作者 魏文杲 项目六.ppt
- 汽车工程制图 作者 魏文杲 项目六1.ppt
- 汽车工程制图 作者 魏文杲 项目三.ppt
- 汽车工程制图 作者 魏文杲 项目三1.ppt
- 汽车工程制图 作者 魏文杲 项目十.ppt
- 离散数学 作者 赵一鸣 阚海斌 吴永辉 dshu19n.ppt
- 离散数学 作者 赵一鸣 阚海斌 吴永辉 dshu20n.ppt
- 离散数学 作者 赵一鸣 阚海斌 吴永辉 dshu22n.ppt
- 离散数学 作者 赵一鸣 阚海斌 吴永辉 dshu23.ppt
- 离散数学 作者 赵一鸣 阚海斌 吴永辉 dshu25.ppt
- 离散数学 作者 赵一鸣 阚海斌 吴永辉 dshu26n.ppt
- 理财学 第二版 课件 边智群_ 第八章 公司营运资本管理.ppt
- 理财学 第二版 课件 边智群_ 第九章 公司重组.ppt
- 理财学 第二版 课件 边智群_ 第三章 理财计量基础.ppt
- 理财学 第二版 课件 边智群_ 第十二章 个人理财活动.ppt
文档评论(0)