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

From Drorbn
Revision as of 10:22, 7 November 2007 by Franklin (talk | contribs)
Jump to navigationJump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

Let and define

Claim

is contractible

Proof

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?