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

From Drorbn
Revision as of 09:22, 7 November 2007 by Franklin (talk | contribs)
Jump to navigationJump to search

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?