Kurs:Grundkurs Mathematik (Osnabrück 2022-2023)/Teil II/Vorlesung 46/latex
\setcounter{section}{46}
\zwischenueberschrift{Die Konstruktion der reellen Zahlen}
Wir besprechen nun eine Konstruktion der reellen Zahlen. Die Idee der Konstruktion ist von der Zielsetzung her bestimmt: In $\R$ soll jede Cauchy-Folge und insbesondere jede rationale Cauchy-Folge konvergieren. Von daher startet man mit der Menge aller rationalen Cauchy-Folgen und überlegt dann, welche von ihnen den gleichen Grenzwert haben müssen, falls er existiert. Beispielsweise ergibt das Heron-Verfahren zu unterschiedlichen Startwerten unterschiedliche Folgen, die aber die gleiche Wurzel, also die gleiche Lücke adressieren, und die somit identifiziert werden müssen.
Wir konstruieren, ausgehend von den rationalen Zahlen $\Q$, einen vollständigen archimedisch angeordneten Körper, also ein Modell für den Körper der reellen Zahlen. Die Konstruktion ist mengentheoretisch und begrifflich ziemlich aufwändig. Sie setzt einen sicheren Umgang mit Äquivalenzrelationen, Restklassenbildung und Folgen voraus.
Es sei
\mavergleichskettedisp
{\vergleichskette
{C
}
{ =} { { \left\{ { \left( x_n \right) }_{n \in \N } \mid \text{Cauchy-Folge in } \Q \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
also die Menge aller
\definitionsverweis {Cauchy-Folgen}{}{}
mit rationalen Gliedern. Dies ist eine riesige und erst mal unübersichtliche Menge. Sie enthält die Menge $\Q$, indem wir jeder rationalen Zahl $x$ die konstante Folge zuordnen, für die jedes Folgenglied gleich $x$ ist. Eine konstante Folge ist trivialerweise eine Cauchy-Folge.
\inputfaktbeweis
{Cauchy-Folgen/Q/Kommutativer Ring/Fakt}
{Lemma}
{}
{
\faktsituation {Die Menge $C$ der rationalen
\definitionsverweis {Cauchy-Folgen}{}{}
bildet mit der gliedweisen Addition und Multiplikation}
\faktfolgerung {einen kommutativen Ring.}
\faktzusatz {}
\faktzusatz {}
}
{
Das Nullelement ist die konstante Nullfolge und das Einselement ist die konstante Einsfolge. Die Ringeigenschaften begründet man zuerst innerhalb der Menge aller rationalen Folgen. Da Addition und Multiplikation gliedweise ausgeführt werden, folgt die Assoziativität, die Kommutativität und die Distributivität der Verknüpfungen und die Eigenschaften der neutralen Elemente direkt aus den entsprechenden Eigenschaften von $\Q$. Das Negative zu einer Folge ist die gliedweise negierte Folge. Die Abgeschlossenheit der Menge der Cauchy-Folgen unter Addition und Multiplikation folgt direkt aus Lemma 45.9, ebenso, dass die negierte Folge wieder eine Cauchy-Folge ist.
Eine rationale Nullfolge konvergiert nach Definition in $\Q$ gegen $0$, und das soll auch in $\R$ so sein. Insbesondere gibt es eine Vielzahl von Cauchy-Folgen, die gegen die gleiche Zahl konvergieren. Die Addition einer Nullfolge zu einer Folge ändert das Konvergenzverhalten und den Grenzwert, falls er existiert, nicht.
Das Produkt einer Nullfolge mit einer beliebigen Folge ist im Allgemeinen nicht wieder eine Nullfolge. Beispielsweise ist die Folge der Stammbrüche
\mavergleichskette
{\vergleichskette
{ x_n
}
{ = }{ { \frac{ 1 }{ n } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine Nullfolge
\zusatzklammer {in jedem archimedisch angeordneten Körper} {} {,}
wenn man sie aber mit der Folge der natürlichen Zahlen, also
\mavergleichskette
{\vergleichskette
{y_n
}
{ = }{n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
multipliziert, so erhält man die konstante Einsfolge, die keine Nullfolge ist. Innerhalb des Ringes der Cauchy-Folgen kann man aber Nullfolgen mit beliebigen Cauchy-Folgen multiplizieren und erhält wieder eine Nullfolge.
\inputfaktbeweis
{Cauchy-Folgen/Q/Kommutativer Ring/Nullfolgenideal/Fakt}
{Lemma}
{}
{
\faktsituation {Im Ring $C$ der rationalen
\definitionsverweis {Cauchy-Folgen}{}{}
bildet die Menge der
\definitionsverweis {Nullfolgen}{}{}}
\faktfolgerung {ein
\definitionsverweis {Ideal}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Die Summe von zwei Nullfolgen ist nach
Lemma 44.12 (1)
wieder eine Nullfolge. Es sei nun
\mathl{{ \left( x_n \right) }_{n \in \N }}{} eine Nullfolge und
\mathl{{ \left( y_n \right) }_{n \in \N } \in C}{} eine beliebige Folge aus $C$, also eine Cauchy-Folge. Nach
Lemma 45.8
ist somit
\mathl{{ \left( y_n \right) }_{n \in \N }}{}
\definitionsverweis {beschränkt}{}{}
und daher ist nach
Lemma 44.10
das Produkt
\mathl{{ \left( y_n \right) }_{n \in \N } \cdot { \left( x_n \right) }_{n \in \N }}{} wieder eine Nullfolge.
\inputbemerkung
{}
{
Im Cauchy-Folgenring $C$ ist die durch das Nullfolgenideal gegebene Äquivalenzrelation einfach zu verstehen. Zwei Cauchy-Folgen
\mathkor {} {{ \left( x_n \right) }_{n \in \N }} {und} {{ \left( y_n \right) }_{n \in \N }} {}
sind äquivalent, wenn ihre Differenzfolge, also die durch
\mavergleichskettedisp
{\vergleichskette
{z_n
}
{ \defeq} { x_n -y_n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gegebene Folge, eine Nullfolge ist. Insbesondere sind alle Nullfolgen zur konstanten Nullfolge äquivalent. Wenn man an die Vorstellung denkt, dass eine Cauchy-Folge eine Lücke innerhalb der rationalen Zahlen entdeckt oder lokalisiert, so bedeutet die Äquivalenz von zwei Cauchy-Folgen, dass sie die gleiche Lücke lokalisieren. Man kann also erkennen, ob zwei Cauchy-Folgen die gleiche Lücke adressieren, auch wenn man die Lücke gar nicht kennt.
}
Wir definieren nun die
\definitionsverweis {Quotientenmenge}{}{}
unter dieser Äquivalenzrelation, also den Restklassenring nach dem von den Nullfolgen erzeugten Ideal, als Menge der reellen Zahlen, also
\mavergleichskettedisp
{\vergleichskette
{\R
}
{ \defeq} { C/ \sim
}
{ =} { C/N
}
{ } {
}
{ } {
}
}
{}{}{.}
Wir sprechen vom \stichwort {Cauchy-Folgen-Modell} {} für die reellen Zahlen.
\inputdefinition
{}
{
Der
\definitionsverweis {Restklassenring}{}{}
\mathl{C/N}{} des Ringes $C$ der rationalen
\definitionsverweis {Cauchy-Folgen}{}{}
modulo des Ideals $N$ der Nullfolgen heißt
\definitionswort {Cauchy-Folgen-Modell}{}
der reellen Zahlen.
}
Unter der Identifzierungsabbildung
\maabbdisp {} {C} { C/ \sim = C/N
} {}
werden also alle Nullfolgen zu $0$ gemacht, und zwei rationale Folgen werden miteinander identifiziert, wenn ihre Differenz eine Nullfolge ist. Wir schreiben die zugehörigen Äquivalenzklassen als
\mathl{[{ \left( x_n \right) }_{n \in \N }]}{.} Man kann jede Folge durch eine nullfolgenäquivalente Folge ersetzen, ohne den Wert der Restklasse zu ändern. Insbesondere kann man eine Cauchy-Folge an endlich vielen Gliedern abändern, ohne die Äquivalenzklasse zu ändern. Man kann sogar jede Klasse durch eine Dezimalbruchfolge repräsentieren und dadurch eine \anfuehrung{schnellere Konvergenz}{} erreichen und für unterschiedliche Klassen sicherstellen, dass ihr Konvergenzverhalten simultan ist.
\inputfaktbeweis
{Reelle Zahlen/Rationale Cauchy-Folgen/Kommutativer Ring/Fakt}
{Lemma}
{}
{
\faktsituation {}
\faktfolgerung {Das
\definitionsverweis {Cauchy-Folgen-Modell}{}{}
der reellen Zahlen ist ein
\definitionsverweis {kommutativer Ring}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Dies folgt unmittelbar aus Lemma 41.9.
Auf der Quotientenmenge sind also die Verknüpfungen durch
\mathdisp {[{ \left( x_n \right) }_{n \in \N }] +[{ \left( y_n \right) }_{n \in \N }] := [{ \left( x_n+y_n \right) }_{ n \in \N }] \text{ und } [{ \left( x_n \right) }_{n \in \N }] \cdot [{ \left( y_n \right) }_{n \in \N }] := [{ \left( x_n \cdot y_n \right) }_{ n \in \N }]} { }
gegeben. Deutlich aufwändiger ist es zu zeigen, dass unser konstruiertes Modell ein Körper ist. Die zusätzliche Eigenschaft ist, dass jedes von $0$ verschiedene Element ein inverses Element besitzt. Die entscheidenden Vorbereitungen haben wir aber schon in
Lemma 45.10
gemacht.
\inputfaktbeweis
{Reelle Zahlen/Rationale Cauchy-Folgen/Körper/Fakt}
{Lemma}
{}
{
\faktsituation {}
\faktfolgerung {Das
\definitionsverweis {Cauchy-Folgen-Modell}{}{}
der reellen Zahlen ist ein
\definitionsverweis {Körper}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Dass ein kommutativer Ring vorliegt, wurde schon in
Lemma 46.5
vermerkt. Wir müssen also noch zeigen, dass ein von $0$ verschiedenes Element
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ \R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein inverses Element besitzt. Es sei
\mavergleichskette
{\vergleichskette
{ { \left( x_n \right) }_{n \in \N }
}
{ \in }{ C
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine Cauchy-Folge, die dieses $x$ repräsentiert. Diese Folge ist keine Nullfolge, da ja alle Nullfolgen unter der Restklassenabbildung auf das Nullelement abgebildet werden. Nach
Lemma 45.10
gilt somit eine der dort angegebenen Alternativen, d.h. es gibt ein
\mavergleichskette
{\vergleichskette
{ \delta
}
{ \in }{ K_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und ein $n_0$ mit der Eigenschaft, dass für
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{n_0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
alle Folgenglieder entweder oberhalb von $\delta$ oder aber unterhalb von $- \delta$ liegen. Betrachten wir den ersten Fall, wobei wir durch Abändern der ersten $n_0$ Folgenglieder, was die Äquivalenzklasse nicht ändert, annehmen können, dass alle Folgenglieder oberhalb von $\delta$ liegen. Nach
Lemma 45.11
ist dann die durch
\mavergleichskettedisp
{\vergleichskette
{ y_n
}
{ =} { { \left( x_n \right) }^{-1}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gegebene inverse Folge ebenfalls eine Cauchy-Folge. Wegen
\mavergleichskettedisp
{\vergleichskette
{y_n x_n
}
{ =} {1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{ n
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist auch
\mavergleichskettedisp
{\vergleichskette
{[ { \left( y_n \right) }_{n \in \N } ] \cdot [ { \left( x_n \right) }_{n \in \N } ]
}
{ =} { [1]
}
{ =} {1
}
{ } {
}
{ } {
}
}
{}{}{,}
und somit ist eine inverse Klasse gefunden.
Ausgehend von der in
Lemma 45.10
formulierten Alternative: die rationale Cauchy-Folge
\mathl{{ \left( x_n \right) }_{n \in \N }}{} ist eine Nullfolge, oder es gibt ein
\mavergleichskette
{\vergleichskette
{ \delta
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{x_n
}
{ \geq }{ \delta
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für fast alle\zusatzfussnote {Das bedeutet für alle bis auf endlich viele} {.} {}
\mavergleichskette
{\vergleichskette
{ n
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
oder mit
\mavergleichskette
{\vergleichskette
{x_n
}
{ \leq }{ -\delta
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für fast alle
\mavergleichskette
{\vergleichskette
{ n
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
kann man $\R$ in $0$, in positive und in negative Zahlen einteilen und somit eine
\zusatzklammer {totale} {} {}
\definitionsverweis {Ordnungsrelation}{}{}
darauf definieren.
\inputfaktbeweis
{Reelle Zahlen/Rationale Cauchy-Folgen/Archimedisch angeordneter Körper/Fakt}
{Lemma}
{}
{
\faktsituation {}
\faktfolgerung {Das
\definitionsverweis {Cauchy-Folgen-Modell}{}{}
der reellen Zahlen ist ein
\definitionsverweis {archimedisch angeordneter Körper}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Die in
Lemma 45.10
beschriebenen Alternativen hängen nach
Aufgabe 45.19
nur von der Äquivalenzklasse ab. Daher ergibt sich durch das Lemma eine Zerlegung
\zusatzklammer {des Cauchy-Folgen-Modells} {} {}
der reellen Zahlen in die $0$, in positive und in negative Zahlen. Dabei sind die positiven Zahlen unter Addition und unter Multiplikation abgeschlossen, d.h. es liegt wegen
Aufgabe 24.21
ein angeordneter Körper vor. Es sei ein
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gegeben, das durch eine rationale Cauchy-Folge
\mathl{{ \left( x_n \right) }_{n \in \N }}{} repräsentiert werde. Nach
Lemma 45.8
ist die Folge beschränkt und es gibt insbesondere eine natürliche Zahl $b$ mit
\mavergleichskettedisp
{\vergleichskette
{x_n
}
{ \leq} {b
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für alle $n$. Damit gilt auch für die Restklassen
\mavergleichskettedisp
{\vergleichskette
{ x
}
{ =} { [ { \left( x_n \right) }_{n \in \N } ]
}
{ \leq} { [b]
}
{ =} {b
}
{ } {
}
}
{}{}{,}
was bedeutet, dass $\R$ archimedisch angeordnet ist.
Die Vollständigkeit der reellen Zahlen wird in zwei Schritten bewiesen. Zuerst wird gezeigt, dass die rationalen Cauchy-Folgen, mit denen wir gestartet sind, aufgefasst in $\R$, gegen ihre Klasse konvergiert, und dann, dass überhaupt jede reelle Cauchy-Folge konvergiert.
\inputfaktbeweis
{Reelle Zahlen/Rationale Cauchy-Folgen/Konvergenz der Repräsentanten/Fakt}
{Lemma}
{}
{
\faktsituation {}
\faktvoraussetzung {Eine rationale
\definitionsverweis {Cauchy-Folge}{}{}
\mathl{{ \left( x_n \right) }_{n \in \N }}{}}
\faktfolgerung {\definitionsverweis {konvergiert}{}{}
im
\definitionsverweis {Cauchy-Folgen-Modell}{}{}
gegen die Äquivalenzklasse
\mathl{[ { \left( x_n \right) }_{n \in \N } ]}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Da die $x_n$ rationale Zahlen sind, können wir sie direkt
\zusatzklammer {als konstante Folgen} {} {}
als Elemente in $\R$ auffassen. Wir schreiben
\mavergleichskettedisp
{\vergleichskette
{x
}
{ \defeq} {[ { \left( x_n \right) }_{n \in \N } ]
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Die Differenz
\mathl{x-x_m}{} von $x$ zum Folgenglied $x_m$
\zusatzklammer {in $\R$} {} {}
ist gleich der Klasse
\mathl{[ (x_n-x_m)_{n \in \N}]}{.} Sei
\mathbed {{ \frac{ 1 }{ k } }} {}
{k \in \N_+} {}
{} {} {} {,}
vorgegeben. Aufgrund der Cauchy-Eigenschaft gibt es ein $n_0$ derart, dass für alle
\mavergleichskettedisp
{\vergleichskette
{m,n
}
{ \geq} {n_0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die Abschätzungen
\mavergleichskettedisp
{\vergleichskette
{ - { \frac{ 1 }{ k } }
}
{ \leq} { x_n-x_m
}
{ \leq} { { \frac{ 1 }{ k } }
}
{ } {
}
{ } {
}
}
{}{}{}
gelten. Für
\mavergleichskette
{\vergleichskette
{m
}
{ \geq }{n_0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist damit auch die Differenzklasse
\mathl{[ (x_n-x_m )_{n \in \N} ]}{} zwischen
\mathkor {} {- { \frac{ 1 }{ k } }} {und} {{ \frac{ 1 }{ k } }} {.}
Somit ist
\mavergleichskettedisp
{\vergleichskette
{ - { \frac{ 1 }{ k } }
}
{ \leq} { x-x_m
}
{ \leq} {{ \frac{ 1 }{ k } }
}
{ } {
}
{ } {
}
}
{}{}{}
für
\mavergleichskette
{\vergleichskette
{ m
}
{ \geq }{n_0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
was die Konvergenz bedeutet.
Die folgende Tabelle gibt die Beweisidee des folgenden Satzes an.
%Daten für folgende Tabelle
\renewcommand{\leitzeilenull}{ }
\renewcommand{\leitzeileeins}{ }
\renewcommand{\leitzeilezwei}{ }
\renewcommand{\leitzeiledrei}{ }
\renewcommand{\leitzeilevier}{ }
\renewcommand{\leitzeilefuenf}{ Grenzwert }
\renewcommand{\leitzeilesechs}{ }
\renewcommand{\leitzeilesieben}{ }
\renewcommand{\leitzeileacht}{ }
\renewcommand{\leitzeileneun}{ }
\renewcommand{\leitzeilezehn}{ }
\renewcommand{\leitzeileelf}{ }
\renewcommand{\leitzeilezwoelf}{ }
\renewcommand{\leitspaltenull}{ }
\renewcommand{\leitspalteeins}{ Erste Folge }
\renewcommand{\leitspaltezwei}{ Zweite Folge }
\renewcommand{\leitspaltedrei}{ Dritte Folge }
\renewcommand{\leitspaltevier}{ }
\renewcommand{\leitspaltefuenf}{ }
\renewcommand{\leitspaltesechs}{ }
\renewcommand{\leitspaltesieben}{ }
\renewcommand{\leitspalteacht}{ }
\renewcommand{\leitspalteneun}{ }
\renewcommand{\leitspaltezehn}{ }
\renewcommand{\leitspalteelf}{ }
\renewcommand{\leitspaltezwoelf}{ }
\renewcommand{\leitspaltedreizehn}{ }
\renewcommand{\leitspaltevierzehn}{ }
\renewcommand{\leitspaltefuenfzehn}{ }
\renewcommand{\leitspaltesechzehn}{ }
\renewcommand{\leitspaltesiebzehn}{ }
\renewcommand{\leitspalteachtzehn}{ }
\renewcommand{\leitspalteneunzehn}{ }
\renewcommand{\leitspaltezwanzig}{ }
\renewcommand{\aeinsxeins}{ x_{ 11} }
\renewcommand{\aeinsxzwei}{ x_{ 12} }
\renewcommand{\aeinsxdrei}{ x_{ 13} }
\renewcommand{\aeinsxvier}{ \rightarrow }
\renewcommand{\aeinsxfuenf}{ z_1 }
\renewcommand{\aeinsxsechs}{ }
\renewcommand{\aeinsxsieben}{ }
\renewcommand{\aeinsxacht}{ }
\renewcommand{\aeinsxneun}{ }
\renewcommand{\aeinsxzehn}{ }
\renewcommand{\aeinsxelf}{ }
\renewcommand{\aeinsxzwoelf}{ }
\renewcommand{\azweixeins}{ x_{ 21} }
\renewcommand{\azweixzwei}{ x_{ 22} }
\renewcommand{\azweixdrei}{ x_{ 23} }
\renewcommand{\azweixvier}{ \rightarrow }
\renewcommand{\azweixfuenf}{ z_2 }
\renewcommand{\azweixsechs}{ }
\renewcommand{\azweixsieben}{ }
\renewcommand{\azweixacht}{ }
\renewcommand{\azweixneun}{ }
\renewcommand{\azweixzehn}{ }
\renewcommand{\azweixelf}{ }
\renewcommand{\azweixzwoelf}{ }
\renewcommand{\adreixeins}{ x_{ 31} }
\renewcommand{\adreixzwei}{ x_{ 32} }
\renewcommand{\adreixdrei}{ x_{ 33} }
\renewcommand{\adreixvier}{ \rightarrow }
\renewcommand{\adreixfuenf}{ z_3 }
\renewcommand{\adreixsechs}{ }
\renewcommand{\adreixsieben}{ }
\renewcommand{\adreixacht}{ }
\renewcommand{\adreixneun}{ }
\renewcommand{\adreixzehn}{ }
\renewcommand{\adreixelf}{ }
\renewcommand{\adreixzwoelf}{ }
\renewcommand{\avierxeins}{ \, }
\renewcommand{\avierxzwei}{ \, }
\renewcommand{\avierxdrei}{ \, }
\renewcommand{\avierxvier}{ \searrow }
\renewcommand{\avierxfuenf}{ \downarrow }
\renewcommand{\avierxsechs}{ }
\renewcommand{\avierxsieben}{ }
\renewcommand{\avierxacht}{ }
\renewcommand{\avierxneun}{ }
\renewcommand{\avierxzehn}{ }
\renewcommand{\avierxelf}{ }
\renewcommand{\avierxzwoelf}{ }
\renewcommand{\afuenfxeins}{ \, }
\renewcommand{\afuenfxzwei}{ \, }
\renewcommand{\afuenfxdrei}{ \, }
\renewcommand{\afuenfxvier}{ \, }
\renewcommand{\afuenfxfuenf}{ y }
\renewcommand{\afuenfxsechs}{ }
\renewcommand{\afuenfxsieben}{ }
\renewcommand{\afuenfxacht}{ }
\renewcommand{\afuenfxneun}{ }
\renewcommand{\afuenfxzehn}{ }
\renewcommand{\afuenfxelf}{ }
\renewcommand{\afuenfxzwoelf}{ }
\renewcommand{\asechsxeins}{ }
\renewcommand{\asechsxzwei}{ }
\renewcommand{\asechsxdrei}{ }
\renewcommand{\asechsxvier}{ }
\renewcommand{\asechsxfuenf}{ }
\renewcommand{\asechsxsechs}{ }
\renewcommand{\asechsxsieben}{ }
\renewcommand{\asechsxacht}{ }
\renewcommand{\asechsxneun}{ }
\renewcommand{\asechsxzehn}{ }
\renewcommand{\asechsxelf}{ }
\renewcommand{\asechsxzwoelf}{ }
\renewcommand{\asiebenxeins}{ }
\renewcommand{\asiebenxzwei}{ }
\renewcommand{\asiebenxdrei}{ }
\renewcommand{\asiebenxvier}{ }
\renewcommand{\asiebenxfuenf}{ }
\renewcommand{\asiebenxsechs}{ }
\renewcommand{\asiebenxsieben}{ }
\renewcommand{\asiebenxacht}{ }
\renewcommand{\asiebenxneun}{ }
\renewcommand{\asiebenxzehn}{ }
\renewcommand{\asiebenxelf}{ }
\renewcommand{\asiebenxzwoelf}{ }
\renewcommand{\aachtxeins}{ }
\renewcommand{\aachtxzwei}{ }
\renewcommand{\aachtxdrei}{ }
\renewcommand{\aachtxvier}{ }
\renewcommand{\aachtxfuenf}{ }
\renewcommand{\aachtxsechs}{ }
\renewcommand{\aachtxsieben}{ }
\renewcommand{\aachtxacht}{ }
\renewcommand{\aachtxneun}{ }
\renewcommand{\aachtxzehn}{ }
\renewcommand{\aachtxelf}{ }
\renewcommand{\aachtxzwoelf}{ }
\renewcommand{\aneunxeins}{ }
\renewcommand{\aneunxzwei}{ }
\renewcommand{\aneunxdrei}{ }
\renewcommand{\aneunxvier}{ }
\renewcommand{\aneunxfuenf}{ }
\renewcommand{\aneunxsechs}{ }
\renewcommand{\aneunxsieben}{ }
\renewcommand{\aneunxacht}{ }
\renewcommand{\aneunxneun}{ }
\renewcommand{\aneunxzehn}{ }
\renewcommand{\aneunxelf}{ }
\renewcommand{\aneunxzwoelf}{ }
\renewcommand{\azehnxeins}{ }
\renewcommand{\azehnxzwei}{ }
\renewcommand{\azehnxdrei}{ }
\renewcommand{\azehnxvier}{ }
\renewcommand{\azehnxfuenf}{ }
\renewcommand{\azehnxsechs}{ }
\renewcommand{\azehnxsieben}{ }
\renewcommand{\azehnxacht}{ }
\renewcommand{\azehnxneun}{ }
\renewcommand{\azehnxzehn}{ }
\renewcommand{\azehnxelf}{ }
\renewcommand{\azehnxzwoelf}{ }
\renewcommand{\aelfxeins}{ }
\renewcommand{\aelfxzwei}{ }
\renewcommand{\aelfxdrei}{ }
\renewcommand{\aelfxvier}{ }
\renewcommand{\aelfxfuenf}{ }
\renewcommand{\aelfxsechs}{ }
\renewcommand{\aelfxsieben}{ }
\renewcommand{\aelfxacht}{ }
\renewcommand{\aelfxneun}{ }
\renewcommand{\aelfxzehn}{ }
\renewcommand{\aelfxelf}{ }
\renewcommand{\aelfxzwoelf}{ }
\renewcommand{\azwoelfxeins}{ }
\renewcommand{\azwoelfxzwei}{ }
\renewcommand{\azwoelfxdrei}{ }
\renewcommand{\azwoelfxvier}{ }
\renewcommand{\azwoelfxfuenf}{ }
\renewcommand{\azwoelfxsechs}{ }
\renewcommand{\azwoelfxsieben}{ }
\renewcommand{\azwoelfxacht}{ }
\renewcommand{\azwoelfxneun}{ }
\renewcommand{\azwoelfxzehn}{ }
\renewcommand{\azwoelfxelf}{ }
\renewcommand{\azwoelfxzwoelf}{ }
\renewcommand{\adreizehnxeins}{ }
\renewcommand{\adreizehnxzwei}{ }
\renewcommand{\adreizehnxdrei}{ }
\renewcommand{\adreizehnxvier}{ }
\renewcommand{\adreizehnxfuenf}{ }
\renewcommand{\adreizehnxsechs}{ }
\renewcommand{\adreizehnxsieben}{ }
\renewcommand{\adreizehnxacht}{ }
\renewcommand{\adreizehnxneun}{ }
\renewcommand{\adreizehnxzehn}{ }
\renewcommand{\adreizehnxelf}{ }
\renewcommand{\adreizehnxzwoelf}{ }
\renewcommand{\avierzehnxeins}{ }
\renewcommand{\avierzehnxzwei}{ }
\renewcommand{\avierzehnxdrei}{ }
\renewcommand{\avierzehnxvier}{ }
\renewcommand{\avierzehnxfuenf}{ }
\renewcommand{\avierzehnxsechs}{ }
\renewcommand{\avierzehnxsieben}{ }
\renewcommand{\avierzehnxacht}{ }
\renewcommand{\avierzehnxneun}{ }
\renewcommand{\avierzehnxzehn}{ }
\renewcommand{\avierzehnxelf}{ }
\renewcommand{\avierzehnxzwoelf}{ }
\renewcommand{\afuenfzehnxeins}{ }
\renewcommand{\afuenfzehnxzwei}{ }
\renewcommand{\afuenfzehnxdrei}{ }
\renewcommand{\afuenfzehnxvier}{ }
\renewcommand{\afuenfzehnxfuenf}{ }
\renewcommand{\afuenfzehnxsechs}{ }
\renewcommand{\afuenfzehnxsieben}{ }
\renewcommand{\afuenfzehnxacht}{ }
\renewcommand{\afuenfzehnxneun}{ }
\renewcommand{\afuenfzehnxzehn}{ }
\renewcommand{\afuenfzehnxelf}{ }
\renewcommand{\afuenfzehnxzwoelf}{ }
\renewcommand{\asechzehnxeins}{ }
\renewcommand{\asechzehnxzwei}{ }
\renewcommand{\asechzehnxdrei}{ }
\renewcommand{\asechzehnxvier}{ }
\renewcommand{\asechzehnxfuenf}{ }
\renewcommand{\asechzehnxsechs}{ }
\renewcommand{\asechzehnxsieben}{ }
\renewcommand{\asechzehnxacht}{ }
\renewcommand{\asechzehnxneun}{ }
\renewcommand{\asechzehnxzehn}{ }
\renewcommand{\asechzehnxelf}{ }
\renewcommand{\asechzehnxzwoelf}{ }
\renewcommand{\asiebzehnxeins}{ }
\renewcommand{\asiebzehnxzwei}{ }
\renewcommand{\asiebzehnxdrei}{ }
\renewcommand{\asiebzehnxvier}{ }
\renewcommand{\asiebzehnxfuenf}{ }
\renewcommand{\asiebzehnxsechs}{ }
\renewcommand{\asiebzehnxsieben}{ }
\renewcommand{\asiebzehnxacht}{ }
\renewcommand{\asiebzehnxneun}{ }
\renewcommand{\asiebzehnxzehn}{ }
\renewcommand{\asiebzehnxelf}{ }
\renewcommand{\asiebzehnxzwoelf}{ }
\renewcommand{\aachtzehnxeins}{ }
\renewcommand{\aachtzehnxzwei}{ }
\renewcommand{\aachtzehnxdrei}{ }
\renewcommand{\aachtzehnxvier}{ }
\renewcommand{\aachtzehnxfuenf}{ }
\renewcommand{\aachtzehnxsechs}{ }
\renewcommand{\aachtzehnxsieben}{ }
\renewcommand{\aachtzehnxacht}{ }
\renewcommand{\aachtzehnxneun}{ }
\renewcommand{\aachtzehnxzehn}{ }
\renewcommand{\aachtzehnxelf}{ }
\renewcommand{\aachtzehnxzwoelf}{ }
\tabelleleitfuenfxfuenf
\inputfaktbeweis
{Reelle Zahlen/Rationale Cauchy-Folgen/Vollständiger Körper/Fakt}
{Satz}
{}
{
\faktsituation {}
\faktfolgerung {Das
\definitionsverweis {Cauchy-Folgen-Modell}{}{}
der reellen Zahlen ist ein
\definitionsverweis {vollständiger}{}{,} \definitionsverweis {archimedisch angeordneter Körper}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Es sei
\mathl{{ \left( z_n \right) }_{n \in \N }}{} eine
\definitionsverweis {Cauchy-Folge}{}{}
in $\R$. D.h. jedes einzelne Folgenglied $z_n$ ist selbst durch eine rationale Cauchy-Folge repräsentiert. Für diese repräsentierende Folge schreiben wir
\mathl{(x_{ni})_{i \in \N}}{,} wobei der zweite Index der Folgenindex ist und der erste Index sich auf die zugehörige Restklasse $z_n$ bezieht. Wir können durch Übergang zu einer Teilfolge der $n$.ten Folge annehmen, dass für jeden Stammbruch
\mathl{{ \frac{ 1 }{ k } }}{} bereits
für alle
\mavergleichskette
{\vergleichskette
{i,j
}
{ \geq }{k
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Abschätzung
\mavergleichskettedisp
{\vergleichskette
{ \betrag { x_{ni} - x_{nj} }
}
{ \leq} { { \frac{ 1 }{ 3k } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gilt. Es sei
\mathl{{ \left( y_n \right) }_{n \in \N }}{} die zugehörige Diagonalfolge, ihre Folgenglieder sind also die rationalen Zahlen
\mavergleichskettedisp
{\vergleichskette
{y_n
}
{ =} { x_{n n}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Wir behaupten, dass diese Folge eine Cauchy-Folge ist und dass die vorgegebene Folge
\mathl{{ \left( z_n \right) }_{n \in \N }}{} in $\R$ gegen
\mavergleichskette
{\vergleichskette
{y
}
{ = }{[ { \left( y_n \right) }_{n \in \N } ]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
konvergiert. Es sei also
\mavergleichskette
{\vergleichskette
{ \epsilon
}
{ = }{ { \frac{ 1 }{ k } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ k
}
{ \in }{ \N_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
vorgegeben\zusatzfussnote {Da wir schon wissen, dass ein archimedisch angeordneter Körper vorliegt, müssen wir nur die Stammbrüche betrachten} {.} {.}
Aufgrund der Cauchy-Eigenschaft der Folge
\mathl{{ \left( z_n \right) }_{n \in \N }}{} gibt es ein $n_0$
\zusatzklammer {das wir als mindestens $k$ annehmen können} {} {}
derart, dass für alle
\mavergleichskette
{\vergleichskette
{ m , n
}
{ \geq }{n_0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Abschätzung
\mavergleichskettedisp
{\vergleichskette
{ \betrag { z_{m} - z_{n} }
}
{ \leq} { { \frac{ 1 }{ 3k } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gilt. Aufgrund von
Satz 46.8
konvergiert die geeignet gewählte repräsentierende Folge
\mathl{(x_{ni})_{i \in \N}}{} gegen $z_n$, und zwar mit der Eigenschaft, dass
\mavergleichskettedisp
{\vergleichskette
{ \betrag { x_{ni}-x_{nj} }
}
{ \leq} { { \frac{ 1 }{ 3k } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für
\mavergleichskette
{\vergleichskette
{i,j
}
{ \geq }{k
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und somit auch
\mavergleichskettedisp
{\vergleichskette
{ \betrag { x_{ni} -z_n }
}
{ \leq} { { \frac{ 1 }{ 3k } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für $i$ hinreichend groß gilt. Somit ist insgesamt für
\mavergleichskette
{\vergleichskette
{m,n
}
{ \geq }{n_0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\mavergleichskettealign
{\vergleichskettealign
{ \betrag { z_m - y_n }
}
{ =} { \betrag { z_m - x_{n n} }
}
{ =} { \betrag { z_m - z_n +z_n- x_{nm}+x_{nm} -x_{n n} }
}
{ \leq} { \betrag { z_m -z_n } + \betrag { z_n -x_{nm} } + \betrag { x_{nm} - x_{n n} }
}
{ \leq} { { \frac{ 1 }{ 3k } } + { \frac{ 1 }{ 3k } } + { \frac{ 1 }{ 3k } }
}
}
{
\vergleichskettefortsetzungalign
{ =} { { \frac{ 1 }{ k } }
}
{ } {
}
{ } {}
{ } {}
}
{}{.}
Durch den Vergleich
\mavergleichskettedisp
{\vergleichskette
{ \betrag { y_n - y_\ell }
}
{ \leq} { \betrag { z_m - y_n } + \betrag { z_m - y_\ell }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
sieht man, dass
\mathl{{ \left( y_n \right) }_{n \in \N }}{} eine Cauchy-Folge ist. Die zugehörige Klasse
\mavergleichskette
{\vergleichskette
{y
}
{ = }{ [ { \left( y_n \right) }_{n \in \N } ]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist nach
Satz 46.8
der Grenzwert davon. Die obige Abschätzung gilt dann auch für
\mathl{\betrag { z_m -y }}{.}
Wir halten insbesondere fest, dass es einen vollständigen archimedisch angeordneten Körper gibt.