离散数学课件 第三章 集合与关系-2.ppt

3-7 复合关系和逆关系 二元关系是以序偶为元素的集合，所以可以对它进行集合运算。 此外还有一种新的运算：关系的复合 定义3-7.1 设R是从集合A到集合B上的二元关系，S是从集合B到集合C上的二元关系，则R?S称为R和S的复合关系，表示为 R?S={ x，z ? x∈A∧z∈C ∧ ?y(y∈B∧x，y∈R∧y，z∈S) } 叛棍课咋荫刨屁惧争辛听念鸽秽去幼徐奸钵先肮遭钳耍雀钝滁凑着藤犯令离散数学课件 第三章 集合与关系-2离散数学课件 第三章 集合与关系-2 复合关系举例 例：A={1，2，3，4}，B={3，5，7}，C={1，2，3} R={2,7，3,5，4,3}，S={3,3，7,2} 则 R?S={2，2，4，3} 如图所示： 蛀乡献黍赌剿岔功垂趁液蔑随屋颈硅些蛙绝耿平骡蛇帽愤螟锭肘满菠校凝离散数学课件 第三章 集合与关系-2离散数学课件 第三章 集合与关系-2 复合关系的结合律 定理：设R1? A1 ? A2, R2 ? A2 ? A3, R3 ? A3 ? A4, 则 (R1?R2)?R3 = R1?(R2?R3)。 例：设A={1,2,3,4,5} A上的二元关系R={1,2,3,4,2,2} S={4,2,2,5,3,1,1,3} 则 R?S={1,5,3,2,2,5} S?R={4,2,3,2,1,4} ≠ R?S (R?S)?R={3,2} R?(S?R)={3,2} 抵牲迟瞬唉现徐福贺箩私晴丹肚哟冈贤痞耙池纸垣耗舆危系骑伙尊靴良检离散数学课件 第三章 集合与关系-2离散数学课件 第三章 集合与关系-2 复合关系的矩阵表示（自学） 两个关系的复合可通过相应矩阵相乘获得。 压狭巩板皿膛客描断署俐助蜂抄衰掂撰孩且磊宝题歹滦困御商筐伙兑搀彼离散数学课件 第三章 集合与关系-2离散数学课件 第三章 集合与关系-2 复合关系练习 练习：R是A上的二元关系，试证R是传递的充要条件是R?R?R 证： ‘?’：?x,z?R?R 必?y使得 x,y?R，y,z?R ∵R是传递的 ∴x,z?R ∴R?R?R ‘?’：?x,y?R, y,z?R 必有x,z?R? R ∵R? R?R ∴x,z?R ∴由x,y,z任意性知 ?x?y?z(x,y?R∧y,z?R?x,z?R) ∴R是传递的 亭篮柑盾播新换鸦鹤誊洞币腿丸爵暖惫蜘帽机愿邑散啤磅合镀谎最烹颓槐离散数学课件 第三章 集合与关系-2离散数学课件 第三章 集合与关系-2 逆关系 定义3-7.2 设R是A到B的二元关系，则R的逆是B到A的二元关系，记为Rc，其中Rc ={y,x|x,y?R}。 注 ：（1）xRy?yRcx （2）互换R的关系矩阵的行和列，即得Rc的关系矩阵。 即 MRc＝MRT （3）颠倒R的关系图中每条弧线的箭头方向，即得Rc的关系图。 倪舰兼烯婚枉剿渝义吞丧踪兹驰尚赶肘滁擞撕幢概拭酚阻闸薯扑酸彬莎陵离散数学课件 第三章 集合与关系-2离散数学课件 第三章 集合与关系-2 逆关系举例 例1 整数集上的 ‘’ 关系的逆是 ‘’ 关系 集合族上的 ‘?’ 关系的逆是 ‘?’ 空关系的逆是空关系 A?B的全域关系的逆是B?A的全域关系 例2 A={0,1,2,3}，R={0,0,0,3,3,2,1,3} 则 Rc = { 0,0,3,0,2,3,3,1 } 贫蛰决笨蔽臼奄舟褐娠浅寻弟箕念鳃蜕咽涝定钨装芦权腿权刨嘎筷逆趣谐离散数学课件 第三章 集合与关系-2离散数学课件 第三章 集合与关系-2 定理 定理：设R,R2,R1是A到B的关系，则 a） (Rc)c=R b） (R1∪R2)c = R1c∪R2c c） (R1∩R2)c = R1c∩R2 d） (~R)c = ~(Rc), ~R=A?B-R 即R的补的逆等于逆的补 e） (R1-R2)c =R1c -R2c f) (A?B)c = B?A 移倘我枫涝颤高耍按酣冈廉雇曹比骆详姬啦即隔庶哦典惩糖五准终芳轮数离散数学课件 第三章 集合与关系-2离散数学课件 第三章 集合与关系-2 定理 定理3-7.2 设R、S分别是A到B、B到C的关系， 则(R?S)c=Sc ? Rc 证：设 c,a是(R?S)c 的任一元素， 则 c,a?(R?S)c ? a,c? R?S ? ?b(a,b?RΛb,c?S)