Sea un operador normal sobre un espacio de Hilbert de dimensión finita.
El teorema espectral afirma que existe una base ortonormal de formada por eigenvectores de , tal que se puede expresar como:
donde recorre el conjunto de eigenvalores de . Esta expresión se conoce como la descomposición espectral de .
Resultados
- es diagonalizable mediante una base ortonormal.
- El operador actúa multiplicando por en la dirección de cada :
- La evaluación funcional está bien definida por:
- Si es Hermitiano, los autovalores son reales.
Observación
La descomposición espectral garantiza que cualquier operador normal puede representarse como suma ponderada de proyecciones ortogonales.