Kurs:Analysis (Osnabrück 2021-2023)/Teil I/Vorlesung 5/latex
\setcounter{section}{5}
\zwischenueberschrift{Approximation}
Ein grundlegender Gedanke der Mathematik ist der der \stichwort {Approximation} {,} der in unterschiedlichen Kontexten auftritt und sowohl für die Mathematik als Hilfswissenschaft für die empirischen Wissenschaften als auch für den Aufbau der Mathematik selbst, insbesondere der Analysis, entscheidend ist.
Das erste Beispiel dazu ist das \stichwort {Messen} {,} beispielsweise der Länge einer Strecke oder der Dauer eines Zeitabschnittes. Abhängig vom Kontext und der Zielsetzung gibt es sehr unterschiedliche Vorstellungen davon, was eine genaue Messung ist, und die gewünschte Genauigkeit hat eine Auswirkung auf das zu wählende Messinstrument.
Das Ergebnis einer Messung wird, bezogen auf eine physikalische Einheit, durch einen \stichwort {Dezimalbruch} {} angegeben, also eine abbrechende \anfuehrung{Kommazahl}{,} und die Anzahl der Nachkommaziffern gibt Aufschluss über die behauptete Genauigkeit. Zur Angabe von Messergebnissen braucht man also weder irrationale Zahlen noch rationale Zahlen, deren periodische Ziffernentwicklung nicht abbricht.
Betrachten wir die Meteorologie. Aus Messungen an verschiedenen Messstationen wird versucht, das Wetter der folgenden Tage mit mathematischen Modellen \zusatzklammer {und Computersimulation} {} {} zu berechnen. Hier wird man, um bessere Prognosen machen zu können, im Allgemeinen mehr Messstationen brauchen \zusatzklammer {wobei man irgendwann aufgrund von anderen Fehlerquellen mit zusätzlichen Messstationen die Prognosen nicht mehr optimieren kann} {} {.}
Kommen wir zu innermathematischen Approximationen. Eine Strecke kann man zumindest ideell in $n$ gleichlange Teile unterteilen und man kann sich für die Länge der Teilstücke interessieren, oder man kann sich für die Länge der Diagonalen in einem Einheitsquadrat interessieren. Die Länge dieser Strecken könnte man prinzipiell auch messen, doch bietet die Mathematik bessere Beschreibungen dieser Längen an, indem sie beliebige rationale Zahlen und irrationale Zahlen
\zusatzklammer {wie hier $\sqrt{2}$} {} {}
zur Verfügung stellt. Die Bestimmung einer guten Approximation erfolgt dann innermathematisch. Betrachten wir den Bruch
\mavergleichskette
{\vergleichskette
{q
}
{ = }{ { \frac{ 3 }{ 7 } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Eine Approximation dieser Zahl mit einer Genauigkeit von neun Nachkommastellen ist durch
\mavergleichskettedisp
{\vergleichskette
{0,428571428
}
{ <} { { \frac{ 3 }{ 7 } }
}
{ <} {0,428571429
}
{ } {
}
{ } {
}
}
{}{}{}
gegeben. Die beiden Dezimalbrüche links und rechts sind also Approximationen
\zusatzklammer {Abschätzungen} {} {}
des wahren Bruches
\mathl{{ \frac{ 3 }{ 7 } }}{} mit einem Fehler, der kleiner als
\mathl{{ \frac{ 1 }{ 10^9 } }}{} ist. Dies ist eine typische Taschenrechnergenauigkeit, je nach Zielsetzung möchte man eine deutliche größere Genauigkeit
\zusatzklammer {einen kleineren Fehler} {} {}
haben. Die Rechnung in diesem Beispiel beruht auf dem Divisionsalgorithmus, den man beliebig weit durchführen kann, um beliebige Fehlergenauigkeiten zu erreichen
\zusatzklammer {dass man wegen der auftretenden Periodizität irgendwann nur noch die weiteren Ziffern ablesen und nicht mehr rechnen muss, ist ein zusätzlicher Aspekt} {} {.}
Die Angabe einer Dezimalbruchapproximation einer gegebenen Zahl nennt man auch eine \stichwort {Rundung} {.}
Sowohl in der empirischen als auch in der innermathematischen Situation gilt das folgende Approximationsprinzip.
\stichwort {Approximationsprinzip} {:} Es gibt keine allgemeingültige Güte für eine Approximation. Ein gutes Approximationsverfahren ist keine einzelne Approximation, sondern eine Methode, mit der man zu jeder gewünschten Güte \zusatzklammer {Fehler, Toleranz, Genauigkeit, Abweichung} {} {} bei entsprechendem Aufwand eine Approximation finden kann, die diese vorgegebene Güte erreicht.
Mit diesem Prinzip im Hinterkopf werden viele Begriffe wie \stichwort {konvergente Folge} {} und \stichwort {Stetigkeit} {,} deren präzise Formulierungen ziemlich kompliziert aussehen, verständlich.
Approximationen treten auch in dem Sinne auf, dass man empirische Funktionen, von denen ein endliches Datensampling bekannt ist, durch mathematisch möglichst einfache Funktionen beschreiben möchte. Ein Beispiel dazu ist der Interpolationssatz. Später werden wir die Taylorformel kennenlernen, die eine Funktion in einer kleinen Umgebung eines einzelnen Punktes besonders gut durch ein Polynom approximiert. Auch hier gilt wieder das Approximationsprinzip in der Form, dass man, um die Funktion zunehmend besser zu approximieren, den Grad der Polynome zunehmend höher wählen muss. In der Integrationstheorie wird ein Funktionsgraph durch obere und untere Treppenfunktionen eingeschachtelt und damit der Flächeninhalt unterhalb des Graphen approximiert, mit feineren Treppenfunktionen \zusatzklammer {kürzeren Stufen} {} {} erhält man zunehmend bessere Approximationen.
Wie gut eine Approximation ist, zeigt sich oft erst dann, wenn man mit den Approximationen rechnen soll. Man möchte beispielsweise wissen, welche Abschätzung man für den Flächeninhalt eines Rechtecks hat, wenn man Abschätzungen für seine Seitenlängen hat. Und zwar fragt man sich, welchen Fehler man für die Seitenlängen erlauben darf, damit der Fehler des Flächeninhalts noch innerhalb einer gewünschten Toleranz bleibt.
Wir werden uns nun als Beispiel mit Quadratwurzeln beschäftigen und wie man diese approximieren kann, und zwar, wie man sie als den Limes einer Folge erhalten kann.
\zwischenueberschrift{Folgen in einem angeordneten Körper}
\inputdefinition
{}
{
Es sei $M$ eine Menge. Eine \definitionsverweis {Abbildung}{}{} \maabbeledisp {} {\N} {M } {n} {x_n } {,} nennt man auch eine \definitionswort {Folge}{} in $M$.
}
Eine Folge wird zumeist als
\mathl{{ \left( x_n \right) }_{n \in \N }}{,} oder einfach nur kurz als
\mathl{(x_n)_n}{} geschrieben. Im Folgenden beschränken wir uns auf Folgen, deren Werte in einem angeordneten Körper liegen, speziell in $\R$
\zusatzklammer {reelle Folgen} {} {,}
im zweiten Teil werden wir auch mit Folgen in metrischen Räumen arbeiten. Manchmal sind Folgen nicht für alle natürlichen Zahlen definiert, sondern nur für alle natürlichen Zahlen $\geq N$. Alle Begriffe und Aussagen lassen sich dann sinngemäß auch auf diese Situation übertragen.
Wir beginnen mit zwei motivierenden Beispielen.
\inputbeispiel{}
{
Eine reelle Zahl $x$ aus
\mathl{[0,1[}{} wird im Zehnersystem durch eine unendliche Dezimalbruchentwicklung der Form
\mavergleichskettedisp
{\vergleichskette
{x
}
{ =} { 0{,}z_1 z_2 z_3 z_4 \ldots
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
wiedergegeben. Dabei sind die
\mathbed {z_n} {}
{n \in \N_+} {}
{} {} {} {,}
Ziffern aus
\mathl{\{0,1,2,3,4,5,6,7,8,9\}}{} und $z_n$ bezeichnet die $n$-te Nachkommaziffer. Wenn man eine solche unendliche Ziffernentwicklung nur bis zur $n$-ten Stelle liest und die weiteren Stellen vernachlässigt, so erhält man die rationalen Zahlen
\mavergleichskettedisp
{\vergleichskette
{x_n
}
{ =} { 0{,}z_1 z_2 \ldots z_n
}
{ =} { { \frac{ z_1 10^{n-1} + z_2 10^{n-2} + \cdots + z_{n-1} 10 + z_n }{ 10^n } }
}
{ } {
}
{ } {
}
}
{}{}{,}
die eine zunehmend bessere Approximation von $x$ darstellen. Der Fehler der $n$-ten Approximation $x_n$, also der Abstand
\mathl{x-x_n}{,} ist höchstens
\mathl{1/10^n}{.} Man kann also den Fehler beliebig klein machen, indem man die rationalen Approximationen $x_n$ für hinreichend große $n$ betrachtet.
}
\inputbeispiel{}
{
Wir wollen die Quadratwurzel einer natürlichen Zahl \anfuehrung{berechnen}{,} sagen wir von $5$. Eine solche Zahl $x$ mit der Eigenschaft
\mavergleichskette
{\vergleichskette
{x^2
}
{ = }{5
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt es nicht innerhalb der rationalen Zahlen, wie aus der eindeutigen Primfaktorzerlegung folgt. Wenn
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein solches Element ist, so hat auch $-x$ diese Eigenschaft. Mehr als zwei Lösungen kann es aber
nach Aufgabe 5.4
nicht geben, sodass wir nur nach der positiven Lösung suchen müssen.
Obwohl es innerhalb der rationalen Zahlen keine Lösung für die Gleichung
\mavergleichskette
{\vergleichskette
{x^2
}
{ = }{5
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt, so gibt es doch beliebig gute Approximationen innerhalb der rationalen Zahlen dafür. Beliebig gut heißt dabei, dass der Fehler
\zusatzklammer {oder die Abweichung} {} {}
unter jede positive Schranke gedrückt werden kann. Das klassische Verfahren, um eine Quadratwurzel beliebig gut anzunähern, ist das \stichwort {Heron-Verfahren} {,} das man auch \stichwort {babylonisches Wurzelziehen} {} nennt. Dies ist ein \stichwort {iteratives Verfahren} {,} d.h., die nächste Approximation wird aus den vorausgehenden Approximationen berechnet. Beginnen wir mit
\mavergleichskette
{\vergleichskette
{a
}
{ \defeq }{ x_0
}
{ \defeq }{ 3
}
{ }{
}
{ }{
}
}
{}{}{}
als erster Näherung. Wegen
\mavergleichskette
{\vergleichskette
{x_0^2
}
{ = }{ 3^2
}
{ = }{ 9
}
{ > }{5
}
{ }{
}
}
{}{}{}
ist $x_0$ zu groß, d.h. es ist
\mavergleichskette
{\vergleichskette
{x_0
}
{ > }{ \sqrt{5}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Aus
\mavergleichskette
{\vergleichskette
{a^2
}
{ > }{5
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {mit $a$ positiv} {} {}
folgt zunächst
\mavergleichskette
{\vergleichskette
{ 5/a^2
}
{ < }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und daraus
\mavergleichskette
{\vergleichskette
{ (5/a)^2
}
{ < }{ 5
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
d.h.
\mavergleichskette
{\vergleichskette
{ 5/a
}
{ < }{ \sqrt{5}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Man hat also die Abschätzungen
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ 5 }{ a } }
}
{ <} { \sqrt{5}
}
{ <} { a
}
{ } {
}
{ } {
}
}
{}{}{}
wobei links eine rationale Zahl steht, wenn rechts eine rationale Zahl steht. Eine solche Abschätzung vermittelt offenbar eine quantitative Vorstellung darüber, wo $\sqrt{5}$ liegt. Die Differenz
\mathl{a - 5/a}{} ist ein Maß für die Güte der Approximation.
Beim Startwert $3$ ergibt sich, dass die Quadratwurzel von $5$ zwischen
\mathkor {} {5/3} {und} {3} {}
liegt. Man nimmt nun das
\definitionsverweis {arithmetische Mittel}{}{}
der beiden Intervallgrenzen, also
\mavergleichskettedisp
{\vergleichskette
{x_1
}
{ \defeq} {\frac{3+ \frac{5}{3} }{2}
}
{ =} {\frac{7}{3}
}
{ } {}
{ } {}
}
{}{}{.}
Wegen
\mavergleichskette
{\vergleichskette
{ { \left( \frac{7}{3} \right) }^2
}
{ = }{\frac{49}{9}
}
{ > }{5
}
{ }{}
{ }{}
}
{}{}{}
ist dieser Wert wieder zu groß und daher liegt $\sqrt{5}$ im Intervall
\mathl{[5\cdot\frac{3}{7} , \frac{7}{3}]}{.} Von diesen Intervallgrenzen nimmt man erneut das arithmetische Mittel
und setzt
\mavergleichskettedisp
{\vergleichskette
{x_2
}
{ \defeq} { \frac{ \frac{15}{7} + \frac{7}{3} }{2}
}
{ =} {\frac{47}{21}
}
{ } {}
{ } {}
}
{}{}{}
als nächste Approximation. So fortfahrend erhält man eine immer besser werdende rationale Approximation von $\sqrt{5}$.
}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Heron_von_Alexandria.jpg} }
\end{center}
\bildtext {Heron von Alexandria (1. Jahrhundert n.C.)} }
\bildlizenz { Heron von Alexandria.jpg } {} {Frank C. Müller} {Commons} {PD} {}
Allgemein ergibt sich das folgende Heron-Verfahren.
\inputverfahren{}
{
Es sei
\mavergleichskette
{\vergleichskette
{c
}
{ \in }{K_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein positives Element in einem
\definitionsverweis {angeordneten Körper}{}{.}
Die \stichwort {Heron-Folge} {} zum positiven Startwert $x_0$ ist rekursiv durch
\mavergleichskettedisp
{\vergleichskette
{ x_{n+1}
}
{ \defeq} { { \frac{ x_n + { \frac{ c }{ x_n } } }{ 2 } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
definiert.
}
Man berechnet also sukzessive das \definitionsverweis {arithmetische Mittel}{}{} aus \mathkor {} {x_n} {und} {{ \frac{ c }{ x_n } }} {.} Das Produkt dieser beiden Zahlen ist $c$, somit ist die eine Zahl größer und die andere Zahl kleiner als $\sqrt{c}$. Die Idee des Verfahrens liegt darin, in der Mitte dieser beiden Zahlen eine bessere Approximation zu finden. Die Folgenglieder der Heron-Folge sind offenbar stets positiv. Typischerweise startet man mit einer natürlichen Zahl als Anfangswert, die in der Größenordnung der Quadratwurzel von $c$ liegt.
Die Idee, die dem Heron-Verfahren zugrunde liegt, kann man auch so verstehen: Man möchte ein Quadrat mit dem Flächeninhalt $c$, also mit der Seitenlänge $\sqrt{c}$ konstruieren. Man gibt sich eine approximierende Seitenlänge $x$ vor und betrachtet das Rechteck, dessen eine Seitenlänge $x$ und dessen Flächeninhalt
\mathl{c}{} ist. Dann muss die zweite Seitenlänge gleich ${ \frac{ c }{ x } }$ sein. Wenn $x$ zu groß ist, muss ${ \frac{ c }{ x } }$ zu klein sein. Für das nächste approximierende Rechteck nimmt man als eine Seitenlänge das arithmetische Mittel aus den beiden Seitenlängen des vorhergehenden Rechtecks.
\inputfaktbeweis
{Angeordneter Körper/Heron-Verfahren/Folge/Eigenschaften/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $K$ ein
\definitionsverweis {angeordneter Körper}{}{}
und
\mavergleichskette
{\vergleichskette
{c
}
{ \in }{K_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Es sei $x_0$ ein positiver Startwert und
\mathl{{ \left( x_n \right) }_{n \in \N }}{} die zugehörige
\definitionsverweis {Heron-Folge}{}{.}}
\faktuebergang {Dann gelten folgende Aussagen.}
\faktfolgerung {\aufzaehlungvier{Für
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskettedisp
{\vergleichskette
{x_n^2
}
{ \geq} {c
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{ { \left( { \frac{ c }{ x_n } } \right) }^2
}
{ \leq} { c
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}{Die Heron-Folge ist ab dem ersten Glied
\definitionsverweis {fallend}{}{.}
}{Es ist
\mavergleichskettedisp
{\vergleichskette
{ [ { \frac{ c }{ x_{n+1} } }, x_{n+1} ]
}
{ \subseteq} { [{ \frac{ c }{ x_{n} } }, x_{n} ]
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Für die Intervalllängen
\mavergleichskettedisp
{\vergleichskette
{\ell_n
}
{ \defeq} { x_{n } - { \frac{ c }{ x_{n} } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gilt die Beziehung
\mavergleichskettedisp
{\vergleichskette
{ \ell_{n+1}
}
{ =} { { \frac{ 1 }{ 4 x_{n+1} } } \ell_n^2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und bei
\mavergleichskette
{\vergleichskette
{c
}
{ \geq }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt insbesondere
\mavergleichskettedisp
{\vergleichskette
{ \ell_{n+1}
}
{ \leq} { { \frac{ 1 }{ 4 } } \ell_n^2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}}
\faktzusatz {}
\faktzusatz {}
}
{
\aufzaehlungvier{Es gilt
\mavergleichskettealign
{\vergleichskettealign
{x_n^2-c
}
{ =} { { \left( \frac{x_{n-1} + \frac{c}{x_{n-1} } }{2} \right) }^2-c
}
{ =} { \frac{x_{n-1}^2+2c+ \frac{c^2}{x_{n-1}^2} }{4} - c
}
{ =} { \frac{x_{n-1}^2-2c+ \frac{c^2}{x_{n-1}^2} }{4}
}
{ =} { { \left( \frac{x_{n-1} - \frac{c}{x_{n-1} } }{2} \right) }^2
}
}
{
\vergleichskettefortsetzungalign
{ \geq} {0
}
{ } {}
{ } {}
{ } {}
}
{}{.}
Somit ist
\mavergleichskettedisp
{\vergleichskette
{ x_n^2
}
{ \geq} {c
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Wegen
\mavergleichskette
{\vergleichskette
{ x_n \cdot { \frac{ c }{ x_n } }
}
{ = }{ c
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt nach
Lemma 4.5 (8),
dass
\mavergleichskette
{\vergleichskette
{ { \left( \frac{c}{x_n} \right) }^2
}
{ \leq }{ c
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist.
}{Aufgrund von (1) ist
\mavergleichskettedisp
{\vergleichskette
{ { \left( \frac{c}{x_n} \right) }^2
}
{ \leq} { c
}
{ \leq} { x_n^2
}
{ } {
}
{ } {
}
}
{}{}{}
und aufgrund des strengen Wachstums des Quadrierens im positiven Teil ist
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ c }{ x_n } }
}
{ \leq} { x_n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Nach
Aufgabe 4.26
liegt das arithmetische Mittel stets zwischen den beiden Zahlen, also ist
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ c }{ x_n } }
}
{ \leq} {x_{n+1}
}
{ \leq} { x_n
}
{ } {
}
{ } {
}
}
{}{}{.}
}{Dies folgt aus (1) und (2).
}{Nach der Rechnung in Teil (1) ist
\mavergleichskettedisp
{\vergleichskette
{ x_{n+1} - { \frac{ c }{ x_{n+1 } }}
}
{ =} { { \frac{ x_{n+1}^2 - c }{ x_{n+1} } }
}
{ =} { { \frac{ 1 }{ 4 x_{n+1} } } { \left( x_n- { \frac{ c }{ x_n } } \right) }^2
}
{ } {
}
{ } {
}
}
{}{}{.}
Bei
\mavergleichskette
{\vergleichskette
{c
}
{ \geq }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ 1 }{ 4 x_{n+1} } }
}
{ \leq} { { \frac{ 1 }{ 4 c } }
}
{ \leq} { { \frac{ 1 }{ 4 } }
}
{ } {
}
{ } {
}
}
{}{}{.}
}
Das eben beschriebene Verfahren liefert also zu jeder natürlichen Zahl $n$ ein Element in $K$, das eine durch eine gewisse algebraische Eigenschaft charakterisierte Zahl beliebig gut approximiert. Bei vielen technischen Anwendungen genügt es, gewisse Zahlen nur hinreichend genau zu kennen, wobei allerdings die benötigte Güte der Approximation von der technischen Zielsetzung abhängt. Es gibt im Allgemeinen keine Güte, die für jede vorstellbare Anwendung ausreicht, so dass es wichtig ist zu wissen, wie man eine gute Approximation durch eine bessere Approximation ersetzen kann und wie viele Schritte man machen muss, um eine gewünschte Approximation zu erreichen. Dies führt zum Konvergenzbegriff, der zentral für die gesamte Analysis ist.
\inputdefinition
{}
{
Es sei
\mathl{{ \left( x_n \right) }_{n \in \N }}{} eine
\definitionsverweis {Folge}{}{}
in einem
\definitionsverweis {angeordneten Körper}{}{}
und es sei
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Man sagt, dass die Folge gegen $x$ \definitionswort {konvergiert}{,} wenn folgende Eigenschaft erfüllt ist.
Zu jedem
\mathbed {\epsilon \in K} {}
{\epsilon > 0} {}
{} {} {} {,}
gibt es ein
\mavergleichskette
{\vergleichskette
{n_0
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
derart, dass für alle
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{n_0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Beziehung
\mavergleichskettedisp
{\vergleichskette
{ \betrag { x_n-x }
}
{ \leq} {\epsilon
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gilt. In diesem Fall heißt $x$ der \definitionswort {Grenzwert}{} oder der \definitionswort {Limes}{} der Folge. Dafür schreibt man auch
\mavergleichskettedisp
{\vergleichskette
{ \lim_{n \rightarrow \infty} x_n
}
{ =} { x
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Wenn die Folge einen Grenzwert besitzt, so sagt man auch, dass sie \definitionswort {konvergiert}{}
\zusatzklammer {ohne Bezug auf einen Grenzwert} {.} {,}
andernfalls, dass sie \definitionswort {divergiert}{.}
}
Man sollte sich dabei die vorgegebenen $\epsilon$ als kleine, aber positive Zahlen vorstellen, die jeweils eine gewünschte \stichwort {Zielgenauigkeit} {} \zusatzklammer {oder einen erlaubten Fehler} {} {} ausdrücken. Die natürliche Zahl $n_0$ ist dann die \stichwort {Aufwandszahl} {,} die beschreibt, wie weit man gehen muss, um die gewünschte Zielgenauigkeit zu erreichen, und zwar so zu erreichen, dass alle ab $n_0$ folgenden Glieder innerhalb dieser Zielgenauigkeit bleiben. Konvergenz bedeutet demnach, dass man jede gewünschte Genauigkeit bei hinreichend großem Aufwand auch erreichen kann. Je kleiner die Zielgenauigkeit, also je besser die Approximation sein soll, desto höher ist im Allgemeinen der Aufwand.
Zu einem
\mavergleichskette
{\vergleichskette
{ \epsilon
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
nennt man das Intervall
\mathl{] x- \epsilon, x + \epsilon [}{} auch die $\epsilon$-\stichwort {Umgebung} {} von $x$. Eine Folge, die gegen $0$ konvergiert, heißt \stichwort {Nullfolge} {.}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Konvergenz.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Konvergenz.svg } {} {Matthias Vogelgesang} {Commons} {CC-by-sa 3.0} {}
\inputbeispiel{}
{
Eine \stichwort {konstante Folge} {}
\mavergleichskette
{\vergleichskette
{x_n
}
{ = }{ c
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist stets konvergent mit dem Grenzwert $c$. Dies folgt direkt daraus, dass man für jedes
\mavergleichskette
{\vergleichskette
{ \epsilon
}
{ > }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
als Aufwandszahl
\mavergleichskette
{\vergleichskette
{n_0
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
nehmen kann. Es ist ja
\mavergleichskettedisp
{\vergleichskette
{ \betrag { x_n-c }
}
{ =} { \betrag { c-c }
}
{ =} { \betrag { 0 }
}
{ =} { 0
}
{ <} {\epsilon
}
}
{}{}{}
für alle $n$.
Es sei nun $K$ ein
\definitionsverweis {archimedisch angeordneter Körper}{}{.}
Dann ist die Folge
\mavergleichskettedisp
{\vergleichskette
{ x_n
}
{ =} { { \frac{ 1 }{ n } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\definitionsverweis {konvergent}{}{}
mit dem Grenzwert $0$. Es sei dazu ein beliebiges
\mathbed {\epsilon \in K} {}
{\epsilon >0} {}
{} {} {} {,}
vorgegeben. Aufgrund des Archimedes Axioms
\zusatzklammer {siehe
Lemma 4.14} {} {}
gibt es ein $n_0$ mit
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ 1 }{ n_0 } }
}
{ \leq} { \epsilon
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Damit gilt für alle
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{ n_0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Abschätzung
\mavergleichskettedisp
{\vergleichskette
{ x_n
}
{ =} { { \frac{ 1 }{ n } }
}
{ \leq} { { \frac{ 1 }{ n_0 } }
}
{ \leq} { \epsilon
}
{ } {}
}
{}{}{.}
}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Cauchy_sequence_-_example.png} }
\end{center}
\bildtext {} }
\bildlizenz { Cauchy sequence - example.png } {} {Pred} {da.wikipedia} {CC-by-sa 2.5} {}
\inputfaktbeweis
{Angeordneter Körper/Folge/Eindeutiger Limes/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $K$ ein
\definitionsverweis {angeordneter Körper}{}{}
und sei
\mathl{{ \left( x_n \right) }_{n \in \N }}{} eine
\definitionsverweis {Folge}{}{}
in $K$.}
\faktfolgerung {Dann besitzt $x_n$ maximal einen Grenzwert.}
\faktzusatz {}
\faktzusatz {}
}
{
Nehmen wir an, dass es zwei verschiedene Grenzwerte
\mathbed {x,y} {}
{x \neq y} {}
{} {} {} {,}
gibt. Dann ist
\mavergleichskette
{\vergleichskette
{d
}
{ \defeq }{ \betrag { x-y }
}
{ > }{0
}
{ }{
}
{ }{
}
}
{}{}{.}
Wir betrachten
\mavergleichskette
{\vergleichskette
{ \epsilon
}
{ \defeq }{ d/3
}
{ > }{ 0
}
{ }{
}
{ }{
}
}
{}{}{.}
Wegen der Konvergenz gegen $x$ gibt es ein $n_0$ mit
\mathdisp {\betrag { x_n-x } \leq \epsilon \text{ für } \text{alle } n \geq n_0} { }
und wegen der Konvergenz gegen $y$ gibt es ein $n_0'$ mit
\mathdisp {\betrag { x_n-y } \leq \epsilon \text{ für } \text{alle } n \geq n_0'} { . }
Beide Bedingungen gelten dann gleichermaßen für
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{\max\{n_0,n_0'\}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Es sei $n$ mindestens so groß wie dieses Maximum. Dann ergibt sich aufgrund der
Dreiecksungleichung der Widerspruch
\mavergleichskettedisp
{\vergleichskette
{d
}
{ =} { \betrag { x-y }
}
{ \leq} { \betrag { x-x_n } + \betrag { x_n-y }
}
{ \leq} { \epsilon+ \epsilon
}
{ =} { 2 d/3
}
}
{}{}{.}
\zwischenueberschrift{Beschränktheit}
\inputdefinition
{}
{
Es sei $K$ ein \definitionsverweis {angeordneter Körper}{}{} und
\mavergleichskette
{\vergleichskette
{ M
}
{ \subseteq }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine Teilmenge.
\aufzaehlungneun{Ein Element
\mavergleichskette
{\vergleichskette
{S
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
heißt eine \definitionswort {obere Schranke}{} für $M$, wenn
\mavergleichskette
{\vergleichskette
{x
}
{ \leq }{S
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt.
}{Ein Element
\mavergleichskette
{\vergleichskette
{s
}
{ \in }{K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
heißt eine \definitionswort {untere Schranke}{} für $M$, wenn
\mavergleichskette
{\vergleichskette
{x
}
{ \geq }{s
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt.
}{$M$ heißt \definitionswort {nach oben beschränkt}{,} wenn eine
\definitionsverweis {obere Schranke}{}{}
für $M$ existiert.
}{$M$ heißt \definitionswort {nach unten beschränkt}{,} wenn eine
\definitionsverweis {untere Schranke}{}{}
für $M$ existiert.
}{$M$ heißt \definitionswort {beschränkt}{,} wenn $M$ sowohl nach
\definitionsverweis {oben}{}{}
als auch nach
\definitionsverweis {unten beschränkt}{}{}
ist.
}{Ein Element
\mavergleichskette
{\vergleichskette
{T
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
heißt das \definitionswort {Maximum}{} von $M$, wenn
\mavergleichskette
{\vergleichskette
{T
}
{ \geq }{ x
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt.
}{Ein Element
\mavergleichskette
{\vergleichskette
{t
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
heißt das \definitionswort {Minimum}{} von $M$, wenn
\mavergleichskette
{\vergleichskette
{t
}
{ \leq }{x
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt.
}{Eine
\definitionsverweis {obere Schranke}{}{}
$T$ von $M$ heißt das \definitionswort {Supremum}{} von $M$, wenn
\mavergleichskette
{\vergleichskette
{T
}
{ \leq }{S
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle oberen Schranken $S$ von $M$ gilt.
}{Eine
\definitionsverweis {untere Schranke}{}{}
$t$ von $M$ heißt das \definitionswort {Infimum}{} von $M$, wenn
\mavergleichskette
{\vergleichskette
{ t
}
{ \geq }{ s
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle unteren Schranken $s$ von $M$ gilt.
}
}
Obere und untere Schranken muss es nicht geben. Wenn $S$ eine obere Schranke ist, so ist auch jede größere Zahl eine obere Schranke. Für das offene Intervall
\mathl{]0,1[}{} ist $1$ das Supremum, aber nicht das Maximum, da $1$ nicht dazu gehört. Entsprechend ist $0$ das Infimum, aber nicht das Minimum. Beim abgeschlossenen Intervall
\mathl{[0,1]}{} sind die beiden Grenzen Maximum und Minimum.
All diese Begriffe werden auch für Folgen angewendet, und zwar für die Bildmenge
\mathl{{ \left\{ x_n \mid n \in \N \right\} }}{.} Für die Folge
\mathbed {1/n} {}
{n \in \N_+} {}
{} {} {} {,}
ist $1$ das Maximum und das Supremum, $0$ ist das Infimum, aber nicht das Minimum.
\inputfaktbeweis
{Angeordneter Körper/Konvergente Folge/Beschränkt/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $K$ ein \definitionsverweis {angeordneter Körper}{}{.}}
\faktvoraussetzung {Wenn eine
\definitionsverweis {Folge}{}{}
in $K$
\definitionsverweis {konvergent}{}{} ist,}
\faktfolgerung {so ist sie auch
\definitionsverweis {beschränkt}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Es sei
\mathl{{ \left( x_n \right) }_{n \in \N }}{} die konvergente Folge mit dem Limes
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und es sei ein
\mavergleichskette
{\vergleichskette
{ \epsilon
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gewählt. Aufgrund der Konvergenz gibt es ein $n_0$ derart, dass
\mathdisp {\betrag { x_n-x } \leq \epsilon \text { für alle } n \geq n_0} { . }
Dann ist insbesondere
\mathdisp {\betrag { x_n } \leq \betrag { x } + \betrag { x-x_n } \leq \betrag { x } +\epsilon \text { für alle } n \geq n_0} { . }
Unterhalb von $n_0$ gibt es nur endlich viele Zahlen, sodass das Maximum
\mavergleichskettedisp
{\vergleichskette
{B
}
{ \defeq} { \max_{n <n_0}\{ \betrag { x_n } ,\, \betrag { x } + \epsilon \}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
wohldefiniert ist. Daher ist $B$ eine obere Schranke und $- B$ eine untere Schranke für
\mathl{{ \left\{ x_n \mid n \in \N \right\} }}{.}
Es ist einfach, beschränkte, aber nicht konvergente Folgen anzugeben.
\inputbeispiel{}
{
Es sei $K$ ein \definitionsverweis {angeordneter Körper}{}{.} Dann ist die \stichwort {alternierende Folge} {}
\mavergleichskettedisp
{\vergleichskette
{x_n
}
{ =} {(-1)^n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\definitionsverweis {beschränkt}{}{,}
aber nicht
\definitionsverweis {konvergent}{}{.}
Die Beschränktheit ist klar, da ja nur die beiden Werte
\mathkor {} {1} {und} {-1} {}
vorkommen. Konvergenz liegt aber nicht vor. Nehmen wir an, dass
\mavergleichskette
{\vergleichskette
{ x
}
{ \geq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
der Grenzwert sei. Dann gilt für positives
\mavergleichskette
{\vergleichskette
{ \epsilon
}
{ < }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und jedes ungerade $n$ die Beziehung
\mavergleichskettedisp
{\vergleichskette
{ \betrag { x_n-x }
}
{ =} {1+x
}
{ \geq} {1
}
{ >} {\epsilon
}
{ } {
}
}
{}{}{,}
sodass es Folgenwerte außerhalb dieser $\epsilon$-Umgebung gibt. Analog kann man einen negativ angenommen Grenzwert zum Widerspruch führen.
}
Wenn man im obigen Beispiel
\mavergleichskette
{\vergleichskette
{ x_n
}
{ = }{ (-1)^n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
nur die geraden Indizes betrachtet, so ist
\mavergleichskette
{\vergleichskette
{ x_{2m}
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
konstant. Entsprechend ist für ungerade Indizes
\mavergleichskettedisp
{\vergleichskette
{ x_{2m+1}
}
{ =} { -1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
konstant. Teilfolgen im Sinne der folgenden Definition können also andere Eigenschaften als die Folge selbst besitzen.
\inputdefinition
{}
{
Es sei
\mathl{{ \left( x_n \right) }_{n \in \N }}{} eine
\definitionsverweis {Folge}{}{}
in einer Menge $M$. Zu jeder
\definitionsverweis {streng wachsenden}{}{}
\definitionsverweis {Abbildung}{}{}
\maabbele {} {\N} {\N
} {i} {n_i
} {,}
heißt die Folge
\mathdisp {i \longmapsto x_{n_i}} { }
eine \definitionswort {Teilfolge}{} der Folge.
}
\inputdefinition
{}
{
Es sei
\mathl{{ \left( x_n \right) }_{n \in \N }}{} eine
\definitionsverweis {Folge}{}{}
in einem
\definitionsverweis {angeordneten Körper}{}{}
$K$. Ein Element
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
heißt \definitionswort {Häufungspunkt}{} der Folge, wenn es für jedes
\mavergleichskette
{\vergleichskette
{ \epsilon
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
unendlich viele Folgenglieder $x_n$ mit
\mavergleichskette
{\vergleichskette
{ \betrag { x_n - x }
}
{ \leq }{ \epsilon
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt.
}
Ein Punkt
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist genau dann Häufungspunkt einer Folge, wenn es eine Teilfolge gibt, die gegen $x$ konvergiert, siehe
Aufgabe 5.38.
\inputdefinition
{}
{
Eine
\definitionsverweis {Folge}{}{}
\mathl{{ \left( x_n \right) }_{n \in \N }}{} in einem
\definitionsverweis {angeordneten Körper}{}{}
$K$ heißt \definitionswort {bestimmt divergent}{} gegen $+ \infty$, wenn es zu jedem
\mavergleichskette
{\vergleichskette
{s
}
{ \in }{K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\mavergleichskette
{\vergleichskette
{N
}
{ \in }{\N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mathdisp {x_n \geq s \text { für alle } n \geq N} { }
gibt. Sie heißt \definitionswort {bestimmt divergent}{} gegen $- \infty$, wenn es zu jedem
\mavergleichskette
{\vergleichskette
{s
}
{ \in }{K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\mavergleichskette
{\vergleichskette
{N
}
{ \in }{\N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mathdisp {x_n \leq s \text { für alle } n \geq N} { }
gibt.
}