离散第27讲 关系的特性.pptVIP

第27讲 关系的特性 理工大学指挥自动化学院 * PowerPoint Template_Sub 1 二元关系 2 等价关系 3 序关系 关系的特性 《离散数学》第27讲 Page 164 to 167 引言 不研究具体某一个关系，而是研究某一类关系，对关系分类 分类依据——关系的特性 关系有哪些基本特性？ 自反性、反自反性 对称性、反对称性 传递性 -*- 第27讲 关系的特性 定义：设R是集合A上的关系，如果对任意x?A，均有xRx，则称R是自反的(reflexive)。 R自反当且仅当 ?x(x?A→xRx) 10.1.3 关系的特性 自反性（reflexivity） 集合I+ 为正整数集，I+上的整除关系 集合A={1, 2, 3}，A上的空关系 相等关系 全关系 空集?上的空关系 示例判别 集合A={1, 2, 3}，ρ(A)上的包含关系 三角形的相似关系 人类的父子关系 集合I 为整数集，I上的整除关系 I上的大于关系 √ √ √ √ √ √ × × × × -*- 第27讲 关系的特性 A = { 1, 2, 3, 4 } R = { 1,1, 2,2, 3,3, 4,4, 1,2 } 1 2 3 4 10.1.3 关系的特性 自反性与关系图 -*- 第27讲 关系的特性 A = { 1, 2, 3, 4 } R = { 1,1, 2,2, 3,3, 4,4, 1,2, 2,4 } 1 2 3 4 10.1.3 关系的特性 自反性与关系图 -*- 第27讲 关系的特性 定义：设R是集合A上的关系，如果对任意x?A， xRx均不成立，则称R是反自反的(irreflexive)。 R反自反当且仅当 ?x(x?A→┐xRx) 10.1.3 关系的特性 反自反性（irreflexivity） 集合I+ 为正整数集，I+上的整除关系 集合A={1, 2, 3}，A上的空关系 相等关系 全关系 空集?上的空关系 示例判别 集合A={1, 2, 3}，ρ(A)上的包含关系 人类的父子关系 集合I 为整数集，I上的整除关系 I上的大于关系 √ × × × × √ × √ √ -*- 第27讲 关系的特性 A = { 1, 2, 3, 4 } R = { } 1 2 3 4 10.1.3 关系的特性 反自反性与关系图 1,3 , 3,1 , 3,4 , 4,4 , 2,3 -*- 第27讲 关系的特性 自反性与反自反性的关系 自反和反自反并非互为否定 有些关系既是自反的，也是反自反的 ?上的空关系 任何集合上的空关系都是反自反的 非空集合上的空关系不是自反的。 有些关系既不自反也不反自反 整数集合上的整除关系 A={1, 2, 3}, A上关系R={1,1, 2,2} -*- 第27讲 关系的特性 定义：设R是集合A上的关系，如果对任意x, y?A，均有xRy蕴涵yRx，则称R是对称的（symmetric） R对称当且仅当 ?x?y(x,y?A∧xRy →yRx) 10.1.3 关系的特性 对称性（symmetry） 集合I+ 为正整数集，I+上的整除关系 集合A={1, 2, 3}，A上的全关系 相等关系 空关系 集合A={1, 2, 3}， A上的关系R={ 1,1, 2,2 } 示例判别 集合A={1, 2, 3}，ρ(A)上的包含关系 三角形的相似关系 人类的父子关系 集合I 为整数集，I上的小于等于关系 不等于关系 √ × × √ √ √ × √ √ × -*- 第27讲 关系的特性 A = { 1, 2, 3, 4 } R = { 1,4, 4,1, 3,3, 3,4, 4,3 } 1 2 3 4 10.1.3 关系的特性 对称性与关系图 -*- 第27讲 关系的特性 定义：设R是集合A上的关系，如果对任意x, y?A，均有xRy且yRx蕴涵x=y，则称R是反对称的（antisymmetric） R反对称当且仅当 ?x?y(x,y?A∧xRy∧yRx→x=y) 10.1.3 关系的特性 反对称性（antisymmetry） 集合I+ 为正整数集，I+上的整除关系 集合A={1, 2, 3}，A上的全关系 相等关系 空关系 集