Kurs:Analysis (Osnabrück 2014-2016)/Teil I/Vorlesung 7

Weitere Eigenschaften der reellen Zahlen

Korollar

Eine beschränkte und monotone Folge in $ℝ$

Beweis

Nach Voraussetzung ist die Folge wachsend und nach oben beschränkt oder fallend und nach unten beschränkt. Nach Lemma 6.8 liegt eine Cauchy-Folge vor, und diese konvergiert in $ℝ$ .

◻

Diese Aussage ist auch die Grundlage dafür, dass die Dezimalentwicklung stets eine (eindeutige) reelle Zahl definiert. Eine (unendliche) Dezimalentwicklung

a, a_{- 1} a_{- 2} a_{- 3} \dots

mit $a \in ℕ$ (wir beschränken uns auf nichtnegative Zahlen) und $a_{n} \in {0, \dots, 9}$ für alle $n \in ℕ$ ist nämlich zu verstehen als die Folge der rationalen Zahlen

x_{0} := a, x_{1} := a + a_{- 1} \cdot \frac{1}{10}, x_{2} := a + a_{- 1} \cdot \frac{1}{10} + a_{- 2} \cdot {(\frac{1}{10})}^{2}, e t c .

Diese ist offenbar monoton wachsend. Wir werden in der übernächsten Vorlesung (siehe insbesondere Aufgabe 9.19) sehen, dass sie nach oben beschränkt ist (beispielsweise durch $a + 1$ ), so dass dadurch in der Tat eine reelle Zahl definiert wird.

Eine weitere Möglichkeit, reelle Zahlen zu beschreiben, wird durch Intervallschachtelungen gegeben.

Definition

Es sei $K$ ein angeordneter Körper. Eine Folge von abgeschlossenen Intervallen

I_{n} = [a_{n}, b_{n}], n \in ℕ,

in $K$ heißt eine Intervallschachtelung, wenn $I_{n + 1} \subseteq I_{n}$ für alle $n \in ℕ$ ist und wenn die Folge der Intervalllängen, also

{(b_{n} - a_{n})}_{n \in ℕ},

gegen $0$ konvergiert.

Satz

Es sei $I_{n}$ , $n \in ℕ$ , eine Intervallschachtelung in $ℝ$ .

Dann besteht der Durchschnitt

$⋂_{n \in ℕ} I_{n}$
aus genau einem Punkt

$x \in ℝ$ .

Eine reelle Intervallschachtelung bestimmt also genau eine reelle Zahl.

Beweis

Siehe Aufgabe 7.19.

◻

Genauer gilt, dass bei einer Intervallschachtelung sowohl die Folge der unteren Intervallgrenzen als auch die Folge der oberen Intervallgrenzen gegen ein und dieselbe Zahl konvergieren. Ebenso konvergiert jede Folge ${(x_{n})}_{n \in ℕ}$ mit $x_{n} \in I_{n}$ gegen diesen Grenzwert, siehe Aufgabe 7.10.

Die Vollständigkeit der reellen Zahlen sichert auch die Existenz einer eindeutig bestimmten Quadratwurzel für eine nichtnegative reelle Zahl.

Satz

Zu jeder nichtnegativen reellen Zahl $c \in ℝ_{\geq 0}$

gibt es eine eindeutige nichtnegative reelle Zahl $x$ mit $x^{2} = c$ .

Diese Zahl $x$ heißt die Quadratwurzel von $c$ und wird mit $\sqrt{c}$ bezeichnet.

Beweis

Nach Aufgabe 5.1 kann es maximal zwei Zahlen geben, deren Quadrat gleich $c$ ist, und diese Zahlen sind wegen

(- x)^{2} = (- 1)^{2} x^{2} = x^{2}

negativ zueinander. Es kann also maximal nur eine nichtnegative Quadratwurzel geben. Die Existenz wird durch das babylonische Wurzelziehen gesichert, das auch eine Intervallschachtelung beschreibt. Nach Satz 7.3 legt eine Intervallschachtelung eine eindeutig bestimmte reelle Zahl fest. Nennen wir diese Zahl $x$ . Wir müssen zeigen, dass diese Zahl in der Tat eine Quadratwurzel von $c$ ist, dass also $x^{2} = c$ ist. Bei $c = 0$ ist dies klar, wir nehmen also $c > 0$ an. Die Intervallgrenzen sind rekursiv (bei einem Startwert $x_{0} > 0$ ) durch

x_{n + 1} = \frac{x_{n} + \frac{c}{x_{n}}}{2}

und $\frac{c}{x_{n + 1}}$ bestimmt und die Folge $x_{n}$ konvergiert gegen $x$ . Dies gilt auch für die „verschobene“ Folge $x_{n + 1}$ . Nach den Rechengesetzen für konvergente Folgen gilt somit

x = \frac{x + \frac{c}{x}}{2} .

Dies ergibt

x = \frac{c}{x}

und somit $x^{2} = c$ .

◻

Bei einer wachsenden, nach oben beschränkten Folge ${(x_{n})}_{n \in ℕ}$ kann man den Grenzwert auch als das Supremum der Menge ${x_{n} ∣ n \in ℕ}$ auffassen . Insofern ist die folgende Aussage eine weitreichende Verallgemeinerung von Korollar 7.1.

Satz

Jede nichtleere nach oben beschränkte Teilmenge der reellen Zahlen

besitzt ein Supremum in $ℝ$ .

Beweis

Es sei $M \subseteq ℝ$ eine nichtleere, nach oben beschränkte Teilmenge. Es sei $x_{0} \in M$ und $y_{0}$ eine obere Schranke für $M$ , d.h. es ist $x \leq y_{0}$ für alle $x \in M$ . Wir konstruieren zwei Folgen ${(x_{n})}_{n \in ℕ}$ und ${(y_{n})}_{n \in ℕ}$ , wobei $x_{n} \in M$ wachsend, ${(y_{n})}_{n \in ℕ}$ fallend ist und jedes $y_{n}$ eine obere Schranke von $M$ ist (sodass insbesondere $x_{n} \leq y_{n}$ für alle $n$ ist), und so, dass ${(x_{n})}_{n \in ℕ}$ eine Cauchy-Folge ist. Dabei gehen wir induktiv vor, d.h. die beiden Folgen seien bis $n$ bereits definiert und erfüllen die gewünschten Eigenschaften. Wir setzen

x_{n + 1} := {\begin{matrix} x_{n}, falls [\frac{x_{n} + y_{n}}{2}, y_{n}] \cap M = \emptyset, \\ ein beliebiger Punkt aus [\frac{x_{n} + y_{n}}{2}, y_{n}] \cap M sonst . \end{matrix}

und

y_{n + 1} := {\begin{matrix} \frac{x_{n} + y_{n}}{2}, falls [\frac{x_{n} + y_{n}}{2}, y_{n}] \cap M = \emptyset, \\ y_{n} sonst . \end{matrix}

Dieses Punktepaar erfüllt die gewünschten Eigenschaften, und es ist

y_{n} - x_{n} \leq {(\frac{1}{2})}^{n} (y_{0} - x_{0}),

da in beiden Fällen der Abstand zumindest halbiert wird. Da die Folge ${(x_{n})}_{n \in ℕ}$ wachsend und nach oben beschränkt ist, konvergiert sie nach Korollar 7.1 gegen einen Grenzwert, sagen wir $x$ . Ebenso ist die fallende Folge ${(y_{n})}_{n \in ℕ}$ nach unten beschränkt und konvergiert gegen denselben Grenzwert $x$ . Wir behaupten, dass dieses $x$ das Supremum von $M$ ist. Wir zeigen zuerst, dass $x$ eine obere Schranke von $M$ ist. Sei dazu $z > x$ für ein $z \in M$ angenommen. Da die Folge ${(y_{n})}_{n \in ℕ}$ gegen $x$ konvergiert, gibt es insbesondere ein $n$ mit

x \leq y_{n} < z

im Widerspruch dazu, dass jedes $y_{n}$ eine obere Schranke von $M$ ist.
Für die Supremumseigenschaft müssen wir zeigen, dass $x$ kleinergleich jeder oberen Schranke von $M$ ist. Sei dazu $u$ eine obere Schranke von $M$ und nehmen wir an, dass $x > u$ ist. Da ${(x_{n})}_{n \in ℕ}$ gegen $x$ konvergiert, gibt es wieder ein $n$ mit

u < x_{n} \leq x

im Widerspruch dazu, dass $u$ eine obere Schranke ist. Also liegt wirklich das Supremum vor.

◻

Mit diesem Satz kann man einfach die Existenz von beliebigen Wurzeln nachweisen.

Beispiel

Es sei $a \in ℝ_{\geq 0}$ und $k \in ℕ$ . Es sei

M = {x \in ℝ_{\geq 0} ∣ x^{k} \leq a} .

Diese Menge ist wegen $0 \in M$ nicht leer und nach oben beschränkt (bei $a \leq 1$ ist $1$ eine obere Schranke, sonst ist $a$ eine obere Schranke). Es sei $s = \sup (M)$ , das es nach Satz 7.5 geben muss. Dann ist $s^{k} = a$ , d.h. $s$ ist eine $k$ -te Wurzel von $a$ , da sowohl die Annahme $s^{k} < a$ als auch die Annahme $s^{k} > a$ , zu einem Widerspruch führt, siehe Aufgabe 7.14.

Der Satz von Bolzano-Weierstraß

Die folgende Aussage heißt Satz von Bolzano-Weierstraß.

Satz

Es sei ${(x_{n})}_{n \in ℕ}$ eine beschränkte Folge von reellen Zahlen.

Dann besitzt die Folge eine konvergente Teilfolge.

Beweis

Die Folge ${(x_{n})}_{n \in ℕ}$ sei durch

a_{0} \leq x_{n} \leq b_{0}

beschränkt. Wir definieren zuerst induktiv eine Intervallhalbierung derart, dass in den Intervallen unendlich viele Folgenglieder liegen. Das Startintervall ist $I_{0} := [a_{0}, b_{0}]$ . Es sei das $k$ -te Intervall $I_{k}$ bereits konstruiert. Wir betrachten die beiden Hälften

[a_{k}, \frac{a_{k} + b_{k}}{2}] und [\frac{a_{k} + b_{k}}{2}, b_{k}] .

In mindestens einer der Hälften liegen unendlich viele Folgenglieder, und wir wählen als Intervall $I_{k + 1}$ eine Hälfte mit unendlich vielen Gliedern. Da sich bei diesem Verfahren die Intervalllängen mit jedem Schritt halbieren, liegt eine Intervallschachtelung vor. Als Teilfolge wählen wir nun ein beliebiges Element

x_{n_{k}} \in I_{k}

mit $n_{k} > n_{k - 1}$ . Dies ist möglich, da es in diesen Intervallen unendlich viele Folgenglieder gibt. Diese Teilfolge konvergiert nach Aufgabe 7.10 gegen die durch die Intervallschachtelung bestimmte Zahl $x$ .

◻

Eine äquivalente Formulierung ist, dass jede beschränkte Folge in $ℝ$ einen Häufungspunkt besitzt.

Die eulersche Zahl e

Wir besprechen eine Beschreibung der sogenannten eulerschen Zahl $e$ .

Lemma

Die Intervalle $I_{n} = [a_{n}, b_{n}]$ , $n \geq 1$ , mit den Grenzen

$a_{n} = {(1 + \frac{1}{n})}^{n} und b_{n} = {(1 + \frac{1}{n})}^{n + 1}$

definieren eine Intervallschachtelung.

Beweis

Wegen $1 + \frac{1}{n} > 1$ ist klar, dass

a_{n} < a_{n} (1 + \frac{1}{n}) = b_{n}

ist, sodass also wirklich Intervalle vorliegen.
Um zu zeigen, dass die Intervalle ineinander liegen, zeigen wir, dass die unteren Grenzen wachsend und die oberen Grenzen fallend sind. Wir betrachten zuerst ${(a_{n})}_{n \in ℕ}$ . Aufgrund der Bernoulli-Ungleichung gilt

{(1 - \frac{1}{n^{2}})}^{n} \geq 1 - n \frac{1}{n^{2}} = 1 - \frac{1}{n} .

Dies schreiben wir als

\frac{n - 1}{n} \leq {(\frac{n^{2} - 1}{n^{2}})}^{n} = {(\frac{n + 1}{n} \cdot \frac{n - 1}{n})}^{n} = {(\frac{n + 1}{n})}^{n} {(\frac{n - 1}{n})}^{n} .

Daraus ergibt sich durch beidseitige Multiplikation mit ${(\frac{n}{n - 1})}^{n}$ (es sei $n \geq 2$ .) die Abschätzung

a_{n - 1} = {(\frac{n}{n - 1})}^{n - 1} \leq {(\frac{n + 1}{n})}^{n} = a_{n} .

Für die oberen Intervallgrenzen $b_{n}$ ergibt die Bernoullische Ungleichung die Abschätzung

{(1 + \frac{1}{n^{2} - 1})}^{n} \geq 1 + \frac{n}{n^{2} - 1} \geq 1 + \frac{1}{n} .

Daraus folgt

1 + \frac{1}{n} \leq {(\frac{n^{2}}{n^{2} - 1})}^{n} = {(\frac{n}{n - 1} \cdot \frac{n}{n + 1})}^{n} = {(\frac{n}{n - 1})}^{n} {(\frac{n}{n + 1})}^{n} .

Durch beidseitige Multiplikation mit ${(\frac{n + 1}{n})}^{n}$ ergibt sich

b_{n} = {(\frac{n + 1}{n})}^{n + 1} \leq {(\frac{n}{n - 1})}^{n} = b_{n - 1} .

Wir betrachten schließlich die Intervalllängen. Diese sind

b_{n} - a_{n} = a_{n} (1 + \frac{1}{n}) - a_{n} = a_{n} \frac{1}{n} \leq \frac{b_{1}}{n}

und konvergieren somit gegen $0$ .
Also liegt insgesamt eine Intervallschachtelung vor.

◻

Durch diese Intervallschachtelung ist aufgrund von Satz 7.3 eindeutig eine reelle Zahl bestimmt.

Definition

Die reelle Zahl

e := lim_{n \to \infty} {(1 + \frac{1}{n})}^{n}

heißt Eulersche Zahl.

Ihr numerischer Wert ist

e = 2,718281828459 \dots .

Wir werden bei der Behandlung der Exponentialfunktion auf die eulersche Zahl zurückkommen und eine andere Beschreibung dafür kennenlernen.

<< | Kurs:Analysis (Osnabrück 2014-2016)/Teil I | >>

PDF-Version dieser Vorlesung

Arbeitsblatt zur Vorlesung (PDF)