Angeordneter Körper/Cauchy-Folgen/Dezimalbruchfolgen/Einführung/Textabschnitt

Ein Problem des Konvergenzbegriffes ist, dass zur Formulierung der Grenzwert verwendet wird, den man unter Umständen noch gar nicht kennt. Wenn man beispielsweise die durch das babylonische Wurzelziehen konstruierte Folge ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ (sagen wir zur Berechnung von ${}{\sqrt {5}}$) mit einem rationalen Startwert betrachtet, so ist dies eine Folge aus rationalen Zahlen. Wenn wir diese Folge in ${}\mathbb {R}$ betrachten, wo ${}{\sqrt {5}}$ existiert, so ist die Folge konvergent. Innerhalb der rationalen Zahlen ist sie aber definitiv nicht konvergent. Es ist wünschenswert, allein innerhalb der rationalen Zahlen den Sachverhalt formulieren zu können, dass die Folgenglieder beliebig nahe zusammenrücken, auch wenn man nicht sagen kann, dass die Folgenglieder einem Grenzwert beliebig nahe zustreben. Dazu dient der Begriff der Cauchy-Folge.

Augustin Louis Cauchy (1789-1857)

Definition

Es sei ${}K$ ein angeordneter Körper. Eine Folge ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ in ${}K$ heißt Cauchy-Folge, wenn folgende Bedingung erfüllt ist.

Zu jedem ${}\epsilon \in K$, ${}\epsilon >0$, gibt es ein ${}n_{0}\in \mathbb {N}$ derart, dass für alle ${}n,m\geq n_{0}$ die Abschätzung

${}\vert {x_{n}-x_{m}}\vert \leq \epsilon \,$

gilt.

Es werden also die Abstände von Folgenglieder untereinander verglichen, diese Schwankungen müssen beliebig klein werden. Grob gesprochen kann man sagen, dass eine Cauchy-Folge alle Eigenschaften einer konvergenten Folge besitzt bis auf die Konvergenz, bis auf die Existenz eines Grenzwertes. Eine nichtkonvergente Cauchy-Folge entdeckt eine „Lücke“. Beim Übergang von ${}\mathbb {Q}$ nach ${}\mathbb {R}$ schließt man diese Lücken, indem man (Äquivalenzklassen von) Cauchy-Folgen hinzunimmt.

Satz

Es sei ${}K$ ein angeordneter Körper. Dann ist jede konvergente Folge

eine Cauchy-Folge.

Beweis

Es sei ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ die konvergente Folge mit Grenzwert ${}x$. Sei ${}\epsilon >0$ gegeben. Wir wenden die Konvergenzeigenschaft auf ${}\epsilon /2$ an. Daher gibt es ein ${}n_{0}$ mit

$\vert {x_{n}-x}\vert \leq \epsilon /2{\text{ für alle }}n\geq n_{0}.$

Für beliebige ${}n,m\geq n_{0}$ gilt dann aufgrund der Dreiecksungleichung

${}\vert {x_{n}-x_{m}}\vert \leq \vert {x_{n}-x}\vert +\vert {x-x_{m}}\vert \leq \epsilon /2+\epsilon /2=\epsilon \,.$

  Also liegt eine Cauchy-Folge vor.

$\Box$

Lemma

Es sei ${}K$ ein angeordneter Körper. Dann ist eine Folge ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ genau dann eine Cauchy-Folge, wenn folgende Bedingung gilt: Zu jedem ${}\epsilon >0$ gibt es ein ${}n_{0}\in \mathbb {N}$ derart, dass für alle ${}m\geq n_{0}$ die Abschätzung ${}\vert {x_{m}-x_{n_{0}}}\vert \leq \epsilon$ gilt.

Beweis

Eine Cauchy-Folge erfüllt auch die angegebene Bedingung, da man ja ${}n_{0}=n$ setzen kann.
Für die Umkehrung sei ${}\epsilon >0$ vorgegeben. Die Bedingung der Aussage gilt insbesondere für ${}\epsilon /2$, d.h. es gibt ein ${}n_{0}$ derart, dass für jedes ${}m\geq n_{0}$ die Abschätzung

${}\vert {x_{m}-x_{n_{0}}}\vert \leq {\frac {\epsilon }{2}}\,$

gilt. Damit gilt aufgrund der Dreiecksungleichung für beliebige ${}m,n\geq n_{0}$ die Abschätzung

${}\vert {x_{m}-x_{n}}\vert \leq \vert {x_{m}-x_{n_{0}}}\vert +\vert {x_{n_{0}}-x_{n}}\vert \leq {\frac {\epsilon }{2}}+{\frac {\epsilon }{2}}=\epsilon \,,$

sodass eine Cauchy-Folge vorliegt.

$\Box$

Lemma

Eine Dezimalbruchfolge

${}x_{n}={\frac {a_{n}}{10^{n}}}\,$

in einem

archimedisch angeordneten Körper ${}K$

ist eine Cauchy-Folge.

Beweis

Wegen der definierenden Eigenschaft für eine Dezimalbruchfolge

${}{\frac {a_{n}}{10^{n}}}\leq {\frac {a_{n+1}}{10^{n+1}}}<{\frac {a_{n}+1}{10^{n}}}\,$

ist

${}x_{n+1}<x_{n}+{\frac {1}{10^{n}}}\,$

bzw.

${}x_{n+1}-x_{n}<{\frac {1}{10^{n}}}\,.$

Somit gilt für ${}m>n$ die Abschätzung

${}{\begin{aligned}x_{m}-x_{n}&={\left(x_{m+1}-x_{m}\right)}+{\left(x_{m}-x_{m-1}\right)}+\cdots +{\left(x_{n+2}-x_{n+1}\right)}+{\left(x_{n+1}-x_{n}\right)}\\&\leq {\frac {1}{10^{m}}}+{\frac {1}{10^{m-1}}}+\cdots +{\frac {1}{10^{n+1}}}+{\frac {1}{10^{n}}}\\&={\left({\frac {1}{10^{m-n}}}+{\frac {1}{10^{m-n-1}}}+\cdots +{\frac {1}{10}}+1\right)}{\frac {1}{10^{n}}}\\&\leq 2\cdot {\frac {1}{10^{n}}},\end{aligned}}$

wobei wir im letzten Schritt die endliche geometrische Reihe benutzt haben. Dieser Ausdruck wird in einem archimedisch angeordneten Körper beliebig klein.

$\Box$

Dies bedeutet insbesondere, dass jede „Kommazahl“, also jede „unendliche Ziffernfolge“, eine Cauchy-Folge ist.

Lemma

Es sei ${}K$ ein archimedisch angeordneter Körper und ${}c\in K_{+}$. Es sei ${}x_{0}$ ein positiver Startwert und ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ die zugehörige Heron-Folge. Dann gelten folgende Aussagen.

1. Die Heron-Folge ist eine Cauchy-Folge.
2. Wenn es in ${}K$ ein positives Element ${}x$ mit ${}x^{2}=c$ gibt, so konvergiert die Folge gegen dieses Element.
3. Wenn die Folge in ${}K$ gegen ein Element ${}x$ konvergiert, so ist ${}x^{2}=c$.

Beweis

1. Zu ${}m\geq n$ ist nach Fakt  (3) ${}x_{m}\in [{\frac {c}{x_{n}}},x_{n}]$ und somit ist

   ${}\vert {x_{n}-x_{m}}\vert \leq \vert {x_{n}-{\frac {c}{x_{n}}}}\vert \,.$

   Diese Intervalllängen bilden nach Fakt  (4) eine Nullfolge.

2. Nach Fakt  (1) ist

   ${}{\frac {c}{x_{n}}}\leq {\sqrt {c}}\leq x_{n}\,.$

   Somit ist

   ${}0\leq \vert {x_{n}-{\sqrt {c}}}\vert \leq \vert {x_{n}-{\frac {c}{x_{n}}}}\vert \,$

   und rechts steht wieder die Nullfolge. Die Aussage folgt daher aus dem Quetschkriterium.

3. Nach Fakt kann der Grenzwert nicht ${}0$ sein. Nach Fakt  (5) konvergiert daher ${}{\frac {c}{x_{n}}}$ gegen ${}{\frac {c}{x}}$ und somit konvergiert nach Fakt  (1)

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

   (Betrachten der beiden Seiten) gegen

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

   Daraus ergibt sich ${}x^{2}=c$.

$\Box$

Eine Dezimalbruchfolge ist nach Fakt eine Cauchy-Folge. Sie ist auch eine wachsende Folge, die nach oben beschränkt ist. Solche Folgen sind stets Cauchy-Folgen. Insbesondere ergibt sich Fakt erneut aus dem folgenden Lemma.

Lemma

Es sei ${}K$ ein archimedisch angeordneter Körper. Es sei ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ eine wachsende, nach oben beschränkte Folge.

Dann ist ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ eine Cauchy-Folge.

Beweis

Es sei ${}b\in K$ eine obere Schranke, also ${}x_{n}\leq b$ für alle Folgenglieder ${}x_{n}$.  Wir nehmen an, dass ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ keine Cauchy-Folge ist, und verwenden die Charakterisierung aus Fakt. Somit gibt es ein ${}\epsilon >0$ derart, dass es für jedes ${}n_{0}$ ein ${}m>n_{0}$ mit ${}x_{m}-x_{n_{0}}\geq \epsilon$ gibt (wir können die Betragstriche wegen der Monotonie weglassen). Wir können daher induktiv eine wachsende Folge von natürlichen Zahlen definieren durch ${}n_{0}=0$,

$n_{1}>n_{0}{\text{ so, dass }}x_{n_{1}}-x_{n_{0}}\geq \epsilon ,$

$n_{2}>n_{1}{\text{ so, dass }}x_{n_{2}}-x_{n_{1}}\geq \epsilon ,$

etc. Andererseits gibt es aufgrund des Archimedesaxioms ein ${}k\in \mathbb {N}$ mit ${}k\epsilon >b-x_{0}$. Die Summe der ersten ${}k$ Differenzen der Teilfolge ${}x_{n_{j}}$, ${}j\in \mathbb {N}$, ergibt

${}{\begin{aligned}x_{n_{k}}-x_{0}&=(x_{n_{k}}-x_{n_{k-1}})+(x_{n_{k-1}}-x_{n_{k-2}})+\cdots +(x_{n_{2}}-x_{n_{1}})+(x_{n_{1}}-x_{n_{0}})\\&\geq k\epsilon \\&>b-x_{0}.\end{aligned}}$

  Dies impliziert ${}x_{n_{k}}>b$ im Widerspruch zur Voraussetzung, dass ${}b$ eine obere Schranke der Folge ist.

$\Box$

Lemma

Eine Cauchy-Folge in einem angeordneten Körper ${}K$

ist beschränkt.

Beweis

Siehe Aufgabe.

$\Box$

Lemma

Es sei ${}K$ ein angeordneter Körper. Es seien ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ und ${}{\left(y_{n}\right)}_{n\in \mathbb {N} }$ Cauchy-Folgen in ${}K$.

Dann sind auch die Summe und das Produkt der beiden Folgen wieder eine Cauchy-Folge.

Beweis

Zum Beweis der Summeneigenschaft sei ${}\epsilon >0$ vorgegeben. Aufgrund der Cauchy-Eigenschaft gibt es natürliche Zahlen ${}N_{1}$ und ${}N_{2}$ mit

$\vert {x_{m}-x_{n}}\vert \leq {\frac {\epsilon }{2}}{\text{ für }}m,n\geq N_{1}{\text{ und }}\vert {y_{m}-y_{n}}\vert \leq {\frac {\epsilon }{2}}{\text{ für }}m,n\geq N_{2}.$

Diese Abschätzungen gelten dann auch für

${}m,n\geq N:=\max\{N_{1},N_{2}\}\,.$

Für diese Indizes gilt somit

${}{\begin{aligned}\vert {x_{m}+y_{m}-(x_{n}+y_{n})}\vert &=\vert {x_{m}-x_{n}+y_{m}-y_{n}}\vert \\&\leq \vert {x_{m}-x_{n}}\vert +\vert {y_{m}-y_{n}}\vert \\&\leq {\frac {\epsilon }{2}}+{\frac {\epsilon }{2}}\\&=\epsilon .\end{aligned}}$

Zum Beweis der Produkteigenschaft sei ${}\epsilon >0$ vorgegeben. Die beiden Cauchy-Folgen sind nach Fakt insbesondere beschränkt und daher existiert ein ${}D>0$ mit

${}\vert {x_{n}}\vert ,\vert {y_{n}}\vert \leq D\,$

für alle ${}n\in \mathbb {N}$. Aufgrund der Cauchy-Eigenschaft gibt es natürliche Zahlen ${}N_{1}$ und ${}N_{2}$ mit

$\vert {x_{m}-x_{n}}\vert \leq {\frac {\epsilon }{2D}}{\text{ für }}m,n\geq N_{1}{\text{ und }}\vert {y_{m}-y_{n}}\vert \leq {\frac {\epsilon }{2D}}{\text{ für }}m,n\geq N_{2}.$

Diese Abschätzungen gelten dann auch für ${}m,n\geq N:=\max\{N_{1},N_{2}\}$. Für diese Indizes gilt daher

${}{\begin{aligned}\vert {x_{m}y_{m}-x_{n}y_{n}}\vert &=\vert {x_{m}y_{m}-x_{m}y_{n}+x_{m}y_{n}-x_{n}y_{n}}\vert \\&\leq \vert {x_{m}y_{m}-x_{m}y_{n}}\vert +\vert {x_{m}y_{n}-x_{n}y_{n}}\vert \\&=\vert {x_{m}}\vert \vert {y_{m}-y_{n}}\vert +\vert {y_{n}}\vert \vert {x_{m}-x_{n}}\vert \\&\leq D{\frac {\epsilon }{2D}}+D{\frac {\epsilon }{2D}}\\&=\epsilon .\end{aligned}}$

$\Box$

Wenn eine Folge in ${}K$ konvergiert, so ist der Grenzwert ${}0$ oder positiv oder negativ. Wenn der Grenzwert positiv ist, so können zwar am Anfang der Folge auch negative Folgeglieder auftreten, ab einem bestimmten ${}n_{0}$ müssen aber alle Folgenglieder positiv sein, und zwar mindestens so groß wie die Hälfte des Grenzwertes. Eine entsprechende Einteilung gilt auch für Cauchy-Folgen, wie das folgende Lemma zeigt, das grundlegend für die (später einzuführende) Ordnung auf den reellen Zahlen ist.

Lemma

Es sei ${}K$ ein angeordneter Körper und es sei ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ eine Cauchy-Folge in ${}K$. Dann gibt es die drei folgenden Alternativen.

1. Die Folge ist eine Nullfolge.
2. Es gibt eine positive Zahl ${}\delta$ derart, dass ab einem gewissen ${}n_{0}$ die Abschätzung

   ${}x_{n}\geq \delta \,$

   für alle ${}n\geq n_{0}$ gilt.

3. Es gibt eine positive Zahl ${}\delta$ derart, dass ab einem gewissen ${}n_{0}$ die Abschätzung

   ${}x_{n}\leq -\delta \,$

   für alle ${}n\geq n_{0}$ gilt.

Beweis

Es sei die Folge keine Nullfolge. Dann gibt es ein ${}\epsilon >0$ derart, dass es unendlich viele Folgenglieder mit

${}\vert {x_{n}}\vert >\epsilon \,$

gibt. Dann gibt es auch unendlich viele Folgenglieder mit

${}x_{n}>\epsilon \,$

oder mit

${}x_{n}<-\epsilon \,.$

Nehmen wir das erste an. Wegen der Cauchy-Eigenschaft für ${}{\frac {\epsilon }{2}}$ gibt es ein ${}n_{0}$ derart, dass

${}\vert {x_{m}-x_{n}}\vert \leq {\frac {\epsilon }{2}}\,$

für alle ${}m,n\geq n_{0}$ gilt. Wenn man die beiden Aussagen verbindet, so gilt für ${}m\geq n_{0}$ und einem ${}x_{n}$ mit

${}x_{n}>\epsilon \,$

unter Verwendung von Fakt  (8) die Abschätzung

${}x_{m}=x_{n}+x_{m}-x_{n}\geq x_{n}-\vert {x_{m}-x_{n}}\vert \geq \epsilon -{\frac {\epsilon }{2}}={\frac {\epsilon }{2}}\,.$

Dieses wählen wir als ${}\delta$.

$\Box$

Lemma

Es sei ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ eine Cauchy-Folge in einem angeordneten Körper mit der Eigenschaft, dass es ein ${}a>0$ und ein ${}n_{0}$ derart gibt, dass für alle ${}n\geq n_{0}$ die Abschätzung

${}x_{n}\geq a\,$

gilt.

Dann ist auch die durch (für ${}n$ hinreichend groß)

${}y_{n}={\left(x_{n}\right)}^{-1}\,$

gegebene inverse Folge eine Cauchy-Folge.

Beweis

Sei ${}\epsilon >0$ vorgegeben. Wegen der Cauchy-Eigenschaft von ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ gibt es ein ${}n_{1}$ mit

${}\vert {x_{m}-x_{n}}\vert \leq \epsilon a^{2}\,$

für alle ${}m,n\geq n_{1}$. Dann gilt für alle ${}m,n\geq N:=\operatorname {max} \{n_{0},n_{1}\}$ die Abschätzung

${}{\begin{aligned}\vert {y_{m}-y_{n}}\vert &=\vert {{\frac {1}{x_{m}}}-{\frac {1}{x_{n}}}}\vert \\&=\vert {\frac {x_{n}-x_{m}}{x_{m}x_{n}}}\vert \\&={\frac {1}{\vert {x_{m}}\vert \cdot \vert {x_{n}}\vert }}\vert {x_{m}-x_{n}}\vert \\&\leq {\frac {1}{a^{2}}}\cdot \epsilon a^{2}\\&=\epsilon .\end{aligned}}$

$\Box$