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

第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 = { } 自反性与反自反性的关系 自反和反自反并非互为否定 有些关系既是自反的，也是反自反的 ?上的空关系 任何集合上的空关系都是反自反的 非空集合上的空关系不是自反的。 有些关系既不自反也不反自反 整数集合上的整除关系 A={1, 2, 3}, A上关系R={1,1, 2,2} 对称性（symmetry） 定义：设R是集合A上的关系，如果对任意x, y?A，均有xRy蕴涵yRx，则称R是对称的（symmetric） R对称当且仅当 ?x?y(x,y?A∧xRy →yRx) 对称性与关系图 A = { 1, 2, 3, 4 } R = { 1,4, 4,1, 3,3, 3,4, 4,3 } 反对称性（antisymmetry） 定义：设R是集合A上的关系，如果对任意x, y?A，均有xRy且yRx蕴涵x=y，则称R是反对称的（antisymmetric） R反对称当且仅当 ?x?y(x,y?A∧xRy∧yRx→x=y) 反对称性与关系图 A = { 1, 2, 3, 4 } R = { 2,3, 4,3, 2,2, 3,4 } 对称性与反对称性的关系 对称和反对称也并非互为否定 有些关系既是对称的，也是反对称的 任意集合上的相等关系、空关系 A={1, 2, 3}, A上关系R={1,1, 2,2} 有些关系既不对称也不反对称 整数集合上的整除关系 A={1, 2, 3}, A上关系R={1,1, 2,3, 3,2, 1,3} 关于反对称性定义的思考 反对称性似应定义为 ?x?y(x,y?A∧xRy → ?yRx) 但注意：当x=y时上述定义是有问题的 ?x (x?A∧xRx→?xRx) 可以修改为： ?x?y(x,y?A∧xRy∧x?y→?yRx) 逻辑上等价于 ?x?y(x,y?A∧xRy∧yRx→x=y) 传递性（ transitivity ） 定义：设R是集合A上的关系，如果对任意x, y, z?A，均有xRy且yRz蕴涵xRz，则称R是传递的（transitive ） R传递当且仅当 ?x?y?z(x,y,z?A∧xRy∧yRz→xRz) 传递性与关系图 A = { 1, 2, 3, 4 } R = { 1,4, 4,3, 1,3 } 关系的特性与关系图、关系矩阵 关系的五大特性 同时兼具5个特性的关系？ 全关系？相等关系？ 空关系？ ?上的空关系？ 同时不具有5个特性的关系？ 关系特性成立的充要条件 设R为集合A上的关系 (1) R自反当且仅当 (2) R反自反当且仅当 (3) R对称当且仅当 (4) R反对称当且仅当 (5) R传递当且仅当 关系特性成立的充要条件 R对称当且仅当R = R~ 关系特性成立的充要条件 R反对称当且仅当R∩R~ ? EA 关系特性成立的充要条件 R传递当且仅当R2 ? R 五大特性对关系运算的封闭性 定义：已知某些关系同时具有某一性质，若经过某种关系运算后所得结果仍然具有这一性质，则称该性质对这一运算封闭 五大特性：自反、反自反、对称、反对称、传递 六大运算：交、并、差、补、逆、合成 哪些特性对哪些运算封闭？ 五大特性对关系运算的封闭性 对交运算的封闭性 五大特性对关系运算的封闭性 对并运算的封闭性 五大特性对关系运算的封闭性 对差运算的封闭性 五大特性对关系运算的封闭性 五大特性对关系运算的封闭性 本讲小结 主要内容 关系的五大基本特性 关系特性的判定、各特性对关系运算的封闭