- 1、本文档共64页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
[数学]关系的性质-离散数学
Discrete Math. , huang liujia 离散数学 Discrete Mathematics §7.5 关系的闭包 二. 闭包的构造方法 推论 设R是有限集合A 上的关系,则存在正整数r使得 t(R)= R∪R2∪…∪Rr. 通过关系求闭包 三. 闭包的性质 二元关系的闭包仍然是二元关系,还可以求它的闭包。 例如,R是A上的二元关系, r(R)是它的自反闭包,还可以求r(R)的对称闭包。r(R)的对称闭包记为s(r(R)),简记为sr(R),读做R的自反闭包的对称闭包。 类似的,R的对称闭包的自反闭包r(s(R))简记为rs(R),R的对称闭包的传递闭包t(s(R)),简记为ts(R),…… 通常用R*表示R的传递闭包的自反闭包rt(R),读作“R星”。 在研究形式语言和计算模型时经常使用R*。 §7.6 等价关系与划分 二. 等价类 三. 等价类的性质 四. 商集 §7.7 偏序关系 定义7.20 设R为非空集合A上的偏序关系,定义 二. 哈斯图 二. 哈斯图 三. 偏序集中的特殊元素 例7.21 求上例中A的极大元、极小元、最大元、最小元, 其次考察(P(x),R?)的哈斯图。 其最低层是空集?,记为第0层,由底向上,第1层是单元集,第2层是二元子集,…, 第n-1层是x的所有n-1元子集,最顶层即第n层,只有一个顶点x。 偏序集A, R?的哈斯图是由P(x)的哈斯图去掉第0层与第n层得到的, 故x的所有单元集都是A,R?的极小元,x的所有n-1元子集都是A,R?的极大元。 定义7.25 设A, ? 为偏序集,B?A, y?A. (2)必要性(用反证法): 假设R∩IA≠?, 则必存在x,y?R∩IA, 即x,y?R且 x,y?IA 。 由 x,y?IA 知 x=y. 从而 x,x?R. 这与R在A上是反自反矛盾。 充分性: ?x?A ? x,x?IA ? x,x?R (因 R∩IA =?), 这说明R在A上是反自反的。 (3) 必要性: ∵ R是A上的对称关系, ?x,y?R ? y,x?R ? x,y?R-1, 故R=R-1 。 充分性: 由于 R=R-1, ?x,y?R ? y,x?R-1 ? y,x?R. 故 R 在 A 上是对称的。 (4)??必要性: 因 R 在A上是反对称的, 故 ?x,y?R∩R–1 ? x,y?R∧x,y? R–1 ? x,y?R∧y,x?R ? x=y ? x,y?IA . ∴ R∩ R–1 ?IA 充分性: 因 R∩R–1 ? IA, 故 ?x,y?R∧y,x?R ? x,y?R∧x,y?R–1 ? x,y ? R∩R–1 ? x,y?IA ? x=y. 从而 R 在A上是反对称的. ?(5)??必要性: 因R在A上是传递的, 故 x,y?R ? R ? ?t(x,t?R∧t,y?R) ? x,y?R 因此 R ? R?R 充分性: 因 R ? R?R, 故 x,y?R∧y,z?R ? x,z?R ? R ? x,z?R ∴R在A上是传递的。 例7.13 设 A 是集合,R1 和 R2 是 A 上的关系, 证明 (1)??若 R1 和 R2 都是自反的和对称的, 则 R1∪R2 也是自反的和对称的. (2)?? 若 R1 和 R2 是传递的,则 R1∩R2 也是传递的. 证: (1) 因 R1 和 R2 是 A 上的自反关系, 故 IA? R1 , IA? R2, 从而 IA ? R1∪R2 . 由定理7.9, R1∪R2 在A上是自反的. 由 R1 和 R2 的对称性, 有 R1=R1–1 和 R2 =R2-1, 因此 (R1∪R2)-1= R1-1∪R2-1=R1∪R2 (见习题7.20). 由定理7.9, R1∪R2 在A上是对称的. (2) 由 R1 和 R2 的传递性, 有 R1 ? R1 ?R1 和 R2 ? R2 ? R2 .
文档评论(0)