版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
离散数学关系的运算演示文稿第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. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 行政执法人员综合法律知识考试题库及答案
- 2026届上海市卢湾区数学三年级第二学期期末教学质量检测模拟试题(含解析)
- 煤矿其他从业人员应知应会考试题库【附答案】
- 教师资格证幼儿保教知识与能力考试模拟测试题及答案
- 村干部考公务员试题及答案
- 2026年西藏阿里银行业专业人员中级职业资格考试(专业实务个人理财)试题及答案
- 小学数学《认识时间》课件
- 试用期员工辅导与跟踪管理方案
- 小班语文最简单试卷及答案
- 小学传染病防控管理制度
- 2026年飞控系统测试题及答案
- 2026皮肤与性病学卫生高级职称(副高)试题试卷附答案
- 2026年广东省公需课《人工智能赋能高质量发展》试题及答案
- 2026重庆涪陵区新妙镇选聘本土人才4人笔试备考题库及答案详解
- 2026年体育市场营销师笔试模拟题
- 2024-2025学年广东省佛山市顺德区八年级(下)期末物理试卷
- 2026年江苏苏州园区初三化学一模调研试题含答案
- 公共组织财务管理(第三版)
- (正式版)T∕CSNAME 010-2021 修船行业绿色船舶修理企业规范条件
- 2026年马鞍山市含山县社区工作者招聘8名笔试参考题库及答案解析
- AI在集成电路中的应用
评论
0/150
提交评论