网站大量收购独家精品文档,联系QQ:2885784924

下列哈斯图表示的偏序集是否有最大小.PPT

  1. 1、本文档共162页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
下列哈斯图表示的偏序集是否有最大小

3. 证明R在A上反对称 任取x,y, x,y?R?y,x?R ? …………………….. ? x = y 前提 推理过程 结论 4. 证明R在A上传递 任取x,y,y,z, x,y?R?y,z?R ? …………………….. ? x,z?R 前提 推理过程 结论 关系性质的证明方法 7.R,S为A上的关系,证明 R?S ? t(R) ? t(S) 练习7 证 只需证明对于任意正整数n, Rn ? Sn. 对n归纳. n=1, 显然为真. 假设对于n,命题为真,任取x,y x,y?Rn+1 ? x,y?Rn°R ? ?t (x, t?Rn ? t, y?R) ? ?t (x, t?Sn ? t, y?S) ? x,y?Sn°S ? x,y?Sn+1 数学归纳法(主要用于幂运算) 证明中用到关系运算的定义和公式, 如: x?domR ? ?y(x,y?R) y?ranR ? ?x(x,y?R) x,y?R ? y,x?R?1 x,y?R°S ? ?t (x,t?R?t,y?S) x,y?R?A ? x?A ? x,y?R y?R?A] ? ?x (x?A ? x,y?R) r(R) = R?IA s(R) = R?R?1 t(R) = R?R2?… 关系等式或包含式的证明方法 7.7 偏序关系 小于?:a?b?a?b?a≠b 可比:a与b可比 ? a?b?b?a 可比不同于等于 例:A={1,2,3},?是A上的整除关系 1,3可比 全序关系R:R是A上的偏序关系, 满足: ?a,b∈A, a与b可比 例:实数上的≤,≥关系是全序关系 7.7 偏序关系 哈斯图 得名于德国数学家Helmut Hasse 用来表示有限偏序集的一种数学图表 一种图形形式的对偏序集的传递简约 偏序集:A, ? 7.7 偏序关系 覆盖:A,?,b覆盖a如果 a?b,不存在c?A,a?c?b 哈斯图思路: 所有结点的自回路均省略 省略所有弧上的箭头,适当排列A中元素的位置,如a?b,则a画在b的下方 如a?b,b?c,则必有a?c, a到b有边, b到c有边,则a到c的无向弧省略 条件2,3等于说如果b覆盖a,则画一条从a到b的弧线,否则不画 7.7 偏序关系 例:画出下列偏序集的哈斯图。 {1,2,3,4,5,6},R整除 R整除={1,1,2,2,3,3,4,4,5,5,6,6,1,2,1,3,1,4,1,5,1,6,2,4,2,6,3,6} 1 2 5 3 4 6 7.7 偏序关系 哈斯图构造方法: A, R 第一步 令R1=R-IA 求Ran(R1) 求A-Ran(R1) A-Ran(R)中的元素画在哈斯图的第一层(即哈斯图最下面的层) 第二步 令R2={从R1中去掉以第一层的元素为第一元素的有序对,所剩有序对} 求Ran(R2), 求Ran(R1) -Ran(R2) Ran(R1) -Ran(R2)中的元素画在哈斯图的第二层(自下而上) 7.7 偏序关系 哈斯图构造方法: 第三步 令R3={从R2中去掉以第二层的元素为第一元素的有序对,所剩有序对} 求Ran(R3), 求Ran(R2)-Ran(R3) Ran(R2)-Ran(R3)中的元素画在哈斯图的第三层 … … … … … … … … 第k步 令Rk={从Rk-1中去掉以第k-1层的元素为第一元素的有序对,所剩有序对}=?, 将Ran(Rk-1)中的元素画在第k层(最顶层) 7.7 偏序关系 例:A={a,b,c},包含关系R是P(A)上的偏序关系,哈斯图如下: P(A)={ф,{a},{b},{c},{a,b},{a,c},{b,c},{a,b,c}} {a} {a,b} ф {b} {a,b,c} {b,c} {c} {a,c} 7.7 偏序关系 例:A={1,2,3,4,6,8,12,24 },R是整除关系,求哈斯图 R=IA?{1,2,1,

您可能关注的文档

文档评论(0)

fengruiling + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档