离散数学第三章第三节选编.pptVIP

第3-3讲 复合关系、逆关系与闭包运算 1. 复合关系 2. 逆关系 3. 闭包的概念 4. 构造闭包 5. 课堂练习 6. 第3-3讲 作业 1、复合关系 定义1 设R是X到Y的关系，S是Y到Z的关系，则R?S称为R和S的复合关系，定义为： R?S= { x,z??y(x,y?R?y,z?S）} 1、复合关系（续） 关系的复合运算可以利用关系矩阵求出： 设关系矩阵A=(aij)n?n，B=(bij)n?n， C=(cij)n?n， A?B =C 其中 2、逆关系 定义2 二元关系R的逆关系定义为： RC={y,x|x,y?R}。 2、逆关系（续2） 定理2 设T是X到Y的关系，S是Y到Z的关系，证明 (T?S)C=SC?TC 2、逆关系（续3） （定理3的证明） 2、逆关系（续4） （定理3的证明） 3、闭包的概念 定义3 设R是非空集合A上的关系，如果 (1) R’是自反的(对称的、传递的)； (2) R?R’； (3)若R”是A上自反(对称.传递)关系,如果R”?R，则R”?R’。 则称R’是R的自反闭包(对称闭包、传递闭包)。记作r(R),s(R),t(R)。 3、闭包的概念（续1） 定理4 设R是非空集合A上的关系，R是自反的(对称的、传递的)，当且仅当r(R)=R（s(R)=R,t(R)=R）。 3、闭包的概念（续2） 例2 设A={1,2,3,4}，R={1,2,2,1,2,3,3,4}， 求 r(R)，s(R)，t(R)。 4、构造闭包 定理5 设R是A上的关系，则 (1) r(R)=R? IA (2) s(R)=R?RC (3) t(R)=R?R2?R3?… 4、构造闭包（续1） 定理5 设R是A上的关系，则 (2) s(R)=R?RC 4、构造闭包（续2） 定理5 设R是A上的关系，则 (3) t(R)=R?R2?R3?… 4、构造闭包（续3） 推论 设R为有限n元集合A上的关系，则存在正整数k?n，使得： t(R)=R?R2?R3?…?Rk 4、构造闭包（续5） 定理5 设R为非空集合X上的二元关系，则 (1) rs(R)=sr(R)； (2) rt(R)=tr(R)； (3) ts(R)=st(R)。 7、课堂练习 练习1：设R1、R2为非空集合A上的关系，且R1?R2，则 (1) r(R1)?r(R2); (2) s(R1)?s(R2); (3) t(R1)?t(R2)。 证：以(3)为例。按传递闭包的定义R2?t(R2)，又已知R1?R2，所以R1?t(R2)。因为t(R1)是包含R1的最小传递关系，t(R2)也是包含R1的传递关系，故t(R1)?t(R2)。 第3-3讲 作业 P119 5 P127 1，2a * * 例1 设R={1,2,2,3,3,4,2,2} S={4,2,2,5,3,1,1,3,3,5} 求R?S，S?R，R?R，R?R?R。 解：R?S={1,5,2,1,3,2,2,5} S?R={4,2,4,3,3,2,1,4} R?R ={1,2,1,3,2,2,2,3,2,4} R?R?R=( R?R) ?R={1,2,1,3,1,4,2,2,2,3,2,4} R?R和 R?R?R分别记作R(2)、 R(3)，进而有R(n)。 如例1可用矩阵运算求解如下： 式中： ? 表示逻辑析取 ? 表示逻辑合取 设R={1,2,2,3,3,4,2,2}，则 RC={2,1,3,2,4,3,2,2}。 定理1 设R、S都是集合A到B的二元关系，则 （1）(RC)C=R （2）(R?S)C= RC?SC （3）(R?S)C= RC?SC （4）(A?B)C=B ? A （5）(~R)C= ~(RC) （这里~R= A?B-R,即R的绝对补） （6）(R-S)C= RC-SC 证：z,x? (T?S)C ? x,z?T?S ??y( x,y?T ? y,z?S) ??y( y,x?TC ? z,y?SC) ? z,x?SC?TC 定理3 设R为A上的关系，则 （1）R在A上自反当且仅当 IA ? R． （2）R在A上反自反当且仅当 R?IA=?． （3）R在A上对称当且仅当 R＝RC． （4）R在A上反对称当且仅当 R?RC?IA． （5）R在A上传递当且仅当 R?R?R． 证：(