En un espacio de Hilbert general, la afirmación del teorema espectral para operadores compactos y autoadjunto es virtualmente idéntica a lo que se tiene en espacios de dimensión finita: