7.3关系的运算教案.pptVIP

7.3关系的运算 关系的定义域、值域、域 关系的逆运算及其性质 关系的复合（合并）运算及其性质 关系的“限制”运算及其性质 集合在关系下的“像”及性质 关系的幂运算及其性质 一、关系的定义域、值域、域 e.g.设A = {a,b,c,d,e}，B = {x,y,z}， R = {a,x,b,y,c,x}, 关系R的定义域为：domR = {a,b,c}； 关系R的值域：ranR = {x,y}； 关系R的域：fldR = {a,b,c,x,y}。 一、关系的定义域、值域、域 定义：设R是二元关系，由x,y ?R的所有x组成的集合称为R的定义域(前域），记作domR；使x,y ?R的所有y组成的集合称为R的值域，记作ranR。 二、关系的逆运算及其性质 定义：二元关系R的逆关系记为R?1 R?1 = {y,x | x,y?R} 二、关系的逆运算及其性质 关系逆运算的相关性质： 二、关系的逆运算及其性质 设R、S是任意的二元关系， (R∪S)-1= R-1∪S-1 (R∩S)-1= R-1∩S-1 (～R)-1= ～(R-1) (R-S)-1= R-1-S-1 R?S?R-1?S-1 三、关系的复合运算及其性质 定义：二元关系R、S的复合运算记作R°S R°S = {x,z | ? y (x,y?R?y,z?S) } 三、关系的复合运算及其性质 问题： 如果将R°S的关系矩阵记为MRS ， R的关系矩阵记为MR， S的关系矩阵记为MS ， 则MRS和MR ,MS之间有怎样的关系？ 三、关系的复合运算及其性质 e.g. A={a,b}, R={a,b}, S={a,a,b,a} 三、关系的复合运算及其性质 例3：给定集合X={0,1,2}中的两个关系如下： 三、关系的复合运算及其性质 解：R1 = {0,1,1,2,2,1,0,0} 三、关系的复合运算及其性质 复合运算的相关性质： 三、关系的复合运算及其性质 定理4：若F,G,H是任意的二元关系，则 ① F?(G∪H)= F?G ∪ F?H ② (G∪H)?F =G?F ∪H?F ③ F?(G∩H) ? F?G∩ F?H ④ (G∩H)?F ? G?F ∩H?F 四、关系的“限制”运算及其性质 定义：二元关系R在集合A上的限制 即R?A = {x,y|x,y?R?x?A} 五、集合在关系下的“像”及性质 定义：A 在R下的像记作R[A]，R[A] = ran(R?A) 六、关系的幂运算及其性质 定义：设R为A上的关系, n为自然数, 则 R 的 n次幂定义为： (1) R0={x,x | x∈A }=IA (2) Rn+1 = Rn°R 六、关系的幂运算及其性质 关系幂运算的求解方法： 用集合表示给出R时，通过n-1次的右复合得到Rn ； 用关系矩阵M给出R时， Rn的关系矩阵由n个M相乘得到； 用关系图G给出R时，具体步骤见例题。 六、关系的幂运算及其性质 六、关系的幂运算及其性质 R2对应的关系矩阵为M2 六、关系的幂运算及其性质 六、关系的幂运算及其性质 六、关系的幂运算及其性质 定理7： 设A为n元集, R是A上的关系, 则存在自然数 s 和 t, 使得 Rs = Rt. 六、关系的幂运算及其性质 定理8（周期性）：设R为A上的关系，若存在自然数s,t(st)使得Rs=Rt，则： * * domR = { x | ?y (x,y?R) }；ranR = { y | ?x (x,y?R) } 定义： R的域，即fldR = domR ? ranR 例1：R={1,2, 2,3, 1,4, 2,2}，求R?1 R?1={2,1, 3,2, 4,1, 2,2} 定理1：设R是任意的关系, 则 (1) (R?1)?1=R (2) domR?1=ranR, ranR?1=domR 问题：关系R和R?1的关系矩阵之间有怎样的联系？ 互为转置矩阵。 兄弟 父子 叔侄 R S R°S 引例： 例2：R={1,2, 2,3, 1,4, 2,2} S={1,1, 1,3, 2,3, 3,2, 3,3} R°S ={1,3, 2,2, 2,3} S°R ={1,2, 1,4, 3,2, 3,3} R°S ={a,a} 试求复合关系： R1° R2 ° R1 ， R1° (R2 ° R1 ) R2 = {2,0} R1° R2 ° R1 ={1,0} ° {0,1,1,2,