Sia uno spazio con prodotto scalare di dimensione finita .

Definizione

Una base ortonormale di è una famiglia tale che:

  1. per ogni (ortogonalità);
  2. 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