Contractibility of Rn
Contractibility of
We show that is contractible.
Let be the origin. Consider the maps and :
Then is the constant map sending everything in to the origin.
Define . Then , which agrees with , while . Therefore is homotopic to .
Now consider that already. No additional homotopy is needed.
Cylinder is homotopic to circle
Cylinder is homotopic to circle
A cylinder is given by . Consider the ‘collapse’ map given by projecting to the circle along straight lines, and the map given by inclusion:
The map is equal to the collapse map, and the map is the identity on .
Now construct a homotopy from the collapse map to :
