## [Minkowskis Ungleichung](/de/node/62587) Definition 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 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 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 Fehlanwendung Minkowski im Quasi-Norm-Bereich 0 ## Konsequenz 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 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 Abgrenzung Setzt p≥1 voraus; die Ungleichung gilt nicht für p<1 und verlangt die Messbarkeit sowie Endlichkeit der beteiligten Normen. ## Semantische Spannung 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 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.