Functionla Analysis separability

  • Context: Graduate 
  • Thread starter Thread starter Funky1981
  • Start date Start date
  • Tags Tags
    Analysis
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
2 replies · 2K views
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
A diagonal operator has the form

[tex]T(x_1,x_2,x_3,...) = (\alpha_1 x_1, \alpha_2 x_2, \alpha_3 x_3, ...)[/tex]

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.