第3单元 二元关系-2闭包`次序`等价.pptVIP

第3单元 二元关系-2闭包`次序`等价.ppt

此“教育”领域文档为创作者个人分享资料,不作为权威性指导和指引,仅供参考
  1. 1、本文档共57页,可阅读全部内容。
  2. 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  5. 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  6. 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  7. 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  8. 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第3单元 二元关系-2闭包`次序`等价

第 3 章 二 元 关 系 3.3 关系上的闭包运算 3.3.1 逆关系 定理3.3―2 设 R、R1 和 R2 都是从 A 到B 的二元关系,那么下列各式成立: 3.3.2 关系的闭包运算 定义3.3―2 设R是A上的二元关系, R的自反(对称,传递)闭包是关系R′,使 (i) R′是自反的(对称的,传递的) (ii) R′R (iii)对任何自反的(对称的,传递的)关系R″,如果 R″R,那么R″R′ R的自反,对称和传递闭包分别记为r(R),s(R)和t(R). R的自反(对称,传递)闭包是包含R并且具有自反(对称,传递)性质的最小关系. 构造 R 的自反,对称和传递闭包的方法 定理3.3―5 设 R 是集合 A 上的二元关系,那么, 定理3.3―6 设 R 是集合 A 上的二元关系,那么, 定理3.3―7 设 R 是集合 A 上的二元关系,那么 例2 例3 设 A ={ a,b,c,d }, 3.4 次序关系 定义3.4―1 如果集合 A 上的二元关系 R 是自反的, 反对称的和传递的,那么称 R 为 A 上的偏序。 D={ } M={ } 例2 (1) P={1,2,3,4},〈P, ? 〉的哈斯图 (2) A={2,3,6,12,24,36},〈A,整除〉的哈斯图。 由图所示的哈斯图, 写出对应的偏序关系、 关系矩阵。 定义3.4―2 设〈A, ? 〉是一偏序集合,B是A的子集 (1)元素b∈B是 B 的最大元素,如果对每一元素 x∈B,x≤b 定理3.4―1 设〈A, ? 〉是一偏序集合,且 B ? A,如果B有最大(最小)元素,那么它是唯一的。 如果 a 是一下界并且对每一 B 的下界 a′有a′? a,那么元素 a∈A 叫做 B 的最大下界。 例4 (3)考虑偏序集合〈{2,5,6,10,15,30}, 整除〉, 其哈斯图如图。 设B={2,5,6,10,15,30}, 那么 极小元素:2、5 ;没有最小元素、下界、最大下界; 30是 最大元素、极大元素、上界、最小上界。 结论: 设〈A, ? 〉为偏序集,B ? A 3.4.2 拟序集合 定义3.4―5 如果集合A上的二元关系R是传递的和反自反的, 那么R叫做A上的拟序.〈A,R〉称为拟序集合. 常借用符号<表示拟序。 拟序是反对称的。 证明: 如果xRy和yRx, 由R的传递性得xRx, 但这与R的反自反性矛盾, 所以xRy∧yRx常假,于是 xRy∧yRx→x=y 常真, 【无义证明法】 即R是反对称的. 例5 (1) 实数集合中的<是拟序关系 (2) 集合族中的真包含是拟序关系 拟序集合和偏序集合是紧密相关的,唯一区别是相等关系E. 定理3.4―5 在集合A上, (1) 如果R是一拟序, 那么r(R)=R∪E是偏序. (2) 如果R是一偏序, 那么R-E是一拟序. 证明:习题12。 3.4.3 线序集合 如果≤是一偏序, 若a≤b或b≤a,我们说a和b是可比较的. 偏序集合中的元素不一定都可比较, 所以叫“偏”序. 定义3.4―6 在偏序集合〈A,≤〉中. 如果每一a,b∈A, 或者a≤b,或者b≤a. 那么≤叫做A上的线序(或全序), 〈A,≤〉叫做线序集合或链. 例6 (1)P={ ,{a},{a,b},{a,b,c}},〈P,〉是线序集合,其哈斯图如图3.4―8所示 (2)〈I,≤〉是线序集合,其哈斯图(不完全)如图3.4―9所示 (4)〈{1,2,3,6},整除〉不是线序集合; 如果A是多于一个元素的集合, 那么〈ρ(A),〉不是线序集合. 3.5

文档评论(0)

panguoxiang + 关注
实名认证
文档贡献者

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

1亿VIP精品文档

相关文档