二维球面$S^2$上向量丛的同构分类问题

嗨，很高兴你开始探索拓扑空间上的向量丛！关于$S^2$上的向量丛，我们有非常清晰的分类结论，我来针对性地给你讲讲1维和2维的情况：

1. 1维向量丛（实线丛） #

$S^2$上的实线丛只有两种互不同构的类型：

• 平凡线丛：就是直积$S^2 \times \mathbb{R}$，你可以直观理解为给球面上每个点都“贴”一根独立的实数轴，整体是可定向的。
• 非平凡线丛（莫比乌斯丛）：这个丛没法拆成直积，构造方式可以想象成把$S^2$分成上下两个半球，每个半球上先取平凡线丛，然后在赤道圈处把两个平凡丛扭转180度粘起来——它是不可定向的，和平凡丛的区别可以用斯蒂弗尔-惠特尼类$w_1$来判断：平凡丛的$w_1=0$，非平凡丛的$w_1 \neq 0$。

2. 2维实向量丛 #

这部分的分类更丰富一点，核心结论是$S^2$上的2维实向量丛的同构类和整数$\mathbb{Z}$一一对应，我挑你关心的几个典型例子说：

• 平凡2维丛：即$S^2 \times \mathbb{R}^2$，整体是“平直”的，欧拉类$e=0$。
• $S^{2$的切丛$TS}2$：就是你提到的球面的切向量构成的丛，它和平凡丛不同构——因为切丛的欧拉类$e(TS^{2)=2$（正好等于$S}2$的欧拉示性数），而平凡丛的欧拉类是0，这是关键的区分不变量。
• 其他非平凡丛：比如对应整数1的丛，它是把上下半球的平凡2维丛用$SO(2)$里的旋转$\pi$弧度粘起来得到的，这个丛的欧拉类是1，和平凡丛、切丛都不同构。

你猜想“$S^2$至少有两个向量丛”完全正确——不管是1维还是2维情况，都存在至少两种互不同构的向量丛哦！

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