For , let , viewed as a nonzero by matrix. This defines a smooth map . Its pulled-back fiber isso the evident fiberwise identity gives an isomorphism of vector bundles .
If were a trivial vector bundle, its pullback would be trivial. A trivial rank-two bundle has a nowhere-zero section, whereas the assumed form of the Hairy ball theorem says that the tangent bundle does not. Hence is nontrivial.
Articles by others on the same topic
There are currently no matching articles.