Nierówność Cauchy'ego-Schwarza
Z Wikipedii
Nierówność Cauchy'ego-Schwarza — zwana też nierównością Schwarza, Buniakowskiego-Schwarza lub Cauchy'ego-Buniakowskiego-Schwarza. Podstawowa nierówność dla iloczynu skalarnego w przestrzeni wektorowej.
Niech (x,y) oznacza iloczyn skalarny wektorów x i y danej przestrzeni wektorowej. Nierówność Schwarza mówi, że:
Rozpatrując odpowiednie przestrzenie wektorowe i określone w nich iloczyny skalarne otrzymamy specjalne postaci nierówności Schwarza.
Przykłady:
- w przestrzeni Rn standardowy iloczyn skalarny (x1, x2, ..., xn)·(y1, y2, ..., yn) = x1y1 + x2y2 + ... + xnyn daje klasyczną nierówność:
- w przestrzeni funkcji ciągłych na odcinku [0,1] z iloczynem
mamy kolejną klasyczną nierówność:
Ogólnie:
Dla funkcji f i g należących do przestrzeni L2(X) iloczyn fg należy do przestrzeni L1(X) oraz:
Nierówność Schwarza dla ustalonego iloczynu skalarnego z L2 jest tożsama Nierówności Höldera dla p = q = 2.
[edytuj] Dowód
[edytuj] W przestrzeni Rn
Nierówność:
jest oczywiście prawdziwa dla n=1.
Założmy indukcyjnie, że jest ona prawdziwa dla n.
Z nierówności o ciągach jednomonotonicznych dla an+1bi oraz bn+1ai wynika w oczywisty sposób:
dla dowolnych a, b. Po zsumowaniu podobnych nierówności obustronnie dla naturalnych i nie większych niż n uzyskujemy nierówność:
Po dodaniu nierówności z założenia indukcyjnego powiększonej obustronnie o uzyskujemy:
co po zredukowaniu daje tezę:
co kończy dowód.