大家都知道 S¹ 和 ℝ 这两个拓扑空间看起来差别挺大，那咱们就直接聊聊它们为什么不同伦吧。 首先得说同伦不变量这玩意儿，就像给空间照了一张X光片，一眼就能把它们的“本质”看透。一旦发现这两张片子长得不一样，那就不用费劲证明了，这俩空间绝对不可能是同伦的。 基本群 π₁(X) 就是最核心的同伦不变量之一，它把那些起点可以随便变、但怎么扭曲都不走样的连续曲线给归了类。下面咱们就分别看看 S¹ 和 ℝ 到底长啥样。 先说 S¹，这东西圆滚滚的，基本群是个整数群 Z。这里面有个覆盖映射 p : ℝ → S¹，公式是 p(t) = e^(2πit)。你随便画一条闭合曲线 γ 绕着圈转，都能找到一条对应的“提升曲线” α 在直线上走。只要算一下 α(1) − α(0) 是多少，这个整数 n 就把这条曲线的同伦类给完全确定了。 再看 ℝ 这条直线，基本群就简单多了，直接是平凡群 {e}。因为任何一条闭合曲线 η 都能“缩成一点”，也就是说通过一个同伦 H 就能把它变成个不动点。这就说明 η 和常值曲线是同伦的，它们的同伦类里就只有一个元素 e。 大家要是看那张图就更清楚了：S¹ 是个错综复杂的“整数迷宫”，而 ℝ 就是一马平川的“坦途”，根本不可能重合。 说白了就是一个票否决的事：基本群不同，空间就不同伦。S¹ 是整数群 Z，ℝ 是平凡群 {e}，这俩的差距跟整数和自然数一样大得没法缝补。所以数学就给了个冷冰冰的结论：S¹ 和 ℝ 是两条平行线，这辈子都不会相交。