等价于什么_1.1等价关系与集合的分类

本文中所提“本书”均基于教材《近世代数（韩士安）》。

笔者作此文的目的是为了可以让与我一样头脑并不是很好的同学在学习近世代数课程的时候不会那么累和一头雾水。

本文及其之后的系列文将讲述我在近世代数学习中的一些思考，如有不到之处，欢迎一起交流，敬请批评指正！

该系列的文章我将会讲述经常用到的大家一开始都很迷茫的知识点，且会解释些不易理解的知识点和题目。另外，我会尽量避免一些冗长枯燥的定义，做到简单易懂。

---

一、关系

本书中对于关系的定义讲的十分详细，我在此只提几个重要的点：

1、若①S是一个非空集合；②R为S

S的一个非空子集，那么R为S上的一个二元关系；

2、若（a,b)

R，则a与b有W关系；反之则为没有。

3、若R满足（1）反身性；（2）对称性；（3）传递性，那么R是S的一个等价关系，且如果aRb，则称a与b等价，记作a

b。

4、等价类：非空集合S中和a(

S)等价的元素的集合。

5、商集：全体等价类组成的集合。

在知道等价类所表示的是什么之后，下面有一个很重要的概念叫做剩余类。我想一定会有人和我一样一开始对剩余类表示的是什么很迷茫，希望大家在看了下文之后会对剩余类有些把握。

我们可以从日常生活的日历中发现：所有日子组成的集合

到整数集Z可以建立一个对应法则

————> Z

… …

2019年10月7日 |————> -1（星期日）

10月8日 |————> 0 （星期一）

10月9日 |————> 1 （星期二）

10月10日 |————> 2 （星期三）

… …

这在

与Z之间建立了一个一一对应，而星期日、星期一、……、星期六分别是Z的下述子集：

星期日

：={ 7k | k

Z }

星期一

：={ 7k+1 | k

Z }

星期二

：={ 7k+2 | k

Z }

… …

星期六

：={ 7k+6| k

Z }

从而有Z=

，

=

（i≠j）.

其中集合H非空且两两不相交，故为Z的一个分类。

从以上例子中可以发现星期便是Z在模7同余关系下的7个等价类：

={ x

Z | x

0 (mod7) }

={ x

Z | x

1 (mod7) }

={ x

Z | x

2 (mod7) }

……

={ x

Z | x

6 (mod7) }

它们都叫做模7的剩余类，且{

，

，

，

，

，

，

}是Z的一个

分类。

（以上内容参考《近世代数》邱维声）

由此可以直观地得出模m的剩余类就是Z上的一个等价关系，一共有m个剩余类：

={ x

Z | x

0 (mod m) }={ mk+ 0| k

Z }

={ x

Z | x

1 (mod m) }={ mk+ 1 | k

Z }

={ x

Z | x

2 (mod m) }={ mk+ 2 | k

Z }

……

={ x

Z | x

m-1 (mod m) }={ mk+ (m-1)| k

Z }

它们都称为模m的剩余类，由它们组成的集合{

，

，

……

}就是商集。

这样我想大家应该就可以明白本书中P3最上面所提的剩余类是怎么来的了。

二、分类

定义：非空集合S是它的某些两两不相交的子集的并，那么这些子集就是集合S的一种分类。

我们通过上文中的 Z=

，

=

（i≠j）来理解这个定义。

可以看到从

并到

中毫无遗漏地包含了Z中的全部元素且两个不同的子集之间没有公共元素（即不相交），因此{

，

，

，

，

，

，

}就是Z的一个分类。

三、课后题

通过对剩余类的分析，我们可以类似地分析以下习题：

1、在有理数集Q中，规定等价关系“

”：a

b

a-b

Z，求出其商集Q/~.

分析：通过题目我们可以得到关系式

a,b

R, 有a-b=z（

Z）

a=z+b，其中z+b

R，故有a~z+b，又a~b，由对称性知b~a，故a~z+a，因此可以得出该等价类为 [a]={ z+a | z

Z }

而其商集则为所有等价类[a]构成的集合：我们知道一个有理数可以是它自身也可以由一个整数和一个小数相加而成，那么式z+a也可以如此表示。

因为z（

Z），故可知 a

[0,1) ，因此Q/~={ [a] | a

Q 且 a

[0,1)}，这里我只取了一种情况，事实上，a

(0,1]也是可以的.

2、在复数集C中，规定等价关系“

”a

b

|a|=|b|，求出其商集C /~，并给出每个等价类的一个代表元素。

分析：通过对在复数域上等价关系的分析，我们可以知道该等价类为在复平面上距原点相同距离的点的集合（这些点的集合可构成复平面上一个圆），通过欧拉公式知每一点可以表示为r(cos

+isin

），r≥0，

[ 0,2

），于是有C /~={ [r] | r

R , a≥0 }，其中r={ r(cos

+isin

）|

[ 0,2

）}，等价类的一个代表元素只要取大于0的数即可，这里我们取 |r|=1。

注：模m的剩余类将会在以后的诸多定义和习题中出现，而我们在遇到”剩余类“时不需要想得太多，只需要想起{

，

，

……

}即可。