Smooth homotopy theorem

From Diffgeom
Revision as of 20:09, 18 May 2008 by Vipul (talk | contribs) (1 revision)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Statement

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