Smooth homotopy theorem: Difference between revisions

From Diffgeom
(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'</...)
 
m (1 revision)
 
(No difference)

Latest revision as of 20:09, 18 May 2008

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.