离散数学43关系的性质.pptxVIP

1 自反性与反自反性 定义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既不自反也不反自反. 例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} 2 对称性与反对称性 例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,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和空关系