2.4 关系及性质.pptVIP

参考黄刘佳 参考黄刘佳《离散数学》 第四节 关系的性质 例 设A = { 1, 2, 3 }, R1, R2, R3和R4都是A上的关系. R1 = { 1, 1, 2, 2 } R2 = { 1, 1, 1, 2, 2, 1 } R3 = { 1, 2, 1, 3 } R4 = { 1, 2, 2, 1, 1, 3 } 说明R1, R2, R3和R4是否为A上对称和反对称的关系. 五. 关系的闭包 2. 闭包的构造方法 (2)通过关系求闭包 例 设A={a, b, c, d}, R={a, b, b, a, b, c, c, d},求R和r(R), s(R), t(R)的关系图和关系矩阵？ 3. 闭包的性质 二元关系的闭包仍然是二元关系，还可以求它的闭包。 例如，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*。 作业： P50 10,19 *参考 黄刘佳 《离散数学》 第二章 关系的性质主要有5种: 自反性,反自反性,对称性,反对称性和传递性。 定义1 设R是A上的关系,若?x(x?A?x,x?R),则称 R在A上是自反的(Reflexive); 若?x(x?A?x,x?R), 则称R在A上是反自反的(antiReflexive). 一.关系的五种性质 例 (1) A上的全域关系EA、 恒等关系IA都是A上的自反关系. (2) 小于等于关系 LA={x,y?x,y?A∧x≤y}, A?R. 整除关系 DA={x,y?x,y?A∧x整除y}, A?Z*. 包含关系 R?={x,y?x,y?A∧x?y},A 是集合族。 都是自反关系. (3)? 小于关系 SA= {x,y?x,y?A∧x?y},A?R. 真包含关系 R?= {x,y?x,y?A∧x?y}, A是集合族。 都是反自反关系. (4) 设 A={1,2,3}, R1={1,1,2,2,3,3,1,2}是A上的自反关系; R2={1,3}是A上的反自反关系; R3={1,1,2,2}既不是自反的,也不是反自反的. 定义2 设R是A上的关系, 若 ?x?y(x,y?A∧x,y?R→(y,x)?R), 则称 R是A上的对称关系(Symmetric); 若 ?x?y(x,y?A∧x,y?R∧(y,x)?R→x=y), 则称 R 是A上的反对称关系(antiSymmetric). ?例 (1) A上的全域关系EA, 恒等关系IA 及空关系?都是A上的对称 关系; IA 和?同时也是 A上的反对称关系. (2) 设A={1,2,3},则 R1={1,1,2,2}既是A上的对称关系,也是A上的反对称关系; R2={1,1,1,2,2,1}是对称的,但不是反对称的; R3={1,2,1,3}是反对称的,但不是对称的; R4= {1,2,2,1,1,3}既不是对称的也不是反对称的。 定义3 设R是A上的关系, 若 ?x?y?z(x,y,z?A∧x,y?R∧y,z?R→x,z?R), 则称R是A上的传递关系。 例 (1) A上的全域关系EA,恒等关系IA和空关系?都是传递关系。 (2) 小于等于关系,整除关系和包含关系是传递关系,小于关系和真包含关系也是传递关系。 (3) 设A={1,2,3},则R1={1,1,2,2}和 R2={1,3}都是A上的传递关系, 但R3={1,2,2,3}不是A上的传递关系。 定理 设R为A上的关系,则 (1)? R在A上自反当且仅当 IA? R (2)? R在A上反自反当且仅当 R∩IA=? (3) R在A上对称当且仅当 R=R-1 (4) R在A上反对称当且仅当 R∩R-1?IA (5)? R在A上传递当且仅当 R ? R?R 证:(1)必要性: 因 R 在A上自反,故 x,y?IA?x,y?A∧x=y?x,y?R， 从而IA?R。 充分性:因?x?A?x,x?IA?x,x?R,故R在A上自反。 二.各