离散数学课件5.1 关系1.ppt

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

Deren Chen, Zhejiang Univ. 5. Relations 关系 5.1 Relations and their Properties 关系及其性质 小 结 进一步的思考 练 习 关系的闭包/Closure of Relations 小 结 进一步的思考 练 习 小 结 进一步的思考 练 习 [定理2]:每个A的分划 pr(A)={A1,A2,…,An},都可以找到一个半序关系R,使A1,A2,…,An都是(A,R)的反链,而(A,R)的最长链由A1,A2,…,An中各取一个元素组成。 例: 如上例: 取R1={(1,2),(1,3),(1,5),(1,7),(2,6),(2,4),(3,6),(3,9),(4,8),(1,1),(2,2),(3,3),(4,4),(5,5),(6,6),(7,7),(8,8),(9,9)} 但若取: R1={(1,2),(1,3),(1,5), (1,7),(2,4),(2,6), (2,9),(6,8),(5,9), (1,1),(2,2),(3,3), (4,4),(5,5),(6,6), (7,7),(8,8),(9,9)} [定理3]: 设半序集(p,≤)包含m·n+1个或以上个元素,则p至少有一个链长≥n+1(或m+1)或至少有一个反链长≥m+1(或n+1)。 证: 若p的最长链长≤n,反链长≤m,由定理1,p可划分为不超过n个反链,则p至多有n·m个元素,与p的元素个数矛盾。 例1: a·b+1个自然数的集合p ((p,|)是半序集) 或者有 (a+1)(或(b+1))个数一个 被一个整除 或者有 (b+1)(或(a+1))个数互素 [定义]良序集: 设(A,R)是半序集,若A的非空子集都存在最小元,则称R是良序关系,(A,R)为良序集。 注:(1)良序集是全序集 (2)全序集未必是良序的,如: 实数全体,任两个实数都能比大小,但子集{1/n}的最小元找不到。 但,有限的全序集自然是良序的。 但R1∪R2不是传递的,如:(c,h),(h,i)∈R1∪R2,而(c,i)?R1∪R2。 把R1∪R2扩张到传递性满足,就是(R1∪R2)*。 例7: A={52张扑克牌} R1={(a,b)|a与b同花, a,b是扑克} ? π1 R2={(a,b)|a与b同点, a,b是扑克} ? π2 R1∩R2 ? π1·π2把扑克分成52张 单张 (R1∪R2)* ? π1+π2把52张扑 克归为同一类 [定义]平凡分划: 集合A的最粗或最细的分划,称为平凡分划。 注: (1)等价关系,用穷举法很难判别 (2)用关系图比较直观,明确 (3)用集合的分划来研究等价关系 §5 半序关系 [定义]:半序关系(偏序关系) R是A上的二元关系,如果R满足: (1) 自反的 (2)反对称的 (3) 传递的 则称R是A上半序关系。 例: A={1,2,3,4,5,6,7,8,9} B={a,b,c} R1={(a,b)| a≤b,a,b∈A} R2={(a,b)| a|b,a,b∈A} R3={(s1,s2)|s1?s2, s1,s2∈p(B)} 记号: R={(a,b)|a≤Rb, a,b∈A}其中≤R可为≤ ,|, ?  注: (1)用矩阵表示半序关系,不能明显看 到二元关系的特征。 (2)用简化的关系图表示较适合。 简化的关系图: (1)自反性:每个顶点都有自回路,省去。 (2)反对称性:两个顶点间只可能有一个箭头 从左→右,或从下→上的方向 从小到大安置顶点,可省略箭头。 (3)传递性:由于有(a,b),(b,c)∈R 则(a,c)∈R 故只画(a,b),(b,c)对应的边 省略边(a,c)。

文档评论(0)

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

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

1亿VIP精品文档

相关文档