07_关系运算.pptVIP

* 3.7 关系运算 定义： 设R ? A×B，则R的定义域： dom(R)={ x | 存在y∈B,使得xRy } 显然：dom(R) ? A 一、定义域 例：A={1,2,3} R={1,2,1,3,2,2,2,3} dom(R) = { 1,2 } 定义： 设R ? A×B，则R的值域： ran(R)={ y | 存在x∈A,使得xRy } 显然：ran(R) ? B 二、值域 例：A={1,2,3} R={1,2,1,3,2,2,2,3} ran(R) = { 2,3 } 定义：设R是从A到B的二元关系， 令R–1={b,a|a,b∈R}， 则R–1是从B到A的二元关系， 称R–1为R的逆 (inverse)， 称–1为逆运算。 三、逆运算 例：设A={a1,a2}，B={b1,b2,b3} R={a1,b1,a1,b2,a2,b3}　　　 R–1={b1,a1,b2,a1,b3,a2}　　 R中每一有序偶的元素互换顺序，得到R–1 例如： R 从A到B的父子关系 R–1 从B到A的子父关系 定义：设R是从A到B的二元关系， S是从B到C的二元关系， RoS={a,c|存在b∈B使得 a,b∈R且b,c∈S} 则RoS是从A到C的二元关系， 称RoS为R和S的合成， 　　　称o为合成运算。 四、合成运算 显然： 若 ran(R) 与dom(S) 不相交， 则 RoS 为空关系 例：设A={a1,a2}，B={b1,b2,b3}，C={c1,c2,c3,c4} R={a1,b1,a1,b2,a2,b3} S={b1,c1,b3,c2,b3,c4} RoS={a1,c1,a2,c2,a2,c4} 例如： R： 从A到B的父子关系 S： 从B到C的父子关系 RoS：从A到C的祖孙关系 定义：设R是从A到B的二元关系， X?A， 令R X={a,b|a∈X且a,b∈R} 称R X为R在X上的限制。 显然：R X ? R 五、限制 例：X={0,3,6} R={0,3,0,6,1,4,1,7 2,5,2,8,3,0,3,6, 4,1,4,7,5,2,5,8, 6,0,6,3,7,1,7,4, 8,2,8,5} R X={0,3,0,6,3,0, 3,6,6,0,6,3} 定义：设R是从A到B的二元关系， X?A， 令R[X]={b|a∈X且a,b∈R} 称R[X]为X在R下的象。 六、象 例：X={0,3,6} R={0,3,0,6,1,4,1,7 2,5,2,8,3,0,3,6, 4,1,4,7,5,2,5,8, 6,0,6,3,7,1,7,4, 8,2,8,5} R[X]={0,3,6} 显然：R[X] ? ran(R) 定义：设R是集合A上的二元关系， 　　　n∈N， 　　　R的n次幂(n-power)Rn定义为： ① R０= IA ② Rn+1 = RnoR 七、幂运算 R 0 = IA R 1 = R 0oR = IAoR = R R 2 = R 1oR R 3 = R 2oR … 定理： (1) dom(R–1) = ran(R) ran(R–1) = dom(R) (2) Φ–1 = Φ (3) (A×B) –1 = B×A 八、运算性质 定理： (1) (R–1)–1 = R (2) RoIA = IAoR = R (3) (RoS)oT = Ro(SoT) (4) (SoT) –1 = T–1oS–1 证明 (2) R o IA = IAoR = R 证：RoIA　、IA