2015离散5种关系.pptVIP

Properties of Relations Reflexive Symmetric Transitive Irreflexive Antisymmetric 自反的 对称的 传递的 反自反的 反对称的 Reflexive and irreflexive R在A上是自反的 ? (?x)( x?A ? xRx) A relation R on a set A is called reflexive if (a,a)∈R for every element a∈A. Reflexive and irreflexive 例1 A = {a, b, c}, R1, R2, R3 ,R4 是 A上的关系, 其中 R1 = {a,a,b,b} R2 = {a,a,b,b,c,c} R2 = {a,a,b,b,c,c,a,b} R4 = {a,c} IA ,EA ,小于等于关系，大于关系，整除关系，空关系? Irreflexive R在A上是反自反的 ?(?x)(x?A? x,x?R ) 例2 A = {a, b, c}, R1, R2, R3 , R4是 A上的关系, 其中 R1 = {a,a,b,b,c,c} R2 = {a,b,,b,c,c,a} R3 = {a,c, c,c} R4 ={a,d} IA ,EA ,小于等于关系,大于关系,整除关系,空关系? Symmetric and antisymmetric R在A上对称?(?x)(?y)(x?A?y?A?xRy?yRx). R是反对称的 ? (?x)(?y)(x?A?y?A? xRy ? yRx? x=y ) ?(?x)(?y)(x?A?y?A? x≠y ? xRy ? yRx ). ? A relation R on a set A is called symmetric if(b,a) ∈ R whenever (a,b) ∈ R,for all a,b ∈ A. ? A relation R on a set A such that for all a,b ∈ A, if (a,b) ∈ R and (b,a) ∈ R, then a = b is called antisymmetric. Symmetric and antisymmetric 例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} IA ,EA ,小于等于关系，大于关系，空关系? Transitive R在A上是传递的? (?x)(?y)(?z)(x?A?y?A?z?A?xRy ?yRz ?xRz) A relation R on a set A is called transitive if whenever (a,b) ∈ R and (b,c) ∈ R, then (a,c) ∈ R, for all a,b,c ∈ A. Remark: Using quantifiers we see that the relation R on a set A is transitive if we have ?a?b?c(((a,b) ∈ R ∧ (b,c) ∈ R) → (a,c) ∈ R). Transitive 例3 设A＝{a, b, c}, R1, R2, R3是A上的关系, 其中 R1＝{a,a,b,b} R2＝{a,b,b,c} R3＝{a,c} IA ,EA ,小于等于关系，大于关系，空关系? 例4 A={1,2,3}，R是A上的关系， 说出R的 　性质。其中　　　 1 0 0 MR= 1 1 0 0 1 1 关系 矩阵 主对角 线元素 全是1 主对角线 元素全是 0 矩阵是对称 矩阵 若rij＝1, 且 i≠j, 则rji＝0 对M2中1所 在位置,M 中相应位置 都是1 例5 判断下图中关系的性质, 并说明理由 (1) (2) (3) 关系图 每个顶 点都有 环 每个顶点 都没有环 如果两个顶 点之间有边, 一定是一对 方向相反的 边(无单边) 如果两点之 间有边, 一定 是一