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.
The tangent bundle of the 2-sphere is nontrivial

Let S2S^2 be the 2-sphere. Its π:TS2S2\pi:TS^2\to S^2 is a smooth real vector bundle of rank 22.

Statement

The bundle TS2TS^2 is not isomorphic (as a rank-2 real vector bundle) to the S2×R2S^2\times \mathbb R^2.

Equivalently:

  • TS2TS^2 does not admit a global frame of smooth sections, and in particular
  • TS2TS^2 admits no nowhere-vanishing smooth on S2S^2.

A standard proof uses the “hairy ball” phenomenon: every continuous tangent vector field on S2S^2 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

  1. Local triviality is easy: remove a point.
    On S2{p}R2S^2\setminus\{p\}\cong \mathbb R^2, the tangent bundle is trivial: T(S2{p})(S2{p})×R2T(S^2\setminus\{p\})\cong (S^2\setminus\{p\})\times\mathbb R^2. The obstruction is global, not local.

  2. Contrast with the circle.
    The circle S1S^1 admits a nowhere-vanishing tangent vector field (rotation), so TS1TS^1 is trivial. This highlights that the failure for S2S^2 is not automatic for spheres.

  3. Frame bundle reflection.
    Nontriviality of TS2TS^2 implies that the frame bundle Fr(TS2)\mathrm{Fr}(TS^2) is not globally a product S2×GL(2,R)S^2\times \mathrm{GL}(2,\mathbb R), even though it is locally trivial by definition.