Cellular homotopy theorem: Difference between revisions

From Topospaces
No edit summary
m (2 revisions)
 
(No difference)

Latest revision as of 19:40, 11 May 2008

Template:Homotopy theorem

Statement

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