3-78复合关系逆关系及闭包.pptVIP

求传递闭包的另一种方法： 当有限集X的元素较多时，矩阵运算很繁琐，Warshall 在1962年提出了R+的一个有效算法如下： （1）置新矩阵A=M （2）置i=1 （3）对所有j如果A[j, i ]=1，则对k=1,2,…,n A[j,k]=A[j,k]+A[i,k] （4） i= i+1 （5）如果 i? n,则转到步骤（3）,否则停止。 引出下面定理： 闭包运算是否可以交换顺序?即： (1) rs( R ) = sr( R ) ? (2) rt( R ) = tr( R ) ? (3) st( R ) = ts( R ) ? 定理4：设 R?A?A 且 A??, 则 (1) rs(R) = sr(R); (2) rt(R) = tr(R); (3) st(R) ? ts(R); 证明： (1) rs(R) = r(s(R)) = r(R?Rc) = IA?(R?Rc) = (IA?R)?(IAc?Rc) = (IA?R)?(IA?R)c = r(R)?r(R)c = s(r(R)) = sr(R). ? rs(R) = sr(R). (2)证明: rt(R) = r(t(R)) = r(R?R2 ?R3 ?…) = IA?(R?R2 ?R3 ?…) = (IA?R)?(IA?R?R2)?(IA?R?R2?R3)?… = (IA?R)?(IA?R)2 ?(IA?R)3?… = r(R)?r(R)2 ?r(R)3 ?…=t(r(R)). ? rt(R) = tr(R). (3) st(R) ? ts(R); 证明: st(R) ? st(s(R)) = sts(R) = s(ts(R)) ( ts(R)对称) = ts(R) ? st(R) ? ts(R). 本次课小结及要求 关系的运算除集合运算外还有复合关系、逆关系及闭包运算； 要求会做复合关系、逆关系及闭包运算，会做相应的证明。 作业(3-8)： P127 (1) (2) a) (7) (选作） 3-7 复合关系和逆关系 3-7.1复合关系 定义1[复合 (合成)(composite)关系]: 设R为X到Y的关系，S为从Y到Z上的关系，则R°S称为R和S的复合关系，表示为： R°S={ x,z| x?X?z?Z?(?y)(y?Y?x,y?R?y,z?S)}. 3-7.2逆关系 定义2[逆(inverse)关系] : 设R是X到Y的二元关系，则从Y到X的二元关系Rc定义为： Rc = {y,x|x,y?R}. 整数集合上的“”关系的逆关系是“”关系。 人群中的父子关系的逆关系是子父关系。 容易看出(Rc) c=R 例1: 设 R={ a,b, c,d }, S={ b,e,d,c }. 求: (1)Rc ，Sc. (2) R°S, S°R 解: (1) Rc = {b,a,d,c} Sc = {e,b,c,d}. (2) R°S={a,e ,c,c} S°R={d,d}. 例2:（书上的例题2，第115页） 定理1: 设R1,R2,R3为关系， R1 是X到Y的关系， R2是Y到Z的关系， R3是Z到W的关系则(R1°R2)°R3 = R1° (R2° R3)． 证明: ?x,w, x,w?(R1 °R2) °R3 ? ?z(z?Z ? x (R1°R2)z ? zR3w ) ? ?z(z?Z ? ?y(y?Y ? xR1y ?yR2z ) ?zR3w) ? ?z?y(z?Z ? y?Y ? xR1y ?yR2z ?zR3w) ? ?yt?z(z?Z ? y?Y ? xR1y ?(yR2z ?zR3w) ) ? ?y(y?Y ? xR1y ??z(z?Z ? yR2z ?zR3w)) ? ?y(y?Y ? xR1y? y(R2°R3)w ) ? xR1°(R2°R3)w ? x,w?R1°(R2°R3) ? (R1°R2) °R3 = R1°(R2 ° R3). # 说明: 本定理说明复合运算满足结合律. 由复合关系满足结合律，可以把关系R本身所组成的复合关系写成： R°R， R°R°R，?， R°R°?°R(m个)， 分别记作 R(2)， R(3)， ?， R(m)。 可以证明复合关系不满足交换律。 R