已阅读5页,还剩19页未读, 继续免费阅读
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
3-10 等价关系与等价类,离散数学,复习,自反性( reflexive ) 定义:设R为定义在集合A上的二元关系,如果 对于每个xA,都有R,即xRx,则称二元关系R是自反的。,对称性( symmetric ),定义:设R为定义在集合A上的二元关系,如果对于每个x,yA,每当R,就有R,则称集合A上关系R是对称的。,传递性( transitive ),定义:设R为定义在集合A上的二元关系, 如果对于任意x,y,zA, 每当 R且 R,就有 R,称关系R在A上是传递的。,R1 是对称的。,R2 是自反的、对称的、传递的。,主要内容,一、定义,定义1:设R为定义在集合A上的一个关系,若R是自反的,对称的和传递的,则称R为集合A上的等价关系。,例如,平面上三角形集合中,三角形的相似关系; 同学集合A=a,b,c,d,e,f,g,A中的关系R:住在同一宿舍; 同性关系。,例1 设T1,2,3,4,,R1,1,1,4,4,1, 4,4,2,2,2,3, 3,2,3,3。 验证R是集合T上的等价关系。,例2 设A = 1, 2, , 8 , 如下定义A上的关系R:,R = | x, yA且xy(mod3) 证明R为A上的等价关系。,证明: xA , 因为x-x=0=03,所以R; x,yA, 若x-y=3t(t为整数), 则有: y-x=-3t,即 R; x,y,zA, 若x-y=3t, y-z=3s, 则有: x-z=3(t+s),即 R.,关系图如下图所示.,等价类,定义2:设R为集合A上的等价关系,对任意aA,集合 aR=x|x A,R 称为元素a关于R的等价类。,例2可求出三个不同的等价类,1R=4R=7R=1,4,7 2R=5R=8R=2,5,8 3R=6R=3,6,定义3:集合A上的等价关系R,其等价类集合aR|a A称作A关于R的商集(quotient set) 。记作A/R,(1) a aR (2)定理1:设给定集合A上的等价关系R,对于a,bA,若R,iff aR=bR。,二、性质,(3)设R为集合A上的等价关系,则任意a,b A,若,R,则,证明 设集合A上的一个等价关系R,则aR是A的一个子集,则所有这样的子集可做成商集A/R 1、A/R=aR|a A中, aR=A 2、 对任意a A,都有aRa,即aaR,即A中的每一个元素都属于一个分块。 3、A的每个元素只能属于一个分块 反证设abR ,acR,且bR cR,则bRa,cRa成立,所以有aRc,所以bRc,即bR cR 所以A/R是A上对应于R的一个划分。,定理2:集合A上的等价关系R,决定了A的一个划分,该划分就是商集A/R。,三 商集与集合的划分,证明: 设集合A的一个划分SS1,S2Sm,现定义一个关系:aRb当且仅当a,b在同一个分块中。则R是一个等价关系。 、a与a在同一个分块中,则有aRa ,即自反性 、 a与b在同一个分块中,则b与a在同一个分块中,即若aRb,有bRa,故R是对称的。 、 a与b在同一个分块中, b与c在同一个分块中,而由划分的定义b只能属于且属于一个分块,故a与c必在同一分块中,即若有aRb,bRc则必有aRc,即传递性成立。 所以R是一个等价关系。SA/R,定理3 集合A的一个划分确定A的元素间的一个等价关系。,说明,等价关系 等价类 商集 划分 A上的等价关系与A的划分是一一对应的。,R1a,bxa,b= R2=c xc= R3= d,exd,e= R=R1R2R3,例3 A=a,b,c,d,e, Sa,b,c,d,e,求由S确定的R。,例4设A=a,b,c,d,e,R=a,a,a,b,a,c,b,b,b,a,b,c,c,c,c,a,c,b,d,d,d,e,e,e,e,d,其有向图如图所示,则R诱导的划分S=a,b,c,d,e.反之,若A的划分S=a,b,c,d,e,则所诱导的等价关系R=a,b,ca,b,cd,ed,e=a,a,a,b,a,c,b,b,b,a,b,c,c,c,c,a,c,b,d,d,d,e,e,e,e,d,证明 必要性:A/R1aR1|a A,A/R2 aR2|a A R1R2,对任意a A, 有aR1x|x A,aR1x=x|x A,aR2x= aR2 所以有aR1|a AaR2|a A即有A/R1=A/R2 充分性:反之设aR1|a AaR2|a A 对任意aR1 A/R1则有cR2 A/R2,使得aR1cR2 所以 R1 a aR1 b
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 劳务合同条款标准模板及填写指导
- 销售合同范本及风险管控指南
- 医疗器械采购合同标准范本
- 基于小波 - 灰色模型的电力负荷高精度预测研究
- 基于客户感知的软件外包企业品牌资产构成要素的深度剖析与实证研究
- 基于实证视角的小学生公民意识教育路径探析
- 基于套期保值理论的国储小麦轮换价格风险规避策略与实践研究
- 建筑外墙装修合同协议样本
- 工程项目质量管理月度活动策划方案
- 区块链技术在5G通信中的应用探索-洞察及研究
- 标准离婚协议书文档模板
- 装修挂靠协议合同范本
- 2025年军队文职人员招聘考试题库附答案(满分必刷)
- 2025年高考生物试题(重庆卷) 含答案
- 拆除工程专项方案
- 2025赤峰翁牛特旗公立医院招聘29名员额备案制工作人员考试笔试备考试题及答案解析
- 2025高中政治主观题答题模板
- 2025年全国低压电工证理论考试笔试试题(200题)附答案
- 2025贵州天健福康医养供应链有限责任公司招聘劳动合同制人员18人实施考试参考试题及答案解析
- 2025下半年厦门市总工会招聘工会专干和集体协商指导员50人考试参考题库及答案解析
- 国开2025年《行政领导学》形考作业1-4答案
评论
0/150
提交评论