[论文解读] The Hawaiian earring group is topologically incomplete

Paul Fabel|ArXiv.org|Feb 7, 2005

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

一句话总结

本文证明，夏威夷项链的基本群在赋予商拓扑或逆极限拓扑时，尽管是不可数且在其他方面拓扑完备的，却不是一个贝尔空间。关键结果是该群不具有与拓扑相容的完备度量，从而解决了关于皮亚诺紧致流形的拓扑基本群的度量性与完备性长期存在的问题。

ABSTRACT

The premier exhibition of the following phenomenon: The fundamental group of any Peano continuum constructed in similar fashion to the Hawaiian earring admits two natural distinct topological group structures. However despite being uncountable and regular, neither group is a Baire space and hence neither group admits a compatible complete metric.

研究动机与目标

• 研究夏威夷项链基本群的拓扑结构，这是一个非局部可缩的皮亚诺紧致流形的典型例子。
• 确定夏威夷项链的拓扑基本群是否具有与拓扑相容的完备度量。
• 确立在两种自然拓扑下——从环路商拓扑或逆极限拓扑——该基本群均非贝尔空间。
• 阐明典范同态 $\phi: \pi_1(HE,p) \to \varprojlim \pi_1(X_n,p)$ 的拓扑性质，特别是其非同胚性。
• 通过分析具有非离散拓扑的最简单非平凡例子，为未来拓扑基本群理论研究提供基准。

提出的方法

• 本文将夏威夷项链构造为有限个圆的楔和 $X_n$ 的逆极限，每个 $X_n$ 包含 $n$ 个在基点处相连的环路。
• 通过基于环路空间的商拓扑，定义 $\pi_1(HE,p)$ 上的拓扑群结构。
• 引入一个映射 $\sigma: \varprojlim \pi_1(X_n,p) \to \naturals$，用于计算约化字表示中非平凡单元的数量。
• 证明每个原像 $\sigma^{-1}(K)$ 在逆极限空间中是闭集且内部为空，从而说明该空间不是贝尔空间。
• 通过典范同态 $\phi$ 的连续性，将此结果提升至 $\pi_1(HE,p)$，表明 $\phi^{-1}(\sigma^{-1}(K))$ 是闭集且内部为空。
• 应用贝尔范畴定理，得出 $\pi_1(HE,p)$ 及其在 $\phi$ 下的像均无法支持完备度量。

实验结果

研究问题

• RQ1 夏威夷项链的拓扑基本群是否具有与拓扑相容的完备度量？
• RQ2 典范同态 $\phi: \pi_1(HE,p) \to \varprojlim \pi_1(X_n,p)$ 是否为到其像的同胚？
• RQ3 皮亚诺紧致流形的拓扑基本群是否可能在自然拓扑下既不可数又非贝尔空间？
• RQ4 $\phi$ 不是同胚是否意味着 $\pi_1(HE,p)$ 不可度量化？
• RQ5 当 $\pi_1(HE,p)$ 不是贝尔空间时，这对同伦理论中收缩理论的拓扑后果是什么？

主要发现

• 在商拓扑或逆极限拓扑下，拓扑基本群 $\pi_1(HE,p)$ 均非贝尔空间。
• 典范同态 $\phi: \pi_1(HE,p) \to \varprojlim \pi_1(X_n,p)$ 连续但不是到其像的同胚。
• 同态 $\phi$ 的像是非贝尔空间，因为它是可数个闭集的并，且每个闭集内部均为空。
• $\pi_1(HE,p)$ 中每个原像 $\phi^{-1}(\sigma^{-1}(K))$ 均为闭集且内部为空，从而证明该群非贝尔空间。
• 因此，$\pi_1(HE,p)$ 不存在与拓扑相容的完备度量。
• 该结果意味着夏威夷项链不能是任何其基本群具有完备度量的空间的收缩像。