Apri il menu principale

In matematica, e più precisamente in algebra lineare, una base ortonormale di uno spazio vettoriale munito di prodotto scalare definito positivo è una base composta da vettori di norma unitaria e ortogonali tra loro, ossia una base ortogonale di vettori di norma uno.

Una base ortogonale è una base di vettori ortogonali rispetto al prodotto scalare definito sullo spazio vettoriale, non necessariamente definito positivo. Si tratta di una condizione meno restrittiva rispetto a quella di ortonormalizzazione, e solitamente si costruiscono basi ortonormali a partire da basi ortogonali.

I concetti di base ortonormale e ortogonale generalizzano la nozione di sistema di riferimento nel piano cartesiano, e rendono possibile definire degli assi perpendicolari, e quindi un sistema di riferimento che assegna ad ogni punto delle coordinate su uno spazio vettoriale con dimensione arbitraria.

Indice

DefinizioneModifica

Sia   uno spazio vettoriale di dimensione finita sul campo  , nel quale sia definito un prodotto scalare. Una base ortogonale per   è una base composta da vettori   a due a due ortogonali, cioè tali che:[1]

 

Si ponga il prodotto scalare definito positivo. Una base ortonormale è una base ortogonale in cui ogni vettore ha norma uno, cioè tale che:[2]

 

dove   indica il simbolo di Kronecker.

Questa nozione si generalizza ad uno spazio di Hilbert   (che può essere reale o complesso, e con dimensione finita o infinita) nel modo seguente: una base ortonormale è un insieme di vettori indipendenti, ortogonali e di norma 1, che generano un sottospazio denso in  . Una tale base è spesso detta base hilbertiana, ed è numerabile se e solo se lo spazio è separabile.

Se   è una base ortogonale di  , ogni elemento   di   può essere scritto in maniera unica come:

 

ed il numero:

 

è detto coefficiente di Fourier di   rispetto al vettore di base  .[3]

Se   è una base ortonormale si ha:

 

La norma di   è quindi data da:[4]

 

Se   è una base ortonormale di  , allora   è isomorfo a   nel senso che esiste una mappa lineare e biunivoca   tale che:

 

per ogni coppia di vettori   e   di  .

Se la base di vettori ortonormali   considerata non è contenuta in alcun altro sistema ortonormale, allora si ha un sistema ortonormale completo.

ProprietàModifica

Ogni spazio vettoriale di dimensione finita, dotato di un prodotto scalare, possiede basi ortogonali grazie al teorema di Sylvester. In particolare, ogni spazio euclideo possiede basi ortonormali che si possono ottenere grazie all'algoritmo di ortogonalizzazione di Gram-Schmidt. Da ogni base ortogonale si può infatti ottenere una base ortonormale normalizzando (dividendo) i componenti della base per la loro norma. Ad esempio, se la base   è ortogonale la base   è ortonormale.

Una matrice di cambiamento di base fra basi ortonormali è una matrice ortogonale.

Se   è una base ortonormale di uno spazio di Hilbert  , ogni elemento   di   si scrive in modo unico come:

 

e la norma di   è data dall'identità di Parseval:

 

Inoltre il prodotto scalare fra due vettori è dato da:

 

Queste espressioni hanno senso anche se   è non numerabile: in questo caso solo un insieme numerabile di addendi è non-nullo. Le serie di Fourier sono un esempio.

EsempiModifica

  • L'insieme   costituisce una base ortonormale (dunque anche ortogonale) di   rispetto al prodotto scalare standard; in generale, le basi canoniche di   sono basi ortonormali.
  • L'insieme   con   costituisce una base ortonormale dello spazio complesso  . Ciò è di fondamentale importanza nello studio delle Serie di Fourier.
  • L'insieme   con   se   e   altrimenti costituisce una base ortonormale di  .

NoteModifica

  1. ^ S. Lang, Pag. 151
  2. ^ S. Lang, Pag. 155
  3. ^ S. Lang, Pag. 152
  4. ^ S. Lang, Pag. 154

BibliografiaModifica

  • Serge Lang, Algebra lineare, Torino, Bollati Boringhieri, 1992, ISBN 88-339-5035-2.
  • (EN) David C. Lay, Linear Algebra and Its Applications, 3rd, Addison–Wesley, 2006, ISBN 0-321-28713-4.
  • (EN) Gilbert Strang, Linear Algebra and Its Applications, 4th, Brooks Cole, 2006, ISBN 0-03-010567-6.
  • (EN) Sheldon Axler, Linear Algebra Done Right, 2nd, Springer, 2002, ISBN 0-387-98258-2.

Voci correlateModifica

  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica