第三章集合与关系资料.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上是反自反矛盾。