Sia uno spazio con prodotto scalare di dimensione finita .
Definizione
Una base ortonormale di è una famiglia tale che:
- per ogni (ortogonalità);
- per ogni (normalizzazione).
Proprietà
-
Ogni vettore si scrive in modo unico come
I coefficienti sono le coordinate ortonormali di .
-
L’operatore di proiezione su è
-
Il calcolo delle norme diventa semplice:
(Identità di Parseval).
Collegamenti
- Si ottengono con il processo di Gram–Schmidt.
- Fondamentali per la rappresentazione ortogonale di applicazioni lineari e per il teorema spettrale.
- Le matrici di cambiamento di base tra basi ortonormali sono unitarie.