Die Dreiecksungleichung für L^p-Räume: sie beschränkt die L^p-Norm einer Summe durch die Summe der L^p-Normen und stellt damit die Normeigenschaft für 1 ≤ p ≤ ∞ und die metrische sowie lineare Struktur von L^p sicher.

Prinzip

Für 1 ≤ p ≤ ∞ und f,g in L^p gilt ||f+g||_p ≤ ||f||_p + ||g||_p. Die Ungleichung folgt aus der Konvexität der Abbildung t ↦ |t|^p (für p≥1) und lässt sich mit der Hölderschen Ungleichung für geeignete Hilfsfunktionen beweisen.

Demonstration

Beispiel: in ℓ^p Folgen lautet Minkowski (∑ |a_n + b_n|^p)^{1/p} ≤ (∑ |a_n|^p)^{1/p} + (∑ |b_n|^p)^{1/p}. Für p=2 ist dies die Dreiecksungleichung der euklidischen Norm auf Folgen, nachprüfbar mit Parallelogramm-Argumenten oder Hölder/Cauchy–Schwarz.

Fehlanwendung

Minkowski im Quasi-Norm-Bereich 0

Konsequenz

Minkowski verleiht L^p für p≥1 eine Norm, wodurch L^p zu einem normierten Vektorraum wird und bei Vollständigkeit ein Banachraum ist; dies ist grundlegend für Aussagen über Konvergenz und Stetigkeit in diesen Räumen.

Umkehrung

Die umgekehrte Dreiecksungleichung ||f||_p - ||g||_p ≤ ||f-g||_p liefert eine ergänzende Schranke, und Gleichheitsfälle in Minkowski charakterisieren kolineare oder proportionale Funktionen im normierten Raum.

Abgrenzung

Setzt p≥1 voraus; die Ungleichung gilt nicht für p<1 und verlangt die Messbarkeit sowie Endlichkeit der beteiligten Normen.

Semantische Spannung

Spannung besteht zu quasi-normierten Räumen, in denen die Dreiecksungleichung abgeschwächt ist, und zu Hölder, da Beweise oft Hölder verwenden und beide die L^p-Geometrie bestimmen.

Synthese

Minkowskis Ungleichung besagt, dass die L^p-Norm für p≥1 die Dreiecksungleichung erfüllt, wodurch L^p ein normierter (und typischerweise vollständiger) Raum wird und das metrische Fundament der Analysis bildet.