Si "A" es un operador normal en un espacio de dimensión finita con producto interior, "A" también tiene una descomposición espectral y el teorema de descomposición se mantiene para "A".