En general, el teorema espectral para operadores autoadjuntos puede tomar muchas formas equivalenes.