Inegalitatea Cauchy-Schwarz

În matematică Inegalitatea lui Cauchy-Schwarz, cunoscută și sub numele de Inegalitatea Cauchy, Inegalitatea Schwarz sau Inegalitatea Cauchy-Buniakovski-Schwarz este o inegalitate utilă întâlnită în mai multe situații. În algebra liniară ea se poate aplica vectorilor, în analiză se poate aplica seriilor infinite sau integrării produselor, iar în teoria probabilităților se poate aplica varianțelor și covarianțelor.

Inegalitatea pentru sume a fost publicată de Augustin Louis Cauchy în 1821 iar inegalitatea corespunzătoare pentru integrale a fost formulată inițial de Viktor Iakovlevici Buniakovski în 1859 și a fost redescoperită de Hermann Schwarz (de multe ori scris greșit "Schwartz") în anul (1888).

Pentru toți vectorii x și y ai unui spațiu cu produs scalar real sau complex,

 

unde   este produsul scalar. Echivalent, extrăgând rădăcină pătrată din ambele părți, și tratând produsul scalar al unui vector cu el însuși ca normă, inegalitatea se scrie ca

 

Mai mult, egalitatea intervine dacă și numai dacă   și   sunt liniar dependenți (sau, în sens geometric, sunt paraleli) sau dacă unul din vectori este egal cu zero.

Dacă   și   sunt componentele lui   respectiv   în raport cu o bază ortonormată a lui  , inegalitatea poate fi reformulată mai explicit după cum urmează:

 

Egalitatea are loc dacă și numai dacă fie  , fie există un scalar   astfel încât

 

Cazul finit-dimensional al acestei inegalități pentru vectori reali a fost demonstrat de Cauchy în 1821, și în 1859, elevul lui Cauchy, V.Ia. Buniakovski a observat că mergând la limită se poate obține o formă integrală a inegalității lui Cauchy. Rezultatul general pentru un spațiu cu produs scalar a fost obținut de K.H.A. Schwarz în 1885.

Demonstrație

modificare

Întrucât inegalitatea este evident adevărată în cazul y = 0, putem presupune că <y, y> este nenul. Fie   un număr complex. Atunci,

 

Alegând

 

obținem

 

ceea ce este adevărat dacă și numai dacă

 

sau echivalent:

 

care este inegalitatea Cauchy-Schwarz.

Cazuri speciale

modificare

În spațiul euclidian Rn cu produsul scalar standard, inegalitatea Cauchy-Schwarz se scrie

 

În acest caz special, demonstrația se poate face astfel: Fie funcția polinomială în z

 

Se observă că este o polinomială cuadratică și că discriminantul său nu este mai mare ca zero, pentru că nu are rădăcini (decât dacă sunt egale toate raporturile xi/yi), astfel avem

 

care dă inegalitatea Cauchy-Schwarz.

O demonstrație echivalentă pentru Rn începe cu suma de mai jos.

Desfăcând parantezele, rezultă:

 ,

grupând termenii identici (deși sunt cu indici diferiți în sumă) rezultă:

 

Deoarece partea stângă a ecuației este o sumă de pătrate de numere reale, ea este mai mare sau egală cu zero, deci:

  .

De asemenea, când n = 2 sau 3, produsul scalar este legat de unghiul între doi vectori și se poate vedea imediat egalitatea:

 

Mai mult, în acest caz inegalitatea Cauchy–Schwarz poate fi dedusă din egalitatea lui Lagrange. Pentru n = 3, egalitatea lui Lagrange ia forma

 

de unde rezultă Cauchy-Schwarz.

Pentru spațiul cu produs scalar al funcțiilor integrabile la pătrat cu valori complexe, avem

 

O generalizare a acesteia este inegalitatea Hölder.

Utilizări

modificare

Inegalitatea triunghiului pentru produsul scalar este adesea demonstrată ca o consecință a inegalității Cauchy–Schwarz, după cum urmează: dați fiind vectorii x și y,

   
 
 
 
 

Extrăgând rădăcină pătrată, se obține inegalitatea triunghiului.

Inegalitatea Cauchy–Schwarz permite extinderea noțiunii de "unghi între doi vectori" la orice spațiu cu produs scalar real, definind:

 

Inegalitatea Cauchy–Schwarz demonstrează că această definiție este valabilă, arătând că partea din dreapta ia valori în intervalul  , și justifică noțiunea că spațiile cu produs scalar real sunt doar generalizări ale spațiului euclidian.

Cauchy–Schwarz este folosită pentru a demonstra că produsul scalar este o funcție continuă față de topologia indusă de produsul scalar însuși.

Inegalitatea Cauchy–Schwarz este de regulă folosită pentru a demonstra inegalitatea lui Bessel.

Formularea generală a principiului incertitudinii al lui Heisenberg este derivată folosind inegalitatea Cauchy-Schwarz în spațiul cu produs scalar al funcțiilor de undă.