离散数学4.3课件.ppt

* 4.3 关系的性质 4.3.1关系性质的定义和判别 自反性与反自反性 对称性与反对称性 传递性 4.3.2 关系的闭包 闭包定义 闭包计算 Warshall算法 * 自反性与反自反性 定义4.14 设R为A上的关系,? (1) 若?x(x∈A→x,x?R), 则称R在A上是自反的. (2) 若?x(x∈A→x,x?R), 则称R在A上是反自反的. 自反：A上的全域关系EA, 恒等关系IA, 小于等于关系LA, 整除关系DA 反自反：实数集上的小于关系、幂集上的真包含关系. R2自反, R3 反自反, R1既不自反也不反自反. P96 例1 A = {a, b, c}, R1, R2, R3 是 A上的关系, 其中 R1 = {a,a,b,b} R2 = {a,a,b,b,c,c,a,b} R3 = {a,c} R在A上自反当且仅当IA?R R在A上反自反当且仅当IA ? R= ? * 对称性与反对称性 例2 设A＝{a,b,c}, R1, R2, R3和R4都是A上的关系, 其中  R1＝{a,a,b,b}， R2＝{a,a,a,b,b,a} R3＝{a,b,a,c}， R4＝{a,b,b,a,a,c} 定义4.15 设R为A上的关系,?(1) 若?x?y(x,y∈A∧x