Álgebra linear/Teoremas espectrais: diferenças entre revisões

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.