苏XI友无密码课件 第4章 二元关系与函数.ppt

§3 关系的性质 反对称关系的关系图: R1的关系图: R2的关系图: 由关系图可见, 反对称关系图中, 如果两个结点之间有边, 一定只有一条有向边, 不会有两条方向相反的边. 即任何一对结点之间, 至多有一条边存在, 则此关系是反对称的. R1={?1,1?,?2,2?} R2={?1,2?,?1,3?} 北京林业大学信息学院 苏喜友 * §3 关系的性质 A上关系根据是否具有对称性和反对称性可分为四类： 对称的 R3 反对称的 R2 既对称又反对称 R1 既不对称也不反对称 R4 A上关系 北京林业大学信息学院 苏喜友 * §3 关系的性质 Def.5 传递性. 设R是A上的关系, 对任意x,y,z∈A,如果?x,y?∈R且?y,z?∈R, 那么有?x,z?∈R, 则称R是传递的. 即 R是传递??x?y?z(x,y,z∈A∧xRy∧yRz→xRz). 可以证明: R是传递关系?R?R?R. 由此可知, A上的EA,IA,LA,DA,R?都是传递关系. 北京林业大学信息学院 苏喜友 * §3 关系的性质 例如, A={1,2,3}, R1={?1,1?}, R2={?1,3?,?2,3?}, R3={?1,1?,?1,2?,?2,3?}. 因为R1?R1=R1?R1, R2?R2=φ?R2, 所以R1,R2是传递关系. 但 R3?R3={?1,1?,?1,2?,?1,3?}?R3, 所以R3不是传递关系. 北京林业大学信息学院 苏喜友 * §3 关系的性质 传递关系的矩阵表示: R1的关系矩阵: R2的关系矩阵: R1={?1,1?},R2={?1,3?,?2,3?} 北京林业大学信息学院 苏喜友 * §3 关系的性质 传递关系的关系图: R1的关系图: R2的关系图: 在关系图中, 任何三个结点x,y,z之间, 若x到y有一条边存在, y到z有一条边存在, 则从x到z一定有一条边存在, 则此关系是传递关系. R1={?1,1?},R2={?1,3?,?2,3?} 北京林业大学信息学院 苏喜友 * §3 关系的性质 Th.1 设R1,R2是A上的二元关系, 则 (1)若R1,R2是自反的, 则R1, R1∩R2, R1∪R2, R1?R2也是自反的; (2)若R1,R2是反自反的, 则R1, R1∩R2, R1∪R2也是反自反的; (3)若R1,R2是对称的, 则R1, R1∩R2, R1∪R2也是对称的; (4)若R1,R2是反对称的, 则R1, R1∩R2也是反对称的; (5)若R1,R2是传递的, 则R1, R1∩R2也是传递的. -1 -1 -1 -1 -1 北京林业大学信息学院 苏喜友 * §3 关系的性质 Exp.1 判断下图中关系的性质. (1)每个结点都有环, 该关系是自反的, 从而不是反自反的; 结点1、2之间有两条方向相反的边, 而结点2、3之间只有一条单向边, 所以该关系既不是对称的, 也不是反对称的; 结点1到2有边, 2到3有边, 但1到3没边, 所以该关系不是传递的. (2)结点2无环, 该关系不是自反的; 结点1有环,该关系不是反自反的; 各结点之间都只有一条单向边, 所以该关系是反对称的, 但不是对称的; 结点1到2有边, 但2到1、到3无边; 3到1有边, 1到2有边, 且3到2也有边; 3到2有边, 但2到1、到3无边, 所以该关系是传递的. (3)每个结点都有环, 该关系是自反的, 从而不是反自反的; 各结点之间均有两条方向相反的边, 所以该关系是对称的, 不是反对称的; 该关系是全关系, 关系图中包含了所有的边, 所以该关系是传递的. 北京林业大学信息学院 苏喜友 * §4 等价关系和偏序关系 一、等价关系 等价关系是一种常见的二元关系, 如同学与同学之间的同班关系、同龄关系均是等价关系;平面几何中, 直线与直线的平行关系、三角形与三角形的相似关系都是等价关系; 数的相等关系也是等价关系. 建立起等价关系的概念之后, 可以对集合中的元素进行分类, 划分成若干个等价类, 如同班关系将全校学生的集合划分为若干个班的等价类, 或按同院关系划分成几个院的等价类等. 北京林业大学信息学院 苏喜友 * §4 等价关系和偏序关系 Def.1 等价关系 设R是集合A上的二元关系, 如果R是自反的、对称的和传递的, 则称R为一个等价关系. 若?x,y?∈R, 则称x等价于y或y等价于x(因为R是对称的), 记为x～y. Exp.1 设A={1,2,3,