Die Ungleichung von Hornich-Hlawka, manchmal auch nur als Ungleichung von Hlawka (engl. Hlawka's inequality) bezeichnet, ist ein mathematischer Lehrsatz an der Schnittstelle zwischen den Teilgebieten der Linearen Algebra und der Funktionalanalysis. Die Ungleichung geht zurück auf die beiden österreichischen Mathematiker Hans Hornich und Edmund Hlawka und ist eine in allen Prähilberträumen gültige Verallgemeinerung der Dreiecksungleichung.

Formulierung

Bearbeiten

Der Lehrsatz lässt sich wie folgt formulieren:[1]

Gegeben sei ein Prähilbertraum   über dem Körper   der reellen oder der komplexen Zahlen mit der durch das zugehörige Skalarprodukt erzeugten Norm       ( ).[2]
Dann gilt:
(I) Je drei beliebige (nicht notwendig verschiedene) Vektoren   erfüllen stets die Ungleichung
 . (Ungleichung von Hornich-Hlawka)
(II) Die Ungleichung von Hornich-Hlawka ergibt sich mit Hilfe der Dreiecksungleichung aus der folgenden Identität von Hlawka :
 
 
 
 
 
 
 
(III) Die Ungleichung von Hornich-Hlawka umfasst ihrerseits als Spezialfall die Dreiecksungleichung.

Beweisskizzen

Bearbeiten
Schritt 1 – Beweisskizze zu (II)

Die Identität von Hlawka gewinnt man durch Verifikation. Dazu werden zunächst die Terme auf beiden Seiten der Identität unter Berücksichtigung des Distributivgesetzes ausmultiplziert. Nach Streichung beidseitig auftretender Terme sieht man, dass der Nachweis der zu zeigenden Identität mit dem Nachweis der Identität

(H)  

gleichwertig ist. Diese wiederum ergibt sich mittels folgender Rechnung:[3]

 
Schritt 2 – Beweisskizze zu (I)

Da im Falle   die zu zeigende Ungleichung auf eine Gleichung hinausläuft, somit nichts zu zeigen ist, genügt es, den Beweis auf den Fall   zu beschränken.

Hier nun berücksichtigt man, dass auf der rechten Seite der schon bewiesenen Identität von Hlawka allein nichtnegative Summanden stehen, denn es gilt die Dreiecksungleichung und damit auch die Vierecksungleichung, weswegen sich alle beteiligten Terme innerhalb der rechtsseitig auftretenden Klammern als nichtnegativ erweisen. Als Folgerung hat man, dass auch das auf der linken Seite stehende Produkt nichtnegativ ist.

Weiter ist in Rechnung zu stellen, dass wegen   stets

 

gilt. Also muss auch

 

gelten und damit (I).

Schritt 3 – Beweisskizze zu (III)

Der Beweis ergibt sich durch zweifache Substitution. Dazu macht man für   die Setzung  , mit der sich

 

ergibt. Anschließend macht man für   die Setzung  , aus der schließlich

 

und damit die Dreiecksungleichung folgt.

Anmerkungen

Bearbeiten
  1. Hans Hornich hat in seiner Arbeit von 1948 gezeigt, dass die Ungleichung von Hornich-Hlawka in euklidischen Räumen weiter verallgemeinert werden kann.[4] Diese Verallgemeinerung wird dann eher als Ungleichung von Hornich (engl. inequality of Hornich) bezeichnet.[5]
  2. Die obige Identität (H) wird explizit von Hornich genannt.[6] Sie (und folglich auch die Identität von Hlawka) umfassen als Spezialfall die Parallelogrammgleichung. Diese gewinnt man, indem man für   die Setzung   macht.
Bearbeiten

Literatur

Bearbeiten
  • Hans Hornich: Eine Ungleichung für Vektorlängen. In: Math. Z. Band 48, 1942, S. 268–274 (MR0008417).
  • Max Koecher: Lineare Algebra und analytische Geometrie (= Springer-Lehrbuch: Grundwissen Mathematik). 4., ergänzte und aktualisierte Auflage. Springer-Verlag, Berlin (u. a.) 1997, ISBN 3-540-62903-3.
  • D. S. Mitrinović: Analytic Inequalities. In cooperation with P. M. Vasić (= Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete. Band 165). Springer Verlag, Berlin (u. a.) 1970, ISBN 3-540-62903-3 (MR0274686).

Einzelnachweise und Fußnoten

Bearbeiten
  1. Koecher: S. 177.
  2. In abkürzender Schreibung wird für   auch   geschrieben.
  3. Ist der zugrunde liegende Körper  , also gleich dem Körper der reellen Zahlen, so ist für   stets   und damit  .
  4. Hornich: Eine Ungleichung für Vektorlängen. In: Math. Z. Band 48, S. 268 ff.
  5. Mitrinović: S. 172–173.
  6. Hornich: Eine Ungleichung für Vektorlängen. In: Math. Z. Band 48, S. 274.