第4章 二元关系和函数（2）.pptVIP

4.2 关 系 的 运 算 A到B的二元关系R是A×B的子集， 亦即关系是序偶的集合。 故在同一集合上的关系， 可以进行集合的所有运算。 作为集合对关系作并、 交、 差、 补运算是理所当然的。 定义4.2.1 设R和S为A到B的二元关系， 其并、 交、 差、 补运算定义如下：  R∪S＝｛〈x, y〉|xRy∨xSy｝ R∩S＝｛〈x, y〉|xRy∧xSy｝ R-S＝｛〈x, y〉|xRy∧ ? xS y｝ ～R＝A×B-R＝｛〈x, y〉| ? xR y｝ 例1 设A={1, 2, 3, 4}, 若R={〈x, y〉|(x-y)/2是整数, x, y∈A}， S={〈x, y〉|(x-y)/3是正整数, x, y∈A}， 求R∪S， R∩S， S-R， ～R， RS。 解 R={〈1,1〉, 〈2,2〉, 〈3,3〉, 〈4,4〉, 〈3,1〉, 〈1,3〉, 〈4,2〉, 〈2,4〉} S={〈4,1〉} R∪S={〈1,1〉, 〈1,3〉, 〈2,2〉, 〈2,4〉, 〈3,1〉, 〈3,3〉, 〈4,2〉, 〈4,4〉, 〈4,1〉} R∩S= S-R=S={〈4,1〉} ～R=A×A-R={〈1,2〉,〈1,4〉,〈2,1〉, 〈2,3〉, 〈3,2〉, 〈3,4〉, 〈4,1〉, 〈4,3〉} RS =(R∪S)-(R∩S)=R∪S ={〈1,1〉,〈1,3〉, 〈2,2〉, 〈2,4〉, 〈3,1〉, 〈3,3〉, 〈4,2〉,〈4,4〉, 〈4,1〉} 关系并、 交、 差、 补的矩阵可用如下方法求取： M R∪S= M R∨ M S （矩阵对应分量作逻辑析取运算） M R∩S= M R∧ M S （矩阵对应分量作逻辑合取运算） M R-S= M R∩～S= M R∧ M ～S M ～S=～( M S) （矩阵各分量作逻辑非运算） 定义4.2.2 设R是A到B的二元关系。 （1） 用xRy表示 〈x, y〉∈R， 意为x， y有R关系。x y表示〈x, y〉R。 （2） 由〈x, y〉∈R的所有x组成的集合称为关系R的定义域记作domR， 即 domR=｛x|x∈A∧y(y∈A∧〈x, y〉∈R)｝ （3） 由〈x, y〉∈R的所有y组成的集合称为关系R的值域 记作ran R， 即 ran R＝{y|y∈B∧x(x∈A∧〈x, y〉∈R)｝ （4） R的定义域和值域的并集称为R的域， 记作Fld R。 形式化表示为： Fld R=dom R∪ran R 一般地， 若R是A到B的二元关系， 则有dom RA, ran RB。 例2 设A=｛1，2，3，4，5，6｝， B＝｛a , b ，c, d｝， R＝｛〈2,a〉,〈2,b〉，〈3,b〉， 〈4,c〉，〈6,c〉｝ 那么 dom R＝｛2， 3， 4， 6｝， ran R=｛a , b , c｝ Fld R={2， 3， 4， 6, a, b, c} 定义4.2 3 设F是A到B的关系， F的逆关系或逆是B到A的关系， 记为F-1 ， 规定为 F-1 =｛〈y, x〉|xFy｝ 由定义很显然， 对任意x∈A, y∈B， 有 xFy yF -1x 若 MF 为F 的关系矩阵， 那么 定义4.2.3 设F, G为任意的关系，则F与G的合成是 Fo G={(x,y) | z( xGz zFy )} 例3 设R表示父子关系， 即〈x, y〉∈R说明x是y的父亲， RoR就表示祖