离散数学第2版作者王元元离散第27讲关系的特性课件.pptVIP

第27讲 关系的特性 关系的特性 引言 不研究具体某一个关系，而是研究某一类关系，对关系分类 分类依据——关系的特性 关系有哪些基本特性？ 自反性、反自反性 对称性、反对称性 传递性 自反性（reflexivity） 定义：设R是集合A上的关系，如果对任意x?A，均有xRx，则称R是自反的(reflexive)。 R自反当且仅当 ?x(x?A→xRx) 自反性与关系图 A = { 1, 2, 3, 4 } R = { 1,1, 2,2, 3,3, 4,4, 1,2 } 自反性与关系图 A = { 1, 2, 3, 4 } R = { 1,1, 2,2, 3,3, 4,4, 1,2, 2,4 } 反自反性（irreflexivity） 定义：设R是集合A上的关系，如果对任意x?A， xRx均不成立，则称R是反自反的(irreflexive)。 R反自反当且仅当 ?x(x?A→┐xRx) 反自反性与关系图 A = { 1, 2, 3, 4 } R = { } 自反性与反自反性的关系 自反和反自反并非互为否定 有些关系既是自反的，也是反自反的 ?上的空关系 任何集合上的空关系都是反自反的 非空集合上的空关系不是自反的。 有些关系既不自反也不反