不可定向曲面一阶同调群含ℤ/2直和项表述的疑问

你抓得特别准！这个问题的核心就是对“曲面”一词的定义限定——在代数拓扑的这类经典结论里，当我们说“非定向曲面的一阶同调群包含ℤ/2直和项”时，默认指的是闭曲面（也就是紧致且没有边界的曲面）。

莫比乌斯带确实是反例，但它并不在这个结论的适用范围内：

• 带边界的莫比乌斯带是紧致但有边界的曲面，去掉边界后则是非紧致曲面，两者的同伦型都是圆，所以一阶同调群是ℤ，自然不含ℤ/2的直和项。
• 而闭非定向曲面的情况就完全符合那个陈述了：比如实射影平面ℝP²，它的一阶同调群就是ℤ/2；克莱因瓶的一阶同调群是ℤ⊕ℤ/2，都明确包含ℤ/2的直和项。

简单来说，那个维基百科的表述省略了“闭”这个关键限定条件，才导致你用莫比乌斯带验证时出现矛盾~

备注：内容来源于stack exchange，提问作者AlgTop1854