Cellular homotopy theorem

From Topospaces
Revision as of 19:40, 11 May 2008 by Vipul (talk | contribs) (2 revisions)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Template:Homotopy theorem

Statement

Suppose and are relative CW-complexes (i.e. CW-pairs). Let be a continuous map. Then there exists a cellular map such that and are homotopic relative to (that is, the homotopy does not change the restriction of the function to at all).