The tangent bundle of the 2-sphere is nontrivial
The tangent bundle of the 2-sphere is a rank-2 real vector bundle that admits no global nowhere-zero vector field.
Let be the 2-sphere. Its tangent bundle is a smooth real vector bundle of rank .
The bundle is not isomorphic (as a rank-2 real vector bundle) to the trivial rank-2 bundle .
A standard proof uses the “hairy ball” phenomenon: every continuous tangent vector field on has a zero. Since a global nowhere-zero section would trivialize a rank-1 subbundle and (together with a second independent section) produce a global frame, this obstructs triviality.
Equivalent characterizations
Equivalently:
- does not admit a global frame of smooth sections, and in particular
- admits no nowhere-vanishing smooth vector field on .
Examples
- Local triviality is easy: remove a point. On , the tangent bundle is trivial: . The obstruction is global, not local.
- Contrast with the circle. The circle admits a nowhere-vanishing tangent vector field (rotation), so is trivial. This highlights that the failure for is not automatic for spheres.
- Frame bundle reflection. Nontriviality of implies that the frame bundle is not globally a product , even though it is locally trivial by definition.