Konstruktion der Reellen Zahlen: Unterschied zwischen den Versionen

Aus FunFacts Wiki
Zur Navigation springen Zur Suche springen
 
(117 dazwischenliegende Versionen von 3 Benutzern werden nicht angezeigt)
Zeile 1: Zeile 1:
'''<u>''hier müsste noch eine Einleitung geschrieben werden''</u>'''
+
Beim Konstruieren der <math> \mathbb{R}</math> tauchen schnell Probleme auf, da sie im Gegenteil zu den ganzen und rationalen Zahlen nicht Anhand einer Formel wie z.B. <math>\frac{p}{q}</math> mit <math> p \in \mathbb{Z}, q \in \mathbb{N}</math> aufgebaut werden können, darum versucht dieser Artikel, die reellen Zahlen mithilfe der Cauchy-Folge zu veranschaulichen.Wir nennen eine Folge <math>(x_n)_{n\in\mathbb{N}}</math> eine Cauchy-Folge, wenn es zu jedem Wert <math>\varepsilon>0 </math> eine Zahl <math>N \in \mathbb{N}</math> gibt mit der Eigenschaft, dass für alle Indizes <math>m,n > N</math> die Abschätzung <math>|x_m - x_n|\leq \varepsilon</math> gilt. Dies bedeutet, dass mit hinreichend großen Indizes die Differenz von Folgengliedern beliebig klein wird (siehe Bild). Dadurch lassen sich vor allem die reellen Zahlen <math> \mathbb{R}</math> konstruieren, wie hier gezeigt werden soll. Cauchy-Folgen sind benannt nach dem französischen Mathematiker Augustin Louis Cauchy (1789-1857) der den Weg zur modernen Analysis mit bereitet hat. Zudem wird hier behandelt, wo die reellen Zahlen auftauchen und wie sie konstruiert werden können.
=Zahlen=
+
[[Datei:Cauchy-Folge.png|rahmenlos|rechts|Für hinreichend große Indizes ist die Differenz beliebig klein]]
 +
Bevor die Cauchy-Folge erklärt wird, betrachten wir aber das Heron-Verfahren, da wir hieran gut die Besonderheiten der reellen Zahlen sehen können.
  
===Wichtige Sätze der Analysis beruhen auf der Vollständigkeit von <nowiki><math>\mathbb{R}<\math></nowiki>===
+
=Augustin-Louis Cauchy=
Bei der Einführung der Zahlensysteme kann man so vorgehen, dass man mit den natürlichen Zahlen <nowiki><math>\mathbb{N}<\math> beginnt. Als Differenzen von natürlichen Zahlen erhält man die ganzen Zahlen <math>\mathbb{Z}<\math>, als Quotienten von ganzen Zahlen die rationalen Zahlen <math>\mathbb{Q}<\math>. In <math>\mathbb{Q}<\math> kann man jetzt schon recht gut Analysis betreiben, etwa den Konvergenzbegriff einführen. Die Folge <math>(1/n)<\math> ist zum Beispiel aus <math>\mathbb{Q}<\math> und konvergiert gegen die Null. </nowiki>
+
Cauchy war ein sehr wichtiger Entwickler auf dem Gebiet der Analysis im frühen 19.Jahrhundert. In den 1820er-Jahren hat er das gesamte Gebiet der Reellen Analysis umgekehrt, indem er die Begriffe Grenzwert, Stetigkeit, Ableitung und Integral formuliert hat. Darüber hinaus hat er die Komplexe Analysis entwickelt. Deshalb sind heute viele Ergebnisse auf diesem Gebiet mit seinem Namen behaftet. Daneben führte Cauchy die erste sogenannte Revolution der Strenge in der Mathematik ein.
  
Es gibt aber auch andere Folgen in <nowiki><math>\mathbb{Q}<\math>, die sich wie konvergente Folgen verhalten, deren Grenzwert aber nicht in <math>\mathbb{Q}<\math> liegt, sondern in <math>\mathbb{R}<\math>. Ein Beispiel dafür ist die Folge, die beim Heron-Verfahren zur Approximation von <math>sqrt(2)<\math> konstruiert wird. Beschränkt man sich nur auf <math>\mathbb{Q}<\math>, so ist eine solche Folge nicht konvergent, denn sie besitzt keinen Grenzwert in <math>\mathbb{Q}<\math>. Sie hat aber folgende Eigenschaft:</nowiki>
+
Augustin-Louis Cauchy wurde am 21.August 1789 geboren, also mitten in die französische Revolution hinein. Noch vor dieser war sein Vater ein hoher Beamter. Im Jahr 1794, als die Revolution bereits im Gang war, floh er mit seiner Familie in den kleinen Ort Arcueil und lebte dort abgeschieden. Ganz stark geprägt wurden die Kinder durch das Ausleben einer tiefen Religiosität, die sie auch später noch begleiten sollte. Die Ausbildung von Cauchy übernahm sein Vater, da er klassische Sprachen und Literatur selbst ausgezeichnet beherrschte. Schon hier zeigte sich aber beim Sohn ein ganz anderes besonderes Talent, nämlich das für Mathematik.
  
Eine Folge (x<sub>n</sub>) in einem normierten Raum V heißt Cauchy-Folge, falls es zu jeder Zahl ε>0 eine natürliche Zahl N gibt, sodass ||x<sub>n</sub> - x<sub>m</sub>||<ε für alle <nowiki><math>n,m\geq N<\math>.</nowiki>
+
[[Datei:Augustin-Louis Cauchy 1901.jpg|max|rahmenlos|links]]
  
Beispiel: Wir berechnen die Cauchy-Folgeneigenschaft der Folge aus dem Heron-Verfahren nach. Die Folge ist definiert durch <nowiki><math>a</nowiki><sub>0</sub> = 2, a<sub>n</sub>=1/2(a<sub>n-1</sub> + 2/(a<sub>n-1</sub>)) n\in \mathbb{N}<\math>.
+
Zufällig hatte nun auch Joseph-Louis Lagrange ein Anwesen in Arcueil, sodass Cauchy sowohl ihm als auch anderen Wissenschaftlern, die bei Lagrange zu besuch waren, begegnen konnte.Lagrange war beeindruckt von den Fähigkeiten des jungen Mannes und deshalb auch interessiert an seiner Ausbildung. Zwei Jahre später kehrte die Familie nach Paris zurück, wo der Vater seine Karriere unter dem neuen Regime fortsetzen konnte und nun zum Generalsekretär des Senats - dessen Kanzler wiederum Laplace war - bestimmt wurde. Zuerst besuchte Cauchy eine humanistische Schule, bevor er 1805 an der Aufnahmeprüfung zur École Polytechnique teilnahm. Dort belegte er den zweiten Platz und nahm mit 16 Jahren das Studium an dieser Schule auf. Nach zwei Jahren Ausbildung mit Schwerpunkt auf Mathematik und Mechanik wechselte er zur École des Ponts et Chaussées für zwei Jahre und war 1810 mit nicht ganz 21 Jahren bereits Ingenieur. Dann ging er nach Cherbourg zum Aufbau des dortigen Hafens, der zu dieser Zeit eine große strategische Bedeutung für Militäroperationen gegen Großbritannien hatte. Hier entstanden erste mathematische Arbeiten zu sehr vielen Themen wie der Theorie der Brücken, den Polyedern oder den figurierten Zahlen. In Cherbourg blieb Cauchy fast drei Jahre, unter anderem weil seine Arbeit sehr gelobt wurde. Daneben beschäftigte er sich in seiner knappen Freizeit noch mit mathematischer Forschung. Im Selbststudium eignete er sich selbst Werke von Lagrange ([https://gallica.bnf.fr/ark:/12148/bpt6k86263h.image Traité des fonctions analytiques]) und Laplace ([[wikipedia:Traité_de_mécanique_céleste|Mécanique céleste]]) an. Seine mathematische Karriere begann 1811, als es ihm gelang ein Problem von Lagrange zu lösen. Um eine Krankheit auszukurieren, ging Cauchy 1812 für einige Zeit nach Paris zurück, wo er schließlich das Manuskript einer Arbeit über symmetrische Funktionen vervollständigte, die bereits jene grundlegenden Ideen enthielt, aus der später die Gruppentheorie hervorgehen sollte. In dieser Arbeit, die dann 1815 veröffentlicht wurde, benutzte er zum einen Methoden von Gauß, zum anderen aber auch neue Methoden um zahlentheoretische Resultate von Lagrange und Ruffini zu verallgemeinern. Zudem entwickelte er darin die Theorie der Determinanten.
  
Mittels vollständiger Induktion zeigt man sofort, dass a<sub>n</sub> \in [1,2] für alle <nowiki><math>n\in \mathbb{N}_0<\math> gilt. Weiterhin folgt </nowiki>
+
Mittlerweile war Cauchys Interesse an der Ingenieurstätigkeit erloschen, und er wollte sich nun ganz der Mathematik widmen; deshalb versuchte er, eine Stelle in Paris zu bekommen, allerdings erfolglos. Unterdessen schrieb Cauchy eine Arbeit, in der er versuchte, die Anzahl der reellen Nullstellen einer algebraischen Gleichung vorherzubestimmen - ein Gebiet, mit dem er sich immer wieder beschäftigen sollte. Hohe Reputation erlangte er dann mit einer Abhandlung zur Berechnung bestimmter Integrale. Hier zeigte sich bereits die mathematische Vielseitigkeit von Cauchy, die er im Laufe seines Lebens entwickelte. Im Laufe seines Lebens veröffentlichte er sieben Bücher und mehr als 800 wissenschaftliche Arbeiten.
  
a<sub>n+1</sub> - a<sub>n</sub> = 1/2 ( a<sub>n</sub> + 2/a<sub>n</sub> - a<sub>n-1</sub> -2/a<sub>n-1</sub>) = (1/2 - 1/(a<sub>n</sub> * a<sub>n-1</sub>))(a<sub>n</sub> - a<sub>n-1</sub>) für <nowiki><math>n\in \mathbb{N}<\math>. Somit ergibt sich</nowiki>
+
Nachdem mehrere Versuche, in die Akademie der Wissenschaften gewählt zu werden, erfolglos geblieben waren, wurde Cauchy, der Royalist war, nach der Machtübernahme der Bourbonen im Jahr 1816 letztlich zum Mitglied der Akademie bestimmt, statt gewählt. Dieser Erfolg kostete ihn jedoch die Freundschaft einiger Leute, da im Gegenzug zum Beispiel Monge und Carnot aus der Akademie ausgeschlossen wurden. Kurze Zeit später wurde Cauchy zum Professor an der École Polytechnique für Analysis und Mechanik ernannt. Bei den Studenten war Cauchy beliebt, er galt als unermüdlich, gutmütig und geduldig erklärend. Allerding beschwerten sich einige Studenten über seine Zeit-Überziehung sowie über seine royalistischen Ansichten.
  
|a<sub>n+1</sub> - a<sub>n</sub>|\leq 1/2 |a<sub>n</sub> - a<sub>n-1</sub>| \leq (1/2)<sup>n</sup> |a<sub>1</sub>-a<sub>0</sub>|.  
+
In seinen Vorlesungen entwickelte er ferner einen neuen Strengebegriff in der Analysis. Zu dieser Zeit war der Begriff der Funktion nämlich noch schwammig, denn es wurde mit unendlichen Summen gerechnet, ohne sich die Frage nach deren Konvergenz zu stellen, was dann einige Paradoxien hervorrief. Außerdem waren die grundlegenden Begriffe des Integrals und der Ableitung noch nicht genau definiert worden. In seinem aus Vorlesungen hervorgehenden Werk ''Analyse algébrique'' befasste sich Cauchy mit all diesen grundlegenden Problemen der Analysis. Er lieferte eine exakte Definition des unendlich Kleinen, wozu er den Begriff des Grenzwertes mit etwa den Orten einführte, wie sie auch heute noch verwendet werden. Damit konnte er dann relativ leicht Folgen definieren und davon ausgehend zur genauen Definition von Ableitung und Integral weiter schreiten. Ähnliche Fortschritte hatte zeitgleich der böhmische Mathematiker Bolzano in Prag erzielt.  
  
Für m>n folgt mit der geometrischen Reihe
+
Weiterhin kann man sagen, dass Cauchy den Begriff der Konvergenz von unendlichen Summen einführte und zudem Kriterien fand, mit deren Hilfe man über die Konvergenz von unendlichen Summen Aussagen treffen kann. Dabei entwickelte Cauchy die Infinitesimalrechnung aus dem Mittelwertsatz, der seit Lagrange bekannt war. Zu der von Cauchy eingeführten mathematischen Strenge erzählt die Überlieferung, dass Laplace, als Cauchy sein Werk während eines wissenschaftlichen Treffens präsentierte, schleunigst nach Hause eilte und sich dort so lange einschloss, bis er alle seine unendlichen Summen, die er in seiner ''Himmelsmechanik'' verwendet hatte, überprüft hatte. Glücklicherweise hielten tatsächlich alle seiner unendlichen Summen dem ''[https://de.wikipedia.org/wiki/Cauchy-Kriterium Cauchyschen Konvergenztest]'' stand.
|a<sub>m</sub> - a<sub>n</sub>|\leq \sum\k=n\to\m-1 |a<sub>k+1</sub> - a<sub>k</sub>|\leq \sum\k=n\to\m-1 (1/2)<sup>k</sup>|a<sub>1</sub>-a<sub>0</sub>| = (1/2)<sup>n</sup>|a<sub>1</sub>-a<sub>0</sub>| \sum\k=0\to\m-n-1 (1/2)<sup>k</sup> \leq (1/2)<sup>n-1</sup>|a<sub>1</sub> - a<sub>0</sub>|.
 
  
Indem wir n groß genug wählen, wird die Schranke auf der rechten Seite kleiner als jedes vorgegebene ε. Wir haben damit den Nachweis erbracht, dass (x<sub>n</sub>) eine Cauchy-Folge ist.
+
In seinen wissenschaftlichen Forschungsarbeiten war Cauchy weniger streng. Zum Beispiel hielt er es nie für nötig, für seine von ihm verwendeten Funktionen Stetigkeit nachzurechnen, immerhin ein Begriff, den er selbst streng definiert hatte.  
  
=Heron-Verfahren=
+
Interessanterweise hatte Cauchy sogar Pläne, die Lehrinhalte an der École Polytechnique zu reformieren. Mit seinem ''[[wikipedia:Cours_d'Analyse|Cours d´Analyse]]'' strebte er die selbe Strenge an, die die Geometrie zu dieser Zeit schon hatte. Diese scheiterten jedoch zum großen Teil. Denn es gab Einwände, sie seien zu sehr theoretisch orientiert und überambitioniert. Schließlich wolle man ja Ingenieure ausbilden und keine Mathematiker.
Heronverfehren= War schon den Bobyloniern bekannt, daher auch Babylonisches Wurzelziehen. Approximiert Wurzel von x \leq 1/2(a<sub>n</sub> + x/a<sub>n</sub>)=a<sub>n+1</sub>
 
  
=Cauchy=
+
[[Datei:99903BB.jpg|mini|rechts|Buch von Lagrange über die Theorie der analytischen Funktionen, die sich Cauchy im Selbststudium aneignete]]
Cauchy war der wichtigste Entwickler auf dem Gebiet der Analysis im frühen 19.Jahrhundert. In den 1820er-Jahren hat er das gesamte Gebiet der Reellen Analysis umgekehrt, indem er die Begriffe Grenzwert, Stetigkeit, Ableitung und Integral formuliert hat. Darüber hinaus hat er sozusagen im Alleingang die Komplexe Analysis entwickelt. Deshalb sind heute viele Ergebnisse auf diesem Gebiet mit seinem Namen behaftet. Daneben führte Cauchy die erste sogenannte Revolution der Strenge in der Mathematik ein.
 
  
Augustin-Louis Cauchy wurde am 21.August 1789 geboren, also mitten in die französische Revolution hinein. Noch vor dieser war sein Vater ein hoher Beamter. Im Jahr 1794, als die Revolution bereits im Gang war, floh er mit seiner Familie in den kleinen Ort Arcueil und lebte dort abgeschieden. Ganz stark geprägt wurden die Kinder durch das Ausleben einer tiefen Religiosität, die sie auch später noch begleiten sollte. Die Ausbildung von Cauchy übernahm sein Vater, da er klassische Sprachen und Literatur selbst ausgezeichnet beherrschte. Schon hier zeigte sich aber beim Sohn ein ganz anderes besonderes Talent, nämlich das für Mathematik.
+
Diese Zeit, also während der Restauration, war die fruchtbarste Schaffensperiode für Cauchy. Nun fixierte er sich auf vier Themenbereiche. Der erste war die Lehrtätigkeit, mit Schwerpunkt auf theoretischer Mechanik und Analysis. Daraus gingen die bereits beschriebenen fundamentalen Definitionen hervor. Der zweite war die mathematische Physik. Daraus resultierten wiederum zwei große Arbeiten über die Theorie der Wellenausbreitung und über die Elastizitätstheorie. Und drittens entwickelte Cauchy nahezu im Alleingang das bahnbrechende neue Gebiet der komplexen Analysis, das erst langsam an Anerkennung gewann, später aber gewaltige Auswirkungen haben sollte. Außerdem schuf er eine detaillierte Ausarbeitung der Theorie der Differentialgleichungen. Dabei erkannte er die Notwendigkeit, Existenzbeweise von Lösungen führen zu müssen. 1816 erhielt er einen Preis der Pariser Akademie für seine Lösung eines Problems der Hydromechanik.
  
Zufällig hatte nun auch Lagrange ein Anwesen in Arcueil, sodass Cauchy sowohl ihm als auch anderen Wissenschaftlern, die bei Lagrange zu besuch waren, begegnen konnte. Und Lagrange war wirklich beeindruckt von den Fähigkeiten des jungen Mannes und deshalb auch interessiert an seiner Ausbildung. Zwei Jahre später kehrte die Familie nach Paris zurück, wo der Vater seine Karriere unter dem neuen Regime fortsetzen konnte und nun Generalsekretär des Senats, dessen Kanzler wiederum Laplace war, bestimmt wurde. Zuerst besuchte Cauchy eine humanistische Schule, bevor er 1805 an der Aufnahmeprüfung zur École Polytechnique teilnahm. Dort belegte er den zweiten Platz und nahm mit 16 Jahren das Studium an dieser Schule auf. Nach zwei Jahren Ausbildung mit Schwerpunkt auf Mathematik und Mechanik wechselte er zur École des Ponts et Chaussées für zwei Jahre und war 1810 mit nicht ganz 21 Jahren bereits Ingenieur. Dann ging er nach Cherbourg zum Aufbau des dortigen Hafens, der zu dieser Zeit eine große strategische Bedeutung für Militäroperationen gegen Großbritannien hatte. Dort blieb Cauchy fast drei Jahre, unter anderem weil seine Arbeit sehr gelobt wurde. Daneben beschäftigte er sich in seiner knappen Freizeit noch mit mathematischer Forschung. Im Selbststudium eignete er sich selbst Werke von Lagrange ([https://gallica.bnf.fr/ark:/12148/bpt6k86263h.image Traité des fonctions analytiques]) und Laplace ([[wikipedia:Traité_de_mécanique_céleste|Mécanique céleste]]) an. Seine Mathematische Karriere begann 1811, als es ihm gelang ein Problem von Lagrange zu lösen. Um eine Krankheit auszukurieren, ging Cauchy 1812 für einige Zeit nach Paris zurück, wo er schließlich das Manuskript einer Arbeit über symmetrische Funktionen vervollständigte, die bereits jene grundlegenden Ideen enthielt, aus der später die Gruppentheorie hervorgehen sollte. In dieser Arbeit, die dann 1815 veröffentlicht wurde, benutzte er zum einen Methoden von Gauß, zum anderen aber auch neue Methoden um zahlentheoretische Resultate von Lagrange und Ruffini zu verallgemeinern. Zudem entwickelte er darin die Theorie der Determinanten.
+
All das schaffte Cauchy, bevor er 28 Jahre alt war. Aufgrund seiner hohen Produktivität würde auch eine ausführliche Aufzählung der Errungenschaften Cauchys jeden Rahmen sprengen. Hier nur einige Sätze und Begriffe aus der Mathematik, die seinen Namen tragen: Cauchysche Abschätzungsformel, Cauchysche Anfangswertprobleme, Cauchysche Integralformel, Cauchyscher Integralsatz, Existenzsatz von Cauchy, Cauchy-Riemannsche partielle Differentialgleichungen, Cauchy-Bunjakowsji-Schwarzsche-Ungleichung, Cauchysches Quotientenkriterium, Cauchy-Reihenproduktsatz, Cauchysches Wurzelkriterium und Cauchy-Folge, um die es hier besonders gehen soll.
  
Mittlerweile war Cauchys Interesse an der Ingenieurstätigkeit erloschen, und er wollte sich nun ganz der Mathematik widmen; deshalb versuchte er, eine Stelle in Paris zu bekommen, allerdings erfolglos. Unterdessen schrieb Cauchy eine Arbeit, in der er versuchte, die Anzahl der reellen Nullstellen einer algebraischen Gleichung vorherzubestimmen - ein Gebiet, mit dem er sich immer wieder beschäftigen sollte. Hohe Reputation erlangte er dann mit einer Abhandlung zur Berechnung bestimmter Integrale. Hier zeigte sich bereits die mathematische Vielseitigkeit von Cauchy, die er im Laufe seines Lebens entwickelte. Schließlich veröffentlichte er sieben Bücher und mehr als 800 wissenschaftliche Arbeiten.
+
1818 heiratete Cauchy und pflegte nun auch in seiner eigenen Familie die religiöse Tradition, die ihm zu Hause mitgegeben worden waren. Lange Zeit später, von 1830 an, änderte sich sein Leben von Grund auf. Nach der Revolution von 1830 ging Cauchy freiwillig ins Exil. Damit gab er seiner Verbundenheit mit dem gestürzten Bourbonenkönig Karl X. Ausdruck. Zuerst siedelte Cauchy in die Schweiz über, arbeitete dann von 1831 bis 1833 in Turin. Danach wurde er von Karl X. für fünf Jahre als Erzieher in den Bourbonen Exil-Ort Prag geholt. Cauchy hielt allerdings während dieser Zeit immer Kontakt zu den französischen Wissenschaftsinstitutionen. Schließlich wurde im Jahr 1835 in Paris die Zeitschrift Comptes Rendues der Akademie der Wissenschaften ins leben gerufen, die Cauchy mit vielen ausgedehnten Arbeiten geradezu überflutete. Seinetwegen wurde später sogar ein Seitenlimit von vier Seiten pro Arbeit eingeführt. Manchmal reichte Cauchy auch unvollständige Arbeiten ein, oder gar mehrere unfertige Skizzen zu einer Problematik, teilweise sogar ohne zu einem Ergebnis zu gelangen. Wegen seiner hohen Zahl an Publikationen schließlich würdigte man seine Arbeit in Paris sehr. Aufgrund seiner Selbstbezogenheit aber, seiner Unduldsamkeit gegenüber jüngeren Kollegen und nicht zuletzt aufgrund seiner religiösen und politischen Ansichten war Cauchy als Person nicht nur beliebt. Trotz allem war er in seinen Gutachten der Arbeiten anderer äußerst fair, würdigte deren Verdienste und gab auch eigene Fehler zu.  
  
Nachdem mehrere Versuche, in die Akademie der Wissenschaften gewählt zu werden, erfolglos geblieben waren, wurde Cauchy, der Royalist war, nach der Machtübernahme der Bourbonen im Jahr 1816 letztlich zum Mitglied der Akademie bestimmt, statt gewählt. Dieser Erfolg kostete ihn jedoch die Freundschaft einiger Leute, da im Gegenzug zum Beispiel Monge und Carnot aus der Akademie ausgeschlossen wurden. Kurze Zeit später wurde Cauchy zum Professor an der École Polytechnique für Analysis und Mechanik ernannt. Bei den Studenten war Cauchy beliebt, er galt als unermüdlich, gutmütig und geduldig erklärend. Allerding beschwerten sich einige Studenten über seine Zeit-Überziehung sowie über seine royalistischen Ansichten. Die Art, wie Cauchy an seine Stelle kam, mag umstritten sein. Unumstritten jedoch blieb, dass er sie verdient hatte. Schließlich war er bereits einer der bedeutendsten Mathematiker seiner Zeit und erfüllte seinen Lehrtätigkeit mit hohem Eifer und Gewissenhaftigkeit.
+
Schließlich kehrte er 1838 nach Paris zurück. Da Cauchy es ablehnte, einen Treueid auf die Regierung abzuleisten, konnte er zunächst keine Anstellung bekommen. Dann wurde er 1839 in das Bureau des Longitudines, das Amt für Maße und Gewichte, gewählt. Dort wurde er zwar von der Regierung nicht offiziell bestätigt, aber auch nicht wieder entfernt. Mit der Revolution von 1848 wurde der Treueid dann abgeschafft, so dass paradoxerweise gerade die liberalen Kräfte dem Royalisten Cauchy wieder eine legale Anstellung ermöglichten.
  
In seinen Vorlesungen entwickelte er ferner einen neuen Strengebegriff in der Analysis. Zu dieser Zeit war der Begriff der Funktion nämlich noch schwammig, denn es wurde mit unendlichen Summen gerechnet, ohne sich die Frage nach deren Konvergenz zu stellen, was dann einige Paradoxien hervorrief. Außerdem waren die grundlegenden Begriffe des Integrals und der Ableitung noch nicht genau definiert worden. In seinem aus Vorlesungen hervorgehenden Werk ''Analyse algébrique'' befasste sich Cauchy mit all diesen grundlegenden Problemen der Analysis. Er lieferte eine exakte Definition des unendlich Kleinen, wozu er den Begriff des Grenzwertes mit etwa den orten einführte, wie sie auch heute noch verwendet werden. Damit konnte er dann relativ leicht Folgen definieren und davon ausgehend zur genauen Definition von Ableitung und Integral weiter schreiten. Ähnliche Fortschritte hatte zeitgleich der böhmische Mathematiker Bolzano in Prag erzielt.  
+
Cauchy griff zwar nie in die Politik ein, jedoch benutzte ihn die Kirche oft als Aushängeschild für ihre Ziele. So sollte er ein Beispiel für die Verknüpfung von Glaube und Wissenschaft sein, also eine auf der Vernunft basierende Bestätigung der Richtigkeit der kirchlichen Politik. Während eines Besuchs in Paris sagte Abel in diesem Zusammenhang über Cauchy: "Cauchy ist extrem katholisch und bigott. Das ist eine sehr seltsame Sache bei einem Mathematiker."
  
Weiterhin kann man sagen, dass Cauchy den Begriff der Konvergenz von unendlichen Summen einführte, zudem Kriterien fand, mit deren Hilfe man über die Konvergenz von unendlichen Summen Aussagen treffen kann. Dabei entwickelte Cauchy die Infinitesimalrechnung aus dem Mittelwertsatz, der seit Lagrange bekannt war. Zu der von Cauchy eingeführten mathematischen Strenge erzählt die Überlieferung, dass Laplace, als Cauchy sein Werk während eines wissenschaftlichen Treffens präsentierte, schleunigst nach Hause eilte und sich dort so lange einschloss, bis er alle seine unendlichen Summen, die er in seiner ''Himmelsmechanik'' verwendet hatte, überprüft hatte. Glücklicherweise hielten tatsächlich alle seiner unendlichen Summen dem ''Cauchyschen [https://de.wikipedia.org/wiki/Cauchy-Kriterium Konvergenztest]'' stand.
+
1857 erkrankte Cauchy, woraufhin ihm der Pariser Kardinal die Letzte Ölung erteilte. Am 23.Mai 1857 starb er.
  
In seinen wissenschaftlichen Forschungsarbeiten war Cauchy weniger streng. Zum Beispiel hielt er es nie für nötig, für seine von ihm verwendeten Funktionen Stetigkeit nachzurechnen, was immerhin ein Begriff ist, den er selbst streng definiert hatte. Aber anscheinend konnte sich Cauchy so etwas erlauben, da er in diesen Dingen eine sehr gute Intuition und natürlich eine ungeheure Erfahrung hatte.
+
=Heron-Verfahren=
 +
Das Heron-Verfahren war schon den Babyloniern von vor 4000 Jahren bekannt, daher wird es auch als Babylonisches Wurzelziehen bezeichnet. Dabei wird die Wurzel von x anhand der Formel <math>a_{n+1}:=\frac{1}{2}(a_n+\frac{x}{a_n})</math> approximiert. Dabei ist es egal, welcher Startwert <math> a_0 </math> gewählt wird. Ein Beispiel zeigt:
  
Interessanterweise hatte Cauchy sogar Pläne, die Lehrinhalte an der École Polytechnique zu reformieren. Diese scheiterten jedoch zum großen Teil. Denn es gab Einwände, sie seinen zu sehr theoretisch orientiert und überambitioniert. Schließlich wolle man ja Ingenieure ausbilden und keine Mathematiker.
+
[[Datei:Heron.jpg|max|right|Geometrische Interpretation des Heron-Verfahrens]]
 +
Wurzel von 2:
  
Diese Zeit, also während der Restauration, war die fruchtbarste Schaffensperiode für Cauchy. Nun fixierte er sich auf vier Themenbereiche. Der erste war die Lehrtätigkeit, mit Schwerpunkt auf theoretischer Mechanik und Analysis. Daraus gingen die bereits beschriebenen fundamentalen Definitionen hervor. Der zweite war die mathematische Physik. Daraus resultierten wiederum zwei große Arbeiten über die Theorie der Wellenausbreitung und über die Elastizitätstheorie. Und drittens entwickelte Cauchy nahezu im Alleingang das bahnbrechende neue Gebiet der komplexen Analysis, das erst langsam an Anerkennung gewann, später aber gewaltige Auswirkungen haben sollte. Außerdem schuf er eine detaillierte Ausarbeitung der Theorie der Differentialgleichungen. Dabei erkannte er die Notwendigkeit, Existenzbeweise von Lösungen führen zu müssen.
+
<math> a_0 = 1 </math>
  
All das schaffte Cauchy - und deshalb ist es ja umso bemerkenswerter-, bevor er 28 Jahre alt war! Aufgrund seiner hohen Produktivität würde auch eine ausführliche Aufzählung der Errungenschaften Cauchys jeden Rahmen sprengen. Hier nur einige Sätze und Begriffe aus der Mathematik, die seinen Namen tragen: Cauchysche Abschätzungsformel, Cauchysche Anfangswertprobleme, Cauchysche Integralformel, Cauchyscher Integralsatz, Existenzsatz von Cauchy, Cauchy-Riemannsche partielle Differentialgleichungen, Cauchy-Bunjakowsji-Schwarzsche-Ungleichung, Cauchysches Quotientenkriterium, Cauchy-Reihenproduktsatz (Cauchy-Reihenproduktsatz: \sum a<sub>v</sub> und \sum b<sub>v</sub> zwei absolut konvergente Reihen mit Reihensummen α,β Dann ist durch d<sub>n</sub> = \sum a<sub>n-v</sub>b<sub>v</sub> definierte Cauchy-Produktreihe konvergent und es gilt \sum d<sub>n</sub> = α*β), Cauchysches Wurzelkriterium, Cauchy-Folge, um die es hier besonders gehen soll.
+
<math> a_1 = </math> 1/2(1 + 2/1) = 1,5
  
1818 heiratete Cauchy und pflegte nun auch in seiner eigenen Familie die religiöse Tradition, die ihm zu Hause mitgegeben worden waren. Lange Zeit später, von 1830 an, änderte sich sein Leben von Grund auf. Nach der Revolution von 1830 ging Cauchy freiwillig ins Exil. Damit gab er seiner Verbundenheit mit dem gestürzten Bourbonenkönig Karl X. Ausdruck. Zuerst siedelte Cauchy in die Schweiz über, arbeitete dann von 1831 bis 1833 in Turin. Danach wurde er von Karl X. für fünf Jahre als Erzieher in des Bourbonen Exil-Ort Prag geholt. Cauchy hielt allerdings während dieser Zeit immer Kontakt zu den französischen Wissenschaftsinstitutionen. Schließlich wurde im Jahr 1835 in Paris die Zeitschrift Comptes Rendues der Akademie der Wissenschaften ins leben gerufen, die Cauchy mit vielen ausgedehnten Arbeiten geradezu überflutete. Seinetwegen wurde später sogar ein Seitenlimit von vier Seiten pro Arbeit eingeführt. Manchmal reichte Cauchy auch unvollständige Arbeiten ein, oder gar mehrere unfertige Skizzen zu einer Problematik, teilweise sogar ohne zu einem Ergebnis zu gelangen. Wegen seiner hohen Zahl an Publikationen schließlich würdigte man seine Arbeit in Paris sehr. Aufgrund seiner Selbstbezogenheit aber, seiner Unduldsamkeit gegenüber jüngeren Kollegen und nicht zuletzt aufgrund seiner religiösen und politischen Ansichten war Cauchy als Person nicht nur beliebt. Trotz allem war er in seinen Gutachten der Arbeiten anderer äußerst fair, würdigte deren Verdienste und gab auch einige Fehler zu. Letztlich war Cauchy unter allen Zeitgenossen wahrscheinlich derjenige, der fremde Arbeiten am korrektesten zitierte.
+
<math> a_2 = </math> 1/2(1,5 + 2/1,5) = 1,4166666...
  
Schließlich kehrte er 1838 nach Paris zurück. Da Cauchy es ablehnte, einen Treueid auf die Regierung abzuleisten, konnte er zunächst keine Anstellung bekommen. Dann wurde er 1839 in das Bureau des Longitudines, das Amt für Maße und Gewichte, gewählt. Dort wurde er zwar von der Regierung nicht offiziell bestätigt, aber auch nicht wieder entfernt. Mit der Revolution von 1848 wurde der Treueid dann abgeschafft, so dass paradoxerweise gerade die liberalen Kräfte dem Royalisten Cauchy wieder eine legale Anstellung ermöglichten.
+
<math> a_3 = </math> 1/2(1,41666667 + 2/1,41666667) = 1,41421143847...
  
Cauchy griff zwar nie in die Politik ein, jedoch benutzte ihn die Kirche oft als Aushängeschild für ihre Ziele. So sollte er Beispiel für die Verknüpfung von Glaube und Wissenschaft sein, deshalb also eine auf der Vernunft basierende Bestätigung der Richtigkeit der kirchlichen Politik. Während eines Besuchs in Paris sagte Abel in diesem Zusammenhang über Cauchy: "Cauchy ist extrem katholisch und bigott. Das ist eine sehr seltsame Sache bei einem Mathematiker."
+
...
  
Am Ende erkrankte Cauchy 1857, woraufhin ihm der Pariser Kardinal die Letzte Ölung erteilte. Am 23.Mai 1857 starb er.
+
<math> a_8 = </math> 1,4142135624...
  
'''<u>''^ und v noch verbinden''</u>'''
+
Zum Vergleich mit dem Startwert <math> a_0=3 </math>  
  
1816 Preis der Pariser Akademie für die Lösung eines Problems der Hydromechanik
+
<math> a_0 = 3 </math>
  
Strebte mit dem Cours d´Analyse an, die gleiche strenge wie die Geometrie sie schon hatte zu erreichen
+
<math> a_1 = </math> 1/2(3 + 2/3) = 1,833333...
  
In Cherbourg entstanden erste mathematische Arbeiten zu sehr vielen Themen (Theorie der Brücken, Polyeder, figurierte zahlen)
+
<math> a_2 = </math> 1/2(1,833333 + 2/1,833333) = 1,4621212105
  
'''<u>''Bild von Cauchy einfügen?!?''</u>'''
+
...
=Cauchy-Folge=
 
Sei C die Menge der Cauchy-Folgen auf <nowiki><math>\mathbb{Q}<\math>.</nowiki>
 
  
===Eigenschaften von Cauchy-Folgen===
+
<math> a_8 = </math> 1,4142135624...
Seien <nowiki><math> (x</nowiki><sub>n</sub>)<sub>n</sub>\in\mathbb{N},(y<sub>n</sub>)<sub>n</sub>\in\mathbb{N} \in C <\math>. Dann gilt:
 
  
a) <nowiki><math> (x</nowiki><sub>n</sub>)<sub>n</sub>\in\mathbb{N} <\math> ist beschrankt.
+
Eine geometrische Interpretation des Heron-Verfahrens ist die folgende: Gesucht ist die Seitenlänge eines Quadrats mit Flächeninhalt <math> x </math>. Dazu wird zunächst ein Rechteck konstruiert, von dem bekannt ist, dass die Fläche <math> x </math> beträgt (z.B. mit einer Seite der Länge <math> x_0=x </math> und einer Seite der Länge <math> y_0=1 </math>).  Nun wird schrittweise mittels des Algorithmus des Heron-Verfahrens der Wert <math> x_i </math> angepasst und <math> y_i=\frac{x}{x_i} </math> gesetzt. Dieses Verfahren wird bis zur gewünschten Genauigkeit fortgeführt.
  
b) <nowiki><math> (x</nowiki><sub>n</sub> + y<sub>n</sub>)<sub>n</sub>\in\mathbb{N} \in C<\math>
+
=Zahlen=
 
+
===Wichtige Sätze der Analysis beruhen auf der Vollständigkeit von <math> \mathbb{R} </math> ===
c) <nowiki><math> (x</nowiki><sub>n</sub> * y<sub>n</sub>)<sub>n</sub>\in\mathbb{N} \in C<\math>
+
Bei der Einführung der Zahlensysteme kann man so vorgehen, dass man mit den natürlichen Zahlen <math>\mathbb{N}</math> beginnt. Als Differenzen von natürlichen Zahlen erhält man die ganzen Zahlen <math>\mathbb{Z}</math>, als Quotienten von ganzen Zahlen die rationalen Zahlen <math>\mathbb{Q}</math>. In <math>\mathbb{Q}</math> kann man jetzt schon recht gut Analysis betreiben, etwa den Konvergenzbegriff einführen. Die Folge <math>(\frac{1}{n})_{n\in\mathbb{N}}</math> ist zum Beispiel aus <math>\mathbb{Q}</math> und konvergiert gegen die Null.
  
d) Ist (x<nowiki><sub>n</sub></nowiki>)<nowiki><sub>n</sub></nowiki>\in\mathbb{N} <\math> keine Nullfolge <nowiki><math>\Rightarrow \exists ε>0, ε\in\mathbb{Q}, N\in\mathbb{N}<\math> entweder <math>x&lt;/nowiki&gt;</nowiki><nowiki><sub>n</sub></nowiki>\geq ε \forall n \geq N \lor x<nowiki><sub>n</sub></nowiki>\leq -ε \forall n \geq N<\math>, die die Axiome O1 und O2 erfüllen. Statt a \in P schreiben wir a>0, sprich: "a positiv".
+
Es gibt aber auch andere Folgen in <math>\mathbb{Q}</math>, die sich wie konvergente Folgen verhalten, deren Grenzwert aber nicht in <math>\mathbb{Q}</math> liegt. Ein Beispiel dafür ist die Folge, die beim Heron-Verfahren zur Approximation von <math>\sqrt{2}</math> konstruiert wird. Beschränkt man sich nur auf <math>\mathbb{Q}</math>, so ist eine solche Folge nicht konvergent, denn sie besitzt keinen Grenzwert in <math>\mathbb{Q}</math>, ist aber dennoch eine Cauchyfolge.
e) Ist <nowiki><math> (x</nowiki><sub>n</sub>)<sub>n</sub>\in\mathbb{N} <\math> keine Nullfolge, <nowiki><math>x</nowiki><sub>n</sub>\neq 0 \forall n\in \mathbb{N} \Rightarrow (x<sub>n</sub><sup>-1</sup>)\in C <\math>
 
  
Man kann die Cauchy-Konvergenz in vollständigen Räumen metrischen Räumen verwenden ohne Kenntnis über den Grenzwert zu haben
+
[[Datei:Zahlbereich.png|rahmenlos|rechts|Zahlen und ihre Zahlbereiche]]
  
Def(73.10): Eine Folge von Elementen eines angeordneten Körpers K heißt Verdichtungsfolge oder Cauchy-Folge, wenn es zu jedem Element ε>0 in K einen Index <math>N \in \mathbb{N}<\math> gibt mit |x<sub>n</sub> - x<sub>m</sub>|<ε für alle <math>m,n\geq N<\math>.(Q2)
+
'''Beispiel:''' Wir berechnen die Cauchy-Folgeneigenschaft der Folge aus dem Heron-Verfahren nach. Die Folge ist definiert durch <math>a_0=2, a_n=1/2(a_{n-1} + 2/(a_{n-1})), n\in \mathbb{N}</math>.
  
74.Grenzwerte in der komplexen Zahlenebene: Wir wollen in diesem Abschnitt den Konvergenzbegriff von <nowiki><math>\mathbb{R}<\math> auf <math>\mathbb{C}<\math> verallgemeinern. Das geht problemlos, weil die Betragsfunktion und die Abstandsfunktion in <math>\mathbb{C}<\math> die gleichen Eigenschaften besitzt wie die entsprechenden Funktionen im Bereich der reellen Zahlen; lediglich solche Aussagen, die explizit die Anordnung reeller Zahlen benutzen, haben keine Entsprechung im Bereich der komplexen Zahlen, der ja kein angeordneter Körper ist.</nowiki>(Q2)
+
Mittels vollständiger Induktion zeigt man, dass <math> a_n \in [1,2] \text{ für alle } n\in \mathbb{N}_0</math> gilt. Weiterhin folgt
  
Def.(74.1): Eine Folge (z<sub>n</sub>) komplexer Zahlen heißt (b) Verdichtungsfolge oder Cauchyfolge, wenn es zu jeder vorgegebenen Toleranz ε>0 einen Index N gibt mit |z<sub>n</sub> - z<sub>m</sub>|<ε für alle <math>m,n\geq N<\math>. (Q2)
+
<math>a_{n+1} - a_n = 1/2 ( a_n + 2/a_n - a_{n-1} -2/a_{n-1}) = (1/2 - 1/(a_n * a_{n-1}))(a_n - a_{n-1})</math> für <math> n \in \mathbb{N}</math>. Somit ergibt sich:
  
Es zeigt sich, dass der Konvergenzbegriff in <math>\mathbb{C}<\math> leicht auf den in <math>\mathbb{R}<\math> zurückgeführt werden kann.(Q2)
+
<math> |a_{n+1} - a_n|\leq 1/2 |a_n - a_{n-1}| \leq (1/2)^n |a_1 - a_0| </math>
  
Def(81.13): Wir haben in (74.1) die wesentlichen Eigenschaften des Konvergenzbegriffs im Bereich der reellen Zahlen angegeben. Alle damals gemachten Aussagen, die sich für beliebige metrische Räume formulieren lassen, bleiben in diesem allgemeinen Rahmen richtig: jede konvergente Folge ist eine Verdichtungsfolge; jede Verdichtungsfolge ist beschränkt; konvergiert eine Teilfolge einer Verdichtungsfolge, so konvergiert die Verdichtungsfolge selbst (und zwar gegen den gleichen Grenzwert wie die Teilfolge); eine Folge hat höchstens einen Grenzwert.(Q2)
+
Für <math>m>n</math> folgt mit der geometrischen Reihe:
 +
<math> |a_m - a_n|\leq \sum\nolimits_{k=n}^{m-1} |a_{k+1} - a_k|\leq \sum\nolimits_{k=n}^{m-1} (1/2)^k|a_1 - a_0| = (1/2)^n|a_1 - a_0| \sum\nolimits_{k=0}^{m-n-1} (1/2)^k \leq (1/2)^{n-1}|a_1 - a_0|</math>
  
= Konstruktion über Cauchy =
+
Indem wir n groß genug wählen, wird die Schranke auf der rechten Seite kleiner als jedes vorgegebene <math>\varepsilon>0</math>. Wir haben damit den Nachweis erbracht, dass <math>(x_n)_{n\in\mathbb{N}} </math> eine Cauchy-Folge ist.
  
===Konstruktion der Menge <nowiki><math>\mathbb{R}<\math> als Körper</nowiki>===
+
===Wichtige vorbereitende Definitionen und Sätze===
Zwei Cauchy-Folgen <nowiki><math> (x</nowiki><sub>n</sub>)<sub>n</sub>\in\mathbb{N},(y<sub>n</sub>)<sub>n</sub>\in\mathbb{N} <\math> heißen äquivalent (x~y), falls <nowiki><math> x</nowiki><sub>n</sub> - y<sub>n</sub> \to 0<\math>.
 
  
Definition <nowiki><math>\mathbb{R}<\math></nowiki> := <nowiki><math>\mathbb{R}={[(x</nowiki><sub>n</sub>]|(x<sub>n</sub>)<sub>n</sub>\in\mathbb{N} \in C} \widehat{=} "reellen Zahlen"<\math>.
+
'''Definition 1:''' Eine Folge <math>(a_n)_{n\in\mathbb{N}}</math> heißt Nullfolge, wenn <math>\lim_{n\to\infty} a_n = 0</math> gilt.
  
Eigenschaften:
+
'''Definition 2:''' Eine Folge <math>(a_n)_{n\in\mathbb{N}}</math> heißt Fundamentalfolge oder Cauchy-Folge, wenn gilt: <math>  \forall \varepsilon>0 , \exists n_1 \in \mathbb{N} : d(a_n,a_m)<ε , \forall n,m\geq n_1</math>.
  
a) (<nowiki><math>\mathbb{R}<\math>, +) ist abelsche Gruppe</nowiki>
+
'''Definition 3:''' Die Anordnungsaxiome: Ein angeordneter Körper ist ein Körper K zusammen mit einer Teilmenge <math>P \subset K</math>. Diese erfüllt folgende Ordnungsrelationen oder Anordnungs[[Eine mathematische Aussage, die nicht beweisbar ist|axiome]]:
  
b) (<nowiki><math>\mathbb{R}\{0}<\math>, *) ist abelsche Gruppe</nowiki>
+
'''O1''' Für jedes <math>a \in K </math>gilt genau eine der folgenden Aussagen:
 
 
c) Es gilt das Distributivgesetz
 
 
 
d) (<nowiki><math>\mathbb{R}<\math>, +, *) ist ein Körper</nowiki>
 
 
 
=Quellen=
 
* Mathematik, Springer-Spektrum, ISBN: 978-3-662-56740-1, S.190, 1053, 1173
 
* Höhere Mathematik, Verlag Harri Deutsch, ISBN: 978-3-8171-1872-4, S.345, 351, 388
 
* Grundwissen Mathematikstudium, Springer-Spektrum, ISBN: 978-3-8274-2308-5, S.297, 772
 
* Lexikon der Mathematik BAND:1, Spektrum Akademischer Verlag, ISBN: 3-8274-0303-0, S.292ff.
 
* Springer-Taschenbuch der Mathematik, Springer-Spektrum, ISBN: 978-3-8351-0123-4, S.243
 
* dtv-Atlas der Mathematik Band 1, Dtv, ISBN: 3-423-03007-0, S.61
 
* Rechnen und Mathematik, Bertelsmann Lexikon-Verlag, Buch-Nr. 1599'1180, S.447
 
* Die bedeutendsten Mathematiker, matrixwissen, ISBN: 978-3-86539-916-8, S.107ff.
 
 
 
=Weiterführende Literatur=
 
Abhandlung über bestimmte Integrale zwischen imaginären Grenzwerten (Oswalds Klassiker 112 (1900))
 
=Autoren=
 
 
 
=Texte noch Einbinden/Zusammentragen/Verbessern=
 
==VL1:==
 
Die Anordnungsaxiome:
 
Ein angeordneter Körper ist ein Körper K zusammen mit einer Teilmenge <math>P \subset K
 
'''O1''' Für jedes a \in K gilt genau eine der folgenden Aussagen:
 
 
{|
 
{|
 
|-
 
|-
Zeile 136: Zeile 108:
 
| iii) || <math>-a\in P</math> || -a>0  
 
| iii) || <math>-a\in P</math> || -a>0  
 
|}
 
|}
 +
 
'''O2'''  
 
'''O2'''  
 
{|
 
{|
 
|-
 
|-
| <math>a,b\in P \Rightarrow a+b, ab \in P || a,b >0 \Rightarrow a+b>0 \land ab>0 </math>
+
| <math>a,b\in P \Rightarrow a+b, ab \in P</math>
 +
|-
 +
| <math>a,b >0 \Rightarrow a+b>0 \land ab>0 </math>
 
|}
 
|}
  
Es sei M eine Teilmenge des angeordneten Körpers K. Ein Element <nowiki><math>s\in K<\math> heißt Supremum vom M, falls gilt:</nowiki>
+
'''Definition 4:''' Es sei M eine Teilmenge des angeordneten Körpers K. Ein Element <math>s\in K</math> heißt Supremum vom M, falls gilt:
 
* s ist eine obere Schranke von M
 
* s ist eine obere Schranke von M
* Ist t eine obere Schranke von M, so folgt: <nowiki><math> t \geq s <\math></nowiki>
+
* Ist t eine obere Schranke von M, so folgt: <math> t \geq s </math>
 
D.h. s ist die "kleinste obere Schranke" von M.
 
D.h. s ist die "kleinste obere Schranke" von M.
  
Eine Folge Reeller Zahlen ist eine Abbildung <nowiki><math> a:\mathbb{N} \to \mathbb{Q} <\math>. Wir schreiben <math> a=(a</nowiki><sub>n</sub>)<sub>n</sub> \in \mathbb{N} <\math>.
+
Eine Folge reeller Zahlen ist eine Abbildung <math> f:\mathbb{N} \to \mathbb{R} </math>. Wir schreiben <math> f=(a_n)_n \in \mathbb{N} </math>.
  
Eine Folge heißt Cauchy-Folge, falls gilt: <nowiki><math> \forall ε>0 \exists n</nowiki><sub>0</sub> \in \mathbb{N} \forall m,n \ge n<sub>0</sub> : |a<sub>n</sub> - a<sub>m</sub>|<ε
+
'''Definition 5:''' Wir sagen, dass eine Folge <math> f:\mathbb{N} \to K </math>konvergiert, wenn ein <math> a\in K </math> existiert, sodass für alle <math>\varepsilon > 0 </math> ein <math> N_0\in\mathbb{N} </math> existiert, sodass <math> |a_n-a| < \varepsilon </math> für alle <math> n\geq N_0 </math>. Wir nennen <math> a </math> dann den Limes der Folge und schreiben <math> a=lim_{n\to \infty} a_n </math>.
*(a<sub>n</sub>)<sub>n</sub> mit a<sub>n</sub> = n+1 es gilt <nowiki><math>|a</nowiki><sub>m</sub> - a<sub>n</sub>|=|m-n|\ge 1 <\math> für <nowiki><math>m \neq n<\math></nowiki>
 
*(d<sub>n</sub>)<sub>n</sub> mit d<sub>n</sub> = 1/n ist eine Cauchy-Folge. Sei ε>0 und <nowiki><math>N \in \mathbb{N}<\math> mit <math>1/N \leq ε<\math>. Wenn m>n>N |d</nowiki><sub>m</sub> - d<sub>n</sub>|=|1/m - 1/n|=1/n - 1/m < 1/N - 1/m < ε.
 
Jede konvergente Folge ist eine Cauchy-Folge. Die Umkehrung gilt nicht in <nowiki><math>\mathbb{Q}<\math>! (Aber in <math>\mathbb{R} \lor \mathbb{C}<\math>)</nowiki>
 
  
==VL3:==
+
[[Datei:DTV-Bild-Selbstgemacht.png|mini|ungerahmt|rechts|Ähnlich wie beim Heron-Verfahren, sieht man hier, wie sich die Werte von a<sub>x</sub> an a nähern und irgendwann in der ε-Umgebung liegen]]
===Anordnung auf <nowiki><math>\mathbb{R}<\math></nowiki>===
 
  
'''''<u>Der Text fehlt noch</u>'''''
+
'''Satz:''' Jede konvergente Folge ist eine Cauchy-Folge.  
==dtv-Atlas Mathematik==
 
Def1: Eine Folge (a<sub>n</sub>) heißt Nullfolge, wenn lim_n->\infty a<sub>n</sub> = 0 gilt.
 
  
Def2: Eine Folge (a<sub>n</sub>) heißt Fundamentalfolge (FF) oder Cauchy-Folge, wenn es zu jedem ε>0 ein n<sub>1</sub> \in \mathbb{N} gibt, sodass d(a<sub>n</sub>,a<sub>m</sub>)<ε für alle n\geq n<sub>1</sub> und m\geq n<sub>1</sub> (Abb.1)'''''<u>BILD</u>'''''
+
'''Beweis:''' Ist <math>\varepsilon > 0 </math> vorgegeben, so ist auch <math>\frac{\varepsilon}{2}  > 0 </math> und es gibt wegen der Konvergenz ein <math> N_0</math>, sodass <math>|a-a_n| < \frac{\varepsilon}{2}, \forall n \geq N_0</math>. Dann gilt wegen der Dreiecksungleichung <math>|a_n-a_m|=|(a_n - a)+(a-a_m)|\leq |a-a_n|+|a-a_m|< \frac{\varepsilon}{2} + \frac{\varepsilon}{2} = \varepsilon , \forall n,m\geq N_0</math>
 +
Die Umkehrung gilt nicht in <math>\mathbb{Q}</math>! (Aber in <math>\mathbb{R} \lor \mathbb{C}</math>)
  
Bem: Allgemeiner kann für topologische Gruppen die Konvergenz gegen a auch so formuliert werden, dass es zu jeder Umgebung des Nullelements ein n<sub>0</sub> gibt, sodass für n\geq n<sub>0</sub> alle Differenzen a-a<sub>n</sub> in dieser Umgebung liegen. Bei der FF liegen alle Differenzen a<sub>n</sub> - a<sub>m</sub> für n\geq n<sub>1</sub> und m\geq n<sub>1</sub> in einer solchen Umgebung.
+
Wir wollen nun <math>\mathbb{Q}</math> so erweitern/ vervollständigen, dass in der vervollständigten Menge jede Cauchy-Folge konvergiert. Einen Raum mit dieser Eigenschaft nennt man vollständig. Die Vervollständigung von <math>\mathbb{Q}</math> heißt vollständige Hülle von <math>\mathbb{Q}</math>.
  
Satz: Jede konvergente Folge ist eine FF.
+
===Konstruktion der vollständigen Hülle von <math>\mathbb{Q}</math>===
 +
Man könnte zunächst daran denken, die Cauchy-Folgen selbst als Elemente der zu konstruierenden Menge zu verwenden. Doch zeigt schon die Betrachtung konvergenter Cauchy-Folgen, dass es jeweils beliebig viele Folgen mit gleichem Grenzwert (Limes) gibt. Sind <math>(a_n)_{n\in\mathbb{N}} </math> und <math>(b_n)_{n\in\mathbb{N}} </math> zwei solcher Folgen, so ist allerdings <math>(a_n-b_n)_{n\in\mathbb{N}} </math> eine Nullfolge. Dies führt zu einer Klasseneinteilung in der Menge aller Cauchy-Folgen durch die Einführung einer Äquivalenzrelation: Zwei Folgen werden genau dann miteinander identifiziert, wenn ihre Differenz eine Nullfolge ist. Man prüft leicht nach, dass dies in der Tat eine Äquivalenzrelation ist. Wir bezeichnen nun den Abschluss von <math>\mathbb{Q}</math> nun als <math>\mathbb{\bar Q}</math>. Damit kann man <math>\mathbb{\bar Q}</math> anordnen und einen Absolutbetrag einführen, durch den in <math>\mathbb{\bar Q}</math> eine Metrik und damit eine topologische Struktur eingeführt werden kann, durch die <math>\mathbb{\bar Q}</math> die Eigenschaften einer topologischen Gruppe erhält. Es zeigt sich, dass jede Cauchy-Folge in <math>\mathbb{\bar Q}</math> konvergiert. <math>\mathbb{\bar Q}</math> ist die gesuchte vollständige Hülle von <math>\mathbb{Q}</math>.
  
BW: Ist ε>0 vorgegeben, so ist auch ε/2>0 und es gibt wegen der Konvergenz ein n<sub>1</sub>, sodass |a-a<sub>n</sub>| < ε/2 für alle n \geq n<sub>1</sub>. Dann gilt wegen der Dreiecksungleichung |a<sub>n</sub>-a<sub>m</sub>|=|(a<sub>n</sub> - a)+(a-a<sub>m</sub>)|\leq |a-a<sub>n</sub>|+|a-a<sub>m</sub>|< ε/2 + ε/2 = ε für alle n\geq n<sub>1</sub> und m\geq n<sub>1</sub>. \Box
+
===Einbettung von <math>\mathbb{Q}</math> in <math>\mathbb{\bar Q}</math>===
 +
Die Abbildung <math> \iota:  \mathbb{Q}\to \mathbb{\bar Q} </math> definiert durch <math> \iota(p)=[(p,p,p,\dots)]</math> ist eine injektive strukturverträgliche Abbildung. Strukturverträglichkeit bedeutet hier Verträglich mit der Gruppenstruktur von (<math>\mathbb{Q}</math>,+) und der topologischen Struktur.
  
Die zusätzliche topologische Struktureigenschaft für die Erweiterung der <nowiki><math>\mathbb{Q}<\math> soll jetzt die Forderung sein, dass in der vervollständigten Menge jede FF konvergiert. Ein Raum mit dieser Eigenschaft nennt man vollständig. Die Vervollständigung von <math>\mathbb{Q}<\math> heißt vollständige Hülle von <math>\mathbb{Q}<\math>.</nowiki>
+
Aus der Konstruktion von <math>\mathbb{\bar Q}</math> ergibt sich auch die universelle Eigenschaft von <math> \iota </math>. Denn ist M irgendeine Menge mit den geforderten Strukturmerkmalen (d.h. Jede Cauchy-Folge ist konvergent), und lässt sich <math>\mathbb{Q}</math> in M einbetten durch die strukturverträgliche Abbildung <math>f:\mathbb{Q} \to M</math>, so kann zunächst gefolgert werden, dass <math>(f(a_n))</math> eine Cauchy-Folge in M ist, wenn <math>(a_n)</math> eine Cauchy-Folge in <math>\mathbb{Q}</math> ist. <math>(f(a_n))</math> konvergiert wegen der Struktureigenschaften von M dann gegen ein Element <math>r' \in M</math>. Die Abbildung <math>g:\mathbb{\bar Q} \to M</math> definiert durch <math>g([a_n])= r'</math> bettet dann <math>\mathbb{\bar Q}</math> in M ein, und es ist <math>f = g \circ i</math>. <math>\mathbb{\bar Q}</math> ist damit die kleinste <math>\mathbb{Q}</math> umfassende Menge, in der jede Cauchy-Folge konvergiert, und ist bis auf Isomorphie eindeutig bestimmt.
===Konstruktion der vollständigen Hülle von <nowiki><math>\mathbb{Q}<\math></nowiki>===
 
Man könnte zunächst daran denken, die FF selbst als Elemente der zu konstruierenden Menge zu verwenden. Doch zeigt schon die Betrachtung konvergenter FF, dass es jeweils beliebig viele Folgen mit gleichem Grenzwert (Limes) gibt. Sind (a<sub>n</sub>) und (b<sub>n</sub>) zwei solcher Folgen, so ist allerdings (a<sub>n</sub> - b<sub>n</sub>) eine Nullfolge. Dies führt zu einer Klasseneinteilung in der Menge aller FF durch die Einführung einer Äquivalentsrelation. Wir bezeichnen nun den Abschluss der <nowiki><math>\mathbb{Q}<\math> nun als <math>\mathbb{Q}\bar<\math>. Somit kann man <math>\mathbb{Q}\bar<\math> anordnen und durch einen Absolutbetrag einführen, durch den in <math>\mathbb{Q}\bar<\math> eine Metrik und damit eine topologische Struktur eingeführt werden kann, durch die <math>\mathbb{Q}\bar<\math> die Eigenschaften einer topologischen Gruppe erhält. Es zeigt sich, dass jede FF in <math>\mathbb{Q}\bar<\math> konvergiert. <math>\mathbb{Q}\bar<\math> ist die gesuchte vollständige Hülle von <math>\mathbb{Q}<\math>.</nowiki>
 
===Einbettug von <nowiki><math>\mathbb{Q}<\math> in <math>\mathbb{Q}\bar<\math></nowiki>===
 
Die Abbildung i:<nowiki><math>\mathbb{Q}\to \mathbb{Q}\bar<\math> definiert durch i(p)=[(p,p,p,...)] ist eine injektive strukturverträgliche Abbildung. Strukturverträglichkeit bedeutet hier Verträglich mit der Gruppenstruktur von (<math>\mathbb{Q}<\math>,+) und der topologischen Struktur.</nowiki>
 
  
Aus der Konstruktion von <nowiki><math>\mathbb{Q}\bar<\math> ergibt sich auch die universelle Eigenschaft von i. Denn ist M irgendeine Menge mit den geforderten Strukturmerkmalen, und lässt sich <math>\mathbb{Q}<\math> in M einbetten durch die strukturverträgliche Abbildung f:<math>\mathbb{Q} \to M<\math>, so kann zunächst gefolgert werden, dass (f(a</nowiki><sub>n</sub>)) FF in M ist, wenn (a<sub>n</sub>) FF in <nowiki><math>\mathbb{Q}<\math> ist. (f(a</nowiki><sub>n</sub>)) konvergiert wegen den Struktureigenschaften von M dann gegen ein Element <nowiki><math>r' \in M<\math>. Die Abbildung g:<math>\mathbb{Q}\bar \to M<\math> definiert durch g([a</nowiki><sub>n</sub>])= r' bettet dann <nowiki><math>\mathbb{Q}\bar<\math> in M ein, und es ist <math>f = g \circ i<\math>. <math>\mathbb{Q}\bar<\math> ist damit die kleinste <math>\mathbb{Q}<\math> umfassende Menge, in der jede FF konvergiert, und ist bis auf Isomorphie eindeutig bestimmt.</nowiki>
+
===Isomorphie von <math>\mathbb{\bar Q}</math> und <math>\mathbb{R}</math>===
===Isomorphie von <nowiki><math>\mathbb{Q}\bar<\math> und <math>\mathbb{R}<\math></nowiki>===
+
Die [https://de.wikipedia.org/wiki/Isomorphismus Isomorphie] von <math>\mathbb{\bar Q}</math> und <math>\mathbb{R}</math> ist selbsterklärend da <math>\mathbb{\bar Q}</math> und <math>\mathbb{R}</math> gleich definiert sind. Dies folgt also daraus, dass gezeigt wurde, dass <math>\mathbb{\bar Q}</math> die kleinste <math>\mathbb{Q}</math> umfassende Menge ist, die die Bedingungen der Cauchy-Folge erfüllt. Denn aus dem [https://de.wikipedia.org/wiki/Rationale_Zahl Stetigkeitsbegriff<sup>(3.Eigenschaften)</sup>] wissen wir, dass der Grenzwert einer gegen <math>\sqrt{2}</math> konvergierenden Folge in <math>\mathbb{Q}</math> nicht existiert, aber dafür in <math>\mathbb{\bar Q}</math>, da dies die kleinste Hülle ist, die <math>\mathbb{Q}</math> umschließt und somit den [https://de.wikipedia.org/wiki/Dichte_Teilmenge Dichtheitsbegriff <sup>(2.Beispiele)</sup>] erweitern und stetige Funktionen auf <math>\mathbb{\bar Q}</math> zulassen.
Die topologische Struktur von <nowiki><math>\mathbb{Q}\bar<\math> heißt reelle Topologie i Unterschied zur sogenannten raationalen Topologie von <math>\mathbb{Q}<\math>. Durch [(a</nowiki><sub>n</sub>)]*[(b<sub>n</sub>)]:=[(a<sub>n</sub> * b<sub>n</sub>)] und [(a<sub>n</sub>)]<sup>-1</sup> :=[a<sub>n</sub><sup>-1</sup>] für <nowiki><math>a</nowiki><sub>n</sub> \neq 0<\math> lässt sich die algebraische Struktur von <nowiki><math>\mathbb{Q}\bar<\math> zu einer Körperstruktur erweitern derart, dass <math>\mathbb{R} und \mathbb{Q}\bar<\math> bijektiv unter Erhaltung aller Strukturmerkmale aufeinander abgebildet werden können.</nowiki>
+
Die topologische Struktur von <math>\mathbb{\bar Q}</math> heißt reelle Topologie im Unterschied zur sogenannten rationalen Topologie von <math>\mathbb{Q}</math>. Durch <math>[(a_n)]*[(b_n)]:=[(a_n * b_n)]</math> und <math>[(a_n)]^{-1} :=[a_n^{-1}]</math> für <math>a_n \neq 0</math> lässt sich die algebraische Struktur von <math>\mathbb{\bar Q}</math> zu einer Körperstruktur derart erweitert, dass <math>\mathbb{R}</math> und <math>\mathbb{\bar Q}</math> bijektiv unter Erhaltung aller Strukturmerkmale aufeinander abgebildet werden können.<sup>[1]</sup>
  
Ist etwa (a<sub>n</sub>) eine FF in <nowiki><math>\mathbb{Q}<\math>, so gibt es stets eine äquivalente monoton steigende Folge (b</nowiki><sub>n</sub>). <nowiki><math>\cup A</nowiki><sub>b<small>n</small></sub> <\math> ist dann ein offener Anfang in <nowiki><math>\mathbb{Q}<\math> und φ:<math>\mathbb{Q}\bar \to \mathbb{R}<\math> definiert durch φ([a</nowiki><sub>n</sub>])=<nowiki><math>\cup A</nowiki><sub>b<small>n</small></sub> <\math> eine bijektive strukturverträgliche Abbildung.
+
Wir bezeichnen fortan <math>\mathbb{\bar Q}</math> als <math>\mathbb{R}</math>.
==Mathematik==
 
===Vertiefung: Cauchy-Folgen und Vollständigkeit===
 
Ein weiteres zentrales Konzept sind die Cauchy-Folgen. Die grundlegende Bedeutung von Folgen, schon bei der Definition der reellen Zahlen, hängt aber eng mit den Cauchy-Folgen zusammen.
 
  
Wir nennen eine Folge (x<sub>n</sub>) eine Cauchy-Folge, wenn es zu jedem Wert ε>0 eine Zahl N \in \mathbb{N} gibt mit der Eigenschaft, dass für alle Indizes m,n > N die Abschätzung |x<sub>m</sub> - x<sub>n</sub>| \leq ε gilt. Dies bedeutet, dass mit hinreichend großen Indizes die Differenz von Folgengliedern beliebig klein wird. Cauchy-Folgen sind benannt nach dem französischen Mathematiker Augustin Louis Cauchy (1789-1857) der den Weg zur modernen Analysis mit bereitet hat.
+
=Cauchy-Folge=
 +
Sei C die Menge der Cauchy-Folgen auf <math>\mathbb{Q}</math>.
 +
 
 +
===Eigenschaften von Cauchy-Folgen===
 +
Seien <math> (x_n)_{n\in\mathbb{N}},(y_n)_{n\in\mathbb{N}} \subset C </math>. Dann gilt:
 +
 
 +
a) <math> (x_n)_{n\in\mathbb{N}} </math> ist beschränkt.
 +
 
 +
b) <math> (x_n + y_n)_{n\in\mathbb{N}} \subset C</math>
 +
 
 +
c) <math> (x_n * y_n)_{n\in\mathbb{N}} \subset C</math>
 +
 
 +
d) Ist <math>(x_n)_{n\in\mathbb{N}} </math> keine Nullfolge <math>\Rightarrow \exists ε>0, ε\in\mathbb{Q}, N\in\mathbb{N}</math>, sodass entweder <math>x_n\geq ε, \forall n \geq N</math>  oder  <math>x_n\leq -ε, \forall n \geq N</math>, die die Axiome O1 und O2 erfüllen. Statt <math>a \in P</math> schreiben wir a>0, sprich: "a positiv". 
 +
 
 +
e) Ist <math> (x_n)_n\in\mathbb{N} </math> keine Nullfolge, <math>x_n\neq 0, \forall n\in \mathbb{N} \Rightarrow (x_n^{-1})\in C </math>
 +
 
 +
Man kann die Cauchyfolgen-Eigenschaft (siehe Definition) in vollständigen metrischen Räumen verwenden ohne Kenntnis über den Grenzwert zu haben.
 +
Folgende Konvergenzkriterien gibt es (werden aber nicht unbedingt erklärt, da sie nicht von besonderer Wichtigkeit hier sind): Majorantenkriterium, Einschließungskriterium, Monotoniekriterium, Bolzano-Weierstraß, Cauchy-Kriterium (Eine reelle Zahlenfolge konvergiert genau dann gegen eine reelle Zahl, wenn sie eine Cauchy-Folge ist. Es gilt: <math>(a_n)_{n\in\mathbb{N}}</math> ist Cauchy-Folge <math>\Leftrightarrow (a_n)_{n\in\mathbb{N}}</math> ist konvergent. Dieses Kriterium gilt wie oben erwähnt zum Beispiel in <math>\mathbb{R}</math>, aber nicht in <math>\mathbb{Q}</math>.)
 +
 
 +
Jede Cauchy-Folge in <math>\mathbb{R}</math> ist konvergent. Dieser Satz lässt sich mit dem [https://de.wikipedia.org/wiki/Satz_von_Bolzano-Weierstra%C3%9F Satz von Bolzano Weierstraß] zeigen. Diese Implikation gilt nicht in <math> \mathbb{Q} </math> (wie oben bereits am Beispiel der Folge mit Grenzwert <math> \sqrt{2} </math> gezeigt). Dies ist ein substantieller Unterschied zwischen den rationalen und den reellen Zahlen: Die reellen Zahlen sind vollständig, die rationalen hingegen nicht. (Wir nennen einen normierten Raum vollständig, wenn jede Cauchy-Folge konvergiert.)
 +
 
 +
Die Vollständigkeit der Reellen Zahlen muss man bei der Definition dieser durch ein Axiom, also eine nicht beweisbare Voraussetzung, verankern. Dazu gibt es verschiedene Vollständigkeitsaxiome, die verwendet werden können: Dedekindsche Schnitte, Intervallschachtelung, Cauchy-Kriterium, Satz von Bolzano-Weierstraß,...
 +
 
 +
= Konstruktion über Cauchy =
 +
 
 +
===Konstruktion der Menge <math>\mathbb{R}</math> als Körper===
 +
[[Datei:DMV-Cauchy.png|mini|rechts|Zwei äquivalente Cauchy-Folgen: die Folge der Abstände, dargestellt durch die gestrichelten Linien, ist eine Nullfolge.]]
 +
Zwei Cauchy-Folgen <math> (x_n)_n\in\mathbb{N},(y_n)_n\in\mathbb{N} </math> heißen äquivalent <math> (x\sim y)</math>, falls <math> x_n - y_n \to 0</math>.
 +
 
 +
Wir definieren nun <math>\mathbb{R}</math> als die Menge dieser Äquivalenzklassen.
 +
 
 +
'''Eigenschaften:'''
 +
 
 +
a) (<math>\mathbb{R}</math>, +) ist eine abelsche Gruppe
  
Es gilt allgemein: Konvergente Folgen sind auch Cauchy-Folgen, denn mit dem Grenzwert x können wir abschätzen |x<sub>m</sub> - x<sub>n</sub>|\leq |x<sub>m</sub> - x|+|x<sub>n</sub> - x|. Wegen der Konvergenz der Folge (x<sub>n</sub>) streben die beiden Terme auf der rechten Seite gegen 0 für m,n \to\infty. Also ist die Folge eine Cauchy-Folge. Die Umkehrung dieser Aussage gilt auch:
+
b) ( <math>\mathbb{R}</math>\{0}, * ) ist eine abelsche Gruppe
  
Jede Cauchy-Folge in \mathbb{R} ist konvergent. Dieser Satz lässt sich mit dem Satz von Bolzano-Weierstraß zeigen. Falls (x<sub>n</sub>) eine Cauchy-Folge ist, können wir zu ε=1 ein N \in\mathbb{N} finden mit |x<sub>n</sub>|=|x<sub>n</sub> - x<sub>N</sub> + x<sub>N</sub>|\leq |x<sub>n</sub> - x<sub>N</sub>| + |x<sub>N</sub>|\leq 1 + |x<sub>N</sub>| für alle n \geq N. Also ist die Cauchy-Folge beschränkt durch max{1 + |x<sub>N</sub>|,|x<sub>1</sub>|,|x<sub>2</sub>|,...,||x<sub>N-1</sub>}. Der Satz von Bolzano-Weierstraß besagt dann, dass (x<sub>n</sub>) einen Häufungspunkt x hat. Wenn wir mit (x<sub>n<small>j</small></sub>)<sub>j</sub>=1\to\infty eine Teilfolge bezeichnen, die gegen x konvergiert, ergibt sich mit |x<sub>n</sub> - x|\leq |x - x<sub>n<small>j</small></sub>|+|x<sub>n<small>j</small></sub> - x<sub>n</sub>|, dass x Grenzwert der gesamten Folge (x<sub>n</sub>) ist.
+
c) Es gilt das Distributivgesetz
  
In der Menge der rationalen Zahlen ist die Folge (p<sub>n</sub>) definiert durch lim_n\to\infty p<sub>n</sub> = sqrt(p) p\in \mathbb{P} [[Primzahlen]] nicht konvergent; denn wie wir wissen ist der Grenzwert keine rationale Zahl. Somit gilt die Aussage des Cauchy-Kriteriums nicht in den rationalen Zahlen. Dies ist ein substantieller Unterscheid zwischen diesen beiden Mengen von Zahlen. Eine Menge von Zahlen, Vektoren oder auch anderer Elementen heißt vollständig, wenn jede Cauchy-Folge konvergiert.
+
d) (<math>\mathbb{R}</math>, +, *) ist ein Körper
 +
 
 +
=Quellen=
 +
* Mathematik, Springer-Spektrum, ISBN: 978-3-662-56740-1, S.190, 1053, 1173
 +
* Höhere Mathematik, Verlag Harri Deutsch, ISBN: 978-3-8171-1872-4, S.345, 351, 388
 +
* Grundwissen Mathematikstudium, Springer-Spektrum, ISBN: 978-3-8274-2308-5, S.297, 772
 +
* Lexikon der Mathematik BAND:1, Spektrum Akademischer Verlag, ISBN: 978-3-662-53498-4, S.292ff.
 +
* Springer-Taschenbuch der Mathematik, Springer-Spektrum, ISBN: 978-3-8351-0123-4, S.243
 +
* dtv-Atlas der Mathematik Band 1, Dtv, ISBN: 978-3-423-03007-6, S.61
 +
* Rechnen und Mathematik, Bertelsmann Lexikon-Verlag, Buch-Nr. 1599'1180, S.447
 +
* Die bedeutendsten Mathematiker, matrixwissen, ISBN: 978-3-86539-916-8, S.107ff.
 +
* https://www.mathematik.de/algebra/179-erste-hilfe/zahlenbereiche/reelle-zahlen/2441-cauchy-folgen
  
Die Vollständigkeit der Reellen Zahlen muss man bei der Definition dieser durch ein Axiom, also einen nicht beweisbare Voraussetzung, verankern. Dazu gibt es verschiedene Vollständigkeitsaxiome, die verwendet werden können: Dedekindsche Schnitte, Intervallschachtelung, Cauchy-Kriterium, Satz von Bolzano-Weierstraß,...
+
=Bildnachweis=
 +
* http://mathphys-online.de/heronverfahren-numerische-berechnung-von-quadratwurzeln/#prettyPhoto
 +
* https://www.kapiert.de/reelle-zahlen-zahlenbereiche-untersuchen
 +
* https://en.wikipedia.org/wiki/Augustin-Louis_Cauchy
 +
* https://www.haufe-lutz.de/detail/99903BB/ (Stand 18.09.21/da Onlineshop)
 +
* https://www.mathematik.de/algebra/179-erste-hilfe/zahlenbereiche/reelle-zahlen/2441-cauchy-folgen
  
Wir benötigen die Eigenschaft, dass M vollständig ist. Das bedeutet, dass jede Folge (x<sub>n</sub>) aus M mit der Eigenschaft <nowiki><math>d(x</nowiki><sub>n</sub>,x<sub>m</sub>)\to 0 n,m\to\infty<\math> auch einen Grenzwert <nowiki><math>x\in M <\math> besitzt. Eine Folge mit dieser Eigenschaft wird Cauchy-Folge genannt. Solche Folgen und der eng damit verbundene Begriff der Vollständigkeit wurden in der Vertiefung Cauchy-Folgen behandelt.</nowiki>
+
=Weiterführende Literatur=
 +
* Abhandlung über bestimmte Integrale zwischen imaginären Grenzwerten (Oswalds Klassiker 112 (1900))
 +
* <sup>[https://link.springer.com/content/pdf/10.1007%2F978-3-662-59230-4.pdf]</sup> Mit Mathe richtig anfangen, Springer Spektrum, ISBN: 978-3-662-59230-4, S.225/Kapitel 5
 +
* https://www.mathematik.de/algebra/179-erste-hilfe/zahlenbereiche/reelle-zahlen/2441-cauchy-folgen
 +
* https://www.mathematik.de/
  
==Grundwissen Mathematikstudium==
+
=Autoren=
Konvergenzkriterien: Majorantenkriterium (Majorantenmethode ist Beweis zur Existenz von Lösungen einer Differentialgleichung erster Ordnung im Komplexen. Man betrachtet das Anfangswertproblem w'(z)=f(z,w(z)), w(z<sub>0</sub>)=w<sub>0</sub>, wobei f eine in |z-z<sub>0</sub>|<r, |w-w<sub>0</sub>|<R holomorphe Funktion mit 0<|f(z,w)|\leq M ist. ), Einschließungskriterium, Monotoniekriterium, Bolzano-Weierstraß, Cauchy-Kriterium (Cauchykriterium. Eine reelle Zahlenfolge konvergiert genau dann gegen eine reelle Zahl, wenn sie eine Cauchy-Folge ist. Es gilt: <nowiki><math><a</nowiki><sub>n</sub>> ist Cauchy-Folge \Leftrightarrow <a<sub>n</sub>> ist konvergent<\math>)
+
*
 +
* Alexander Fichtelmann
 +
* Immanuel Klevesath
 +
*

Aktuelle Version vom 14. Oktober 2021, 13:44 Uhr

Beim Konstruieren der [math] \mathbb{R}[/math] tauchen schnell Probleme auf, da sie im Gegenteil zu den ganzen und rationalen Zahlen nicht Anhand einer Formel wie z.B. [math]\frac{p}{q}[/math] mit [math] p \in \mathbb{Z}, q \in \mathbb{N}[/math] aufgebaut werden können, darum versucht dieser Artikel, die reellen Zahlen mithilfe der Cauchy-Folge zu veranschaulichen.Wir nennen eine Folge [math](x_n)_{n\in\mathbb{N}}[/math] eine Cauchy-Folge, wenn es zu jedem Wert [math]\varepsilon\gt 0 [/math] eine Zahl [math]N \in \mathbb{N}[/math] gibt mit der Eigenschaft, dass für alle Indizes [math]m,n \gt N[/math] die Abschätzung [math]|x_m - x_n|\leq \varepsilon[/math] gilt. Dies bedeutet, dass mit hinreichend großen Indizes die Differenz von Folgengliedern beliebig klein wird (siehe Bild). Dadurch lassen sich vor allem die reellen Zahlen [math] \mathbb{R}[/math] konstruieren, wie hier gezeigt werden soll. Cauchy-Folgen sind benannt nach dem französischen Mathematiker Augustin Louis Cauchy (1789-1857) der den Weg zur modernen Analysis mit bereitet hat. Zudem wird hier behandelt, wo die reellen Zahlen auftauchen und wie sie konstruiert werden können.

Für hinreichend große Indizes ist die Differenz beliebig klein

Bevor die Cauchy-Folge erklärt wird, betrachten wir aber das Heron-Verfahren, da wir hieran gut die Besonderheiten der reellen Zahlen sehen können.

Augustin-Louis Cauchy

Cauchy war ein sehr wichtiger Entwickler auf dem Gebiet der Analysis im frühen 19.Jahrhundert. In den 1820er-Jahren hat er das gesamte Gebiet der Reellen Analysis umgekehrt, indem er die Begriffe Grenzwert, Stetigkeit, Ableitung und Integral formuliert hat. Darüber hinaus hat er die Komplexe Analysis entwickelt. Deshalb sind heute viele Ergebnisse auf diesem Gebiet mit seinem Namen behaftet. Daneben führte Cauchy die erste sogenannte Revolution der Strenge in der Mathematik ein.

Augustin-Louis Cauchy wurde am 21.August 1789 geboren, also mitten in die französische Revolution hinein. Noch vor dieser war sein Vater ein hoher Beamter. Im Jahr 1794, als die Revolution bereits im Gang war, floh er mit seiner Familie in den kleinen Ort Arcueil und lebte dort abgeschieden. Ganz stark geprägt wurden die Kinder durch das Ausleben einer tiefen Religiosität, die sie auch später noch begleiten sollte. Die Ausbildung von Cauchy übernahm sein Vater, da er klassische Sprachen und Literatur selbst ausgezeichnet beherrschte. Schon hier zeigte sich aber beim Sohn ein ganz anderes besonderes Talent, nämlich das für Mathematik.

max

Zufällig hatte nun auch Joseph-Louis Lagrange ein Anwesen in Arcueil, sodass Cauchy sowohl ihm als auch anderen Wissenschaftlern, die bei Lagrange zu besuch waren, begegnen konnte.Lagrange war beeindruckt von den Fähigkeiten des jungen Mannes und deshalb auch interessiert an seiner Ausbildung. Zwei Jahre später kehrte die Familie nach Paris zurück, wo der Vater seine Karriere unter dem neuen Regime fortsetzen konnte und nun zum Generalsekretär des Senats - dessen Kanzler wiederum Laplace war - bestimmt wurde. Zuerst besuchte Cauchy eine humanistische Schule, bevor er 1805 an der Aufnahmeprüfung zur École Polytechnique teilnahm. Dort belegte er den zweiten Platz und nahm mit 16 Jahren das Studium an dieser Schule auf. Nach zwei Jahren Ausbildung mit Schwerpunkt auf Mathematik und Mechanik wechselte er zur École des Ponts et Chaussées für zwei Jahre und war 1810 mit nicht ganz 21 Jahren bereits Ingenieur. Dann ging er nach Cherbourg zum Aufbau des dortigen Hafens, der zu dieser Zeit eine große strategische Bedeutung für Militäroperationen gegen Großbritannien hatte. Hier entstanden erste mathematische Arbeiten zu sehr vielen Themen wie der Theorie der Brücken, den Polyedern oder den figurierten Zahlen. In Cherbourg blieb Cauchy fast drei Jahre, unter anderem weil seine Arbeit sehr gelobt wurde. Daneben beschäftigte er sich in seiner knappen Freizeit noch mit mathematischer Forschung. Im Selbststudium eignete er sich selbst Werke von Lagrange (Traité des fonctions analytiques) und Laplace (Mécanique céleste) an. Seine mathematische Karriere begann 1811, als es ihm gelang ein Problem von Lagrange zu lösen. Um eine Krankheit auszukurieren, ging Cauchy 1812 für einige Zeit nach Paris zurück, wo er schließlich das Manuskript einer Arbeit über symmetrische Funktionen vervollständigte, die bereits jene grundlegenden Ideen enthielt, aus der später die Gruppentheorie hervorgehen sollte. In dieser Arbeit, die dann 1815 veröffentlicht wurde, benutzte er zum einen Methoden von Gauß, zum anderen aber auch neue Methoden um zahlentheoretische Resultate von Lagrange und Ruffini zu verallgemeinern. Zudem entwickelte er darin die Theorie der Determinanten.

Mittlerweile war Cauchys Interesse an der Ingenieurstätigkeit erloschen, und er wollte sich nun ganz der Mathematik widmen; deshalb versuchte er, eine Stelle in Paris zu bekommen, allerdings erfolglos. Unterdessen schrieb Cauchy eine Arbeit, in der er versuchte, die Anzahl der reellen Nullstellen einer algebraischen Gleichung vorherzubestimmen - ein Gebiet, mit dem er sich immer wieder beschäftigen sollte. Hohe Reputation erlangte er dann mit einer Abhandlung zur Berechnung bestimmter Integrale. Hier zeigte sich bereits die mathematische Vielseitigkeit von Cauchy, die er im Laufe seines Lebens entwickelte. Im Laufe seines Lebens veröffentlichte er sieben Bücher und mehr als 800 wissenschaftliche Arbeiten.

Nachdem mehrere Versuche, in die Akademie der Wissenschaften gewählt zu werden, erfolglos geblieben waren, wurde Cauchy, der Royalist war, nach der Machtübernahme der Bourbonen im Jahr 1816 letztlich zum Mitglied der Akademie bestimmt, statt gewählt. Dieser Erfolg kostete ihn jedoch die Freundschaft einiger Leute, da im Gegenzug zum Beispiel Monge und Carnot aus der Akademie ausgeschlossen wurden. Kurze Zeit später wurde Cauchy zum Professor an der École Polytechnique für Analysis und Mechanik ernannt. Bei den Studenten war Cauchy beliebt, er galt als unermüdlich, gutmütig und geduldig erklärend. Allerding beschwerten sich einige Studenten über seine Zeit-Überziehung sowie über seine royalistischen Ansichten.

In seinen Vorlesungen entwickelte er ferner einen neuen Strengebegriff in der Analysis. Zu dieser Zeit war der Begriff der Funktion nämlich noch schwammig, denn es wurde mit unendlichen Summen gerechnet, ohne sich die Frage nach deren Konvergenz zu stellen, was dann einige Paradoxien hervorrief. Außerdem waren die grundlegenden Begriffe des Integrals und der Ableitung noch nicht genau definiert worden. In seinem aus Vorlesungen hervorgehenden Werk Analyse algébrique befasste sich Cauchy mit all diesen grundlegenden Problemen der Analysis. Er lieferte eine exakte Definition des unendlich Kleinen, wozu er den Begriff des Grenzwertes mit etwa den Orten einführte, wie sie auch heute noch verwendet werden. Damit konnte er dann relativ leicht Folgen definieren und davon ausgehend zur genauen Definition von Ableitung und Integral weiter schreiten. Ähnliche Fortschritte hatte zeitgleich der böhmische Mathematiker Bolzano in Prag erzielt.

Weiterhin kann man sagen, dass Cauchy den Begriff der Konvergenz von unendlichen Summen einführte und zudem Kriterien fand, mit deren Hilfe man über die Konvergenz von unendlichen Summen Aussagen treffen kann. Dabei entwickelte Cauchy die Infinitesimalrechnung aus dem Mittelwertsatz, der seit Lagrange bekannt war. Zu der von Cauchy eingeführten mathematischen Strenge erzählt die Überlieferung, dass Laplace, als Cauchy sein Werk während eines wissenschaftlichen Treffens präsentierte, schleunigst nach Hause eilte und sich dort so lange einschloss, bis er alle seine unendlichen Summen, die er in seiner Himmelsmechanik verwendet hatte, überprüft hatte. Glücklicherweise hielten tatsächlich alle seiner unendlichen Summen dem Cauchyschen Konvergenztest stand.

In seinen wissenschaftlichen Forschungsarbeiten war Cauchy weniger streng. Zum Beispiel hielt er es nie für nötig, für seine von ihm verwendeten Funktionen Stetigkeit nachzurechnen, immerhin ein Begriff, den er selbst streng definiert hatte.

Interessanterweise hatte Cauchy sogar Pläne, die Lehrinhalte an der École Polytechnique zu reformieren. Mit seinem Cours d´Analyse strebte er die selbe Strenge an, die die Geometrie zu dieser Zeit schon hatte. Diese scheiterten jedoch zum großen Teil. Denn es gab Einwände, sie seien zu sehr theoretisch orientiert und überambitioniert. Schließlich wolle man ja Ingenieure ausbilden und keine Mathematiker.

Buch von Lagrange über die Theorie der analytischen Funktionen, die sich Cauchy im Selbststudium aneignete

Diese Zeit, also während der Restauration, war die fruchtbarste Schaffensperiode für Cauchy. Nun fixierte er sich auf vier Themenbereiche. Der erste war die Lehrtätigkeit, mit Schwerpunkt auf theoretischer Mechanik und Analysis. Daraus gingen die bereits beschriebenen fundamentalen Definitionen hervor. Der zweite war die mathematische Physik. Daraus resultierten wiederum zwei große Arbeiten über die Theorie der Wellenausbreitung und über die Elastizitätstheorie. Und drittens entwickelte Cauchy nahezu im Alleingang das bahnbrechende neue Gebiet der komplexen Analysis, das erst langsam an Anerkennung gewann, später aber gewaltige Auswirkungen haben sollte. Außerdem schuf er eine detaillierte Ausarbeitung der Theorie der Differentialgleichungen. Dabei erkannte er die Notwendigkeit, Existenzbeweise von Lösungen führen zu müssen. 1816 erhielt er einen Preis der Pariser Akademie für seine Lösung eines Problems der Hydromechanik.

All das schaffte Cauchy, bevor er 28 Jahre alt war. Aufgrund seiner hohen Produktivität würde auch eine ausführliche Aufzählung der Errungenschaften Cauchys jeden Rahmen sprengen. Hier nur einige Sätze und Begriffe aus der Mathematik, die seinen Namen tragen: Cauchysche Abschätzungsformel, Cauchysche Anfangswertprobleme, Cauchysche Integralformel, Cauchyscher Integralsatz, Existenzsatz von Cauchy, Cauchy-Riemannsche partielle Differentialgleichungen, Cauchy-Bunjakowsji-Schwarzsche-Ungleichung, Cauchysches Quotientenkriterium, Cauchy-Reihenproduktsatz, Cauchysches Wurzelkriterium und Cauchy-Folge, um die es hier besonders gehen soll.

1818 heiratete Cauchy und pflegte nun auch in seiner eigenen Familie die religiöse Tradition, die ihm zu Hause mitgegeben worden waren. Lange Zeit später, von 1830 an, änderte sich sein Leben von Grund auf. Nach der Revolution von 1830 ging Cauchy freiwillig ins Exil. Damit gab er seiner Verbundenheit mit dem gestürzten Bourbonenkönig Karl X. Ausdruck. Zuerst siedelte Cauchy in die Schweiz über, arbeitete dann von 1831 bis 1833 in Turin. Danach wurde er von Karl X. für fünf Jahre als Erzieher in den Bourbonen Exil-Ort Prag geholt. Cauchy hielt allerdings während dieser Zeit immer Kontakt zu den französischen Wissenschaftsinstitutionen. Schließlich wurde im Jahr 1835 in Paris die Zeitschrift Comptes Rendues der Akademie der Wissenschaften ins leben gerufen, die Cauchy mit vielen ausgedehnten Arbeiten geradezu überflutete. Seinetwegen wurde später sogar ein Seitenlimit von vier Seiten pro Arbeit eingeführt. Manchmal reichte Cauchy auch unvollständige Arbeiten ein, oder gar mehrere unfertige Skizzen zu einer Problematik, teilweise sogar ohne zu einem Ergebnis zu gelangen. Wegen seiner hohen Zahl an Publikationen schließlich würdigte man seine Arbeit in Paris sehr. Aufgrund seiner Selbstbezogenheit aber, seiner Unduldsamkeit gegenüber jüngeren Kollegen und nicht zuletzt aufgrund seiner religiösen und politischen Ansichten war Cauchy als Person nicht nur beliebt. Trotz allem war er in seinen Gutachten der Arbeiten anderer äußerst fair, würdigte deren Verdienste und gab auch eigene Fehler zu.

Schließlich kehrte er 1838 nach Paris zurück. Da Cauchy es ablehnte, einen Treueid auf die Regierung abzuleisten, konnte er zunächst keine Anstellung bekommen. Dann wurde er 1839 in das Bureau des Longitudines, das Amt für Maße und Gewichte, gewählt. Dort wurde er zwar von der Regierung nicht offiziell bestätigt, aber auch nicht wieder entfernt. Mit der Revolution von 1848 wurde der Treueid dann abgeschafft, so dass paradoxerweise gerade die liberalen Kräfte dem Royalisten Cauchy wieder eine legale Anstellung ermöglichten.

Cauchy griff zwar nie in die Politik ein, jedoch benutzte ihn die Kirche oft als Aushängeschild für ihre Ziele. So sollte er ein Beispiel für die Verknüpfung von Glaube und Wissenschaft sein, also eine auf der Vernunft basierende Bestätigung der Richtigkeit der kirchlichen Politik. Während eines Besuchs in Paris sagte Abel in diesem Zusammenhang über Cauchy: "Cauchy ist extrem katholisch und bigott. Das ist eine sehr seltsame Sache bei einem Mathematiker."

1857 erkrankte Cauchy, woraufhin ihm der Pariser Kardinal die Letzte Ölung erteilte. Am 23.Mai 1857 starb er.

Heron-Verfahren

Das Heron-Verfahren war schon den Babyloniern von vor 4000 Jahren bekannt, daher wird es auch als Babylonisches Wurzelziehen bezeichnet. Dabei wird die Wurzel von x anhand der Formel [math]a_{n+1}:=\frac{1}{2}(a_n+\frac{x}{a_n})[/math] approximiert. Dabei ist es egal, welcher Startwert [math] a_0 [/math] gewählt wird. Ein Beispiel zeigt:

Geometrische Interpretation des Heron-Verfahrens

Wurzel von 2:

[math] a_0 = 1 [/math]

[math] a_1 = [/math] 1/2(1 + 2/1) = 1,5

[math] a_2 = [/math] 1/2(1,5 + 2/1,5) = 1,4166666...

[math] a_3 = [/math] 1/2(1,41666667 + 2/1,41666667) = 1,41421143847...

...

[math] a_8 = [/math] 1,4142135624...

Zum Vergleich mit dem Startwert [math] a_0=3 [/math]

[math] a_0 = 3 [/math]

[math] a_1 = [/math] 1/2(3 + 2/3) = 1,833333...

[math] a_2 = [/math] 1/2(1,833333 + 2/1,833333) = 1,4621212105

...

[math] a_8 = [/math] 1,4142135624...

Eine geometrische Interpretation des Heron-Verfahrens ist die folgende: Gesucht ist die Seitenlänge eines Quadrats mit Flächeninhalt [math] x [/math]. Dazu wird zunächst ein Rechteck konstruiert, von dem bekannt ist, dass die Fläche [math] x [/math] beträgt (z.B. mit einer Seite der Länge [math] x_0=x [/math] und einer Seite der Länge [math] y_0=1 [/math]). Nun wird schrittweise mittels des Algorithmus des Heron-Verfahrens der Wert [math] x_i [/math] angepasst und [math] y_i=\frac{x}{x_i} [/math] gesetzt. Dieses Verfahren wird bis zur gewünschten Genauigkeit fortgeführt.

Zahlen

Wichtige Sätze der Analysis beruhen auf der Vollständigkeit von [math] \mathbb{R} [/math]

Bei der Einführung der Zahlensysteme kann man so vorgehen, dass man mit den natürlichen Zahlen [math]\mathbb{N}[/math] beginnt. Als Differenzen von natürlichen Zahlen erhält man die ganzen Zahlen [math]\mathbb{Z}[/math], als Quotienten von ganzen Zahlen die rationalen Zahlen [math]\mathbb{Q}[/math]. In [math]\mathbb{Q}[/math] kann man jetzt schon recht gut Analysis betreiben, etwa den Konvergenzbegriff einführen. Die Folge [math](\frac{1}{n})_{n\in\mathbb{N}}[/math] ist zum Beispiel aus [math]\mathbb{Q}[/math] und konvergiert gegen die Null.

Es gibt aber auch andere Folgen in [math]\mathbb{Q}[/math], die sich wie konvergente Folgen verhalten, deren Grenzwert aber nicht in [math]\mathbb{Q}[/math] liegt. Ein Beispiel dafür ist die Folge, die beim Heron-Verfahren zur Approximation von [math]\sqrt{2}[/math] konstruiert wird. Beschränkt man sich nur auf [math]\mathbb{Q}[/math], so ist eine solche Folge nicht konvergent, denn sie besitzt keinen Grenzwert in [math]\mathbb{Q}[/math], ist aber dennoch eine Cauchyfolge.

Zahlen und ihre Zahlbereiche

Beispiel: Wir berechnen die Cauchy-Folgeneigenschaft der Folge aus dem Heron-Verfahren nach. Die Folge ist definiert durch [math]a_0=2, a_n=1/2(a_{n-1} + 2/(a_{n-1})), n\in \mathbb{N}[/math].

Mittels vollständiger Induktion zeigt man, dass [math] a_n \in [1,2] \text{ für alle } n\in \mathbb{N}_0[/math] gilt. Weiterhin folgt

[math]a_{n+1} - a_n = 1/2 ( a_n + 2/a_n - a_{n-1} -2/a_{n-1}) = (1/2 - 1/(a_n * a_{n-1}))(a_n - a_{n-1})[/math] für [math] n \in \mathbb{N}[/math]. Somit ergibt sich:

[math] |a_{n+1} - a_n|\leq 1/2 |a_n - a_{n-1}| \leq (1/2)^n |a_1 - a_0| [/math]

Für [math]m\gt n[/math] folgt mit der geometrischen Reihe: [math] |a_m - a_n|\leq \sum\nolimits_{k=n}^{m-1} |a_{k+1} - a_k|\leq \sum\nolimits_{k=n}^{m-1} (1/2)^k|a_1 - a_0| = (1/2)^n|a_1 - a_0| \sum\nolimits_{k=0}^{m-n-1} (1/2)^k \leq (1/2)^{n-1}|a_1 - a_0|[/math]

Indem wir n groß genug wählen, wird die Schranke auf der rechten Seite kleiner als jedes vorgegebene [math]\varepsilon\gt 0[/math]. Wir haben damit den Nachweis erbracht, dass [math](x_n)_{n\in\mathbb{N}} [/math] eine Cauchy-Folge ist.

Wichtige vorbereitende Definitionen und Sätze

Definition 1: Eine Folge [math](a_n)_{n\in\mathbb{N}}[/math] heißt Nullfolge, wenn [math]\lim_{n\to\infty} a_n = 0[/math] gilt.

Definition 2: Eine Folge [math](a_n)_{n\in\mathbb{N}}[/math] heißt Fundamentalfolge oder Cauchy-Folge, wenn gilt: [math] \forall \varepsilon\gt 0 , \exists n_1 \in \mathbb{N} : d(a_n,a_m)\lt ε , \forall n,m\geq n_1[/math].

Definition 3: Die Anordnungsaxiome: Ein angeordneter Körper ist ein Körper K zusammen mit einer Teilmenge [math]P \subset K[/math]. Diese erfüllt folgende Ordnungsrelationen oder Anordnungsaxiome:

O1 Für jedes [math]a \in K [/math]gilt genau eine der folgenden Aussagen:

i) [math]a\in P[/math] a>0
ii) a = 0 a = 0
iii) [math]-a\in P[/math] -a>0

O2

[math]a,b\in P \Rightarrow a+b, ab \in P[/math]
[math]a,b \gt 0 \Rightarrow a+b\gt 0 \land ab\gt 0 [/math]

Definition 4: Es sei M eine Teilmenge des angeordneten Körpers K. Ein Element [math]s\in K[/math] heißt Supremum vom M, falls gilt:

  • s ist eine obere Schranke von M
  • Ist t eine obere Schranke von M, so folgt: [math] t \geq s [/math]

D.h. s ist die "kleinste obere Schranke" von M.

Eine Folge reeller Zahlen ist eine Abbildung [math] f:\mathbb{N} \to \mathbb{R} [/math]. Wir schreiben [math] f=(a_n)_n \in \mathbb{N} [/math].

Definition 5: Wir sagen, dass eine Folge [math] f:\mathbb{N} \to K [/math]konvergiert, wenn ein [math] a\in K [/math] existiert, sodass für alle [math]\varepsilon \gt 0 [/math] ein [math] N_0\in\mathbb{N} [/math] existiert, sodass [math] |a_n-a| \lt \varepsilon [/math] für alle [math] n\geq N_0 [/math]. Wir nennen [math] a [/math] dann den Limes der Folge und schreiben [math] a=lim_{n\to \infty} a_n [/math].

Ähnlich wie beim Heron-Verfahren, sieht man hier, wie sich die Werte von ax an a nähern und irgendwann in der ε-Umgebung liegen

Satz: Jede konvergente Folge ist eine Cauchy-Folge.

Beweis: Ist [math]\varepsilon \gt 0 [/math] vorgegeben, so ist auch [math]\frac{\varepsilon}{2} \gt 0 [/math] und es gibt wegen der Konvergenz ein [math] N_0[/math], sodass [math]|a-a_n| \lt \frac{\varepsilon}{2}, \forall n \geq N_0[/math]. Dann gilt wegen der Dreiecksungleichung [math]|a_n-a_m|=|(a_n - a)+(a-a_m)|\leq |a-a_n|+|a-a_m|\lt \frac{\varepsilon}{2} + \frac{\varepsilon}{2} = \varepsilon , \forall n,m\geq N_0[/math]. Die Umkehrung gilt nicht in [math]\mathbb{Q}[/math]! (Aber in [math]\mathbb{R} \lor \mathbb{C}[/math])

Wir wollen nun [math]\mathbb{Q}[/math] so erweitern/ vervollständigen, dass in der vervollständigten Menge jede Cauchy-Folge konvergiert. Einen Raum mit dieser Eigenschaft nennt man vollständig. Die Vervollständigung von [math]\mathbb{Q}[/math] heißt vollständige Hülle von [math]\mathbb{Q}[/math].

Konstruktion der vollständigen Hülle von [math]\mathbb{Q}[/math]

Man könnte zunächst daran denken, die Cauchy-Folgen selbst als Elemente der zu konstruierenden Menge zu verwenden. Doch zeigt schon die Betrachtung konvergenter Cauchy-Folgen, dass es jeweils beliebig viele Folgen mit gleichem Grenzwert (Limes) gibt. Sind [math](a_n)_{n\in\mathbb{N}} [/math] und [math](b_n)_{n\in\mathbb{N}} [/math] zwei solcher Folgen, so ist allerdings [math](a_n-b_n)_{n\in\mathbb{N}} [/math] eine Nullfolge. Dies führt zu einer Klasseneinteilung in der Menge aller Cauchy-Folgen durch die Einführung einer Äquivalenzrelation: Zwei Folgen werden genau dann miteinander identifiziert, wenn ihre Differenz eine Nullfolge ist. Man prüft leicht nach, dass dies in der Tat eine Äquivalenzrelation ist. Wir bezeichnen nun den Abschluss von [math]\mathbb{Q}[/math] nun als [math]\mathbb{\bar Q}[/math]. Damit kann man [math]\mathbb{\bar Q}[/math] anordnen und einen Absolutbetrag einführen, durch den in [math]\mathbb{\bar Q}[/math] eine Metrik und damit eine topologische Struktur eingeführt werden kann, durch die [math]\mathbb{\bar Q}[/math] die Eigenschaften einer topologischen Gruppe erhält. Es zeigt sich, dass jede Cauchy-Folge in [math]\mathbb{\bar Q}[/math] konvergiert. [math]\mathbb{\bar Q}[/math] ist die gesuchte vollständige Hülle von [math]\mathbb{Q}[/math].

Einbettung von [math]\mathbb{Q}[/math] in [math]\mathbb{\bar Q}[/math]

Die Abbildung [math] \iota: \mathbb{Q}\to \mathbb{\bar Q} [/math] definiert durch [math] \iota(p)=[(p,p,p,\dots)][/math] ist eine injektive strukturverträgliche Abbildung. Strukturverträglichkeit bedeutet hier Verträglich mit der Gruppenstruktur von ([math]\mathbb{Q}[/math],+) und der topologischen Struktur.

Aus der Konstruktion von [math]\mathbb{\bar Q}[/math] ergibt sich auch die universelle Eigenschaft von [math] \iota [/math]. Denn ist M irgendeine Menge mit den geforderten Strukturmerkmalen (d.h. Jede Cauchy-Folge ist konvergent), und lässt sich [math]\mathbb{Q}[/math] in M einbetten durch die strukturverträgliche Abbildung [math]f:\mathbb{Q} \to M[/math], so kann zunächst gefolgert werden, dass [math](f(a_n))[/math] eine Cauchy-Folge in M ist, wenn [math](a_n)[/math] eine Cauchy-Folge in [math]\mathbb{Q}[/math] ist. [math](f(a_n))[/math] konvergiert wegen der Struktureigenschaften von M dann gegen ein Element [math]r' \in M[/math]. Die Abbildung [math]g:\mathbb{\bar Q} \to M[/math] definiert durch [math]g([a_n])= r'[/math] bettet dann [math]\mathbb{\bar Q}[/math] in M ein, und es ist [math]f = g \circ i[/math]. [math]\mathbb{\bar Q}[/math] ist damit die kleinste [math]\mathbb{Q}[/math] umfassende Menge, in der jede Cauchy-Folge konvergiert, und ist bis auf Isomorphie eindeutig bestimmt.

Isomorphie von [math]\mathbb{\bar Q}[/math] und [math]\mathbb{R}[/math]

Die Isomorphie von [math]\mathbb{\bar Q}[/math] und [math]\mathbb{R}[/math] ist selbsterklärend da [math]\mathbb{\bar Q}[/math] und [math]\mathbb{R}[/math] gleich definiert sind. Dies folgt also daraus, dass gezeigt wurde, dass [math]\mathbb{\bar Q}[/math] die kleinste [math]\mathbb{Q}[/math] umfassende Menge ist, die die Bedingungen der Cauchy-Folge erfüllt. Denn aus dem Stetigkeitsbegriff(3.Eigenschaften) wissen wir, dass der Grenzwert einer gegen [math]\sqrt{2}[/math] konvergierenden Folge in [math]\mathbb{Q}[/math] nicht existiert, aber dafür in [math]\mathbb{\bar Q}[/math], da dies die kleinste Hülle ist, die [math]\mathbb{Q}[/math] umschließt und somit den Dichtheitsbegriff (2.Beispiele) erweitern und stetige Funktionen auf [math]\mathbb{\bar Q}[/math] zulassen. Die topologische Struktur von [math]\mathbb{\bar Q}[/math] heißt reelle Topologie im Unterschied zur sogenannten rationalen Topologie von [math]\mathbb{Q}[/math]. Durch [math][(a_n)]*[(b_n)]:=[(a_n * b_n)][/math] und [math][(a_n)]^{-1} :=[a_n^{-1}][/math] für [math]a_n \neq 0[/math] lässt sich die algebraische Struktur von [math]\mathbb{\bar Q}[/math] zu einer Körperstruktur derart erweitert, dass [math]\mathbb{R}[/math] und [math]\mathbb{\bar Q}[/math] bijektiv unter Erhaltung aller Strukturmerkmale aufeinander abgebildet werden können.[1]

Wir bezeichnen fortan [math]\mathbb{\bar Q}[/math] als [math]\mathbb{R}[/math].

Cauchy-Folge

Sei C die Menge der Cauchy-Folgen auf [math]\mathbb{Q}[/math].

Eigenschaften von Cauchy-Folgen

Seien [math] (x_n)_{n\in\mathbb{N}},(y_n)_{n\in\mathbb{N}} \subset C [/math]. Dann gilt:

a) [math] (x_n)_{n\in\mathbb{N}} [/math] ist beschränkt.

b) [math] (x_n + y_n)_{n\in\mathbb{N}} \subset C[/math]

c) [math] (x_n * y_n)_{n\in\mathbb{N}} \subset C[/math]

d) Ist [math](x_n)_{n\in\mathbb{N}} [/math] keine Nullfolge [math]\Rightarrow \exists ε\gt 0, ε\in\mathbb{Q}, N\in\mathbb{N}[/math], sodass entweder [math]x_n\geq ε, \forall n \geq N[/math] oder [math]x_n\leq -ε, \forall n \geq N[/math], die die Axiome O1 und O2 erfüllen. Statt [math]a \in P[/math] schreiben wir a>0, sprich: "a positiv".

e) Ist [math] (x_n)_n\in\mathbb{N} [/math] keine Nullfolge, [math]x_n\neq 0, \forall n\in \mathbb{N} \Rightarrow (x_n^{-1})\in C [/math]

Man kann die Cauchyfolgen-Eigenschaft (siehe Definition) in vollständigen metrischen Räumen verwenden ohne Kenntnis über den Grenzwert zu haben. Folgende Konvergenzkriterien gibt es (werden aber nicht unbedingt erklärt, da sie nicht von besonderer Wichtigkeit hier sind): Majorantenkriterium, Einschließungskriterium, Monotoniekriterium, Bolzano-Weierstraß, Cauchy-Kriterium (Eine reelle Zahlenfolge konvergiert genau dann gegen eine reelle Zahl, wenn sie eine Cauchy-Folge ist. Es gilt: [math](a_n)_{n\in\mathbb{N}}[/math] ist Cauchy-Folge [math]\Leftrightarrow (a_n)_{n\in\mathbb{N}}[/math] ist konvergent. Dieses Kriterium gilt wie oben erwähnt zum Beispiel in [math]\mathbb{R}[/math], aber nicht in [math]\mathbb{Q}[/math].)

Jede Cauchy-Folge in [math]\mathbb{R}[/math] ist konvergent. Dieser Satz lässt sich mit dem Satz von Bolzano Weierstraß zeigen. Diese Implikation gilt nicht in [math] \mathbb{Q} [/math] (wie oben bereits am Beispiel der Folge mit Grenzwert [math] \sqrt{2} [/math] gezeigt). Dies ist ein substantieller Unterschied zwischen den rationalen und den reellen Zahlen: Die reellen Zahlen sind vollständig, die rationalen hingegen nicht. (Wir nennen einen normierten Raum vollständig, wenn jede Cauchy-Folge konvergiert.)

Die Vollständigkeit der Reellen Zahlen muss man bei der Definition dieser durch ein Axiom, also eine nicht beweisbare Voraussetzung, verankern. Dazu gibt es verschiedene Vollständigkeitsaxiome, die verwendet werden können: Dedekindsche Schnitte, Intervallschachtelung, Cauchy-Kriterium, Satz von Bolzano-Weierstraß,...

Konstruktion über Cauchy

Konstruktion der Menge [math]\mathbb{R}[/math] als Körper

Zwei äquivalente Cauchy-Folgen: die Folge der Abstände, dargestellt durch die gestrichelten Linien, ist eine Nullfolge.

Zwei Cauchy-Folgen [math] (x_n)_n\in\mathbb{N},(y_n)_n\in\mathbb{N} [/math] heißen äquivalent [math] (x\sim y)[/math], falls [math] x_n - y_n \to 0[/math].

Wir definieren nun [math]\mathbb{R}[/math] als die Menge dieser Äquivalenzklassen.

Eigenschaften:

a) ([math]\mathbb{R}[/math], +) ist eine abelsche Gruppe

b) ( [math]\mathbb{R}[/math]\{0}, * ) ist eine abelsche Gruppe

c) Es gilt das Distributivgesetz

d) ([math]\mathbb{R}[/math], +, *) ist ein Körper

Quellen

  • Mathematik, Springer-Spektrum, ISBN: 978-3-662-56740-1, S.190, 1053, 1173
  • Höhere Mathematik, Verlag Harri Deutsch, ISBN: 978-3-8171-1872-4, S.345, 351, 388
  • Grundwissen Mathematikstudium, Springer-Spektrum, ISBN: 978-3-8274-2308-5, S.297, 772
  • Lexikon der Mathematik BAND:1, Spektrum Akademischer Verlag, ISBN: 978-3-662-53498-4, S.292ff.
  • Springer-Taschenbuch der Mathematik, Springer-Spektrum, ISBN: 978-3-8351-0123-4, S.243
  • dtv-Atlas der Mathematik Band 1, Dtv, ISBN: 978-3-423-03007-6, S.61
  • Rechnen und Mathematik, Bertelsmann Lexikon-Verlag, Buch-Nr. 1599'1180, S.447
  • Die bedeutendsten Mathematiker, matrixwissen, ISBN: 978-3-86539-916-8, S.107ff.
  • https://www.mathematik.de/algebra/179-erste-hilfe/zahlenbereiche/reelle-zahlen/2441-cauchy-folgen

Bildnachweis

Weiterführende Literatur

Autoren

  • Alexander Fichtelmann
  • Immanuel Klevesath