离散数学关系的闭包.ppt
《离散数学关系的闭包.ppt》由会员分享,可在线阅读,更多相关《离散数学关系的闭包.ppt(15页珍藏版)》请在优知文库上搜索。
1、离散数学离散数学集合论集合论 2 / 68主要内容n集合代数n二元关系n函数集合的基本概念集合的运算有穷集合的计数集合恒等式有序对与笛卡儿积二元关系关系的运算关系的性质 关系的闭包等价关系与划分偏序关系函数的定义与性质函数的复合与反函数双射函数与集合的基数 3 / 687.5 关系的闭包一一. . 闭包的定义闭包的定义定义定义7.147.14 设设R R是非空集合是非空集合A A上的关系上的关系,R,R的自反闭包的自反闭包( (对称闭包对称闭包, ,传递闭包传递闭包) )是是 A A上的关系上的关系 R R , ,它满足它满足: :(1)(1) R R 是自反的是自反的 ( (对称的对称的,
2、,传递的传递的) );(2) R(2) R R R ; ;(3) (3) 对对A A上任何包含上任何包含 R R 的自反关系的自反关系 ( (对称关系对称关系, ,传递关系传递关系) ) R R 都有都有R R R R . .注注: :R R的自反闭包记为的自反闭包记为 r(R),r(R),对称闭包记为对称闭包记为 s(R),s(R),传递闭包记传递闭包记 为为 t(R).t(R). Reflexive, Symmetric, Transtive: r(R), s(R), t(R). 4 / 68闭包的计算定理定理 7.107.10 设设R R是是A A上的关系上的关系, ,则则(1) r(R
3、)=RR(1) r(R)=RR0 0; ;(2) s(R)= RR(2) s(R)= RR-1-1; ;(3) t(R)= RR(3) t(R)= RR2 2RR3 3. .证明证明:(1) (1) 由由I IA A= R= R0 0 R RRR0 0 知知, , RR RR0 0 是自反的是自反的, ,且且R R R RRR0 0. .设设R R是是A A上包含上包含R R的自反关系的自反关系, ,则则 R R R R , I , IA A R R, 因而因而 x,y R RRR0 0 R RIIA A R RR R = = R R 即即 RRRR0 0 R R . .可见可见RRRR0 0
4、满足自反闭包的定义满足自反闭包的定义, ,从而从而 r(Rr(R)= RR)= RR0 0. . (2) (2) 略略. . 5 / 68闭包的计算(3)(3)先证先证R RRR2 2 t(R),t(R),为此只需证明对任意正整数为此只需证明对任意正整数n n都有都有 R Rn n t(R). t(R). 用归纳法用归纳法. .当当n=1n=1时时, , R R1 1 = R = R t(R).t(R).假设假设 R Rn n t(R), t(R), 下证下证 R Rn+1n+1 t(R)t(R)事实上事实上, ,由于由于 R Rn+1 n+1 = R= Rn n R R t(t( R Rn
5、n R)R) t(t( t(R)t(R) t(R)t(R) t(Rt(R) )从而从而 R Rn+1 n+1 t(R) . t(R) . 由归纳法完成证明由归纳法完成证明. 6 / 68闭包的计算下证下证 RRRR2 2 是传递的是传递的. . 事实上事实上, ,对任意对任意 ,( ( RR RR2 2)( )( RR RR2 2) ) t (t ( R Rt t) ) s(s( R Rs s) ) t t s( s( R Rt t R Rs s) ) t t s( s( R Rt+st+s) ) RRRR2 2从而从而 RRRR2 2 是传递的是传递的. . 因因t(R)t(R)是传递闭包是
6、传递闭包, , 故故t(Rt(R) ) RR RR2 2. .由以上两方面知由以上两方面知, , t(R) t(R) RRRR2 2 . . 7 / 68通过关系矩阵求闭包 证证: :由定理由定理7.67.6和定理和定理7.107.10立即得证立即得证. .通过关系矩阵求闭包通过关系矩阵求闭包设关系设关系R, r(R), s(R), t(R)R, r(R), s(R), t(R)的关系矩阵分别为的关系矩阵分别为M, MM, Mr r, M, Ms s, M, Mt t, , 则则: : M Mr r = M+E, = M+E, M Ms s = M+M= M+M, , M Mt t = M+M
7、= M+M2 2+M+M3 3+ +, , 其中其中E E是与是与M M同阶的单位矩阵同阶的单位矩阵.M.M是是M M的转置矩阵的转置矩阵, ,矩阵元素相矩阵元素相加时使用加时使用逻辑加逻辑加. .推论推论 设设R R是有限集合是有限集合A A上的关系,则存在正整数上的关系,则存在正整数r r使得使得 t(Rt(R)= RR)= RR2 2RRr r. .r(R) = RIAr(R) R IA mxy = 1 exy = 1 nnnnnnnnnnnnnnncccccccccbbbbbbbbbaaaaaaaaa221222211121122122221112112212222111211njib
8、acijijij ,1, 8 / 68通过关系图求闭包 设关系设关系R, r(R), s(R), t(R)R, r(R), s(R), t(R)的关系图分别记为的关系图分别记为G, GG, Gr r, G, Gs s, G, Gt t, , 则则G Gr r, G, Gs s, G, Gt t的顶点集与的顶点集与G G的顶点集相同的顶点集相同. .除了除了G G的边外的边外, ,依下述方法添依下述方法添加新边加新边: :(1)(1)对对G G的每个顶点的每个顶点, ,如果无环如果无环, ,则添加一条环则添加一条环, ,由此得到由此得到G Gr r; ;(2)(2)对对G G的每条边的每条边,
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 关系