0708-1300/the unit sphere in a Hilbert space is contractible: Difference between revisions

From Drorbn
Jump to navigationJump to search
No edit summary
No edit summary
Line 7: Line 7:
'''Proof'''
'''Proof'''


⚫
A way to see this is via the cellular structure of <math>S^{\infty}</math>. If <math>S^{\infty}=C_0 C_1 ...</math> you can always contract <math>C_k</math> along <math>C_{k+1}</math> like moving contracting the equator along the surface of the earth.
Suppose <math>x=(x_1,x_2,...)\in S^{\infty}</math> then <math>\sum x_n^2=1</math>


⚫
Does this proof only works in '''separable''' Hilbert spaces? Is the unit ball in a non-separable Hilbert space contractible?
Define <math>F_1:S^{\infty}\times I\rightarrow S^{\infty}</math> by <math>F_1(x,t)=(sgn(x_1)((1-t)|x_1|+t\sqrt{x_1^2+x_2^2}),(1-t)x_2,x_3,x_4,...)/||(sgn(x_1)((1-t)|x_1|+t\sqrt{x_1^2+x_2^2}),(1-t)x_2,x_3,x_4,...)||</math>

<math>F_2:S^{\infty}\times I\rightarrow S^{\infty}</math> by <math>F_2(x,t)=(sgn(x_1)((1-t)|x_1|+t\sqrt{x_1^2+x_3^2}),0,(1-t)x_3,x_4,x_5,...)/||(sgn(x_1)((1-t)|x_1|+t\sqrt{x_1^2+x_3^2}),0,(1-t)x_3,x_4,x_5,...)||</math>

<math>F_3:S^{\infty}\times I\rightarrow S^{\infty}</math> by <math>F_3(x,t)=(sgn(x_1)((1-t)|x_1|+t\sqrt{x_1^2+x_4^2}),0,0,(1-t)x_4,x_5,x_6,...)/||(sgn(x_1)((1-t)|x_1|+t\sqrt{x_1^2+x_4^2}),0,0,(1-t)x_4,x_5,x_6,...)||</math>

and so on ...

applying the homotopy <math>F_1</math> in the time interval <math>[0,1/2]</math>, <math>F_2</math> in the interval <math>[1/2,3/4]</math>, <math>F_3</math> in <math>[3/4,5/6]</math> etc...

we get the desired contraction to the point <math>(1,0,0,...)</math>.


⚫
A different way to see this is via the cellular structure of <math>S^{\infty}</math>. If <math>S^{\infty}=C_0 C_1 ...</math> you can always contract <math>C_k</math> along <math>C_{k+1}</math> like moving contracting the equator along the surface of the earth.

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

Revision as of 16:29, 2 November 2007

Let and define

Claim

is contractible

Proof

A way to see this is via the cellular structure of . If you can always contract along like moving contracting the equator along the surface of the earth.

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

Retrieved from "https://drorbn.net/index.php?title=0708-1300/the_unit_sphere_in_a_Hilbert_space_is_contractible&oldid=5841"