- #1
SiennaB
- 15
- 0
Homework Statement
Let [itex]H[/itex] be an [itex]\infty[/itex]-dimensional Hilbert space and [itex]T\to{H}[/itex] be an operator.
Show that if [itex]T[/itex] is compact, bounded and has closed range, then [itex]T[/itex] has finite rank. Do not use the open-mapping theorem.
Let [itex]B(H)[/itex] denote the space of all bounded operators mapping [itex]H\to{H}[/itex], [itex]K(H)[/itex] denote the space of all compact operators mapping [itex]H\to{H}[/itex], [itex]R(H)[/itex] denote the space of all finite rank operators mapping [itex]H\to{H}[/itex].
2. Relevant defintions
*[itex]T\in{B(H)}[/itex] is compact if the closure of [itex]T(B(0,1))[/itex] is a compact set.
*[itex]T\in{B(H)}[/itex] has finite rank if [itex]Range(T)=T(H)[/itex] is finite-dimensional.
The Attempt at a Solution
I'm not sure how to do the proof, but I think the following propositions in my lecture notes could be useful:
*[itex]T\in{R(H)}[/itex] iff [itex]T\in{B(H)}[/itex] is the norm limit of a sequence of finite rank operators, i.e. [itex]K(H)[/itex] is the closure of [itex]R(H)[/itex].
*Let [itex]T\in{R(H)}[/itex]. Then there is an orthonormal set [itex]{{e_1,...,e_L}}\in{H}[/itex] s.t. [tex]Tu=\sum\limits_{i,j=1}^{L}{c_{ij}(u,e_j)e_i}[/tex] where [itex]c_{ij}[/itex] are complex numbers.
Any help with the proof would be greatly appreciated.
Thank you in advance.
Last edited: