Soit $E$ un Banach, $T : E \to E$ un opérateur compact. Alors, $\ker (I-T)$ est de dimension finie et $\mathrm{Im}(I-T)$ est fermée. De plus,
- En dimension infinie, $0$ est valeur spectrale de $T$.
- Les valeurs spectrales non nulles de $T$ sont en fait des valeurs propres, et forment soit un ensemble fini, soit une suite convergeant vers $0$.