Théorème spectral en dim infinie

Soit H un espace de Hilbert et u \in L(H) un opérateur compact et autoadjoint. Alors il existe une base hilbertienne de H composée de vecteurs propres de u. (voir annexe espaces de Hilbert du Gourdon d'analyse)