Seja <math>T: V \rightarrow V</math> um operador unitário e ''V'' um espaço vetorial complexo de dimensão ''n''. Então existe uma base ortonormal de V formada por autovetores de T.
teste
==Teorema espectral para operadores auto-adjuntos==
Seja <math>T: V \rightarrow V</math> um operador linear e ''V'' um espaço vetorial complexo ou real de dimensão ''n''. Então ''T'' � normal se, e somente se, existe uma base ortonormal de V formada por autovetores de T.
{{Navegação| [[Álgebra Linear: Índice|Índice]]
|[[Álgebra Linear: Autovalores e autovetores|Autovalores e autovetores]]|
[[Álgebra Linear: Formas bilineares e quadráticas|Formas bilineares e quadráticas]]