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