




已阅读5页,还剩16页未读, 继续免费阅读
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
7.6 等价关系与划分 1 等价关系是一类重要的关系。 定义7.15(等价关系) 设R非空集合上的关系, 如果R是自反的、对称的和传递的,则称R为A上的 等价关系。 设R是一个等价关系,若R,称x等价于 y,记作xy。 例 设A=1,2,3,R1,R2,R3是A上的关系 R1=, R2=,, R3=, 2 例 设A为某班学生的集合,讨论下列关系是否为等 价关系。 R1=|x, yA x与y同年生 R2=|x, yA x与y同姓 R3=|x, yA x的年龄比y小 解:R1是等价关系; R2是等价关系; R3不是等价关系; 3 如tsr(R)必为一个等价关系 例 A=1,2,3,A上的关系R=, tsr(R)=, 通过闭包运算将任意的关系R构造成为一个等价关系 4 对R求三种闭包共有6种顺序,问每种顺序的运算结 果是否一定为等价关系? 不一定。 由于对称闭包不一定保持关系的传递性,因此先求 传递闭包后求对称闭包得到的关系不一定是等价关系 例 A=1,2,3,A上的关系R=, str(R)=IA, 显然str(R)不是等价关系 用闭包运算去构造等价关系时,传递闭包运算应该 放在对称闭包运算的后面 5 例 设AN,R=|x, yAxy (mod 3) 为A上的 关系,其中xy (mod 3)叫做x与y模3相等,其含义为x 除以3的余数与y除以3的余数相等。证明R为A上的等 价关系。 证明: xA,有xx (mod 3),即R,所以R是自 反的。 x,yA,若xy (mod 3),则有yx (mod 3)。所以 R是对称的。 x,y,zA,若xy (mod 3),yz (mod 3),则有xz (mod 3)。所以R是传递的。 综上R为A上的等价关系。 6 例:已知A=P(X), CX, x, yA, R xyC。 证明R为A上的等价关系. 证明: (1)xA,由于xx=C R, 所以R是自反的。 (2)x,yA,RxyCyxCR, 所以R是对称的。 (3)x,y,zA,若R,R, 则有xyC, yzC。 xz=(xy)(yz)C R. 所以R是传递的。 综上所证,R是A上的等价关系。 7 画出等价关系R=|x,yAxy(mod 3)的 关系图 ,其中A=1,2,8。 不难看出,上述关系图被分为三个分离(互不连 通)的部分。每部分中的数两两都有关系(模3相等), 位于不同部分中的数之间则没有关系。 称每一部分中的顶点构成了一个等价类。 8 定义7.16(等价类) 设R为非空集合上的等价关系,xA,令 xR=y|yAxRy,称xR为x关于R的等价类,简 称为x的等价类,简记为x。 说明: x的等价类是A中所有与x等价的元素构成的集合。 9 集合A=1,2,8上的等价关系 R=|x, yAxy(mod 3) 等价类是: 1=4=7=1,4,7 2=5=8=2,5,8 3=6=3,6 10 将模3的等价关系加以推广,可以得到整数集合 Z上的模n等价关系。 对于任意的整数x和y,定义模n相等关系: xyxy(mod n) 易证是整数集合Z上的等价关系。 11 将Z中所有的整数根据它们除以n的余数分类如下: 余数为0的数,其形式为nz,zZ 余数为1的数,其形式为nz+1,zZ 余数为n-1的数,其形式为nz+n-1,zZ 以上构成了n个等价类: i=n+i=2n+i=nz+i|zZ,i=0,1,n-1 12 定理7.14(等价类的性质) 设R为非空集合A上 的等价关系,则 (1)x是A的非空子集 (2)x,yA,如果xRy,则x=y (3)x,yA,如果xRy,则x与y不交 (4)x|xA =A 定理的含义: (1):任何等价类都是集合A的非空子集 (2)和(3):在A中任何两个元素,它们的等价类相等或 不相交,不能部分相交。 (4):所有等价类的并集就是A (3)和(4):等价关系将A划分成若干个互不相交的子集 13 例集合A=1,2,8上的等价关系R=|x, yAxy(mod 3) 等价类是1, 4, 7、2, 5, 8、3, 6 14 定义7.17(商集)设R为非空集合A上的等价关系 ,以R的所有等价类为元素的集合叫做A在R下的商集 ,记作A/R,即A/R=xR|xA 例 集合A=1,2,8上的等价关系R=|x, yAxy(mod 3)等价类是1, 4, 7、2, 5, 8、3, 6。 所以A在R下的商集为1, 4, 7, 2, 5, 8, 3, 6。 A在R下的商集也可写成1, 2, 3。 整数集Z在模n等价关系下的商集是 nz+i|zZ | i=0,1,n-1 或0, 1, ., n-1 15 定义7.18(划分)设A为非空集合,若A的子集族 (P(A),是A的子集构成的集合)满足以下的条件 : (1) (2)xy(x,yxy xy=) 即中任意两个集合不相交 (3)=A,即中所有集合的并集等于A 则称是A的一个划分,称中的元素为A的划分块 16 例设A=a,b,c,d,给定1,2,3,4,5,6如下,判 别它们是否为A的划分。 1= a,b,c , d 2= a,b , c , d 3= a , a,b,c,d 4= a,b , c 5= , a,b , c,d 6= a, a , b,c,d 其中1,2是A的划分,3,4,5,6不是A的划分 17 集合A的等价关系与集合A的划分一一对应 (1)每个A上的等价关系所产生的商集是一个划分 (2)每个A的划分决定一个A上等价关系R 通过A的一个划分来确定等价关系R的方法是: 对任意的x,yA,R当且仅当x和y在的同一 划分块中。 例 A=a,b,c,d的一个划分为=a,b,c,d 则对应的等价关系为: R=, IA 18 a b c d a b d c 划分的图形表示 一般用“圆”来表示一个划分,将圆划分成若干份来 表示划分块。 例如: 1= a,b,c , d 2= a,b , c , d 19 例7.18 给出A=1,2,3上
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 探讨项目团队文化建设的策略试题及答案
- 2025年注册会计师学习集体效应与团队合作切实可行的学习策略试题及答案
- 质量导向备战2025年注册会计师考试的关键点试题及答案
- 广东某超高层电视塔安全文明施工方案(内容详细、附施工图)
- 2025年证券从业资格的学习技巧试题及答案
- 项目管理考试资源的合理选择试题及答案
- 项目管理创新思维的运用试题及答案
- 2025年银行从业资格证考生经验分享试题及答案
- 2025年证券从业资格证应试经验试题及答案
- 财务报表的分析框架与关键试题及答案
- 混凝土桥梁预应力钢筋锈蚀的研究进展
- 传染病培训知识课件
- 多动症行为治疗
- 2025年杭州市能源集团招聘笔试参考题库含答案解析
- 艾滋病知识培训课件
- 专题07 等差数列与等比数列(考点清单+知识导图+ 13个考点清单-题型解读)(原卷版)-25学年高二数学上学期期末考点大串讲
- 高速公路汽车救援方案
- 《Origin的使用方法》课件
- 2024年WPS计算机二级考试题库350题(含答案)
- 2023中考道德与法治十大热点预测-2023年中考道德与法治考场速查宝典(部编版)
- 高中英语必背3500单词表(完整版)
评论
0/150
提交评论