- 1、本文档共162页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 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,
您可能关注的文档
- 2002年上海医院检验科质量要求-yeec维修网.DOC
- 2005年GCT工硕考试语文辅导.DOC
- 2007年民办教育机构年检通知-苏州工业园区.DOC
- 2008年5月份湖南专利申请及授权状况统计分析报告.DOC
- 2008年中药专业建设情况汇报.PPT
- 2008年陕西中新浐灞足球队招商计划.DOC
- 2008绿色创投方案评选活动华中地区推广会时间3月29日上午地点.PPT
- 2010年上海对外贸易学院老干部工作总结-上海对外经贸大学.DOC
- 2010年优秀学生表彰大会-上海思博职业技术学院.DOC
- 2010年全国复杂网络学术会议-苏州大学.DOC
- [专精特新]金华永和氟化工有限公司行业竞争力评级分析报告(2023版).pdf
- [专精特新]重庆升光电力印务有限公司行业竞争力评级分析报告(2023版).pdf
- [专精特新]无锡巨力重工股份有限公司行业竞争力评级分析报告(2023版).pdf
- [专精特新]江西凯安新材料集团股份有限公司行业竞争力评级分析报告(2023版).pdf
- [专精特新]浙江永昌电气股份有限公司行业竞争力评级分析报告(2023版).pdf
- [专精特新]苏州中创铝业有限公司行业竞争力评级分析报告(2023版).pdf
- [专精特新]杭州汽轮铸锻有限公司行业竞争力评级分析报告(2023版).pdf
- [专精特新]浙江美声智能系统有限公司行业竞争力评级分析报告(2023版).pdf
- [专精特新]汕头市虹桥包装实业有限公司行业竞争力评级分析报告(2023版).pdf
- [专精特新]江西亚中电子科技股份有限公司行业竞争力评级分析报告(2023版).pdf
最近下载
- 江苏省2021年中学生生物学奥林匹克初赛理论试题答案.doc
- 2025年哈尔滨应用职业技术学院单招语文测试题库附答案.docx VIP
- 2025年安徽水利水电职业技术学院高职单招职业技能测试近5年常考版参考题库含答案解析.docx
- 【道氏理论】(完全版).doc
- 分娩镇痛的现状和临床应用课件.ppt
- 学科中心教研组管理方案.docx VIP
- 五年级下册数学单元测试-3长方体和正方体 人教版(含答案).docx
- 2024年安徽水利水电职业技术学院单招职业技能测试题库(考试直接用).docx VIP
- 23S516 混凝土排水管道基础及接口图集.docx VIP
- 数控系统(CNC)系列:Fanuc 31i-B_(6).G代码和M代码详解.docx
文档评论(0)