Functionla Analysis separability

  • Context: Graduate 
  • Thread starter Thread starter Funky1981
  • Start date Start date
  • Tags Tags
    Analysis
Click For Summary
SUMMARY

The discussion centers on the proof that the space of bounded linear operators K=L(l^2,l^2) is not separable. It establishes that if a space contains an uncountable number of non-intersecting open balls, it is not separable. The participants discuss the construction of these open balls and the topology considered on K. Additionally, they highlight that a diagonal operator T is bounded if the sequence (α_k)_k is bounded, leading to the conclusion that demonstrating the non-separability of ℓ^∞ suffices to prove the non-separability of K.

PREREQUISITES
  • Understanding of bounded linear operators in functional analysis
  • Familiarity with the concepts of separability and open balls in topology
  • Knowledge of diagonal operators and their properties
  • Basic understanding of the spaces ℓ^2 and ℓ^∞
NEXT STEPS
  • Study the properties of bounded linear operators in functional analysis
  • Research the concept of separability in topological spaces
  • Learn about the structure and properties of the space ℓ^∞
  • Examine examples of constructing non-intersecting open balls in metric spaces
USEFUL FOR

Mathematicians, particularly those specializing in functional analysis, topology, and operator theory, will benefit from this discussion.

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

[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.
 

Similar threads

  • · Replies 0 ·
Replies
0
Views
724
  • · Replies 17 ·
Replies
17
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
Replies
2
Views
1K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 0 ·
Replies
0
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K