Base ortonormale
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 (ossia il cui prodotto scalare è nullo) 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.
Definizione
[modifica | modifica wikitesto]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 delta 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 | modifica wikitesto]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.
Esempi
[modifica | modifica wikitesto]- 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 .
Note
[modifica | modifica wikitesto]Bibliografia
[modifica | modifica wikitesto]- Serge Lang, Algebra lineare, Torino, Bollati Boringhieri, 1992, ISBN 88-339-5035-2.
- (EN) David C. Lay, Linear Algebra and Its Applications, 3ª ed., Addison–Wesley, 2006, ISBN 0-321-28713-4.
- (EN) Gilbert Strang, Linear Algebra and Its Applications, 4ª ed., Brooks Cole, 2006, ISBN 0-03-010567-6.
- (EN) Sheldon Axler, Linear Algebra Done Right, 2ª ed., Springer, 2002, ISBN 0-387-98258-2.