离散数学(3.7复合关系与逆关系)解析.ppt

* * 离散数学(Discrete Mathematics) 张捷 第三章 集合与关系 （Sets and Relations) 3.6 关系的闭包运算(Closure Operations) 3.7 集合的划分与覆盖(Partition Cover of Sets) 3.8 等价关系(Equivalent Relations) 3.9 相容关系(Compatibility　Relations) 3.10 序关系(Ordered Relations) 3.1 集合及其运算(Sets Operations with sets) 3.2 序偶与笛卡尔积(Ordered Pairs Cartesian Product) 3.3 关系 (Relations) 3.4 关系的性质(The Propeties of Relations) 3.5 复合关系与逆关系(Compound Relations Inverse Relations) 3.5 复合关系与逆关系(Compound Relations Inverse Relations) 3.5.1 关系的并、交、补及对称差运算 3.5.2 逆关系(Inverse Relations) 3.5.3 复合关系 (Compound Relations) 第三章 集合与关系(Sets Relations) 第三章 集合与关系(Sets Relations) 3.5.1 关系的并、交、补及对称差运算 例1 设 ， 则 定理3.5.1 若R与S都是集合A到集合B的关系，则 R∪S,R∩S,R-S, 均为A到B的关系。 3.5.2 复合关系 (Compound Relations) 1. 复合关系的定义 定义3.5.1 设 是由A到B的关系， 是由B到C的关系，则 和 的复合关系是一个由A到C的关系，用 表示，定义为：当且仅当存在元素 ，使得 ， 时，有 。 这种由 和 求复合关系 的运算称为关系的复合运算。 由定义可知: 于是复合关系 例2 设 是由 到 的关系。 是由 B 到 的关系。 分别定义为： 例3 设 是所有人的集合 于是复合关系 2. 关系复合运算的性质 定理3.5.2 设 是由集合A到B的关系，则 例4 以例2中的关系 为例， 从关系图，可得 , 定理3.5.3 设 是由A到B的关系， 是由B到C的关系， 则有 证: (3)反设 则必存在 使 ， 从而 使 故 且 所以 ，这就与 (1) (2) (3) 矛盾。 定理3.5.4 (1) 设 是由A到B的关系， 是由B到C的关系， 是由C到D的关系，则有 (2)设 是由A到B的关系， 是由B到C的关系， 则有 (3)设 是由A到B的关系， 是由B到C的关系， 则有 例5 设 ， ， , . A到B的关系 B到C的关系 C到D的关系 则A到C的关系 因此 因此 所以 一般地，若 是一由 到 的关系， 是由 到 的关系，…， 是一由 到 的关系，则不加括号的表达式 ， 唯一地表示一由 到 的关系，在计算这一关系时，可以运用结合律将其中任意两个相邻的关系先结合。 特别,当 ， 时，复合关系 简记作 ，它也是集 A 上的一个关系。 3. 求复合关系的几种方法 （1）根据复合关系的定义求复合关系 例5中求复合关系采用的就是这种方法。 又例如 下面的关系图给出了从集合A到B的关系 和从B到