Reelle Zahlen/Cauchy-Folge/Monoton/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 (sagen wir zur Berechnung von ) mit einem rationalen Startwert betrachtet, so ist dies eine Folge aus rationalen Zahlen. Wenn wir diese Folge in betrachten, wo 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.
Eine reelle Folge heißt Cauchy-Folge, wenn folgende Bedingung erfüllt ist
Zu jedem gibt es ein derart, dass für alle die Beziehung
gilt.
Jede konvergente Folge
ist eine Cauchy-Folge.
Es sei eine konvergente Folge mit Grenzwert . Sei vorgegeben. Wir wenden die Konvergenzeigenschaft auf an. Daher gibt es ein mit
Für beliebige gilt dann aufgrund der Dreiecksungleichung
Es sei eine reelle Folge. Zu jeder streng wachsenden Abbildung , , heißt die Folge
eine Teilfolge der Folge.
Die reelle Folge heißt wachsend, wenn für alle ist, und streng wachsend, wenn für alle ist.
Die Folge heißt fallend, wenn für alle ist, und streng fallend, wenn für alle ist.
Als gemeinsamen Begriff für (streng) wachsende oder (streng) fallende Folgen verwendet man die Bezeichnung (streng) monotone Folgen.
Es sei eine wachsende, nach oben beschränkte reelle Folge.
Dann ist eine Cauchy-Folge.
Es sei eine obere Schranke, also für alle Folgenglieder . Wir nehmen an, dass keine Cauchy-Folge ist. Dann gibt es ein derart, dass es für jedes Indizes mit gibt (wir können die Betragstriche weglassen). Wegen der Monotonie gibt es dann auch zu jedem ein mit . Wir können daher induktiv eine wachsende Folge von natürlichen Zahlen definieren durch
etc. Andererseits gibt es aufgrund des Archimedesaxioms ein mit
Die Summe der ersten Differenzen der Teilfolge , , ergibt
Dies impliziert im Widerspruch zur Voraussetzung, dass eine obere Schranke der Folge ist.