Smooth homotopy theorem

From Diffgeom
Revision as of 02:17, 2 February 2008 by Vipul (talk | contribs) (New page: ==Statement== # Suppose <math>f:M \to N</math> is a continuous map between differential manifolds. Then, there exists a smooth map <math>f':M \to N</math> such that <math>f'</...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Statement

  1. Suppose f:MN is a continuous map between differential manifolds. Then, there exists a smooth map f:MN such that f is homotopy-equivalent to f
  2. Suppose F:M×IN is a homotopy between smooth maps f0:MN and f1:MN. Then, there exists a homotopy F:M×IN from f0 to f1 that is smooth as a map from M×I to N.