离散数学第3章(7–8)(新教材).pptVIP

例如 实数集的“?”关系是自反的. 此外,从关系的关系矩阵以及关系图也很容易对自反性加以判断.一个关系有自反性的充分必要条件是它的关系矩阵的主对角线的元素全都是1;一个关系有自反性的充分必要条件是它的关系图中每个顶点(即集合的每个元素对应画出的小圆圈)都有一条自回路(也称为一个环，即出发点和终点是同一个点的边). 定义7.2(反自反性) 设R是集合A上一个二元关系, 如果对每个x?A, 都有x,x?R, 则称R在A上是反自反的. R在X上是反自反的 ?(?x)(x?X?x, x?R). 反自反性也很容易从关系矩阵和关系图中看出来. 一个关系有反自反性的充分必要条件是它的关系 矩阵的主对角线上所有的元素全都是0;一个关系有 反自反性的充分必要条件是它的关系图中每个顶 点都没有自回路. 定义7.3(对称性) 设R是集合A上一个二元关系, 如果对每一对元素x, y?A,当xRy时,就有yRx, 则称R在A上是对称的. 即R在A上是对称的  ?(?x)(?y)((x?A)?(y?A)?(xRy)?yRx). 对称性很容易从关系矩阵和关系图中看出来.一个 关系有对称性的充分必要条件是它的关系矩阵是 一个对称阵;一个关系有对称性的充分必要条件是 它的关系图中任意两个结点之间要么没有有向边 相连,要么恰有一对方向相反的有向边相连. 反对称性也很容易从关系矩阵和关系图中看出来. 一个关系有反对称性的充分必要条件是它的关系 矩阵中关于主对角线对称的任何一对元素要么两 个数都是0,要么一个数是0而另一个数是1,或者换 句话说:关于主对角线对称的任意一对数中至多 只能有一个元素是1;类似地,一个关系有反对称性 的充分必要条件是它的关系图中任意两个结点之 间至多只有一条有向边相连. 要想通过关系矩阵或者关系图来判断一个给 定的关系有没有传递性是比较困难和复杂的. (注) (1)有自反性的关系一定没有反自反性,有反自反性的关系也一定没有自反性,这说明自反性与反自反性不可能共存于同一个关系之中.但是有这样的关系存在,它既不是自反的,也不是反自反的. (2)对称性和反对称性有可能共存于同一个关系之中.同时也存在这样的关系,它既不是对称的,也不是反对称的. 请读者举出相应的例子来说明上面注解中的结论. 例2．给定一个非空集合A={a,b,c,d},试计算 (1)A上所有有自反性的二元关系的个数; (2)A上所有有反自反性的二元关系的个数; (3)A上所有有对称性的二元关系的个数. 解:(1)有自反性的关系必须含有 a,a,b,b,c,c,d,d 这四个序偶,而 16-4=12, 所以A上所有有自反性的二元关系的个数等于 . (2)有反自反性的关系必须不含有 a,a,b,b,c,c,d,d 这四个序偶中的任何一个,所以A上所有有反自反性的二元关系的个数同样等于212. (3)除了a,a,b,b,c,c,d,d这四个序偶之外(任何有对称性的关系可以不含这四个序偶中的任何一个,也可以含有这四个序偶中的任意个数),对A?A中剩下的16-4=12个序偶,一个有对称性的关系在含有其中任何一个序偶x,y的同时,必须同时含有序偶y,x.所以这12个剩下的序偶必须两两分成6对,每一对视为一个不可分割的整体,这样可以将A?A中全部16个序偶视为4+6=10个独立的“元素体”,一个有对称性的关系可以含有这10个“元素体”中任意多个,从而一共有210个有对称性的二元关系. 第八节 关系的运算, 复合关系和逆关系 从现在起,我们要陆续介绍关系的各种运算.首先,关系是一种集合,因而可以对关系运用集合的各种运算.例如,如果R1和R2是同一个集合A上的两个二元关系,那么它们就都是集合A?A的子集合.我们可以对它们作以前介绍过的集合之间的任何一种运算(例如集合