离散数学 g第四章.pptVIP

* 4.3 关系的性质 自反性 反自反性 对称性 反对称性 传递性 * 自反性与反自反性 定义 设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 反自反关系：实数集上的小于关系 幂集上的真包含关系 * 实例 例1 A={1,2,3}, R1, R2, R3是A上的关系, 其中R1＝{1,1,2,2}R2＝{1,1,2,2,3,3,1,2}R3＝{1,3} R2自反, R3反自反, R1既不是自反也不是反自反的 * 对称性与反对称性 定义 设R为A上的关系,? (1) 若?x?y(x,y∈A∧x,y∈R→y,x∈R), 则称R为A上对称的关系. (2) 若x?y(x,y∈A∧x,y∈R∧y,x∈R→x=y), 则称R为A上的反对称关系. 实例： 对称关系：A上的全域关系EA, 恒等关系IA和空关系? 反对称关系：恒等关系IA，空关系是A上的反对称关系.  * 实例 例2 设A＝{1,2,3}, R1, R2, R3和R4都是A上的关系,