第6章 二元关系-2.pptVIP

6.4 关系的性质------重点 本节涉及到的关系，如无特别声明，都是假定其前域和后域相同。即都为定义在集合A上的关系，且A是非空集合。对于前后域不相同的关系，其性质无法加以定义。 定义6.4.1-3设R是集合A上的关系， 1. 如果对任意x∈A，都有x,x∈R，那么称R在A上是自反的，或称R具有自反性. 例3：设A={1,2,3}，A上的关系： 2.“性质”在关系图和关系矩阵上的反应 (3) 关系R是对称的 ? 关系图中任何一对结点之间，要么有方向相反的两条边，要么无边 ? 关系矩阵为对称矩阵 (4) 关系R是反对称的 ? 关系图中任何一对结点之间，至多有一条边； ? R的关系矩阵满足 rij·rji＝0，i,j=1,2,…,n，i≠j。 (5) 关系R是传递的 ? 图中,任何三个节点x,y,z(可以相同)之间，若从x到y有一条边存在,从y到z有一条边存在,则从x到z一定有一条边存在. 例 　设A＝{a,b,c},试判断如下图所示A上关系的性质： 注: (3) 存在既是对称也是反对称的关系； 总结 关系性质的证明方法 自反 关系性质的证明方法(续) 反对称 6.4.2 关系性质的判断定理 定理6.4.1 设R是集合A上的二元关系，则： （1）R是自反的?IA?R； （2）R是反自反的?R∩IA＝Φ； （3）R是对称的?