 It follows that "F" = {0}, hence span("U") is dense in "H".This shows that "U" is an orthonormal basis of "H" consisting of eigenvectors of "T".If "T" is compact on an infinite-dimensional Hilbert space "H", then "T" is not invertible, hence σ("T"), the spectrum of "T", always contains 0.