Hi,

I am trying to prove that if is a compact, bounded operator with closed range, where is an -dimensional Hilbert space, then has finite rank. I want to prove this without using the open-mapping theorem. is not necessarily linear.

Let denote the space of all bounded operators mapping , denote the space of all compact operators mapping , denote the space of all finite rank operators mapping .

The definitions I have in my lecture notes are:

* is compact if the closure of is a compact set.

* has finite rank if is finite-dimensional.

I'm not sure how to do the proof, but I think that the following propositions in my lecture notes could be useful:

* iff is the norm limit of a sequence of finite rank operators, i.e. is the closure of .

*Let . Then there is an orthonormal set s.t.

where are complex numbers.

Any help with the proof would be greatly appreciated.

Thank you in advance.