![b17bb5591c187cffa611bdd58c11560f.gif](https://i-blog.csdnimg.cn/blog_migrate/40f1c635c7aa315fa7a94b25be77580a.gif)
等价关系,在大学数学书中随处可见,大部分同学把等价关系理解为了自反性,对称性,传递性。然而对为什么要介绍等价关系,或者为何这么定义等价关系却不得而知。下面,我们就试着用最通俗的语言告诉你如何理解等价关系。
引入等价关系可以分类
01
生活处处有分类
在日常生活中,我们总会把各种事物进行分类。比如,岁月长河被分成
周一,周二,..周日;
一月,二月,…..十二月;
….2019年,2020年,2021年….;
每个学校的学生可以按照男女分类,也可按照学院,班级分类...
.......
固定布局 工具条上设置固定宽高
背景可以设置被包含
可以完美对齐背景图和文字
以及制作自己的模板
![a7eb257c7a78884cfcef92b1c5223c0f.png](https://i-blog.csdnimg.cn/blog_migrate/94ad8f56272fee0557de2c6b09b14b85.png)
垃圾分类
数学中的分类常常见
整数可以分成正整数,零,和负正数,也可分成奇数和偶数;
实数分成有理数和无理数
有理数又可以分成有限循环小数和无限循环小数
直线可以按照斜率分类,矩阵可以按照秩分类,函数可以按照定义域分类,连续性分类….
固定布局 工具条上设置固定宽高
背景可以设置被包含
可以完美对齐背景图和文字
以及制作自己的模板
分类应满足下面三个基本要求
1、每个事物都要在某一类中;
2、同一分类中的事物有相同的特点;
3、不同分类之间没有重叠部分
如果你同意分类应该满足上面三个基本要求,那等价关系中的自反性、对称性、传递性就很好理解了。下面就让我们一步一步通过上面三个基本要求过渡到等价关系的三个特性
从事物的分类到集合的划分
02
生活中对事物的分类,可以用数学上对集合的划分来描述。一个集合的划分是指将这个集合分成一些彼此互不相交的非空子集的并集。
例如,集合{1,2,3}有如下几种划分:
对于,每一个划分来说,这些非空子集叫这个划分的一个划分块。比如,第二个划分可以写成{1,2,3}={1}∪{2,3}.{1}与{2,3}为这个划分的两个划分块。
与事物的分类类似,集合的划分也有下面三个性质:
1、每个元素都包含在一个划分块中
如上面例子的第二个划分中,1包含在划分块{1}中,2包含在划分块{2,3}中。类似一个整数一定包含在奇数块,或者偶数块中,每一个事物都有自己应该在的类中。
2、划分块中的元素地位相同
如上面例子的第二个划分中, 划分块{2,3}中的地位是一样的。类似,在所有的偶数中,2可以代表一个偶数,40也可以代表一个偶数。
3、不同的划分块之间没有交集
如上面的第二个划分中的两个划分块{1}与{2,3}是没有交集的。类似,奇数与偶数是没有交集的。
为了将事物分类,必须首先决定如何分类。例如想对学生进行班级分类,可以给每个学生一个班级号码;为了给一个集合划分,必须先确定放在一个划分块中的元素间的联系。这就要求我们定义一类重要的关系:等价关系
从划分到等价关系
03
当你确定了一个划分准则后,可以把包含在一个划分块的元素称为有关系的。例如,如果你想把整数分成奇数和偶数,你就可以定义2与4有关系,1与7有关系。
一些记号
如果a和b存在关系,我们用aRb表示。我们用a表示所有与a有关系的元素构成的集合(暂且成为关系类),并把a叫做a这个集合的代表元。我们想用这些关系类集合构成一个划分。
为了达到划分的三个条件,元素间的关系需要满足相应的条件。下面,就通过对事物分类、集合划分的三个基本要求来分别理解等价关系中的自反性、对称性与传递性。
等价关系的三条性质
1、自反性:aRa
事物分类要求每个事物都要在一个分类中;划分要求每个元素都要在一个划分块中;类似与你拿着中国护照,你就应该属于中国人。整数2,就应该站在整数的偶数类中。
从而每个元素a都要在一个自己决定的类a中,即a∈a,也就是说a需要与自己有关系:aRa
2、对称性:aRb-->bRa
事物的分类要求同一类的事物要有共同的特性,划分需要保证每个划分块的元素地位相等。也就是说一个类中的元素都可以代表这一个类。就类似每个中国人都会代表中国,每个人都可以代表全人类。2020年中的任何一天都可以代表2020年。足球队的每个人都可以代表这个球队。
也就说如果b∈a中 (bRa),那么a=b都代表这个类。也就说a∈b, ,必须得到aRb.
3、传递性:aRb,bRc-->aRc
事物的分类中要求不同的类之间不能有重叠,集合的划分要求不同的划分块不能有交集。就像不能存在即是可回收,又是不可回收的垃圾。一个整数不能即是奇数也是偶数。
想要做到严格的分类,即a≠b,则有a∩b=Φ。利用对称性,并反向考虑a∩b≠Φ的情况, 我们就可以知道,确立传递性就能满足这个要求
注意
此文仅仅是从等价关系的分类目的出发,理解等价关系的三个性质的。等价关系在其它方面的涉及本文就不再介绍了。下面就一起看看几个关于等价关系的例子:
不是等价关系的例子
04
![47d23d7dac1a3a50d55271354e4a54e3.gif](https://i-blog.csdnimg.cn/blog_migrate/7db5bebe0fa30c1b0b3e1cc77aacedd9.gif)
关系不满足自反性:元素(a,b)会不在与自己等价的集合中。
![85083cf83902bde813d761ad9e114c68.gif](https://i-blog.csdnimg.cn/blog_migrate/9a99248ce31d8ec380d04edd1e87a176.gif)
关系不满足对称性导致不同的类之间存在交集。例如横线集合中的点即与蓝色线上点有关系,也与红色线上的点有关系。而蓝色上的点与红色线上的点一般是没有关系的
等价关系的例子
05
相信你在数学课本中可以发现很多等价关系的例子:整数的同余,矩阵的相抵,合同,相似等等。下面我就来举一些更加直观的例子吧
![b17bb5591c187cffa611bdd58c11560f.gif](https://i-blog.csdnimg.cn/blog_migrate/40f1c635c7aa315fa7a94b25be77580a.gif)
等价关系将平面分成无数条双曲线的集合
![fb815d8523aaeb7c6d7b293d466f26ca.gif](https://i-blog.csdnimg.cn/blog_migrate/87c3bea52c463858248fd77b15dfef1b.gif)
等价关系将除去x轴平面分为无数条直线的集合
关于线性代数中的一些等价关系
06
线性代数中存在大量的等价关系,例如同解方程组、等价向量组、矩阵的(行、列)等价、合同、相似、线性空间的同构等。这些等价关系是如何将相应对象分类的呢?