Cauchy-Schwarzsche Ungleichung

Die Cauchy-Schwarz-Ungleichung, auch bekannt als Schwarzsche-Ungleichung oder Cauchy-Bunjakowski-Schwarz-Ungleichung, ist eine nützliche Ungleichung, die in vielen Bereichen der Mathematik verwendet wird, z.B. Lineare Algebra (Vektoren), Analysis (unendliche Reihen) und Integration von Produkten. Die Ungleichung sagt aus: Wenn x und y Elemente eines reellen oder komplexen Vektorraums mit innerem Produkt sind, dann gilt für das Skalarprodukt bzw. innere Produkt $\langle x,y\rangle$ die Beziehung

\left|\langle x,y\rangle \right|^{2}\leq \langle x,x\rangle \cdot \langle y,y\rangle ,

oder unter Verwendung der Norm $\|x\|:={\sqrt {\langle x,x\rangle }}$

\left|\langle x,y\rangle \right|^{2}\leq \|x\|^{2}\cdot \|y\|^{2}.

Beide Seiten sind genau dann gleich, wenn x und y linear abhängig sind.

Auf euklidische Räume $\mathbb {R}$ angewandt, erhält man:

\left(\sum x_{i}\cdot y_{i}\right)^{2}\leq \left(\sum x_{i}^{2}\right)\cdot \left(\sum y_{i}^{2}\right)

Im Fall quadratisch integrierbarer komplexwertiger Funktionen erhält man:

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

Die beiden letzten Ungleichungen werden durch die Hölder-Ungleichung verallgemeinert.

Im dreidimensionale Raum lässt sich die Cauchy-Schwarzsche Ungleichung zu einer Gleichung verschärfen:

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

Benannt ist die Ungleichung nach Augustin Louis Cauchy, Viktor Jakowlewitsch Bunjakowski und Herrmann Amandus Schwarz. Historisch wurde die Ungleichung erstmals 1859 von Bunjakowsi in einer Arbeit über Ungleichungen zwischen Integralen veröffentlicht; Schwarz veröffentlichte seine Arbeit erst 50 Jahre später.

Anwendungen

In einem Vektorraum mit innerem Produkt lässt sich aus der Cauchy-Schwarzschen Ungleichung die Dreiecksungleichung für $\|x\|={\sqrt {\langle x,x\rangle }}$ ableiten, und damit in weiterer Folge zeigen, dass durch das innere Produkt eine Norm definiert wird.

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 $cos\phi ={\frac {\langle x,y\rangle }{\|x\|\cdot \|y\|}}$ der Bruch stets betragsmäßig kleiner gleich 1 ist, sodass also $\phi$ berechnet werden kann und damit der Winkel auf beliebige Räume mit innerem Produkt verallgemeinert werden kann.

In der Physik wird die Cauchy-Schwarzschen Ungleichung bei der Herleitung der Heisenbergsche Unschärferelation verwendet.

Beweis

Beweis aus der Ungleichung vom arithmetischen und geometrischen Mittel

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

Definiert man für $i=1,\dots ,n$ die Werte $\xi _{i}:=|x_{i}|/{\sqrt {\sum _{i}x_{i}^{2}}}$ und $\eta _{i}:=|y_{i}|/{\sqrt {\sum _{i}y_{i}^{2}}}$ , so ergibt sich aus der Ungleichung vom arithmetischen und geometrischen Mittel die Beziehung

\sum _{i}\xi _{i}\eta _{i}=\sum _{i}{\sqrt {\xi _{i}^{2}\eta _{i}^{2}}}\leq \sum _{i}(\xi _{i}^{2}/2+\eta _{i}^{2}/2)=1

Daraus folgt unmittelbar die Cauchy-Schwarzsche Ungleichung.

Beweis aus der Umordnungs-Ungleichung

Ein anderer Beweis der Cauchy-Schwarzschen Ungleichung ergibt sich aus der Umordnungs-Ungleichung. Setzt man $S={\sqrt {\sum _{i}x_{i}^{2}}}$ und $T={\sqrt {\sum _{i}y_{i}^{2}}}$ sowie $\xi _{i}={\frac {x_{i}}{S}}$ und $\xi _{n+i}={\frac {y_{i}}{T}}$ so gilt

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

\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}.

Zusammengefasst erhält man also

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

wobei dieses Ergebnis der Cauchy-Schwarzschen Ungleichung entspricht.

Beweis für Skalarprodukt

Die oben angegebenen Beweise beweisen nur den Speziallfall der Cauchy-Schwarzsche Ungleichung in euklidischen Räumen. Der Beweis für den allgemeinen Fall des Skalarprodukts in einem Vektorraum mit innerem Produkt ist aber simpel.

Reeller Fall

Der Fall $y=0$ ist einfach zu behandeln, es sei also $\langle y,y\rangle \neq 0$ . Für jedes $\lambda \in \mathbb {R}$ gilt

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 .

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

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

also

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

Ziehen der Quadratwurzel ergibt nun genau die Cauchy-Schwarzsche Ungleichung

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

Komplexer Fall

Der Beweis im komplexen Fall verläuft ähnlich, allerdings ist zu beachten, dass das Skalarprodukt in diesem Fall keine Linearform, sondern eine Hermitesche Form ist. Für jedes $\lambda \in \mathbb {C}$ gilt