《离散数学教学资料》06-关系性质.pptVIP

3.6　关系的性质 一个集合上，可以定义很多不同的二元关系，我们更关注其中一些具有特殊性质的二元关系。 讨论关系的自反、反自反、对称、反对称、传递五种性质。 定义：R是A上的二元关系，若对任意的 x?A，满足 x,x?R，则称R是自反的。 一、关系性质的定义 R自反 ? ?x ( x?A ? xRx ) 例：集合｛1,2,3｝上的关系 R1＝｛1,1,2,2,2,3,3,1 R2＝｛1,1,3,3｝ 　　 R3＝｛1,1,2,2,2,3,3,1,3,3｝ R4＝｛1,1,2,2,3,3｝ 　 R5＝｛　｝ 　　　　　　　　 定义：R是A上的二元关系，若对任意的 x?A，满足 x,x?R，则称R是反自反的。 R反自反 ? ?x ( x?A ? xRx ) 例：集合｛1,2,3｝上的关系： R1＝｛1,2,2,2,2,3,3,1｝ R2＝｛1,2,2,3,3,1｝　　 R3＝｛　｝ 　　　　　　　　　 定义：R是A上的二元关系，若对任意的 x,y?R，满足y,x?R，则称R是对称的 。 R对称 ? ?x?y ( xRy ? yRx ) 例：集合｛1,2,3｝上的关系 R1＝｛1,2,2,2,2,3,3,2 ｝ R2＝｛1,2,2,1,2,2,2,3,3,2｝ R3＝｛　｝ 　　 　　　　　 定义：R是A上的二元关系，若对任意的 x,y?R 且 x?y，满足y,x?R ，则称R是反对称的 。 R反对称 ? ?x?y ( x?y ? xRy ? yRx ) R反对称 ? ?x?y ( xRy ? yRx ? x=y ) 例：集合｛1,2,3｝上的关系 R1＝｛1,2,1,3,2,3,3,2｝ R2＝｛1,2,1,3,2,2,2,3｝ R3＝｛　｝ 　　　　　　　　 定义：R是A上的二元关系，若对任意的 x,y?R 且 y,z?R，满足 x,z?R，则称R是传递的 。 R传递 ? ?x?y?z ( xRy ? yRz ? xRz ) 例：集合｛1,2,3｝上的关系 R1＝｛1,2,2,3,1,3｝ R2＝｛1,2,2,1,2,3,1,3｝ R3＝｛1,2,2,1,2,3,1,3,1,1,2,2｝　 R4＝｛　｝ 　　　　　　　 　 (1) 存在既自反又反自反的关系？ (2) 存在既不自反又不反自反的关系？ (3) 存在既对称又反对称的关系？ (4) 存在既不对称又不反对称的关系？ 例： 设 X ≠ Φ，R 是 P(X) 上的关系， R = { A,B | A,B?P(X) 且 A∩B ≠ Φ }， 试确定R的性质。 思考： 例： 解： |X|=1时，R：对称，反对称，传递 |X|1时，R：对称 Ｒ自反： MR中主对角线上元素全为1 GR中每个结点均有有向环 二、关系性质在关系图、关系矩阵上 的反映 1 1 0 0 1 0 0 0 1 Ｒ反自反： MR中主对角线上元素全为0 GR中每个结点均无有向环 0 1 0 0 0 0 0 0 0 Ｒ对称： 　 MR是对称矩阵 GR中任何两结点间 若有边必成对出现 1 1 0 1 0 1 0 1 0 Ｒ反对称： MR中关于主对角线对称的元素 不能同时为1 GR中任何两结点间若有边 不能成对出现 1 0 0 0 0 1 1 0 0 Ｒ传递： GR中任何两连续有向边, 都有一同向有向边相连 若从x到y有边，从y到z有边， 则从x到z有边 集合 关系 关系的性质 自反 反自反 对称 反对称 传递 整数集 ＝ ≤ ＜ 任意 非空 集族 ＝ ? ? 任意 非空 集合 Φ IA EA 作业 （1）书 P 114 (6) （2）补充