0708-1300/the unit sphere in a Hilbert space is contractible

From Drorbn
Revision as of 08:37, 20 November 2007 by Drorbn (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search
Announcements go here

Let and define


is contractible


For any and any define for and for . Observe that is continuous and gives the desired retraction to the point .

This proof only works in separable Hilbert spaces? Is the unit ball in a non-separable Hilbert space contractible?

The answer seems to be YES see Spheres in infinite-dimensional normed spaces are Lipschitz contractible