0
$\begingroup$

Let $\mathcal{H}$ be a Hilbert space, and let $T\in K(\mathcal{H})$ be a compact operator. There exists a theorem in the following way: "$T(\mathcal{H})$ is closed in $\mathcal{H}$ if, and only if, $\dim(T(\mathcal{H}))<\infty$."

Can anybody give me a reference for this theorem, please?

$\endgroup$
  • $\begingroup$ See this. $\endgroup$ – David Mitra May 16 at 9:20
  • $\begingroup$ @DavidMitra Thanks. I know its proof. Just need its reference. $\endgroup$ – niki May 16 at 12:34
0
$\begingroup$

This is an easy conseqeuence of Open Mapping Theorem. If $T(H)$ is closed we can think of $T$ as a surjective operator from $H$ to $T(H)$. By Open Mapping Theorem it is an open map. Hence the image of the closed unit ball contains some open ball around $0$ in $H$. Since $T$ is compact this open ball is relatively compact and this makes $T(H)$ finite dimensional.

$\endgroup$
  • $\begingroup$ Thanks. I know its proof. Just need its reference. $\endgroup$ – niki May 16 at 12:33
0
$\begingroup$

P.R. Halmos: Hilbert Space Problem Book, Problem 141:

Every closed subspace included in the range of a compact operator is finite- dimensional.

$\endgroup$
  • $\begingroup$ Sorry, I checked this problem. Problem 141 is "The set of all invertible operators is connected." Would you please give me the correct number of the problem? $\endgroup$ – niki May 16 at 12:32
  • $\begingroup$ In my edition it is problem 141. You will find the problem in the chapter "Compact operators". $\endgroup$ – Fred May 16 at 13:43

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.