复合关系及逆关系_集合与关系_离散数学.pptVIP

复合关系和逆关系 第1页 本节讲述关系的运算 二元关系是以序偶为元素的集合，除了可进行集合并、交、补等运算外，还可以进行一些新的运算。 知识点： 复合运算： 定义 计算方法 证明 逆运算 定义 计算方法 证明 第2页 关系的定义域与值域 关系R中所有序偶x,y的第一元素x组成的集合，称为R的定义域，记作dom R， 即 dom R={x|(y)(x,yR)} 关系R中所有序偶x,y的第二元素y组成的集合，称为R的值域，记作ran R， 即 ran R={y|(x)(x,yR)} 称fld R=dom R∪ran R为R的域。显然R是从A到B的关系，有dom R  A，ran R  B， fld R  A∪B。 A={1,2,3,4}，B={a,b,c}，R A×B R={1,a,1,c,2,c,3,a,3,c} dom R={1,2,3} ran R={a,c} fld R ={1,2,3,a,c} 举例 定义域(domain) ： 值域(range)： 域： 第3页 一、复合关系 例如 有3个人a,b,c，A={a,b,c}， R是A上母子关系， S是A上父女关系， a,b∈R∧b,c∈S 即a是b的母亲, b是a的儿子; b是c的父亲，c是b的女子。 则a和c间就是奶奶和孙女的关系,记作 R ◦ S, 称它是R和S的复合关系。 第4页 （一）定义3-7.1 设X、Y、Z是三个集合，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)} (俗称过河拆桥) 显然，R◦S 是一个新的二元关系，是从X到Z的关系。 注意， 如果对任意的x∈X和z∈Z，不存在y∈Y，使得xRy和ySz同时成立，则R ◦S为空，否则为非空。  ◦R=R◦=。 一、复合关系 第5页 A={1,2,3} B={a,b,c,d} C={x,y,z,s,t} 　RA×B SB×C， 求R◦S （1）枚举法 　R={1,b,2,c,2,d,3,a} S={a,y,b,x,b,z,c,s,d,y,d,t} （二）复合关系的计算方法 则 R◦S={ 1,x , 1,z ,2,s,2,y,2,t,3,y} R◦S  S◦R S◦R=  第6页 R ={1,b,2,c,2,d,3,a} S={a,y,b,x,b,z,c,s,d,y,d,t} （2）有向图法（首尾相连法） R S 。 。 。 B a b c 。 d 。 t 第7页 MR a1,b1a1,b2...al,bn a2,b1a2,b2...a2,bn ... ... am,b1am,b2...am,bn (aij) MS b1,c1b1,c2...bl,ct b2,c1b2,c2...b2,ct ... ... bn,c1bn,c2...bn,ct (bij) a1,c1...al,ct a2,c1...a2,ct ... ... am,c1...am,ct (cij) （3）矩阵法（矩阵逻辑积） 第8页 （3）矩阵法（续） R ={1,b,2,c,2,d,3,a} S={a,y,b,x,b,z,c,s,d,y,d,t} 第9页 设I是实数集合，R和S都是I上的关系，定义如下： R={x,y| y=x2+3x} S={x,y| y=2x+3} 所以 R◦S ={x,y| y=2x2+6x+3} （4）谓词公式法 第10页 （一）复合关系的性质 关系复合运算不满足交换律，但是 1.满足结合律: RA×B SB×C TC×D 则(R ◦ S) ◦ T = R ◦(S ◦ T) 2.RA×B SB×C TB×C ⑴R ◦(S∪T)=(R ◦ S)∪(R ◦ T) ⑵R ◦(S∩T)(R ◦ S)∩(R ◦ T) 3.R是从A到B的关系，则 R ◦ IB=IA ◦ R=R 二、性质 第11页 证明：a，d∈(R ◦ S) ◦ T  (c)(c∈C∧a,c∈ R ◦ S ∧c,d∈T)  (c)(c∈C∧(b)(a,b∈R∧b,c∈S)∧c,d∈T)  (c)(b)(c∈C∧a,b∈