0708-1300/the unit sphere in a Hilbert space is contractible
Revision as of 10:46, 2 November 2007 by Franklin
Let and define
and so on ...
applying the homotopy in the time interval , in the interval , in etc...
we get the desired contraction to the point .