版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
离散数学关系的运算演示文稿第1页,共20页。(优选)离散数学关系的运算第2页,共20页。32、逆与合成
R
1={<y,x>|<x,y>
R}
R∘S=|<x,z>|
y(<x,y>
R
<y,z>
S)}例2已知R={<1,2>,<1,4>,
<2,2>,<2,3>,
},
S={<1,1>,<1,3>,<2,3>,<3,2>,<3,3>},求R
1,R∘S
,S∘R
。
解:R
1={<2,1>,<3,2>,<4,1>,<2,2>}
R∘S={<1,3>,<2,2>,<2,3>}
S∘R={<1,2>,<1,4>,<3,2>,<3,3>}第3页,共20页。4合成运算的图示方法
利用图示(不是关系图)方法求合成
R∘S={<1,3>,<2,2>,<2,3>}
S∘R={<1,2>,<1,4>,<3,2>,<3,3>}例2已知R={<1,2>,<1,4>,
<2,2>,<2,3>,
},
S={<1,1>,<1,3>,<2,3>,<3,2>,<3,3>},求R
1,R∘S
,S∘R
。
第4页,共20页。53、限制与像定义
F在A上的限制
F↾A={<x,y>|xFy
x
A}A在F下的像
F[A]=ran(F↾A)例3设R={<1,2>,<2,3>,<1,4>,<2,2>},则
R↾{1}={<1,2>,<1,4>}
R[{1}]={2,4}
R↾=
R[{1,2}]={2,3,4}注意:F↾A
F,F[A]ranF
第5页,共20页。6二、关系基本运算的性质定理1设F是任意的关系,则
(1)(F
1)
1=F(2)domF
1=ranF,ranF
1=domF定理2设F,G,H是任意的关系,则
(1)(F∘G)∘H=F∘(G∘H)(2)(F∘G)
1=G
1∘F
1第6页,共20页。7定理设R,S,T均为A上二元关系,那么(1)Rο(S∪T)=(RοS)∪(RοT)(2)(S∪T)οR=(SοR)∪(TοR)(3)Rο(S∩T)(RοS)∩(RοT)(4)(S∩T)οR(SοR)∩(TοR)(5)Rο(SοT)=(RοS)οT第7页,共20页。8三、A上关系的幂运算设R为A上的关系,n为自然数,则R的n次幂定义为:
(1)R0={<x,x>|x∈A}=IA
(2)Rn+1=Rn∘R
注意:对于A上的任何关系R1和R2都有
R10=R20=IA
对于A上的任何关系R都有
R1=R第8页,共20页。9例:第9页,共20页。10定理设R是A上的关系,m,n∈N,则
(1)Rm∘Rn=Rm+n
(2)(Rm)n=Rmn
四、幂运算的性质第10页,共20页。11关系运算的矩阵表示关系矩阵(matrixofrelation)。设R
A×B,A={a1,a2,…,am},B={b1,b2,…,bn},那么R的关系矩阵
MR为一m×n矩阵,它的第i,j分量rij
只取值0或1,而当且仅当aiRbj
当且仅当
第11页,共20页。12某关系R的关系图为:则R的关系矩阵为:第12页,共20页。13思考:写出集合A={1,2,3,4}上的恒等关系、空关系、全域关系和小于关系的关系矩阵。答案:分别为:第13页,共20页。14在讨论关系矩阵运算前,我们先定义布尔运算,它只涉及数字0和1。布尔加法(∨):
0+0=0
0+1=1+0=1+1=1布尔乘法(∧):
1·1=1
0·1=1·0=0·0=0第14页,共20页。15R0,R1,R2,R3,…的关系图如下图所示五、幂的求法例3设A={a,b,c,d},R={<a,b>,<b,a>,<b,c>,<c,d>},求R的各次幂,分别用矩阵和关系图表示.
解R与R2的关系矩阵分别为第15页,共20页。16幂的求法(续)对于集合表示的关系R,计算Rn就是n个R右复合.矩阵表示就是n个矩阵相乘,其中相加采用逻辑加.例3设A={a,b,c,d},R={<a,b>,<b,a>,<b,c>,<c,d>},求R的各次幂,分别用矩阵和关系图表示.
解R与R2的关系矩阵分别为第16页,共20页。17同理,R0=IA,R3和R4的矩阵分别是:因此M4=M2,即R4=R2.因此可以得到
R2=R4=R6=…,R3=R5=R7=…
幂的求法(续)第17页,共20页。18六、幂运算的性质定理设A为n元集,R是A上的关系,则存在自然数s和t,使得Rs=Rt.证R为A上的关系,由于|A|=n,A上的不同关系只有个.当列出R的各次幂
R0,R1,R2,…,,…,必存在自然数s和t使得Rs=Rt.第18页,共20页。19定理设R
A
A,若存在自然数s,t(s<t),使得Rs=Rt,则下面等式成立:(1)Rs+q=Rt+q,q
N;证明
Rs+q=RsRq=RtRq=Rt+q。(2)Rs+(t–s)q+r=Rs+r,其中q,r
N;证明对q用归纳法证明。 当q=1,Rs+(t–s)q+r=Rs+(t–s)+r=Rt+r=Rs+r(1)
设q=k时,命题成立,
即Rs+(t–s)k+r=Rs+r,其中q,r
N;
当q=k+1时,Rs+(t–s)(k+1)+r
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 演出经纪人之《演出经纪实务》测试卷附答案详解
- PETS一级笔试模拟试题(含详细答案解析)
- 广东省河源市东源县2027届数学九上期末达标检测模拟试题含解析
- 轨道交通运营期施工防护方案
- 髂静脉压迫综合征弹力袜穿戴日常指导规范共识
- 2027届广东省深圳高级中学数学九上期末经典模拟试题含解析
- Oracle数据库工程师面试题及详细答案(实操完整版)
- 车间安全教育培训试题及答案
- 管廊突发事件调度处置规程
- 2026年安管人员继续教育试题及答案
- T/CECS 10270-2023混凝土抑温抗裂防水剂
- 《足太阴脾经络》课件
- 2024年版高校助教聘请合约3篇
- 肇庆市2025届高中毕业班第一次模拟考试(一模)生物试卷(含答案详解)
- 完整版:美制螺纹尺寸对照表(牙数、牙高、螺距、小径、中径外径、钻孔)
- 路灯基础现浇混凝土检验批质量验收记录
- 盐酸青藤碱的稳定性和溶解性研究
- 《田螺姑娘》儿童故事ppt课件(图文演讲)
- 食品有限公司生产车间安全风险分级清单
- 体格检查评分标准(心脏)
- 危急值报告制度有效性评估(PDCA)记录单
评论
0/150
提交评论