紧致度量空间中同伦映射的延拓证明及提示请求

我来给你几个关键的提示方向，帮你理清这个问题的证明思路：

• 先抓住同伦映射的核心性质：因为$f$和$g$是同伦的，所以它们在$A$上对应的映射同伦类完全相同，也就是在上同调群$H^1(A;\mathbb{Z})$里，$[f] = [g]$。而$f$能延拓成$F:X\rightarrow S^{1$，意味着$[f]$是限制映射$r}:H^1(X;\mathbb{Z})\rightarrow H^{1(A;\mathbb{Z})$的像元素（$r}([F])=[f]$），那自然$[g]$也在这个限制映射的像里，这是存在延拓的基础。

• 利用闭子集的延拓构造技巧：考虑构造一个“拼接”映射$G_0$，定义在$X\times{0}\cup A\times I$上：

  • 对$x\in X$，$G_0(x,0)=F(x)$；
  • 对$a\in A, t\in I$，$G_0(a,t)=H(a,t)$（这里$H$是$f$到$g$的同伦）。
    因为$X$是紧致度量空间，$X\times I$也是紧致度量空间，而$X\times{0}\cup A\times I$是$X\times I$中的闭子集（$A$闭，$X\times{0}$闭，闭集的并还是闭集），根据Tietze延拓定理，这个$G_0$可以延拓成整个$X\times I$到$S^1$的连续映射$G$。这时候$G(x,1)$就是$g$的一个连续延拓，而且$G$本身就是$F$到$G(\cdot,1)$的同伦，完美满足题目的要求。

• 从覆盖空间的角度辅助理解：$S^{1$的万有覆盖是$\mathbb{R}$，映射到$S}1$的映射能提升到$\mathbb{R}$当且仅当它的度数（上同调类）为0。你可以尝试把$F$和同伦$H$都提升到$\mathbb{R}$上，再把提升后的映射延拓到$X\times I$，最后投影回$S^1$，也能得到想要的延拓和同伦。

内容的提问来源于stack exchange，提问作者user115608