The tangent bundle of the 2-sphere is nontrivial
Let be the 2-sphere. Its tangent bundle is a smooth real vector bundle of rank .
Statement
The bundle is not isomorphic (as a rank-2 real vector bundle) to the trivial rank-2 bundle .
Equivalently:
- does not admit a global frame of smooth sections, and in particular
- admits no nowhere-vanishing smooth vector field on .
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.
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.