离散(关系的运算).pptVIP

离散数学(DiscreteMathematics)从上述定义可以看出,R的自反(对称,传递)闭包是包含R并具有自反(对称,传递)性质的最小关系.**3-7关系的运算一、复合关系(CompoundRelations)定义3.7.1设R是由X到Y的关系,S是由Y到Z的关系,则R?S称为R和S复合关系,表示为R?S={x,z|x?X∧z?Z∧(?y)(y?Y∧xRy∧ySz)}两个关系的合成运算可以推广到多个.例如:R?S?P、R?S?P?Q等.且合成运算满足结合律.即:(P?R)?Q=P?(R?Q)关系R自身合成n次可以记为:R?R?‥‥?R=R(n)例1.设求:解:R={1,2,2,2,3,4},S={4,2,2,5,3,1,1,3}R?S,S?R,R?R,S?S,R?(S?R),(R?S)?R,R?R?R.S?RR?RS?SR?S={1,5,3,2,2,5}={4,2,3,2,1,4}={4,5,3,3,1,1}={1,2,2,2}R?(S?R)(R?S)?R={3,2}={3,2}R?R?R={1,2,2,2}≠R?S例2.设R1,R2是集合X={0,1,2,3}上的关系,有解:,R2={i,j|i=j+2}R1={i,j|j=i+1或}求:R1?R2,R2?R1,R1?R1,R1?R2?R1,R1?R1?R1.R1={0,0,0,1,1,2,2,1,2,3}R2={2,0,3,1}R1?R2={1,0,2,1}R2?R1={2,0,2,1,3,2}R1?R2?R1={1,0,1,1,2,2}R1?R1={0,2,1,3,1,1,0,1,0,0,2,2}R1?R1?R1={0,3,0,1,1,2,0,2,0,0,2,3,2,1}复合关系的关系矩阵定理设A、B、C均是有限集,R是由A到B的关系,S是由B到C的关系,它们的关系矩阵分别为MR和Ms,则复合关系R?S的关系矩阵MR?S满足:MR?S=MR?Ms其中MR=(rij),MS=(sij),MR?S=MR?Ms=(wij)且式中∧代表逻辑乘,满足0∧0=0,0∧1=0,1∧0=0,1∧1=1.∨代表逻辑加,满足0∨0=0,0∨1=1,1∨0=1,1∨1=1.例4.设集合A={1,2,3,4},B={2,3,4},C={1,2,3}A到B的关系R={1,2,2,4,3,3,4,2}B到C的关系S={2,1,3,2,4,1,4,3}求R?S的矩阵.解1001010101001234123R?S={1,1,2,1,2,3,3,2,4,1}定义3.7.2设R是由集合X到Y的二元关系,若将R中每一序偶二、逆关系(InverseRelations)的元素顺序互换,所得到的集合称为R的逆关系,记作Rc,即Rc={y,x|x,y?R}例.设有集合A={a,b,c,d},R为A上的关系R={a,b,b,d,c,a,c,d,b,c}则Rc={b,a,d,b,a,c,d,c,c,b}定理3.7.1定理3.7.2设T为从集合X到Y的关系,S为从Y到Z的关系,则(T?S)c=Sc?Tc定理3-7.3设R为X上的二元关系,则①R是对称的,当且仅当R=Rc②R是反对称的,当且仅当R∩Rc?IA③R是传递的,当且仅当R?R?R⑤①(Rc)c=R②(R∪S)c=Rc∪Sc③(R∩S)c=Rc∩Sc