Kurs:Funktionalanalysis/Cauchy-Schwarz-Ungleichung

Die Cauchy-Schwarz-Ungleichung, auch bekannt als Cauchy-Bunjakowski-Schwarz-Ungleichung, ist eine Ungleichung, die in vielen Bereichen der Mathematik verwendet wird, z. B. in der Linearen Algebra (Vektoren), in der Analysis (unendliche Reihen), in der Wahrscheinlichkeitstheorie sowie bei der Integration von Produkten. Außerdem spielt sie in der Quantenmechanik eine wichtige Rolle, wie etwa beim Beweis der Heisenbergschen Unschärferelation.

Benannt ist die Ungleichung nach den Mathematikern Augustin-Louis Cauchy, Hermann Amandus Schwarz und Wiktor Jakowlewitsch Bunjakowski.

Sei ${\displaystyle (V,\langle \cdot ,\cdot \rangle )}$ ein (Prä-)Hilbert-Raum. Wenn ${\displaystyle x}$ und ${\displaystyle y}$ Elemente eines reellen oder komplexen Prähilbertraum sind, dann gilt für das Skalarprodukt ${\displaystyle \langle x,y\rangle }$ die Beziehung

${\displaystyle \left|\langle x,y\rangle \right|\leq \|x\|\cdot \|y\|.}$

Gleichheit gilt genau dann, wenn ${\displaystyle x}$ und ${\displaystyle y}$ linear abhängig sind.

Der Beweis der Cauchy-Schwarz-Ungleichung wird im komplexen Fall geführt. Dafür betrachten wir beliebige ${\displaystyle x,y\in V}$ und ein beliebiges ${\displaystyle \lambda \in \mathbb {C} }$ und berechnen mit den Eigenschaften des Skalarproduktes die folgende Ungleichung.

Das Skalarprodukt ist hermitesch und unter Verwendung der Semilinearität in der 1. und der Lineariät in der 2. Komponente erhält man:

${\displaystyle {\begin{array}{rcl}0\leq \left\|x+\lambda y\right\|^{2}&=&\left\langle x+\lambda y,x+\lambda y\right\rangle =\left\langle x,x+\lambda y\right\rangle +{\overline {\lambda }}\left\langle y,x+\lambda y\right\rangle \\&=&\left\langle x,x\right\rangle +\lambda \left\langle x,y\right\rangle +{\overline {\lambda }}\left\langle y,x\right\rangle +{\overline {\lambda }}\left\langle y,\lambda y\right\rangle \\&=&\left\|x\right\|^{2}+\lambda \left\langle x,y\right\rangle +{\overline {\lambda \left\langle x,y\right\rangle }}+\underbrace {{\overline {\lambda }}\cdot \lambda } _{=|\lambda |^{2}}\cdot \left\|y\right\|^{2}\end{array}}}$

Für die folgenden Beweisschritt erfolgt eine Fallunterscheidung für

• ${\displaystyle y=0_{V}}$ und
• ${\displaystyle y\not =0_{V}}$ und

Für ${\displaystyle y=0_{V}}$ folgt unmittelbar

${\displaystyle |\langle x,0_{V}\rangle |=|\langle x,0\cdot 0_{V}\rangle |=0\cdot |\langle x,0_{V}\rangle |=\|x\|\cdot 0=\|x\|\cdot \|0_{V}\|}$

Dabei wurde die Linearität in der zweiten Komponente und ${\displaystyle \langle v,v\rangle =0\Longleftrightarrow v=0_{V}}$ verwendet.

Sei ${\displaystyle y\not =0_{V}}$ und mit (1) erhalten wir folgende Ungleichung:

${\displaystyle 0\leq \left\|x\right\|^{2}+\lambda \left\langle x,y\right\rangle +{\overline {\lambda \left\langle x,y\right\rangle }}+|\lambda |^{2}\cdot \left\|y\right\|^{2}}$

wobei diese Gleichung für beliebige ${\displaystyle x,y\in V}$ und ein beliebiges ${\displaystyle \lambda \in \mathbb {C} }$ gilt. Wählen nun ein spezielle ${\displaystyle \lambda :=-{\frac {\overline {\langle x,y\rangle }}{\|y\|^{2}}}}$ mit ${\displaystyle y\not =0_{V}}$.

${\displaystyle {\begin{array}{rcl}0&\leq &\left\|x\right\|^{2}-{\frac {\overline {\langle x,y\rangle }}{\|y\|^{2}}}\left\langle x,y\right\rangle -{\overline {{\frac {\overline {\langle x,y\rangle }}{\|y\|^{2}}}\cdot \left\langle x,y\right\rangle }}+\left|-{\frac {\langle x,y\rangle }{\|y\|^{2}}}\right|^{2}\cdot \left\|y\right\|^{2}\\&=&\left\|x\right\|^{2}-{\frac {\langle x,y\rangle \cdot {\overline {\langle x,y\rangle }}}{\|y\|^{2}}}-{\frac {\langle x,y\rangle \cdot {\overline {\langle x,y\rangle }}}{\|y\|^{2}}}+\left|{\frac {\langle x,y\rangle }{\|y\|^{2}}}\right|^{2}\cdot \left\|y\right\|^{2}\\&=&\left\|x\right\|^{2}-2\cdot {\frac {|\langle x,y\rangle |^{2}}{\|y\|^{2}}}+{\frac {\left|\langle x,y\rangle \right|^{2}}{\|y\|^{2}}}\\&=&\left\|x\right\|^{2}-\left|{\frac {\langle x,y\rangle ^{2}}{\|y\|^{2}}}\right|\\\end{array}}}$

Dabei wurde verwendet, dass ${\displaystyle \lambda \cdot {\overline {\lambda }}=|\lambda |^{2}}$ für beliebige ${\displaystyle \lambda \in \mathbb {C} }$ gilt.

Wegen ${\displaystyle \|y\|^{2}>0}$ bleibt bei Multiplikation mit ${\displaystyle \|y\|^{2}}$ die Ungleichung erhalten und man erhält aus:

${\displaystyle 0\leq \left\|x\right\|^{2}-\left|{\frac {\langle x,y\rangle ^{2}}{\|y\|^{2}}}\right|}$

die Ungleichung ${\displaystyle \left|\langle x,y\rangle \right|^{2}\leq \left\|x\right\|^{2}\cdot \left\|y\right\|^{2}}$ und damit auch die Behauptung:

${\displaystyle \left|\langle x,y\rangle \right|\leq \left\|x\right\|\cdot \left\|y\right\|}$

Im reellen Fall gilt ferner:

${\displaystyle \langle x,y\rangle \leq \left|\langle x,y\rangle \right|\leq \left\|x\right\|\cdot \left\|y\right\|}$

Für (Prä-)Hilberträume über ${\displaystyle \mathbb {C} }$ müssen die Beträge bestehen bleiben, da ${\displaystyle \mathbb {C} }$ kein vollständig geordneter Körper ist und ${\displaystyle \langle x,y\rangle \in \mathbb {C} }$ nicht notwendig reellwertig ist. q.e.d

Die Festlegung, ob ein Skalarprodukt in der ersten oder zweiten Komponente semilinear oder linear ist, ist reine Konvention. Wenn man für die erste Komponente die Linearität und in der zweiten Komponente die Seminlinearität festlegt, dann verändert sich die Beweisführung ein wenig. Bei der CS-UG müsste man dann ${\displaystyle \lambda \in \mathbb {C} }$ mit ${\displaystyle y\not =0_{V}}$ wie folgt definieren:

${\displaystyle \lambda :=-{\frac {\langle x,y\rangle }{\|y\|^{2}}}}$

Zu der Cauchy-Schwarz-Ungleichung

${\displaystyle \left|\langle x,y\rangle \right|\leq \|x\|\cdot \|y\|.}$

gibt es äquivalente Fomrulierungen. Diese werden im Folgenden genannt.

Äquivalente Formulierungen erhält man unter Verwendung der von dem Skalarprodukt induzierten Norm ${\displaystyle \|x\|:={\sqrt {\langle x,x\rangle }}}$:

${\displaystyle |\langle x,y\rangle |^{2}\leq \langle x,x\rangle \cdot \langle y,y\rangle }$

${\displaystyle |\langle x,y\rangle |^{2}\leq \|x\|^{2}\cdot \|y\|^{2}}$

Sei ${\displaystyle (V,\langle \cdot ,\cdot \rangle )}$ ein Hilbertraum über ${\displaystyle \mathbb {K} =\mathbb {R} ,\mathbb {C} }$:

${\displaystyle \left|\langle x,y\rangle \right|\leq \|x\|\cdot \|y\|.}$

Im reellen Fall ${\displaystyle \mathbb {K} =\mathbb {R} }$ kann man auf die Betragsstriche verzichten:

${\displaystyle \langle x,y\rangle \leq \|x\|\cdot \|y\|}$.

Im komplexen Fall müssen die Beträge verwendet werden, da ${\displaystyle \mathbb {K} =\mathbb {C} }$ keine vollständige Ordnung besitzt.

Auf den Raum ${\displaystyle V:=\ell _{2}(\mathbb {R} )}$ mit dem Standardskalarprodukt angewandt, erhält man:

${\displaystyle \left(\sum _{i=1}^{\infty }x_{i}\cdot y_{i}\right)^{2}\leq \left(\sum _{i=1}^{\infty }x_{i}^{2}\right)\cdot \left(\sum _{i=1}^{\infty }y_{i}^{2}\right)}$

Im Fall quadratisch integrierbarer komplexwertiger Funktionen erhält man:

${\displaystyle \left|\int {\overline {f(x)}}\cdot g(x)\,dx\right|^{2}\leq \left(\int \left|f(x)\right|^{2}\,dx\right)\cdot \left(\int \left|g(x)\right|^{2}\,dx\right)}$

Sei ${\displaystyle (\Omega ,{\mathcal {S}},P)}$ ein Zufallsexperiment für ${\displaystyle X:\Omega \to \mathbb {R} }$ und ${\displaystyle Y:\Omega \to \mathbb {R} }$ zwei quadratisch integrierbare Zufallsvariablen. Dann gilt für den Erwartungswert ${\displaystyle E}$ folgende Ungleichung:

${\displaystyle \left(\operatorname {E} (XY)\right)^{2}\leq \operatorname {E} (X^{2})\cdot \operatorname {E} (Y^{2})}$

Diese Ungleichungen werden durch die Hölder-Ungleichung verallgemeinert.

Auf quadratische Matrizen angewandt, erhält man für die Spur:

${\displaystyle \vert \operatorname {Spur} (AB^{*})\vert \leq (\operatorname {Spur} (AA^{*}))^{\frac {1}{2}}(\operatorname {Spur} (BB^{*}))^{\frac {1}{2}}}$

Über den reellen Zahlen ist die oben definierte Abbildung ${\displaystyle \langle A,B\rangle :=\operatorname {Spur} (AB^{*})}$ positiv-semidefinit. Die positive Definitheit wird aber im Beweis der Hölderungleichung und der Cauchy-Schwarz-Ungöleichung nicht benötigt.

Im ${\displaystyle \mathbb {R} ^{3}}$ lässt sich die Aussage der Cauchy-Schwarzschen Ungleichung in Form einer Gleichung präzisieren:

${\displaystyle \langle x,x\rangle \cdot \langle y,y\rangle =|\langle x,y\rangle |^{2}+\|x\times y\|^{2}}$

Der Summand ${\displaystyle \|x\times y\|^{2}}$ ist stets nicht-negativ. Er ist genau dann Null, wenn ${\displaystyle x}$ und ${\displaystyle y}$ linear abhängig sind.

Benannt ist die Ungleichung nach Augustin Louis Cauchy, Wiktor Jakowlewitsch Bunjakowski und Hermann Amandus Schwarz. Bei Cauchy findet sich die Summenform der Ungleichung in seiner Analyse algébrique (1821).^[1]

Die Integralform der Ungleichung wurde historisch erstmals 1859 von Bunjakowski in einer Arbeit über Ungleichungen zwischen Integralen veröffentlicht; Schwarz veröffentlichte seine Arbeit erst 1884 ohne Bezugnahme auf die Arbeit von Bunjakowski.

Entsprechend dieser Entwicklung findet sich teilweise auch nur die Benennung als Cauchy-Ungleichung für den diskreten, endlichen Fall und als Bunjakowski-Ungleichung^[2] oder Schwarzsche Ungleichung^[3] im Integral-Fall.

In einem Vektorraum mit innerem Produkt lässt sich aus der Cauchy-Schwarzschen Ungleichung die Dreiecksungleichung für die induzierte Norm

${\displaystyle \|x\|={\sqrt {\langle x,x\rangle }}}$

ableiten, und damit in weiterer Folge zeigen, dass eine so definierte Norm die Normaxiome erfüllt.

Eine weitere Folgerung der Cauchy-Schwarz-Ungleichung ist, dass das innere Produkt eine stetige Funktion ist.

Die Cauchy-Schwarz-Ungleichung stellt sicher, dass im Ausdruck

${\displaystyle \cos \varphi ={\frac {\langle x,y\rangle }{\|x\|\cdot \|y\|}}}$

der Betrag des Bruches stets kleiner oder gleich eins ist, sodass also ${\displaystyle \varphi \;}$ wohldefiniert ist und damit der Winkel auf beliebigen Räumen mit innerem Produkt verallgemeinert werden kann. ${\displaystyle cos(z)}$ ist mit ${\displaystyle z\in \mathbb {C} }$ allerdings betragsmäßig unbeschränkte als holomorphe Funktion.

In der Physik wird die Cauchy-Schwarzsche Ungleichung bei der Herleitung der Heisenbergschen Unschärferelation verwendet.

Ist einer der Vektoren der Nullvektor, so ist die Cauchy-Schwarz-Ungleichung trivialerweise erfüllt. In den folgenden Beweisen wird daher teils ohne besonderen Hinweis ${\displaystyle x\neq 0}$ und ${\displaystyle y\neq 0}$ vorausgesetzt.

Ein Beweis der Cauchy-Schwarzschen Ungleichung kann beispielsweise mit Hilfe der Ungleichung vom arithmetischen und geometrischen Mittel erfolgen:

Definiert man für ${\displaystyle i=1,\dots ,n}$ die Werte

${\displaystyle \xi _{i}:={\frac {|x_{i}|}{\sqrt {\sum _{j}x_{j}^{2}}}}}$  und  ${\displaystyle \eta _{i}:={\frac {|y_{i}|}{\sqrt {\sum _{j}y_{j}^{2}}}},}$

so ergibt sich aus der Ungleichung vom arithmetischen und geometrischen Mittel die Beziehung

${\displaystyle \sum _{i}\xi _{i}\eta _{i}=\sum _{i}{\sqrt {\xi _{i}^{2}\eta _{i}^{2}}}\leq \sum _{i}\left({\frac {\xi _{i}^{2}}{2}}+{\frac {\eta _{i}^{2}}{2}}\right)=1}$

Daraus folgt unmittelbar die Cauchy-Schwarzsche Ungleichung.

Ein anderer Beweis der Cauchy-Schwarzschen Ungleichung ergibt sich aus der Umordnungs-Ungleichung. Setzt man

${\displaystyle S={\sqrt {\sum _{i}x_{i}^{2}}}}$ und ${\displaystyle T={\sqrt {\sum _{i}y_{i}^{2}}}}$

sowie ${\displaystyle \xi _{i}={\tfrac {x_{i}}{S}}}$ und ${\displaystyle \xi _{n+i}={\tfrac {y_{i}}{T}}}$ so gilt

${\displaystyle 2=\sum _{i=1}^{n}{\frac {x_{i}^{2}}{S^{2}}}+\sum _{i=1}^{n}{\frac {y_{i}^{2}}{T^{2}}}=\sum _{i=1}^{2n}\xi _{i}^{2}.}$

Wegen der Umordnungs-Ungleichung ist nun

${\displaystyle {\begin{array}{rcl}\sum _{i=1}^{2n}\xi _{i}^{2}&\geq &\xi _{1}\xi _{n+1}+\xi _{2}\xi _{n+2}+\dots +\xi _{n}\xi _{2n}+\\&&+\xi _{n+1}\xi _{1}+\xi _{n+2}\xi _{2}+\dots +\xi _{2n}\xi _{n}\\\end{array}}}$

Zusammengefasst erhält man also

${\displaystyle 2\geq {\frac {2\sum _{i=1}^{n}x_{i}y_{i}}{ST}}.}$

Daraus ergibt sich die Cauchy-Schwarzsche Ungleichung.

Die oben angegebenen Beweise beweisen nur den Spezialfall der Cauchy-Schwarzschen Ungleichung für das Standardskalarprodukt im ${\displaystyle \mathbb {R} ^{n}}$. Der Beweis für den allgemeinen Fall des Skalarprodukts in einem Vektorraum mit innerem Produkt im Beweis angegeben.

Unter der Voraussetzung ${\displaystyle y\neq 0}$ gilt ${\displaystyle \langle y,y\rangle \neq 0}$. Für jedes ${\displaystyle \lambda \in \mathbb {R} }$ gilt

${\displaystyle {\begin{array}{rcl}0&\leq &\langle x-\lambda y,x-\lambda y\rangle =\langle x-\lambda y,x\rangle -\lambda \langle x-\lambda y,y\rangle \\&=&\langle x,x\rangle -2\lambda \langle x,y\rangle +\lambda ^{2}\langle y,y\rangle \\\end{array}}}$

Wählt man nun speziell ${\displaystyle \lambda :={\tfrac {\langle x,y\rangle }{\langle y,y\rangle }}=\langle x,y\rangle \cdot \|y\|^{-2}}$ so ergibt sich

${\displaystyle 0\leq \|x\|^{2}-\langle x,y\rangle ^{2}\cdot \|y\|^{-2},}$

Also erhält man durch Umformung die Ungleichung:

${\displaystyle \langle x,y\rangle ^{2}\leq \|x\|^{2}\|y\|^{2}.}$

Ziehen der Quadratwurzel ergibt nun genau die Cauchy-Schwarzsche Ungleichung

${\displaystyle {\big |}\langle x,y\rangle {\big |}\leq \|x\|\|y\|.}$

Die Cauchy-Schwarz-Ungleichung benötigt an keiner Stelle im Beweis die Positivität, d.h.

${\displaystyle \langle x,x\rangle >0\Longleftrightarrow x\not =0_{V}}$

Daher kann man die gesamte Beweisstruktur auf Semi-Skalarprodukte übertragen.

Man kann den Beweis des Satzes so umformulieren, dass die positive Definitheit des Skalarprodukts nicht verwendet wird. Damit gilt die Aussage auch für jede positiv semidefinite, symmetrische Bilinearform (beziehungsweise hermitesche Sesquilinearform) ${\displaystyle b}$.

Man wählt denselben Ansatz, wie im Beweis, der das Skalarprodukt verwendet, trifft hier aber die Wahl

${\displaystyle \lambda ={\frac {b(x,y)}{b(y,y)+\varepsilon }}.}$

Damit muss man nicht mehr fordern, dass ${\displaystyle b(y,y)}$ nicht 0 ist. Das ergibt

${\displaystyle 0\leq b(x-\lambda y,x-\lambda y)=b(x,x)-2\lambda b(x,y)+\lambda ^{2}b(y,y).}$

Ähnlich wie im obigen Beweis folgert man

${\displaystyle 2b(x,y)^{2}-b(x,y)^{2}{\frac {b(y,y)}{b(y,y)+\varepsilon }}\leq b(x,x)(b(y,y)+\varepsilon ).}$

und die Behauptung ist gezeigt, wenn ${\displaystyle \varepsilon }$ gegen 0 konvergiert. Für ${\displaystyle b(y,y)=0}$ folgt ${\displaystyle b(x,y)=0}$.

Auch hier ist die Situation denkbar, dass aus der Ungleichung eine Gleichheit wird, zum Beispiel wenn (wie beim Skalarprodukt) ${\displaystyle x,y}$ linear abhängig sind. Allerdings sind auch Fälle denkbar, wo die Gleichheit eintritt, ohne dass eine lineare Abhängigkeit vorliegt. Man betrachte etwa eine entartete Bilinearform ${\displaystyle b}$. Dann gibt es ein ${\displaystyle x\neq 0}$, so dass für alle ${\displaystyle y}$ des Vektorraums ${\displaystyle b(x,y)=0}$ ist.

Sei nun ${\displaystyle y}$ aus dem Vektorraum beliebig. Man erhält dann

${\displaystyle |b(x,y)|^{2}=0}$

und

${\displaystyle b(x,x)\,b(y,y)=0\cdot b(y,y)=0,}$

also

${\displaystyle |b(x,y)|^{2}=b(x,x)\,b(y,y),}$

auch für den Fall, dass ${\displaystyle x}$ und ${\displaystyle y}$ linear unabhängig sind.

• Bilinearform
• Hermitesche Form
• lineare Abbildung - semilineare Abbildung
• komplex Konjugierte
• Komplexe Zahlen
• Kurs:Funktionentheorie
• Kurs:Maßtheorie auf topologischen Räumen

 Wikibooks: Beweis der Cauchy-Schwarz-Ungleichung – Lern- und Lehrmaterialien

• Earliest Uses of Some of the Words of Mathematics: Cauchy-Schwarz inequality.

• Peter Schreiber: The Cauchy-Bunyakovsky-Schwarz inequality. In: Hermann Grassmann, Werk und Wirkung. Internationale Fachtagung anläßlich des 150. Jahrestages des ersten Erscheinens der „linearen Ausdehnungslehre“. Universität Greifswald, 1995, S. 64–70.

1. ↑ Augustin-Louis Cauchy: Analyse algébrique. 1821, bpt6k29058v, S. 455 f. (Gallica). Fehler in Vorlage:Literatur – *** Parameterkonflikt: Unbekannte Parameter: Seite}}
2. ↑ V.I. Bityutskov, Bunyakovskii inequality, URL: https://www.encyclopediaofmath.org/index.php/Bunyakovskii_inequality
3. ↑ MathWorld-Online-Enzyklopädie SchwarzsInequality, Title: Schwarz's Inequality

Diese Lernresource können Sie als Wiki2Reveal-Foliensatz darstellen.

Dieser Wiki2Reveal Foliensatz wurde für den Lerneinheit Kurs:Funktionalanalysis' erstellt der Link für die Wiki2Reveal-Folien wurde mit dem Wiki2Reveal-Linkgenerator erstellt.

• Die Seite wurde als Dokumententyp PanDocElectron-SLIDE erstellt.
• Link zur Quelle in Wikiversity: https://de.wikiversity.org/wiki/Kurs:Funktionalanalysis/Cauchy-Schwarz-Ungleichung
• siehe auch weitere Informationen zu Wiki2Reveal und unter Wiki2Reveal-Linkgenerator.

Diese Seite wurde auf Basis der folgenden Wikipedia-Quelle erstellt:

• Cauchy-Schwarzsche Ungleichung https://de.wikipedia.org/wiki/Cauchy-Schwarzsche%20Ungleichung
• Datum: 28.1.2021 - Versionsgeschichte Wikipedia
• Wikipedia2Wikiversity-Konverter: https://niebert.github.com/Wikipedia2Wikiversity