Baza ortogonala

O bază ortogonală (ortonormală)  este un sistem ortogonal ( ortonormal ) de elemente ale unui spațiu liniar cu un produs scalar care are proprietatea de completitudine .

Caz cu dimensiuni finite

O bază ortogonală  este o bază compusă din vectori ortogonali perechi . O bază ortonormală satisface și condiția de unitate a normei tuturor elementelor sale. Adică este o bază ortogonală cu elemente normalizate.

Acesta din urmă este scris convenabil folosind simbolul Kronecker :

adică produsul scalar al fiecărei perechi de vectori de bază este zero atunci când nu sunt la fel ( ) și este egal cu unu atunci când indicele este același, adică atunci când produsul scalar al oricărui vector de bază cu el însuși este luat .

O mulțime de lucruri sunt scrise într-o bază ortogonală mult mai ușor decât într-una arbitrară, prin urmare, foarte des încearcă să folosească doar astfel de baze, dacă este posibil, sau utilizarea unei baze speciale non-ortogonale nu oferă o specială specială. comoditati. Sau dacă nu o abandonează în favoarea unei baze de formă generală din motive de generalitate.

O bază ortonormală este auto-duală ( baza sa duală coincide cu ea însăși). Prin urmare, este posibil să nu se facă o distincție între indici superiori și inferiori în ea și să se utilizeze, să zicem, doar indici inferiori (cum este de obicei cazul, cu excepția cazului în care, desigur, în acest caz sunt utilizate numai baze ortonormale).

Independența liniară decurge din ortogonalitate, adică se realizează automat pentru un sistem ortogonal de vectori.

Coeficienți în expansiunea unui vector pe bază ortogonală:

poate fi găsit astfel:

Completitudinea unui sistem ortonormal de vectori este echivalentă cu egalitatea lui Parseval : pentru orice vector, pătratul normei vectorului este egal cu suma pătratelor coeficienților expansiunii sale în baza:

Relații similare sunt valabile și pentru cazul cu dimensiuni infinite (vezi mai jos).

Caz infinit-dimensional

O bază ortogonală  este un sistem de elemente ortogonale perechi ale unui spațiu Hilbert, astfel încât orice element poate fi reprezentat în mod unic ca o serie convergentă de norme.

numită seria Fourier a unui element din sistem .

Adesea baza este aleasă astfel încât apoi se numește bază ortonormală . În acest caz, numerele , numite coeficienți Fourier ai unui element în bază ortonormală , sunt de forma

.

O condiție necesară și suficientă pentru ca un sistem ortonormal să fie o bază este egalitatea lui Parseval .

Un spațiu Hilbert care are o bază ortonormală este separabil și, invers, fiecare spațiu Hilbert separabil are o bază ortonormală.

Dacă un sistem arbitrar de numere este dat astfel încât , în cazul unui spațiu Hilbert cu o bază ortonormală , seria  converge în normă către un anumit element . Aceasta stabilește izomorfismul oricărui spațiu Hilbert separabil în spațiu ( teorema Riesz-  Fischer).

Exemple

Literatură


Vezi și