离散数学 第4章 集合与关系 二.pdfVIP

第4 章 二元关系 4.3 关系的性质 （自反、反自反，对称，反对称，传递）  自反性与反自反性 即：I R 即：R ∩I = X 定义4.3.1 设R为集合X 上的二元关系, X (1) 若x (x ∈X →x,x R), 则称R在X 上是自反的. (2) 若x (x ∈X →x,x R), 则称R在X 上是反自反的. 自反：X 上的全域关系EX , 恒等关系IX , 小于等于关系LX , 整除关系DX 反自反：空关系、实数集上的小于关系、幂集上的真包含 关系. 实例 X = {a, b, c}, R , R , R 是X 上的关系, 其中 1 2 3 R1 = {a,a,b,b} R2 = {a,a,b,b,c,c,a,b} R3 = {a,c} R 自反, R 反自反, R 既不自反也不反自反. 2 3 1 第4 章 二元关系  对称性与反对称性 若xy (x,y ∈X ∧x,y ∈R ∧x≠y → y ,x R), 即：R=RC 则也称R为X 上的反对称关系. 定义4.3.2 设R为集合X 上的二元关系, (1) 若xy (x,y ∈X ∧x,y ∈R→y ,x ∈R), 则称R为X 上 c 对称的关系. 即：R ∩R IX (2) 若xy (x,y ∈X ∧x,y ∈R ∧y ,x ∈R→x=y ), 则称R 为X 上的反对称关系. 实例 对称： X 上的全域关系EX , 恒等关系IX 和空关系 反对称：恒等关系IX ，空关系也是X 上的反对称关系 实例 设X ＝{a,b,c}, R , R , R 和R 都是X 上的关系, 其中 1 2 3 4 R ＝{a,a,b,b}， R ＝{a,a,a,b,b,a} 1 2 R ＝{a,b,a,c}， R ＝{a,b,b,a,a,c} 3 4 R1 对称、反对称. R2 对称，不反对称. R3 反对称，不对称. R4 不对称、也不反对称 第4 章 二元关系  传递性 即：R ∘RR 定义4.3.3 设R为集合X 上的二元关系, 若 xy z(x,y ,z ∈X ∧x,y ∈R ∧y ,z ∈R→x,z ∈R), 则称R是X 上的传递关系. 实例：X 上的全域关系 EX , 恒等关系 IX 和空关系 , 小 于等于关系, 小于关系, 整除关系, 包含关系, 真包含关系 实例 设X ＝{a, b, c}, R , R , R 是X 上的关系,