El espacio de Hilbert formula_11 donde el operador autoadjunto formula_12 actúa puede descomponerse en suma directa de espacios de Hilbert formula_13 de manera que el operador formula_12, restringido a cada espacio formula_13 tiene un espectro simple.