Un insieme
Sia
Per calcolare una base ortonormale partendo da una base qualsiasi si può usare questo algoritmo ricorsivo, detto processo di ortonormalizzazione di Gram-Schmid.
Una matrice quadrata si dice ortogonale se
Una matrice è quindi ortogonale se e solo se le sue colonne formano una base ortonormale di
Si ha che
Sia
Sia
Se
Se
La matrice
Se
Per essere una matrice di proiezione ortogonale è necessario:
Se
Se la matrice non è simmetrica allora la base di autovalori sicuramente non è ortogonale.
Una matrice
Sia
Quindi per il teorema spettrale