ImageVerifierCode 换一换
格式:DOC , 页数:9 ,大小:311.04KB ,
资源ID:3437247      下载积分:20 文钱
快捷下载
登录下载
邮箱/手机:
温馨提示:
快捷下载时,用户名和密码都是您填写的邮箱或者手机号,方便查询和重复下载(系统自动生成)。 如填写123,账号就是123,密码也是123。
特别说明:
请自助下载,系统不会自动发送文件的哦; 如果您已付费,想二次下载,请登录后访问:我的下载记录
支付方式: 支付宝    微信支付   
验证码:   换一换

加入VIP,省得不是一点点
 

温馨提示:由于个人手机设置不同,如果发现不能下载,请复制以下地址【https://www.wenke99.com/d-3437247.html】到电脑端继续下载(重复下载不扣费)。

已注册用户请登录:
账号:
密码:
验证码:   换一换
  忘记密码?
三方登录: QQ登录   微博登录 

下载须知

1: 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。
2: 试题试卷类文档,如果标题没有明确说明有答案则都视为没有答案,请知晓。
3: 文件的所有权益归上传用户所有。
4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
5. 本站仅提供交流平台,并不能对任何下载内容负责。
6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

版权提示 | 免责声明

本文(集合论与图论2.2.doc)为本站会员(11****ws)主动上传,文客久久仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知文客久久(发送邮件至hr@wenke99.com或直接QQ联系客服),我们立即给予删除!

集合论与图论2.2.doc

1、2.3 关系的运算*关系的运算有七种,分别列出如下:定义 7.6: 设 R 是二元关系.(1) R 中所有有序对的第一个元素构成的集合称为 R 的定义域, 记作 domR.domR=x | y(R)(2) R 中所有有序对的第二个元素构成的集合称为 R 的值域,记作 ranR.ranR=y | x(R).(3) R 的定义域和值域的并集称为 R 的域,记作 fldR.fldR = domR ranR .例 1: R=,则domR=1,2,4ranR=2,3,4fldR=1,2,3,4定义 7.7:设 R 为二元关系,R 的逆关系,简称 R 的逆,记作 R-1,定义为 R-1=|R.定义 7.8

2、:设 F,G 为二元关系,G 对 F 的右复合,记做 F G,定义为 F G=| t(FG) .例 2:设 F=, G=,则F-1=,F G=G F=.*左复合:F G=| t(GF)*有些书上用左复合,但右复合比较直观,本书用右复合.定义 7.9:设 R 为二元关系,A 是集合(1) R 在 A 上的限制,记作 R|A,定义为R|A=|xRyxA(2) A 在 R 下的像,记作 RA,定义为RA=ran(R|A)*R|A 是 R 的子关系,RA是 ranR 的子集.例 3:设 R=,则R|1=,R|=R|2,3=,R1=2,3R=R3=2 .*关系运算的优先级:1.逆运算2.关系的其它运算3

3、.集合运算4.先括号里后括号外5.同级运算从左到右例子: ranF -1, F GF H, ran(F|A).*关系运算的性质:定理 7.1:设 F 是任意的关系,则(1)(F-1)-1= F(2)domF-1=ranF, ranF-1=domF.证明: (1)任取,由逆的定义,有(F -1)-1 F -1 F,所以(F -1)-1= F.(2)任取 x,xdomF -1 y(F -1) y(F) xranF .所以 domF -1 = ranF.同理可证 ranF-1 = domF.定理 7.2:设 F,G,H 是任意的关系,则(1)(F G) H=F (G H)(2)(F G)-1=G-1

4、 F-1证明:(1)任取,(F G) Ht(F GH)t( s(FG)H)t s(FGH)s(F t(GH)s(FG H)F (G H)所以(F G) H=F (G H).(1) 的另一种证明:对任意(F G) H,则存在 t 使得F G 且H.又由F G,有 s 使得F 且G.由G 和H,有G H,再由F,有F (G H).故(F G) H F (G H).对任意F (G H),存在 s,使得F 且G H.再由G H,存在 t,使得G 且H.由F 和G,有F G,再由H,有(F G) H.故(F G) H F (G H).因此(F G) H=F (G H).(2) 任取,(F G)-1F G

5、t(FG)t(F -1G -1)t(G -1F -1)G -1 F-1 .定理 7.3:设 R 是 A 上的关系,则R IA = IA R = R .证明:任取,R IAt(RI A)t(Rt=y)RRRyARI AR IA从而有 R IA=R.同理可证 IA R=R .定理 7.4:设 F,G,H 为任意关系,则(1) F (GH)=(F G)(F H)(2) (GH) F=(G F)(H F)(3) F (GH) F GF H(4) (GH) F G FH F .证明:只证(3)式.任取,F (GH)t(FGH)t(F(GH)t(FG)(FH)t(FG) t(FH)F GF HF GF H

6、 .定理 7.5:设 F 为关系,A,B 为集合,则(1) F|(AB)=F|AF|B(2) FAB=FAFB(3) F|(AB) F|AF|B(4) FAB FAFB证明:只证(4).任取 y,若 yFAB,则存在 x,使得F 且 xAB,那么有 xA 且 xB,也就存在 x,使得F 且 xA,故 yFA;同时还有F 且 xB.故 yFB.从而 yFAFB.因此 FAB FAFB .定义 7.10:设 R 为 A 上的关系,n 为自然数,则 R 的 n 次幂定义为:(1) R0=|xA=I A ;(2) Rn+1=Rn R .*利用关系矩阵计算 Rn:设 M 为 R 的关系矩阵,则 Rn 的

7、关系矩阵为 Mn.即 n 个 M 的乘积,其中的加法为逻辑加法:1+1=1, 1+0=1, 0+1=1, 0+0=0.例 4:设 A=a,b,c,d,R=,关系矩阵如下.计算后可知,M 4=M2.即 R4=R2,从而有R2=R4=R6=R3=R5=R7=M= 01R0 和 IA 的关系矩阵为单位矩阵 .定理 7.6:设 A 为 n 元集,R 是 A 上的关系,则存在自然数 s 和t,使得 Rs=Rt.证明:设 R 为 A 上的关系,对任意自然数 k,Rk 都是 AA 的子集.又知|AA|=n 2,|P(AA)|= ,即 AA 的不同子集仅有2n个 ,当列出 R 的各次幂 R0,R1,Rm 时(

8、m= ),必有自然数2n 2ns 和 t,使得 Rs=Rt.*如上例中的 R2=R4.定理 7.7: 设 R 为 A 上的关系,m,nN,则(1) Rm Rn=Rm+n ;(2) (Rm)n=Rmn .证明:用归纳法.(1) 对任意给定的 mN,施归纳于 n.若 n=0,则有 Rm R0=Rm IA=Rm=Rm+0 .假设 Rm Rn=Rm+n .Rm Rn+1=Rm (Rn R)=(Rm Rn) R=Rm+n R=Rm+n+1.*最后一步由定义可得.(2) 对于任意给定的 mN,施归纳于 n.若 n=0,则有 (Rm)0=IA=R0=Rm0.假设(R m)n,则有(Rm)n+1=(Rm)n Rm=Rmn Rm=Rmn+m=Rm(n+1).所以对一切 m,nN,有(R m)n=Rmn.定理 7.8:设 R 为 A 上的关系,若存在自然数 s,t(s,给出 R 的关系矩阵和关系图.2.设 A=,B=,.求 AB,AB,domA,domB,dom(AB),ranA,ranB,ran(AB),fld(AB).3.设 A=a,b,c,d,R1 和 R2 为 A 上的关系.其中:R1=,R2=,求 R1 R2, R2 R1, , .234.证明:定理 7.4 的(1),(4)和定理 7.5 的 (3).

Copyright © 2018-2021 Wenke99.com All rights reserved

工信部备案号浙ICP备20026746号-2  

公安局备案号:浙公网安备33038302330469号

本站为C2C交文档易平台,即用户上传的文档直接卖给下载用户,本站只是网络服务中间平台,所有原创文档下载所得归上传人所有,若您发现上传作品侵犯了您的权利,请立刻联系网站客服并提供证据,平台将在3个工作日内予以改正。