Eine Ungleichung in einem Innenproduktraum, die besagt, dass für beliebige Vektoren u und v der Betrag ihres Innenprodukts durch das Produkt ihrer Normen beschränkt ist: |⟨u,v⟩| ≤ ||u|| · ||v||.

Prinzip

Sie folgt aus der Positivität des Innenprodukts durch Betrachtung der Nichtnegativität von ||u − λ v||^2 für ein geeignetes Skalar λ und drückt geometrisch aus, dass die absolute Korrelation höchstens das Produkt der Größen ist.

Demonstration

Für reelle Vektoren in R^n ergibt die Entwicklung 0 ≤ ||u − (⟨u,v⟩/||v||^2) v||^2 die Ungleichung ||u||^2 ||v||^2 − ⟨u,v⟩^2 ≥ 0, also |⟨u,v⟩| ≤ ||u|| ||v||; Gleichheit genau bei linearer Abhängigkeit von u und v.

Fehlanwendung

Die Ungleichung in Räumen ohne Innenprodukt anzuwenden (jede bilineare Form als Innenprodukt zu behandeln) oder Gleichheit zu behaupten ohne lineare Abhängigkeit zu prüfen, führt zu falschen Schlüssen.

Konsequenz

Sie ist Grundlage für den Beweis der Dreiecksungleichung für aus Innenprodukten abgeleitete Normen, führt zu Hölder‑Verallgemeinerungen in L^p‑Räumen und beschränkt Korrelationen und kovarianzähnliche Größen.

Umkehrung

Eine allgemeine Umkehrung in gleicher Form existiert nicht; eine Behauptung einer unteren Schranke proportional zum Produkt der Normen scheitert, sofern nicht zusätzliche Struktur (z. B. Winkelbeschränkungen) vorliegt.

Abgrenzung

Gilt in Innenprodukträumen (endlich- oder unendlichdimensional); nicht allgemein gültig in beliebigen normierten Räumen ohne Innenprodukt, dort ersetzt Hölder oder andere an L^p angepasste Ungleichungen.

Semantische Spannung

Wird oft neben Hölders Ungleichung gestellt: Cauchy–Schwarz ist der Fall p=2 von Hölder und beruht auf der Innenproduktstruktur statt allein auf Normeigenschaften.

Synthese

Cauchy–Schwarz besagt, dass der Betrag eines Innenprodukts die Produktlänge der Vektoren nicht übersteigt; dies reflektiert Projektionseigenschaften und bildet eine fundamentale Schranke in Analysis und linearer Algebra.