代数拓扑中覆叠空间的自同构群与基本群的商极限.docVIP

代数拓扑中覆叠空间的自同构群与基本群的商极限

一、覆叠空间与自同构群的基础概念

（一）覆叠空间的定义与核心性质

覆叠空间是代数拓扑中用于研究拓扑空间局部与整体关系的重要工具。设(p:\widetilde{X}\toX)是一个连续映射，若对于任意(x\inX)，存在(x)的一个开邻域(U)，使得(p^{-1}(U))是(\widetilde{X})中若干个互不相交的开集({V_i}{i\inI})的并集，并且对于每个(i\inI)，(p|{V_i}:V_i\toU)是同胚映射，则称(p:\widetilde{X}\toX)是一个覆叠映射，(\widetilde{X})称为(X)的覆叠空间，(X)称为底空间。

覆叠空间具有许多关键性质，其中路径提升性质和同伦提升性质是其核心。路径提升性质指的是，对于(X)中的任意一条路径(f:I\toX)（其中(I=[0,1])）以及(\widetilde{X})中任意一点(\widetilde{x}_0)满足(p(\widetilde{x}_0)=f(0))，存在唯一的一条路径(\widetilde{f}:I\to\widetilde{X})，使得(p\ci