离散数学-- 关系的性质.ppt

第三章 集合与关系 3-6 关系的性质 授课人：李朔 Email:chn.nj.ls@ 一、自反性 P110 定义3-6.1 设R是A上的二元关系,如果对于每个x∈X，有xRx,则称二元关系R是自反的。 R在X上自反?(?x)(x?X →xRx) 例如: 实数集上的“”,三角形的全等关系是自反的 在实数集合中，“≤”是自反的，因为对于任意实数x≤x成立。 设R是X上的自反关系，可知，R的关系矩阵MR的主对角线全为1；在关系图中每一个结点上都有自回路。 例如 A={1,2,3},R={〈1,1〉,〈2,2〉,〈3,3〉,〈1,2〉}是自反的.其关系图和关系矩阵如下图。 二、对称性 定义3-6.2 设R是A上的二元关系,如果对于每个x,y∈X，每当有xRy,就有yRx则称二元关系R是对称的。 R在X上对称?R在X上对称?(?x)(?y)(x?X∧y?X∧xRy →yRx) 例如：平面上三角形集合中的相似关系是对称的。 R是X上的对称关系，可知，R的关系矩阵MR是对称阵。在R的关系图中，如果两个不同的结点间有边，一定有方向相反的两条边。 例如,A={1,2,3},R4={〈1,2〉,〈2,1〉,〈3,3〉}是对称的.其关系图和关系矩阵的特点如图 三、传递性 P111 定义3-6.3 设R是A上的二元关系,如果对于任意x,y,z∈X，每当有xRy,yRz就有xRz