第三章集合与关系探索.ppt

第三章 集合与关系 3.6 关系的性质 例3 (1) A上的全域关系EA,恒等关系IA和空关系?都是传递关系。 (2) 小于等于关系,整除关系和包含关系是传递关系,小于关系和真包含关系也是传递关系。 (3) 设A={1,2,3},则R1={1,1,2,2}和 R2={1,3}都是A上的传递关系, 但R3={1,2,2,3}不是A上的传递关系。 第三章 集合与关系 3.6 关系的性质 可能有某种关系，既是对称的，又是反对称的。 有些关系既非自反的又非反自反的、既非对称也非反对称。 第三章 集合与关系 3.6 关系的性质 设R为A上的关系,则 (1)? R在A上自反当且仅当 IA? R 证: 必要性: 因 R 在A上自反,故 x,y?IA?x,y?A∧x=y?x,y?R， 从而IA?R。 充分性:因?x?A?x,x?IA?x,x?R,故R在A上自反。 二、各种性质的充分必要条件 第三章 集合与关系 3.6 关系的性质 二、各种性质的充分必要条件 (2)R在A上反自反当且仅当 R∩IA=? 证:必要性(用反证法): 假设R∩IA≠?, 则必存在x,y?R∩IA, 即x,y?R且 x,y?IA 。 由 x,y?IA 知 x=y. 从而 x,x?R. 这与R在A上是反自反矛盾。 充分性: ?x?A ? x,x?IA ? x,x?R (因 R∩IA =?), 这说明R在A上是反自反的。 第三章 集合与关系 3.6 关系的性质 二、各种性质的充分必要条件 (3) R在A上对称当且仅当 R=Rc 证:必要性: ∵ R是A上的对称关系, ?x,y?R ? y,x?R ? x,y?Rc, 故R=Rc 。 充分性: 由于 R=Rc, ?x,y?R ? y,x?Rc ? y,x?R. 故 R 在 A 上是对称的。 第三章 集合与关系 3.6 关系的性质 二、各种性质的充分必要条件 (4)??R在A上反对称当且仅当 R∩Rc?IA 证：必要性: 因 R 在A上是反对称的, 故 ?x,y?R∩Rc ? x,y?R∧x,y? Rc ? x,y?R∧y,x?R ? x=y ? x,y?IA . ∴ R∩ Rc ?IA 第三章 集合与关系 3.6 关系的性质 二、各种性质的充分必要条件 (4)??R在A上反对称当且仅当 R∩Rc?IA 充分性: 因 R∩R–1 ? IA, 故 ?x,y?R∧y,x?R ? x,y?R∧x,y?Rc ? x,y ? R∩Rc ? x,y?IA ? x=y. 从而 R 在A上是反对称的. 第三章 集合与关系 3.6 关系的性质 二、各种性质的充分必要条件 ?(5)??R在A上传递当且仅当 R ? R?R 证：必要性: 因R在A上是传递的, 故 x,y?R ? R ? ?t(x,t?R∧t,y?R) ? x,y?R 因此 R ? R?R 充分性: 因 R ? R?R, 故 x,y?R∧y,z?R ? x,z?R ? R ? x,z?R ∴R在A上是传递的。 第三章 集合与关系 3.6 关系的性质 1、若R是自反的，iff在关系矩阵中，对角线上所 有元素都是1，在关系图上每个结点都有自回 路； 2、若R是对称的，iff关系矩阵是对称的，且在关 系图上，任两个结点间若有定向弧线，必成对 出现； 由关系矩阵和关系图容易看出R的关系： 第三章 集合与关系 3.6 关系的性质 3、若R是反自反的，iff关系矩阵对角线的元素 皆为0，关系图上第个结点都没有自回路； 4、若R是反对称的，iff关系矩阵中以主对角线 对称的元素不能同时为1，在关系图上两个 不同结点间的定向弧线不成对出现。 传递关系不易直接判断，只能“逐个检查”。 由关系矩阵和关系图容易看出R的关系： 第三章 集合与关系 3.6 关系的性质 如果顶点xi到xj有边, xj到 xk有边, 则从xi到 xk也有边。 每对顶点之间至多有一条边,(不会有双向边)。 如果两个顶点之间有边,则必是一对方向相反的边。 每个顶点都没有环 每