离散数学3.6.pptVIP

3－6关系性质 一、关系的一些重要性质 定义设R是集合X上的二元关系， 对任意的x∈X,都满足x,x∈R，则称R是自反的关系。 对任意的x∈X,都满足x,x?R，则称R是反自反的关系。 对任意的x,y∈X,满足x,y∈R?y,x∈R，则称R是对称的关系。 对任意的x,y∈X,满足x,y∈R∧y,x∈R?x＝y,则称R是反对称的关系。 对任意的x,y,z∈X,满 x,y∈R∧y,z∈R?x,z∈R, 则称R是传递的关系。 关系性质 关系性质的逻辑表示：设R是集合A上的二元关系， R是自反的? 关系性质 关系性质 例：在整数集I上定义的“小于等于” ； “小于” 关系是 ； “等于”关系是。 幂集上的“包含” 关系是 ；“真包含”关系是 ；“相等”关系是。 请注意： 任何不是自反的关系是不是一定是反自反的关系，反之？ 任何不是对称的关系是不是一定是反对称的关系，反之？ 关系性质 例设A＝{1,2,3,4}，R＝{1,1,1,2，2,1,3,4}是A上的关系。则R 。 关系性质 二、用关系图来描述关系的这几种重要的性质 在关系图中,每个节点都有环, 则此关系是自反关系. 在关系图中,每个节点都无环, 则此关系是反自反关系。 在关系图中,任何一对节点(可以相同)之间,要么有方向相反的两条边,要么无任何边, 则此关系是对称关系。 关系性质 用关系图来描述关系的这几种重要的性质(续) 在关系图中,任何一对节点(可以相同)之间,至多有一条边存在, 则此关系是反对称关系。 在关系图中,任何三个节点x,y,z(可以相同)之间，若从x到y有 一条边存在,从y到z有一条边存在,则从x到z一定有一条边存在, 则此关系是传递关系。 关系性质 三、用关系矩阵来描述关系的这几种重要的性质 在关系矩阵中,对角线上全为1, 则此关系是自反关系。 在关系矩阵中,对角线上全为0, 则此关系是反自反关系。 若R之关系矩阵为对称矩阵, 则此关系是对称关系。 关系性质 用关系矩阵来描述关系的这几种重要的性质(续) 若R之关系矩阵为反对称矩阵(关于元素1的反对 称), 则此关系是反对称关系。 在关系矩阵中,对任意i,j,k∈{1,2,3,…，n}, 满足如rij＝1∧rjk＝1则rik＝1, 则此关系是传递关系。 关系性质 例：设A＝{1,2,3},定义在A上的关系如下图： 关系性质 解：从关系图易判断上述关系之性质如下： 图(1)的关系是自反的、对称的、反对称的、传递的关系； 图(2)的关系是具备反自反的、对称的、反对称的、传递的关系； 图(3)的关系是具备对称的、反对称的、传递的关系； 图(4)的关系是不具备任何的性质关系； 关系性质 解（续）： 图(5)的关系是具备自反的、对称的、传递的关系； 图(6)的关系是具备反自反的、反对称的、传递的关系； 图(7)的关系是具备反自反的、反对称的、传递的关系。 关系性质 例：设R＝{a,a,b,b}是定义在A＝{a,b}上的二元关系，S＝{a,a,b,b}是定义在B＝{a,b,c}上的二元关系,试判断R，S具备何种性质。 关系性质 自反 关系性质 关系性质 反对称 离散数学 离散数学 是永真的 R不是自反的? 是永真的 R是反自反的? 是永真的 R不是反自反的? 是永真的 R是对称的? 是永真的 R不是对称的? 是永真的 R是传递的? 是永真的 R不是传递的? 是永真的 R是反对称的? 是永真的 R不是反对称的? 是永真的 关系性质的逻辑表示(续) 例设A是任意的集合，A上的完全关系A×A ； A上的恒等关系IA是。 例1)朋友关系是\； 2)父子关系是. 问：一个关系能不能既是对称的又是反对称的？ 反自反 任取x?A， 中间过程 任取x?A， 中间过程 x,x?R。 x,x?R。 关系性质的证明方法： 对称 任取x,y?A， 假设x,y?R， 中间过程 y,x?R。 传递 任取x,y,z?A，假设 x,y?R，y,z?R， 中间过程 x,z?R。 关系性质的证明方法(续)： 任取x,y?A，假设 x,y?R，y,x?R， 中间过程 x＝y。 或者 任取x,y?A，x≠y， 假设x,y?R， 中间过程 y,x?R。 关系性质的证明方法(续)： * * * *