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

  1. es diagonalizable mediante una base ortonormal.
  2. El operador actúa multiplicando por en la dirección de cada :
  3. La evaluación funcional está bien definida por:
  4. 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.

algebra-lineal