- 1、本文档共14页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
离散数学-3-10 等价关系及等价类revised
第三章 集合与关系 3-10 等价关系与等价类 授课人:李朔 Email:chn.nj.ls@ 一、等价关系 等价关系是常用的重要关系,它使我们能对集合的元素分类,例如面积相等,相似,全等。其分类原则是每个元素仅属于某一类,且不同类之间没有公共元素。等价关系它有良好的性质。在计算机科学和计算机技术、信息科学和信息工程中都有广泛的应用。目前对等价关系的研究是深入而完备的。 P131 定义3-10.1 设R为定义在集A上的一个关系,若R是自反的,对称的且传递的,则R称为等价关系。 例如:平面上三角形集合中,三角形的相似关系是等价关系,命题逻辑里的命题集合中,命题的等价关系。 一、等价关系 P131 例题1:A={1, 2, 3, 4}, R={1, 1, 1, 4, 4, 1, 4, 4,2, 2, 2, 3, 3, 2, 3, 3} 则易于验证R为A上等价关系。 关系图: 关系矩阵: 一、等价关系 P131例题2:设I为整数集R={x, y}??y(mod k)},则R为I上等价关系。 其中x≡y(mod k)叫做x与y模k相等,即x除以k的余数与y除以k的余数相等.(x=s·k+a,y=t·k+a ,s、t为整数,a为自然数,-2=-1*3+1) 证:因对任a, b, c?I, 1)a-a = 0·k, 故a, a?R 2)若a ? b(mod k), 即a-b = tk 则b-a = -tk,故b ? a(mod k) 3)若a ? b(mod k),b ? c(mod k), 则 a-b = tk, b-c = sk 则a-c = a-b+b-c = (s+t)k 故a ? c(mod k) 因此R为等价关系。 *1.人群集合上年龄相等是等价关系,而朋友关系一般不是等价关系。 *2.集合上的恒等关系和全域关系为等价关系。 一、等价关系 例 设A=?1,2,3,4,5?,R是A上的二元关系, R=??1,1?,?1,2?,?2,1?,?2,2?,?3,3?,?3,4?,?4,3?,?4,4?,?5,5??,证明R是A上的等价关系。 证明:写出R的关系矩阵MR,关系图如下: 二、等价类 P131 定义3-10.2 设R为集合A上的等价关系,对任a?A,集合[a]R={x?x?A, xRa}称为a关于R的等价类。 如例1中 [1]R = [4]R = {1,4} [2]R = [3]R = {2,3} 对例2,当k=3时,等价类为: [0]R = [3]R= [-3] R = {?, -6, -3, 0, 3, 6, ? }? [1]R = [4]R= [-2] R ={?, -5, -2, 1, 4, 7, ? }? [2]R = [5]R= [-1] R ={?, -4, -1, 2, 5, 8, ? }? P132 定理3-10.1 若R为A上等价关系,对于a, b?A,有aRb?[a]R =[b]R。 三、商集 P132 定义3-10.3 集合A上的等价关系R,其等价类集合称为A关于R的商集,记A/R. 例1中商集A/R={[1]R , [2]R}。 非空集A上全域关系EA是等价关系,其商集A/EA={A} 非空集A上的恒等关系IA是等价关系,其商集 A/IA={{x}?x?A} *由上可见,任两个等价类的交集为空,于是我们有下面的重要结果。 三、商集 P133 定理3-10.2 集合A上的等价关系,决定了A的一个划分,该划分就是商集A/R。 证明:把与a?A的等价元素放在一起组成一集合[a]R,所有这些集合构成商集A/R。下面证明它是A的一个划分。 1)A/R={[a] R ? a?A },故 。 2)任一a?A,因R自反,故aRa,即a?[a]R。 即A的每一个元属于一个分块。 3)证明A的每一个元仅属于一个分块。反之设 a?[b]R,a?[c]R且[b]R ?[c]R,则由aRb, aRc有bRc,即[b]R =[c]R与假设矛盾。故A/R是A上对应于R的一个划分。 三、商集 下面进一步证明,集合A上的一个划分确定了A的元素间等价关系。 P133 定理3-10.3 集A上的一个划分确定了A的元素间的一个等价关系。 证明:设S={S1, S2, ?, Sm}为集A的一个划分。定义R:aRb当且仅当a, b在同一分块中。下面证明R为A上等价关系。 1)因a与a在同一块中,故aRa,即R是自反的。 2)若a, b在同一块中,则b, a也在同一块中,故有aRb,bRa,即R对称。 3)若a与b在同一块中,b与c在同一块中,则必有a与c在同
您可能关注的文档
最近下载
- 数学学科课和数学活动课.docx
- 推台锯操作规程.pdf VIP
- Unit1Music测试卷2024-2025学年沪教版(五四制)七年级英语下册.docx VIP
- DB51∕T 940-2009 草原有害生物防治农药安全使用规范.pdf
- 医疗器械注册质量管理体系核查指南.pdf
- 江苏省南京市第二十九学校2023-2024学年九年级下学期第一次月考英语试题和答案详解.pdf
- 二年级上册语文素材指鹿为马人教部编版.ppt
- 2024年宁夏银川市单招职业倾向性测试题库及答案(全优).docx VIP
- 第五课 为什么我一个人站着吃.pptx VIP
- 17J925-1_压型金属板建筑构造.docx VIP
文档评论(0)