0708-1300/the unit sphere in a Hilbert space is contractible
From Drorbn
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?