Ungleichung

Eine Ungleichung ist ein Gegenstand der Mathematik, mit dem Größenvergleiche formuliert und untersucht werden können. Jede Ungleichung besteht aus zwei Termen, die durch eines der Verhältniszeichen < (Kleinerzeichen), ≤ (Kleinergleichzeichen), ≥ (Größergleichzeichen) oder > (Größerzeichen) verbunden sind.

Sind T₁ und T₂ zwei Terme, dann ist beispielsweise T₁ < T₂ eine Ungleichung. Man spricht „T₁ kleiner (als) T₂“. Wie bei einer Gleichung heißt T₁ die linke Seite und T₂ die rechte Seite der Ungleichung.

Die in den beiden Termen auftretenden Werte sind meist reelle Zahlen. Die durch das Verhältniszeichen angesprochene Ordnungsrelation bezieht sich dann auf die natürliche Anordnung der reelle Zahlen.

Formen von Ungleichungen

Folgende fünf Formen von Ungleichungen sind möglich:

(1) T₁ < T₂ (T₁ kleiner T₂ )

(2) ${T_1} \le {T_2}$ (T₁ kleiner oder gleich T₂ )

(3) T₁ > T₂ (T₁ größer T₂ )

(4) ${T_1} \ge {T_2}$ (T₁ größer oder gleich T₂ )

(5) ${T_1} \neq {T_2}$ (T₁ ungleich T₂ )

Die Form (5) entsteht durch Negation einer Gleichung. Sie wird daher in der der Mathematik in der Regel nicht eigens thematisiert.

Ungleichungen sind Aussageformen. Die auf den beiden Seiten einer Ungleichung vorkommenden funktionalen Terme beinhalten in der Regel Variable, welche stellvertretend für Elemente aus dem Definitionsbereich der jeweiligen Terme stehen. Werden diese Variablen durch feste Elemente der jeweiligen Definitionsbereiche ersetzt (Einsetzen), so entstehen Aussagen, welche entweder wahr oder falsch sind.

Umformung von Ungleichungen

Ähnlich wie bei Gleichungen ist es auch bei Ungleichungen möglich diese in äquivalente Ungleichungen umzuformen. Äquivalente Ungleichungen haben die gleichen Lösungsmengen, daher ist das Umformen von Ungleichungen wichtig zum Lösen von Ungleichungen, worauf der hierauf folgende Abschnitt eingehen wird. Die folgenden Gesetze werden für die Verhältniszeichen < und > dargestellt, sie gelten ganz analog auch für die Verhältniszeichen ≤ , ≥ und ≠.

Umkehrbarkeit

Ungleichungen können umgekehrt werden:

$({T_1}\le{}{T_2})\Leftrightarrow ({T_2}\ge{}{T_1})\,.$

Monotoniegesetze

Addition und Subtraktion

Für beliebige Terme T₁, T₂ und T₃ gilt:

• Es ist T₁ < T₂ genau dann, wenn T₁ + T₃ < T₂ + T₃.
• Es ist T₁ < T₂ genau dann, wenn T₁ − T₃ < T₂ − T₃.

Es dürfen also auf beiden Seiten einer Ungleichung die gleichen Terme addiert oder subtrahiert werden, ohne dass sich die Lösungsmenge der Ungleichung ändert. Beispielsweise vereinfacht sich die Ungleichung 5x < 4x + 7 durch Subtraktion des Terms 4x auf beiden Seiten zu der äquivalenten Ungleichung x < 7.

Multiplikation und Division

Für beliebige Terme T₁, T₂ und T₃ gilt:

• Aus T₁ < T₂ folgt − T₁ > − T₂.
• Aus 0 < T₁ < T₂ folgt 0 < 1 / T₂ < 1 / T₁ .
• Aus T₃ > 0 und T₁ < T₂ folgt T₁T₃ < T₂T₃ und T₁ / T₃ < T₂ / T₃.
• Aus T₃ < 0 und T₁ < T₂, dann ist T₁T₃ > T₂T₃ und T₁ / T₃ > T₂ / T₃.

Hier gilt demnach folgende Merkregel:

Bei Punktrechnung mit einer reellen Zahl > 0 bleiben die Verhältniszeichen erhalten, während sie sich bei Punktrechnung mit einer reellen Zahl < 0 umkehren.

So sind zum Beispiel die Ungleichungen − 3x < 12 und x > − 4 äquivalent, wie man mit Hilfe von Division durch − 3 sieht.

Anwenden einer Funktion

Durch Anwenden einer strikt monotonen Funktion auf beiden Seiten der Ungleichung erhält man eine Ungleichung mit der gleichen Lösungsmenge wie die Ausgangsungleichung. Ähnlich wie bei den Monotoniegesetzen muss unter Umständen das Verhältniszeichen gedreht werden. Wendet man auf beiden eine strikt monoton wachsende Funktion an, so ändert sich das Verhältniszeichen nicht. Wendet man hingegen eine strikt monoton fallende Funktion an, so muss das Zeichen < durch das entsprechend umgekehrte Zeichen > ersetzt werden. Analoges gilt auch für die Verhältniszeichen ≤ und ≥.

Der natürliche Logarithmus ln  ist eine strikt monoton wachsende Funktion und kann daher zum Umformen von Gleichungen verwendet werden. Seien T₁,T₂ zwei Terme dann ist

$0 < T_1 < T_2 \Leftrightarrow \ln(T_1) < \ln(T_2).$

Lösen von Ungleichungen

→ Hauptartikel: Lösen von Ungleichungen

Eine Frage beim Umgang mit Ungleichungen ist - ähnlich wie bei der Lösung von Gleichungen - die Frage nach der Lösungsmenge der Ungleichung. Hier ist die Frage zu beantworten, ob und wenn ja welche Elemente der Definitionsbereiche beim Einsetzen in die beiden Terme eine wahre oder falsche Aussage liefern. Eine wichtige Technik zum Finden der Lösungsmenge ist das Umformen der Ungleichung in eine einfachere Form.

Bekannte Ungleichungen

In allen mathematischen Teilgebieten gibt es Sätze zur Gültigkeit von Ungleichungen. Das heißt, gewisse mathematische Aussagen sichern unter bestimmten Umständen die Richtigkeit einer vorgegebenen Ungleichung für eine gewisse Definitionsmenge. Im Folgenden werden einige wichtige Ungleichungen kurz erwähnt.

Dreiecksungleichung

→ Hauptartikel: Dreiecksungleichung

Nach der Dreiecksungleichung ist im Dreieck die Summe der Längen zweier Seiten a und b stets mindestens so groß wie die Länge der dritten Seite c. Das heißt formal $c \leq a + b$.

Diese Ungleichung kann für viele mathematische Objekte verallgemeinert werden. Beispielsweise ist die Ungleichung

$|a+b| \le |a|+|b|$

für die Betragsfunktion eine Verallgemeinerung der zuvor genannten Ungleichung und gilt für alle reellen Zahlen. Sie trägt ebenfalls den Namen Dreiecksungleichung. Diese Ungleichung kann auch für Betrag komplexer Zahlen oder für Integrale verallgemeinert werden (siehe Minkowski-Ungleichung).

Cauchy-Schwarz-Ungleichung

→ Hauptartikel: Cauchy-Schwarzsche Ungleichung

Sei V Prähilbertraum also ein Vektorraum mit Skalarprodukt $\langle \cdot,\cdot \rangle$ und seien x und y Elemente aus V, dann gilt immer die Ungleichung

$|\langle x,y \rangle|^2 \leq \langle x, x\rangle \cdot \langle y,y\rangle \,.$

Gleichheit gilt genau dann, wenn x und y linear abhängig sind. Vektorräume mit Skalarprodukt treten in vielen mathematischen Teilgebieten auf. Daher ist die Cauchy-Schwarz-Ungleichung auch in vielen Teildisziplinen der Mathematik von Bedeutung, beispielsweise wird sie in der linearen Algebra, der Integrationstheorie und in der Wahrscheinlichkeitstheorie verwendet.

Weitere Ungleichungen

• Bernoullische Ungleichung
• Bonferroni-Ungleichungen
• Jensensche Ungleichung
• Markow-Ungleichung
• Mittel-Ungleichung
• Tschebyschow-Ungleichung
• Unterschiedliche Ungleichungen, die nach Young benannt sind

Erweiterung des Begriffes

Bis jetzt wurden in diesem Artikel nur Ungleichungen betrachtet, deren Terme Werte in den reellen Zahlen annehmen. Der Ungleichungsbegriff wird gelegentlich – jedoch nicht einheitlich – zum Beispiel auf komplexe Zahlen, Vektoren oder Matrizen erweitert. Um Ungleichungen für diese Objekte betrachten zu können, müssen zuerst die vier Verhältniszeichen <, ≤, > und ≥ - im folgenden auch Relationen genannt - für diese Objekte definiert werden.

Komplexe Zahlen

Die Menge der komplexen Zahlen $\mathbb{C}$ ist zusammen mit der üblichen Addition und Multiplikation ein Körper, jedoch ist es nicht möglich eine Relation ≤ so zu wählen, dass $(\mathbb{C},+,\times,\le)$ zu einem geordneten Körper wird. Das heißt es ist nicht möglich, dass eine Relation auf $(\mathbb{C},+,\times,\le)$ sowohl das Trichotomie-, das Transitivitäts- und das Monotoniegesetz erfüllt. Jedoch wird manchmal eine Relation, die durch

$x < y :\Leftrightarrow \operatorname{Re}(x) < \operatorname{Re}(y) \or \left(\operatorname{Re}(x) = \operatorname{Re}(y) \and \operatorname{Im}(x) < \operatorname{Im}(y)\right)$

definiert ist, betrachtet. Hierbei bezeichnen x,y komplexe Zahlen und $\operatorname{Re}$ den Realteil beziehungsweise $\operatorname{Im}$ den Imaginärteil einer komplexen Zahl. Diese Definition der Relation erfüllt das Trichotomie- und das Transitivitätsgesetz.

Spaltenvektoren

Auch für Spaltenvektoren ist es möglich Relationen zu definieren. Seien $x,y\in\mathbb{R}^n$ zwei Spaltenvektoren mit $x = (x_1,x_2,\ldots,x_n)^T$ und $y = (y_1,y_2,\ldots,y_n)^T$ wobei x_i and y_i reelle Zahlen sind. Relationen auf $\R^n$ kann man dann beispielsweise durch

$x < y :\Leftrightarrow i=1,\ldots,n:\ x_i < y_i$

und durch

$x \leq y :\Leftrightarrow i=1,\ldots,n:\ x_i \leq y_i$

definieren. Analog kann man auch die Relationen ≥ und > erklären. Hier ist es allerdings nicht möglich, alle Elemente miteinander zu vergleichen. Beispielsweise kann keines der vier Verhältniszeichen ein Verhältnis zwischen den Elementen x: = (2,5)^T und y: = (3,4)^T beschreiben.

Weitere Beispiele

• Ist $A\in\R^{n \times n}$, so definiert man A > 0 genau dann, wenn A positiv definit ist. Sind $A,B\in\R^{n \times n}$, so gilt A > B genau dann, wenn A − B > 0. Ähnlich können auch < oder $\le,\ge$ (semidefinit) definiert werden.
• Sei $(E,\|\cdot\|)$ ein reeller Banachraum und $K\subseteq E$ ein Kegel. Sind $x,y\in E$, so gilt $x\le y$ genau dann, wenn $y-x\in K$.

Literatur

• Walter Gellert, Herbert Kästner, Dr. Siegfried Neuber (Hrsg.): Verlag Harri Deutsch, Thun und Frankfurt/ Main 1978, ISBN 3-87144-336-0.

• Godfrey Harold Hardy, John Edensor Littlewood, George Polya: Inequalities. Reprint [of the 2. ed. 1952] Auflage. Cambridge University Press, Cambridge 1988, ISBN 0-521-35880-9.

• Harro Heuser: Lehrbuch der Analysis Teil 1. 16. Auflage. Teubner, Wiesbaden 2006, ISBN 978-3-8351-0131-9.