抽象代数学习笔记（2）关系
1、关系
我在上一篇文章的末章介绍了集合的笛卡儿积，根据定义，我们可以看到两个集合的笛卡儿积也是一个集合。
从定义上看，笛卡儿积可以使两个完全不相干的集合产生联系，而A，B的元素不一定要拘泥于某种形式，比如说，a可以是一个数字，而b可以是一个字符串。
现在我们任取\(A×B\)的一个子集\(R\) （不一定是真子集），然后任取\(a\in A ,b\in B\) 。上一篇文章我们提到，一个元素是否属于一个集合是确定的，这里也是一样，元素\((a,b)\) 是否属于\(R\) 是确定。如果\((a,b)\in R\) ，那么称之为\(a,b\) 满足关系\(R\) ，记作\(aRb\) 。而选取\(A×B\) 的一个子集\(R\) 称之为确定了A，B的一个关系R。
这里举个例子：集合S是某校所有大二学生组成的集合，现在我们取\(S×S\) 的一个子集
那么，R确定了一个关系，这里可以叫做同班同学关系，满足关系的任意两个学生是同班同学。
2、等价关系
在了解关系的定以后，这里介绍一个比较重要的关系---等价关系。
设R是集合S上的一个关系，若这个关系满足下列三个条件：
- 反身性：\(\forall s\in S,sRs\)
- 对称性：$\forall s_0,s_1\in S,s_0 R s_1蕴含s_1 R s_0 $
- 传递性：\(\forall s_0,s_1,s_2\in S,如果s_0 R s_1,s_1 R s_2，那么s_0 R s_2\)
那么称R是S上的一个等价关系。
有一个比较经典的例子,我们在整数集I上定义一个关系R，
R其实就是整数相等关系，这是一个等价关系。
当等价关系确定后，我们一个重要概念---等价类：如果R是S上的一个等价关系，S中所有等价于x的元素构成的集合\(S_x=\{y|yRx\}\)称为元素x的等价类。根据等价类的定义我们容易知道，两个元素的等价类要么相等，要么交集为空。一个集合中所有元素的等价类的并集必然是这个集合本身。
3、商集
研究一个代数系统的时候，有几个与之相关代数系统非常重要，其中一个叫做商代数系统。在开始代数的学习之前，需要了解商集的概念。
首先我们说一下划分：
一个集合A，有以N为指标集的子集族\(\{A_i|i\in N且A_i不为空\}\),只要\(i\neq j,A_i 与A_j\)交集为空，且\(A_i\)的并集等于A，那么说这是集合A的一个分类或者分划。它的直观意义是，A中的任意一个元素必然属于且只能属于A的某一个子集。
我们回想一下等价类的概念，不难发现，我们可以根据等价关系对集合进行分划。现在我们在集合S上确定一个等价关系R，T是S的一个子集，假设对于T中不同的元素，它们的等价类各不相同，且T中所有元素的并集就是S，我们说T是关系R下一个等价类表示的完全集。而集合\(A=\{S_t |t\in T\}\)称之为S的一个商集。注意，商集是由等价关系唯一确定的。
举个例子，整数集上的奇偶关系是一个等价关系，设\(T=\{1,2\}\) （T的写法不唯一），那么整数集合在奇偶关系下确定的商集\(A=\{\{全体奇数\},\{全体偶数\}\}\)。
小结
关于关系的概念还有很多，其中包括抽象代数的一个重要分支格论，这里就不一一介绍了。最需要理解清楚的是商集的概念，这是商群的重要基础。
