Functionla Analysis separability

  • Thread starter Thread starter Funky1981
  • Start date Start date
  • Tags Tags
    Analysis
Funky1981
Messages
21
Reaction score
0
Let T: l^2 -> l^2 be bounded linear operators. K=L(l^2,l^2) be the space of T, Prove that K=L(l^2,l^2) is not separable

I know that if a space contains an uncountable number of non intersecting open balls then it is not separable. But how can I apply this statement here ( I mean how to construct such open balls) And are there any easier way to do it ?
 
Physics news on Phys.org
I don't know a direct proof of the result, but I have to ask which topology you're considering on K.
 
A diagonal operator has the form

T(x_1,x_2,x_3,...) = (\alpha_1 x_1, \alpha_2 x_2, \alpha_3 x_3, ...)

where ##\alpha_k\in \mathbb{C}##.

It can easily be checked that ##T## is bounded if and only if the sequence ##(\alpha_k)_k## is bounded. Furthermore, we have ##\|T\|= \|(\alpha_k)_k\|_\infty##. This yields an isometric embedding ##\ell^\infty\rightarrow \mathcal{B}(\ell^2)##. Thus it suffices to show ##\ell^\infty## is not separable, which is well-known.
 
A sphere as topological manifold can be defined by gluing together the boundary of two disk. Basically one starts assigning each disk the subspace topology from ##\mathbb R^2## and then taking the quotient topology obtained by gluing their boundaries. Starting from the above definition of 2-sphere as topological manifold, shows that it is homeomorphic to the "embedded" sphere understood as subset of ##\mathbb R^3## in the subspace topology.
Back
Top