




已阅读5页,还剩17页未读, 继续免费阅读
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1,基本运算定义 定义域、值域、域 逆、合成、限制、像 基本运算的性质 幂运算 定义 求法 性质,4.2 关系的运算,2,一、关系的基本运算定义,1、定义域、值域 和 域,定义 设R是二元关系,由(x,y)R 的所有x 组成的集合 称为 R的前域,记为domR。即domR = x | y (R) 。 使(x,y)R 的所有y组成的集合称为R的值域,记为ranR。 即ranR = y | x (R) 。称domR ranR为R的域,记 为fldR 。即fldR = domR ranR 。,解:根据题意R1 =(1,2),(1,3),(1,4),(2,3),(2,4),(3,4) 故前域dom R1 =1,2,3, 值域 ran R1 =2,3,4, fldR =1,2,3,4。,例1 设A=1,2,3,4, R1是A上的二元关系,当a,b A, 且ab 时, (a,b) R1 , 求R和它的前域,值域和域。,3,2、逆与合成 R1 = | R RS = | | y (RS) ,例2 已知 R=, , ,, , S=, , , , , 求R1, RS , SR 。,解:R1=, , , ,RS =, , ,SR =, , , ,4,合成运算的图示方法,利用图示(不是关系图)方法求合成 RS =, , SR =, , , ,例2 已知 R=, , ,, , S=, , , , , 求R1, RS , SR 。,5,3、限制与像,定义 F 在A上的限制 FA = | xFy xA A 在F下的像 FA = ran(FA),例3 设 R=, , , ,则 R1=, R1=2,4 R= R1,2=2,3,4 注意:FAF, FA ranF,6,二、关系基本运算的性质,定理1 设F是任意的关系, 则 (1) (F1)1=F (2) domF1=ranF, ranF1=domF,定理2 设F, G, H是任意的关系, 则 (1) (FG)H=F(GH) (2) (FG)1= G1F1,7,定理 设R, S, T均为A上二元关系, 那么 (1) R (ST)=(R S)(R T) (2) (ST) R=(S R)(T R) (3) R (ST)(R S)(R T) (4) (ST) R(S R)(T R) (5) R (S T)=(R S) T,8,三、A上关系的幂运算,设R为A上的关系, n为自然数, 则 R 的 n次幂定义为: (1) R0= | xA =IA (2) Rn+1 = RnR 注意: 对于A上的任何关系R1和R2都有 R10 = R20 = IA 对于A上的任何关系 R 都有 R1 = R,9,例:,10,定理 设 R 是 A 上的关系, m, nN, 则 (1) RmRn=Rm+n (2) (Rm)n=Rmn,四、幂运算的性质,11,关系运算的矩阵表示 关系矩阵(matrix of relation)。 设R AB, A=a1, a2, , am, B=b1, b2, , bn, 那么R的关系矩阵 MR为一mn矩阵,它的第i , j分量rij只取值0或1, 而,当且仅当aiRbj,当且仅当,12,某关系R的关系图为:,则R的关系矩阵为:,13,思考: 写出集合A=1 , 2 , 3 , 4 上的恒等关系、 空关系、 全域关系和小于关系的关系矩阵。,答案:分别为:,14,在讨论关系矩阵运算前, 我们先定义布尔运算, 它只涉及数字0和1。 布尔加法( ): 0 + 0 = 0 0 + 1 = 1 + 0 = 1 + 1 = 1 布尔乘法( ): 1 1 = 1 0 1 = 1 0 = 0 0 = 0,15,R0, R1, R2, R3,的关系图如下图所示,五、幂的求法,例3 设A=a,b,c,d, R=, 求R的各次幂, 分别用矩阵和关系图表示. 解 R与R2的关系矩阵分别为,16,幂的求法(续),对于集合表示的关系R,计算 Rn 就是n个R右复合 . 矩阵表示就是n个矩阵相乘, 其中相加采用逻辑加. 例3 设A=a,b,c,d, R=, 求R的各次幂, 分别用矩阵和关系图表示. 解 R与R2的关系矩阵分别为,17,同理,R0=IA, R3和R4的矩阵分别是: 因此M4=M2, 即R4=R2. 因此可以得到 R2=R4=R6=, R3=R5=R7=,幂的求法(续),18,六、幂运算的性质,定理 设A为n元集, R是A上的关系, 则存在自然数 s 和 t, 使得 Rs = Rt. 证 R为A上的关系, 由于|A|=n, A上的不同关系只有 个. 当列出 R 的各次幂 R0, R1, R2, , , , 必存在自然数 s 和 t 使得 Rs=Rt.,19,定理 设R A A, 若存在自然数s, t (st), 使得Rs = Rt, 则下面等式成立: (1) Rs+q = Rt+q, qN; 证明 Rs+q = RsRq = RtRq = Rt+q。 (2) Rs+(ts)q+r = Rs+r, 其中q, rN; 证明对q用归纳法证明。 当q=1, Rs+(ts)q+r = Rs+(ts)+r = Rt+r = Rs+r (1) 设q = k时, 命题成立, 即Rs+(ts)k+r = Rs+r, 其中q, rN; 当q = k+1时, Rs+(ts)(k+1)+r = Rs+(ts)k+r +(ts) = Rs+(ts)k+r R (ts) = Rs+r Rts (归纳假设) = Rs+r +ts = Rt+r = Rs+r (1) 所以, (2)成立,20,(2) Rs+(ts)q+r = Rs+r, 其中q, rN; (3) 令S = R0, R1, , Rt1, 则对于任意nN, 均有RnS。(ss, 因而存在q, rN, 使得 n s = (t s)q + r (0rt s 1) 即 n = s + (t s)q + r Rn = Rs+(ts)q+r = Rs+r (2) 而s + rs + t s 1= t 1, 所以 Rn = Rs+r S。,21,Rs+(ts)q+r = Rs+r, 例 设R A A, 化简R2003的指数。 (1)已知 R3 = R5; (2) 已知 R7 = R15。 解 (1) s = 3, t = 5, n = 2003, = = 1000,= 1000 1 + 0, 因此, q = 1000, r = 0, R2003 = R3+21000+0 = R3+0 = R3
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2025年文化遗产数字化保护中的地理信息系统应用报告
- 现在进行时课件新东方
- 江苏省常州市达标名校2026届化学高二第一学期期末经典模拟试题含答案
- 2025年考研英语(一)阅读理解高分技巧试卷 案例分析与策略
- 王者荣耀知识培训课件
- 研究生重点题目及答案
- 2026届黑龙江省哈尔滨市阿城区龙涤中学化学高一上期中调研模拟试题含解析
- 某某院物业管理服务采购项目方案投标文件(技术方案)
- 玉米种植采摘课件
- 玉米种植病虫害防治
- (2025)全国学生学宪法讲宪法知识题库附含答案
- 2025 年小升初临汾市初一新生分班考试数学试卷(带答案解析)-(人教版)
- 2025版劳动合同范本下载
- 2025-2026学年西师大版(2024)小学数学二年级上册教学计划及进度表
- 基孔肯雅热预防宣传课件
- 2025年全国“质量月”质量知识竞赛题库及答案
- 福建卷(未来总是甜的)-2025年中考语文作文题解读
- 2025年云南省中考英语试卷真题(含标准答案及解析)
- 《公路工程预算定额》(JTGT3832-2018)
- 涉外导游英语口语实训教程整套课件完整版PPT教学教程最全电子讲义教案(最新)
- 新疆新昊诚保温材料有限公司年产万吨岩棉生产线项目可
评论
0/150
提交评论