[论文解读] A characterization of spaces with discrete topological fundamental group

Paul Fabel|ArXiv.org|Feb 11, 2005

Homotopy and Cohomology in Algebraic Topology参考文献 5被引用 4

一句话总结

本文更正了文献中一个有缺陷的定理，该定理由文献声称：一个局部道路连通的度量空间的拓扑基本群离散当且仅当它是局部单连通的。本文提供了一个反例，表明在缺乏局部道路连通性时原定理不成立；并确立了在增加此额外假设后，该刻画成立：当且仅当空间是局部单连通时，其拓扑基本群才是离散的。

ABSTRACT

We offer a counterexample to a theorem in the literature and then repair the theorem as follows: The fundamental group of a locally path connected metric space inherits the discrete topology in a natural way if and only if the underlying space is semilocally simply connected.

研究动机与目标

• 识别并纠正一篇已发表论文中的错误定理（定理5.1 [1]），该定理声称：一个空间的拓扑基本群离散当且仅当它是局部单连通的。
• 构造一个反例，证明当缺乏局部道路连通性时，原定理不成立。
• 在增加局部道路连通性假设的前提下，建立具有离散拓扑基本群的空间的修正刻画。
• 阐明基本群继承离散拓扑的拓扑与同伦条件。

提出的方法

• 使用基于环路空间 $C_p(X)$ 上的一致收敛拓扑来定义拓扑基本群 $\pi_1(X,p)$ 上的商拓扑。
• 应用商映射 $q: C_p(X) \to \pi_1(X,p)$，将基本群中的开性转化为 $C_p(X)$ 中路径分量的开性。
• 利用局部道路连通性，确保环路像中点的小邻域内存在短路径连接。
• 利用局部单连通条件，保证小环路是零伦的，从而能够构造在一致接近的环路之间的同伦。
• 结合环路序列的等度连续性、局部道路连通性以及小邻域内零伦的小环路，显式构造出邻近环路之间的同伦。
• 利用 $\pi_1(X,p)$ 是拓扑群的事实，将证明简化为仅需证明单位元是开集，从而利用齐性。

实验结果

研究问题

• RQ1 在何种条件下，一个空间的拓扑基本群是离散的？
• RQ2 为何原定理5.1 [1] 失效？其缺失的假设是什么？
• RQ3 一个空间是否可能局部单连通但其拓扑基本群非离散？
• RQ4 局部道路连通性是否足以恢复局部单连通性与拓扑基本群离散性之间的等价关系？
• RQ5 是否存在非局部道路连通但其拓扑基本群离散的空间？

主要发现

• 原定理5.1 [1] 是错误的：存在一个局部单连通的空间（例1），其拓扑基本群并非离散。
• 例1 构造了一个空间 $X$，该空间是局部单连通的，但其常值环路的路径分量不是开集，因此 $\pi_1(X,p)$ 不是离散的。
• 在增加局部道路连通性假设后，$\pi_1(X,p)$ 离散当且仅当 $X$ 在点 $p$ 处是局部单连通的。
• 该证明依赖于利用小路径和小邻域内零伦环路，构造出一致接近环路之间的同伦。
• 例1 中空间的锥是单连通的，因此其基本群是离散的，尽管该空间不是局部道路连通的。
• 乘积空间 $S^1 \times S^1 \times \cdots$ 的基本群是完全不连通的，但并非局部单连通，表明完全不连通性并不蕴含局部单连通性。