Mathematik: Analysis: Reelle Zahlen: Wichtige Ungleichungen

Analysis

Reelle Zahlen

Eigenschaften reeller Zahlen – Ungleichungen (Eigenschaften) – Wichtige Ungleichungen – Metrik –     Topologie – Sätze v. Bolzano-Weierstraß u. Heine-Borel

Folgen und Reihen

In diesem Kapitel werden 3 bekannte Ungleichungen eingeführt, die auch immer wieder verwendet werden. Mit einer dieser Ungleichungen lassen sich ganzzahlige Potenzen abschätzen. Bei dieser Ungleichung wird kurz auf die Rechenregeln für ganzzahlige Exponenten eingegangen.

Mittel-Ungleichung

Für nichtnegative Zahlen $x,y\in \mathbb {R}$, $x\geq 0$ und $y\geq 0$ bezeichnet man ${\frac {x+y}{2}}$ als arithmetisches Mittel und ${\sqrt {x\cdot y}}$ als geometrisches Mittel dieser Zahlen.
Es gilt:     ${\frac {x+y}{2}}\geq {\sqrt {x\cdot y}}$.
Das Gleichheitszeichen gilt genau dann, wenn $x=y$.

Wegen der Rechenregeln für Ungleichungen ist diese Behauptung äquivalent zu
    $\left({\frac {x+y}{2}}\right)^{2}\geq x\cdot y$.
Für den Beweis ist daher die Existenz von Wurzeln aus nichtnegativen reellen Zahlen keine Voraussetzung.

Beweis

Zu zeigen ist also $\left({\frac {x+y}{2}}\right)^{2}\geq x\cdot y$.
Subtrahiert man auf beiden Seiten $x\cdot y$, so ergibt sich:
$\left({\frac {x-y}{2}}\right)^{2}=\left({\frac {x+y}{2}}\right)^{2}-x\cdot y\geq 0$.
Diese Ungleichung ist offensichtlich richtig, das Gleichheitszeichen gilt genau dann, wenn $x=y$.

Ganzzahlige Potenzen

Mit der Bernoullischen Ungleichung lassen sich Potenzen nach unten abschätzen. An dieser Stelle sollen kurz die ganzzahligen Potenzen und paar Rechenregeln eingeführt werden. Die Eindeutigkeit der $n$-ten Potenz für positive $n\in \mathbb {N}$ wurde schon im Abschnitt über natürliche Zahlen gezeigt.

Definition und Satz

Sei $n\in \mathbb {N}$ und $x\in \mathbb {R}$. Definiert man

1.       $x^{1}:=x$,   $x^{n+1}:=x^{n}\cdot x$,
2.       für $x\neq 0$:     $x^{-n}:={\frac {1}{x^{n}}}$ und
3.       $x^{0}:=1$

so nennt man $n$ den Exponenten und $x$ die Basis der Potenz $x^{n}$.

Seien $n,m\in \mathbb {N}$ und $x,y\in \mathbb {R}$ und bei negativem Exponenten die zugehörige Basis von Null verschieden. Dann gelten folgende Rechenregeln:

1.       $1^{n}=1$
2.       $x^{n}\cdot x^{m}=x^{n+m}$
3.       $(x^{n})^{m}=x^{n\cdot m}$ und
4.       $(x\cdot y)^{n}=x^{n}\cdot y^{n}$.

Beweis

Die Beweise können einfach mit vollständiger Induktion über $n$ oder $m$ gezeigt werden. Eine Fallunterscheidung in $>0,<0$ und $=0$ für $n$ oder $m$ ist in einigen Fällen hilfreich.

Bernoullische Ungleichung

Für alle $x\in \mathbb {R}$, $x\geq -1$, und alle $n\in \mathbb {N}$ gilt:

      $(1+x)^{n}\geq 1+n\cdot x$.

Das Gleichheitszeichen gilt genau dann wenn $n=1$ oder wenn $n>1$ und $x=0$ .

Beweis

Der Beweis erfolgt über vollständige Induktion über $n$:

$n=1$ : ist klar, hier gilt auch für alle $x$ das Gleichheitszeichen.

$n\rightarrow n+1$ : $(1+x)^{n+1}=(1+x)^{n}\cdot (1+x)\geq (1+n\cdot x)\cdot (1+x)$.

Durch ausmultiplizieren ergibt sich: $(1+x)^{n+1}\geq 1+(n+1)\cdot x+n\cdot x^{2}$.

$n\geq 1$ : Für $n\geq 1$ ist auch $n\cdot x^{2}\geq 0$ also $(1+x)^{n+1}\geq 1+(n+1)\cdot x$ und das zeigt die Gültigkeit der Ungleichung für $n+1$.

$n\geq 1$ und $x\neq 0$ : Dann ist $n\cdot x^{2}>0$, also $(1+x)^{n+1}>1+(n+1)\cdot x$.

Das Gleichheitszeichen kann also höchstens dann auftreten, wenn $x=0$. Wenn aber $x=0$ gilt, rechnet man leicht nach, dass das Gleichheitszeichen für alle $n\geq 1$ gilt.

Satz

Sei $y\in \mathbb {R}$ mit $y>1$. Dann gilt für alle $n\in \mathbb {N}$

      $y^{n}>n\cdot (y-1)$

Beweis

Setzt man $1+x=y$ in der Bernoullischen Ungleichung, so folgt:   $y^{n}\geq 1+n\cdot (y-1)>n\cdot (y-1)$.

Schwarzsche Ungleichung

Satz

Sei $n\in \mathbb {N}$ und seien $x_{1},......,x_{n}$, $y_{1},......,y_{n}$ reelle Zahlen. Dann gilt:

      $x_{1}\cdot y_{1}+......+x_{n}\cdot y_{n}\leq {\sqrt {x_{1}^{2}+......+x_{n}^{2}}}\cdot {\sqrt {y_{1}^{2}+......+y_{n}^{2}}}$

 

Gleichheit gilt genau dann, wenn es reelle Zahlen $\alpha ,\ \beta$ gibt, so dass für alle $k=1,...,n$:

     $\alpha ^{2}+\beta ^{2}\neq 0$ und $\alpha x_{k}+\beta y_{k}=0$

Zunächst wird das Summenzeichen (mit zwei Rechenregeln) definiert und eine äquivalente Schreibweise der Schwarzschen Ungleichung, ohne Wurzeln, angegeben. Die Rechenregeln lassen sich mit vollständiger Induktion zeigen (und bleiben Ihnen zur Übung überlassen).

Definition und Satz;

Seien $n\in \mathbb {N}$ und $x_{1},......,x_{n}$, $y_{1},......,y_{n}$, $\alpha$ reelle Zahlen.

1. Eine Summe sei mit dem Summenzeichen wie folgt definiert:
   $\sum _{k=1}^{1}x_{1}:=x_{1}$ sowie
   
   $\sum _{k=1}^{n}x_{k}:=\left(\sum _{k=1}^{n-1}x_{k}\right)+x_{n}$.       $k$ nennt man Summationsindex.
   
   Dann gilt:
   
2. $\sum _{k=1}^{n}(x_{k}+y_{k})=\sum _{k=1}^{n}x_{k}+\sum _{k=1}^{n}y_{k}$   und
   
   
3. $\sum _{k=1}^{n}\alpha x_{k}=\alpha \sum _{k=1}^{n}x_{k}$.
   

Die Schwarzsche Ungleichung lässt sich jetzt wie folgt darstellen und wird auch in dieser Form bewiesen:

      $\left(\sum _{k=1}^{n}x_{k}y_{k}\right)^{2}\leq \left(\sum _{k=1}^{n}x_{k}^{2}\right)\cdot \left(\sum _{k=1}^{n}y_{k}^{2}\right)$.

Beweis

1. Hilfssatz

      $\sum _{k=1}^{n}\left(\alpha x_{k}+\beta y_{k}\right)^{2}=0\Leftrightarrow \alpha x_{k}+\beta y_{k}=0$   für  $k=1,\dots ,n$

Beweis des Hilfssatzes

Mit den Rechenregeln für Ungleichungen lässt sich leicht zeigen, dass   $\left(\alpha x_{k}+\beta y_{k}\right)^{2}\geq 0$   für  $k=1,\dots ,n$. Daraus folgt (mit vollständiger Induktion):

$\sum _{k=1}^{n}\left(\alpha x_{k}+\beta y_{k}\right)^{2}=\sum _{k=1}^{n-1}\left(\alpha x_{k}+\beta y_{k}\right)^{2}+\left(\alpha x_{n}+\beta y_{n}\right)^{2}\geq 0+\left(\alpha x_{n}+\beta y_{n}\right)^{2}\geq 0$.

Wegen       "$\alpha _{1}^{2}+\alpha _{2}^{2}+\dots +\alpha _{n}^{2}=0\Leftrightarrow \alpha _{k}=0$ für  $k=1,\dots ,n$ " (was sich wiederum leicht mit den Rechenregel für Ungleichungen zeigen lässt) folgt unmittelbar der Hilfssatz.

2. Mit etwas Rechenaufwand wird nun die Schwarzsche Ungleichung direkt bewiesen (zunächst noch nicht für das Gleichheitszeichen):

Seien: $\mathrm {A} :=\sum _{k=1}^{n}x_{k}^{2},\ \mathrm {B} :=\sum _{k=1}^{n}y_{k}^{2}\ {\text{ und }}\ \Gamma :=\sum _{k=1}^{n}x_{k}y_{k}$.       Zu zeigen ist (1): $\Gamma ^{2}\leq \mathrm {A} \mathrm {B}$

Es gilt:

$0\leq \sum _{k=1}^{n}\left(\alpha x_{k}+\beta y_{k}\right)^{2}=\sum _{k=1}^{n}\left(\alpha ^{2}x_{k}^{2}+2\alpha x_{k}\beta y_{k}+\beta ^{2}y_{k}^{2}\right)$

  $=\alpha ^{2}\sum _{k=1}^{n}x_{k}^{2}+2\alpha \beta \sum _{k=1}^{n}x_{k}y_{k}+\beta ^{2}\sum _{k=1}^{n}y_{k}^{2}=\alpha ^{2}\cdot \mathrm {A} +2\alpha \beta \cdot \Gamma +\beta ^{2}\cdot \mathrm {B}$

Wählt man nun $\alpha :=-\Gamma \!\,{\text{ und }}\beta :=\mathrm {A}$ so erhält man

      $0\leq \Gamma ^{2}\mathrm {A} -2\Gamma \mathrm {A} \Gamma +\mathrm {A} ^{2}\mathrm {B} =-\Gamma ^{2}\mathrm {A} +\mathrm {A} ^{2}\mathrm {B}$ oder mit Ungleichung (1) $\mathrm {A} \Gamma ^{2}\leq \mathrm {A} ^{2}\mathrm {B}$

Für $\mathrm {A} =0\!\,$   muss auch   $x_{k}=0\!\,$   für   $k=1,\dots ,n$   gelten. Es folgt   $\Gamma =0\!\,$   und das zeigt die Behauptung.

Mit $\mathrm {A} >0\!\,$   folgt   ${\frac {1}{\mathrm {A} }}>0$  , damit ergibt sich aus obiger Ungleichung (1)   $\Gamma ^{2}\leq \mathrm {A} \mathrm {B}$   und das zeigt die Behauptung.

3. Nun für das Gleichheitszeichen:

3.1. Es gelte also das Gleichheitszeichen:

Für $\mathrm {A} =0\!\,$   muss auch   $x_{k}=0\!\,$   für   $k=1,\dots ,n$   gelten und die reellen Zahlen   $\alpha =1{\text{ und }}\ \beta =0$   erfüllen die die Behauptung (analog für   $\mathrm {B} =0\!\,$).

Sei $\mathrm {A} \mathrm {B} >0\!\,$. Dann gilt das Gleichheitszeichen auch in allen oben stehenden Ungleichungen. Mit dem Hilfssatz folgt   $\alpha x_{k}+\beta y_{k}=0\!\,$   für  $k=1,\dots ,n\!\,$. Mit den oben definierten $\alpha {\text{ und }}\beta \!\,$   ist die Behauptung also erfüllt.

3.2. Es gelte $\alpha ^{2}+\beta ^{2}\neq 0{\text{ und}}\ \alpha x_{k}+\beta y_{k}=0$   für   $k=1,\dots ,n\!\,$:

Sei $\alpha \neq 0$   (falls $\alpha =0\!\,$ verfährt man mit $\beta \!\,$ entsprechend).

Es folgt   $x_{k}=-{\frac {\beta }{\alpha }}y_{k},\ \mathrm {A} ={\frac {\beta ^{2}}{\alpha ^{2}}}\mathrm {B} ,\ \Gamma =-{\frac {\beta }{\alpha }}\mathrm {B}$ , also $\Gamma ^{2}=\mathrm {A} \mathrm {B} \!\,$ und das zeigt die Behauptung.