第1章 §1.4 等价关系.docVIP

§1.4　等价关系 　　初等数论中的同余类的概念，群论中的商群的概念，乃至于解析几何中的自由向量的概念等等都是读者所熟知的．这些概念的精确定义事实上都有赖于本节中所讨论的等价关系的概念．在本书中我们将通过等价关系来定义拓扑空间的商空间． 　　定义1.4.1　设X是一个集合．从集合X到集合X的一个关系将简称为集合X中的一个关系．集合X中的关系{（x，x）|x∈X}称为恒同关系，或恒同，对角线，记作△（X）或△． 　　定义1.4.2　设R是集合X中的一个关系.关系R称为自反的，如果△(X)R，即对于任何x∈X，有xRx；关系R称为对称的，如果，即对于任何x，y∈X，如果xRy则yRx；关系R称为反对称的，如果 ，即对于任何x，y∈X，xRy和yRx不能同时成立；关系R称为传递的，如果RRR，即对于任何x，y，z∈X，如果xRy，yRz，则有xRz． 　　集合X中的一个关系如果同时是自反、对称和传递的，则称为集合X中的一个等价关系． 　　容易验证集合X中的恒同关系△（X）是自反、对称、传递的,因此是X中的一个等价关系． 　　集合X的幂集P(X)中两个元素（即集合X的两个子集）之间的“相等关系”可以理解为集合P(X)×P(X)的子集 　　 {（A，B）|A，B∈P(X)，A=B} 　　从定理1.1.l中可见，它是自反、对称、传递的，因此是P（X）中的一个等价关系． 　　集合X的幂集P(X)