左孝凌离散数学课件3.6关系性质.pptVIP

* * 离散数学(Discrete Mathematics) * * 3.6 关系的性质 一、自反性与反自反性 二、对称性与反对称性 三、传递性 1.自反性 设R为定义在A上的二元关系，即R?A?A, 如果对于每一个x?A，有xRx (x,x?R)，则称二元关系R是自反的。 R在A上是自反的 ?(?x)( x?A ? xRx) R在A上是非自反的 ?(?x)( x?A ? x,x?R) 例如，在实数集合中，“?”是自反的，因为对于任意实数x?x成立。 平面上三角形的全等关系是自反的 一、自反性与反自反性 1.自反性 例：设集合A={a,b,c}上有下列关系： R1={a,a,b,b,c,c,a,b,c,a} R2={a,b,b,c,c,a} R3={a,a,b,c} R4=A上的空关系=Φ 分析它们的自反性，并画出关系图和关系矩阵 一、自反性与反自反性 1 1 0 0 1 0 1 0 1 0 1 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 自反 1.自反性 一、自反性与反自反性 特点： 具有自反性的关系矩阵主对角线元素全是1； 关系图上每个节点都有自回路 思考： 具有自反性的关系与恒等关系有何区别和联系 2.反自反性：设R?A?A, 如果对于每一个x?A，有x,x?R，则称二元关系R是反自反的。 R在A上是反自反的 ?(?x)(x?A? x,x?R ) R在A上是非反自反的 ?(?x)( x?A ? xRx) 一、自反性与反自反性 2.反自反性 例：设集合A={a,b,c}上有下列关系： R1={a,a,b,b,c,c,a,b,c,a} R2={a,b,b,c,c,a} R3={a,a,b,c} R4=A上的空关系=Φ 分析它们的反自反性，并画出关系图和关系矩阵 一、自反性与反自反性 1 1 0 0 1 0 1 0 1 0 1 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 反自反 既非自反也非反自反 反自反 2.反自反性 一、自反性与反自反性 特点： 对于关系矩阵，其主对角线元素全是0； 对于关系图，其每个节点都没有自回路 2.反自反性 一、自反性与反自反性 注意： 如果R不是自反关系，则R未必一定是反自反关系，有可能既非自反关系，也非反自反关系，如R3； 一个非空集合上的关系不能既是自反关系，又是反自反关系。 结论： R是A上的关系，则： 1）R是自反关系的充要条件是IA ?R; 2）R是反自反关系的充要条件是R∩IA =Φ; 1.对称性： 设R?A?A, 如果对于每个x,y?A,每当 xRy，则必有 yRx，则称集合A上的关系R是对称的。 R在A上对称?(?x)(?y)(x?A?y?A? xRy?yRx) R非对称 ?(?x)(?y)(x?A?y?A? xRy?yRx) 例如，实数集R上的“=”，三角形的相似关系，朋友关系都是对称的。 二、对称性与反对称性 1.对称性： 设R?A?A, 如果对于任意x,y?A,每当 xRy，则必有 yRx，则称集合A上的关系R是对称的。 R在A上对称?(?x)(?y)(x?A?y?A? xRy?yRx) R非对称 ?(?x)(?y)(x?A?y?A? xRy?yRx) 例：设集合A={a,b,c}上有下列关系： R1={a,b,b,a} R2={a,b,b,c,c,b} R3={a,a,b,b} R4={a,a,b,b,c,c} R5={a,b,b,c} R6=Φ 二、对称性与反对称性 √ √ √ √ × × 1.对称性 例：设集合A={a,b,c}上有下列关系： R1={a,b,b,a} R2={a,b,b,c,c,b} R3={a,a,b,b} R4={a,a,b,b,c,c} R5={a,b,b,c} R6=Φ 二、对称性与反对称性 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 对称 对称 对称 对称 1.对称性 特点： 具有对称性的关系矩阵关于主对角线对称 关系图的特点是任何两个不同的节点之间，或者是一来一回两条弧，或者是没有弧。是否有自回路，对对称