(1.5.8)--ch3—第四讲离散数学离散数学.pdfVIP

离散数学

DiscreteMathematics

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)(R的n次幂)

00

规定:(1)R=IA即R是A上的恒等关系.

(2)R(n+1)=R(n)R

例1.设R,R是集合X={0,1,2,3}上的关系,有

12

1

R1={i,j|j=i+1或ji},R2={i,j|i=j+2}

2

求:RR,RR,RR,RRR,RRR.

122111121111

解.R1={0,0,0,1,1,2,2,3,2,1}

R2={2,0,3,1}

RR={1,0,2,1}

12

R2R1={2,0,2,1,3,2}

RR={0,0,0,1,0,2,1,3,1,1,2,2}

11

RRR={1,0,1,1,2,2}

121

RRR={0,0,0,1,0,3,0,2,1,2,2,3,2,1}

111

练习令R={a,b,c,b,b,b},S={d,b,b,e,c,a},

求RS，SR，RR，SS,R(SR),(RS)R.

解RS={a,e,c,e,b,e}

SR={d,b,c,b}

RR={a,b,c,b,b,b}

SS={d,e}

R(SR)=

(RS)R=

复合关系的关系矩阵

定理设A、B、C均是有限集,R是由A到B的关系,S是由B

到C的关系,它们的关系矩阵分别为MR和MS,则复合关系RS

的关系矩阵MRS满足:MRS=MRMS

其中M=(r),M=(s),M=MM=(w)且

RijSijRSRsij

n

w(rs)

ijk1ikkj

式中∧代表逻辑乘,满足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}