It is with some sort of reverential fear that I've come here to write. I've been reading you for a long time, but writing is another story... In any case, I suppose it is too late now to back out!


Then, I am looking for (as many as possible) references to known "different" proofs of the classical spectral theorem for [compact](http://en.wikipedia.org/wiki/Compact_operator) (linear) operators (on complex Banach spaces) with a special focus on the point where we are given to show that all non zero elements in the spectrum are, in fact, eigenvalues. I am well aware of the "usual one" (as basically drafted in [this Wikipedia entry](http://en.wikipedia.org/wiki/Spectral_theory_of_compact_operators#Statement) - just look at the ideas since at present the proof is flawed in some parts, as outlined by Prof. Johnson below in the comments) and I have tidings of a proof based on the Fredholm alternative (though I don't know any explicit reference in this case). Indeed, I'm wondering if there are some others around. Thanks so much for any clues.



References for "different" proofs of the spectral theorem for compact operators
Let $T$ be a compact operator on the Banach space $X$ and $\lambda$ a non zero point in the spectrum $\sigma(T)$ of $T$. Then $\lambda$ is in the boundary of $\sigma(T)$ since $T$ is compact and hence is an approximate eigenvalue of $T$. Take a net $x\_a$ of norm one vectors in $X$ s.t. $Tx\_a$ converges and $\lambda x\_a - T x\_a$ converges to zero. Since $\lambda \not= 0$, this forces $x\_a$ to converge to an eigenvector of $T$ with eigenvalue $\lambda$.


