Invertibility of compact operator on infinite dimensional Hilbert space

compact-operatorsfunctional-analysishilbert-spaces

I am trying to solve an exercise from the book Analysis for Applied Mathematics by Ward Cheney. Exercise 2.3.25 states: "Prove that if $X$ is an infinite-dimensional Hilbert space, then a compact operator on $X$ cannot be invertible."

I interpret the question to mean that the operator maps $X$ to a general normed linear space $Y$. I have been able to show that if the inverse exists, then it cannot be bounded/continuous. This is also covered in several questions on this site. This also takes care of the case where the operator maps to a Banach space because the interior/open mapping theorem then implies that if the inverse exists then it must be bounded/continuous.

Is the assertion in the exercise true if the operator maps $X$ to $Y$, where $Y$ is a normed linear space? After failing to prove this myself I have tried searching both this site, as well as google, but still have not found a proof. As I am learning functional analysis for the first time, I realize I might have overlooked something I did not quite understand. I have seen some mentions of spectral theory when searching, but this is not covered before the next chapter in the book.

Thanks in advance to anyone that took the time to read this post.

Best Answer

Let $(x_n)$ be a sequence in the closed unit ball of $X$. Then $T(x_n)$ has a convergent subsequence in $Y$, say $T(x_{n_k})$ by compactness of $T$. If $T$ has continuous inverse then $(x_{n_k})=(T^{-1} (Tx_{n_k}))$ would also be convergent. But this shows that close unit ball of $X$ is compact and this implies that $X$ is finite dimensional.

EDIT: It is customary in FA to say that a bounded operator is invertible if it has a bounded inverse. If you just want $T$ to be a bijection onto some normed linear space there are many examples. Let $T:\ell^{2} \to \ell^{2}$ be defined ny $T(x_n)=(\frac 1 n x_n)$. Then $T$ is a compact one-to-one operator . If $Y$ is the range of $T$ then $T$ is a bijection from $X$ onto $Y$.

Related Question