[关系的性质-离散数学.pptVIP

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 上是对称的。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. (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上是反对称的. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. ?(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上是传递的。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 例7.13 设 A 是集合,R1 和 R2 是 A 上的关系, 证明 (1)??若 R1 和 R2 都是自反的和对称的, 则 R1∪R2