- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
七、等价关系及等价类
3-10 等价关系与等价类 2. 等价类 3. 商集: 定理4 A上的任意一个划分,确定了A上的一个等价关系。 定理5 R1和R2是非空集合A上的等价关系,R1=R2 当且仅当 A/R1=A/R2 。 等价类的性质 若aRb,则[a]R=[b]R 若a、b不等价,则[a]R≠[b]R 且[a]R ∩[b]R= ? 若a、b属于同一等价类,则aRb 每个元素必属于一个等价类。 每个等价类都是非空的。 * * 等价关系 定义: R是定义在集合A上的一个关系,如果R是自反的、对 称的和传递的,则称R为等价关系。 说明:设R是A上的等价关系,a,b是A的任意元素,若a,b?R , 通常我们记作 a~b,读作“a等价于b”。 例如,平面上的三角形集合中,三角形相似关系是等价关系; 上海市的居民集合中,住在同一区的关系也是等价关系。 等价关系的 关系图有何特点? 数中的相等关系,集合间的相等关系,命题演算中的 等价关系都是等价关系。 例:设I为整数集,R={ x,y | x ≡ y (mod k) }, 证明:R为I上的等价关系。 证明:对任意的a,b,c∈I, 因为a-a = 0×k ,所以a,a ∈R; 若a,b∈R,则a≡b(mod k),有 a-b=t×k(t是整数),则b-a=(-t)×k,因此b≡a(mod k),故b,a∈R。 若a,b∈R,b,c∈R,则a≡b(mod k),b≡c(mod k),有a-b= t1×k ,b-c= t2×k(t1,t2是整数),故a-c=(t1+t2)×k,从而a≡c(mod k), 故a,c∈R。 由1,2,3知,R在I上是自反的、对称的和传递的,从而R是I上的等价关系。 x-y能被k整除 例题 例 空集?上的任何二元关系R都是等价关系,因为 例题 (?x)(x∈?→xRx) (?x)(?y)(x∈?∧y∈?∧xRy→yRx) (?x)(?y)(?z)(x∈?∧y∈?∧z∈?∧ xRy∧yRz→xRz ) 都恒为真,所以R是等价关系。 另外:集合A上的全域关系R=A × A也是等价关系。 定义 设R为集合A上的等价关系,对?a∈A,集合 [a]R={x | x∈A,aRx}称为元素a形成的R等价类。 例题:设集合T={1,2,3,4}, 关系 R={1,1,2,2,3,3,4,4,1,4,4,1,3,2,2,3} 找出元素1形成的R等价类。 解:1.因为R满足自反、对称、传递性,故为等价关系; 2. [1]R={1,4} 说明(1)当集合A非空时,由等价类的定义可知[a]R是非空的, 因为a ∈[a]R。 (2)任给集合A及其上的等价关系R,必可写出A上各元素的 等价类。 例 定义在整数集I上的关系R={x,y|x≡y (mod 3) }, 则R是等价关系,并且有 [0]R={…,-6,-3,0,3,6,…} [1]R={…,-5,-2,1,4,7,…} [2]R={…,-4,-1,2,5,8,…} [3]R={…,-6,-3,0,3,6,…} [0]R= [3]R= [-3]R= … [1]R= [4]R= [-2]R=… [2]R= [5]R= [-1]R=… 例题 定理1 设给定集合A上的等价关系R,对于a,b ∈A aRb iff [a]R=[b]R 证明 1)充分性 2)必要性 若[a]R=[b]R,因为a ∈[a]R ,故a ∈[b]R ,即bRa,又R是对称的,故aRb. 若 aRb ?x,x?[a]R 即[a]R ?[b]R, 同理可得[b]R? [a]R 所以,若aRb ,则[a]R=[b]R ?xRa(∵R是对称的) ?xRb(∵aRb,且R是传递的) ?bRx(∵R是对称的) ?x?[b]R 定理1 ?aRx 定理2* 设R是集合A上的等价关系,则对于所有a,b ?A ,或者 [a]R=[b]R或者[a]R ∩[b]R= ?。 证明: 如果A= ?,结论一定成立。现设A≠ ?, 对?a,b∈A,或者[a]R∩[b]R
您可能关注的文档
最近下载
- 第五单元草原牧歌——《父亲的草原母亲的河》课件2024-2025学年人音版(2024)初中音乐七年级上册.pptx VIP
- (2025秋新版)部编版八年级上册道德与法治《第三课共建网络美好家园》ppt课件.pptx
- NB-T11409-2023水电工程费用构成及概(估)算费用标准.pdf VIP
- 养鸡技术大全技术详略 - 畜牧.docx VIP
- 苏教版六年级上册《科学》全套教学课件(共531页PPT).pptx
- 湘科版2017版小学科学六年级【上册】全册教案详解.pdf VIP
- 宗教事务条例培训.pptx
- 慢性痛风性关节炎伴多发性痛风石一例并文献复习.pdf VIP
- 5.1 认识大数据 课件 粤教版(2019)高中信息技术必修1.pptx VIP
- 23J916-1 住宅排气道(一)图集.pdf VIP
文档评论(0)