Kurs:Vorkurs Mathematik (Osnabrück 2013)/Vorlesung 4/latex
\setcounter{section}{4}
\zwischenueberschrift{Zifferndarstellung reeller Zahlen}
Die Zifferndarstellung
\zusatzklammer {oder Ziffernentwicklung} {} {}
einer natürlichen Zahl haben wir bereits besprochen, für eine negative ganze Zahl nimmt man einfach die zugehörige positive Zahl und schreibt ein Minuszeichen davor. Die zu einer Ziffernfolge gehörende Zahl gewinnt man, indem man aus der Ziffernfolge eine Vorschrift herausliest, was zu addieren, was zu multiplizieren, und was zu potenzieren ist
\zusatzklammer {wobei Potenzieren eine bestimmte Form der Multiplikation ist} {} {.}
Beispielsweise ist die Ziffernfolge
\mathdisp {5071} { }
zu verstehen als
\mathdisp {5 \cdot 10^3 + 0 \cdot 10^2 +7 \cdot 10^1 +1 \cdot 10^0} { . }
Man muss also lediglich die Ziffern
\mathl{0,1,2,3,4,5,6,7,8,9}{} und die Zahl $10$ sowie Addition und Multiplikation kennen, um die Ziffernfolge richtig zu interpretieren. Die Zifferndarstellung beruht also auf einer Kodierung von Rechenvorschriften. Die Operationen Addition und Multiplikation sollte man dabei als fundamentaler für die Zahlen ansehen als das Ziffernsystem, das lediglich eine geschickte Benennung darstellt.
Für reelle Zahlen gibt es ebenfalls eine solche Ziffernentwicklung, wobei diese allerdings im Allgemeinen mit unendlich vielen Ziffern beschrieben werden. Die Bedeutung dieser Ziffernentwicklung ergibt sich im Kontext von Folgen und Reihen in Zusammenhang mit der sogenannten \stichwort {Vollständigkeit} {} der reellen Zahlen. Es ist nicht möglich, eine Zifferndarstellung als reelle Zahl allein mittels Addition und Multiplikation zu interpretieren.
Wir betrachten zunächst eine abbrechende Ziffernentwicklung, wobei wir uns erstmal auf das Dezimalsystem beschränken. Es sei die Zahl
\mavergleichskettedisp
{\vergleichskette
{x
}
{ =} { 5071{,}89826
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gegeben. Sie ist zu interpretieren als die Zahl
\mathdisp {5 \cdot 10^3 + 0 \cdot 10^2 + 7 \cdot 10^1 + 1 \cdot 10^0 + 8 \cdot 10^{-1} + 9 \cdot 10^{-2}+ 8 \cdot 10^{-3}+ 2 \cdot 10^{-4} +6 \cdot 10^{-5}} { . }
Hier schreiben wir
\mathl{10^{-k}}{} statt
\mathl{{ \frac{ 1 }{ 10^k } }}{.} Diese Zahl kann man auch direkt als Bruch
\mathdisp {{ \frac{ 507189826 }{ 100000 } }} { }
auffassen, es liegt also insbesondere eine rationale Zahl vor, und zwar eine mit einer Zehnerpotenz im Nenner. Um also eine abbrechende Ziffernfolge richtig als Zahl zu interpretieren, muss man addieren, multiplizieren und auch durch Zehnerpotenzen teilen können.
Welche Bedeutung hat nun eine unendliche Ziffernentwicklung, wie
\mavergleichskettedisp
{\vergleichskette
{x
}
{ =} { 5071{,}89802649511160350095368527351203476006836203451723487\dotso
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{?}
Zunächst mal gar keine, da ja gar nicht klar ist, was mit den Punkten zum Schluss gemeint ist, wie die Zifferndarstellung weiter geht. Eine solche Schreibweise ergibt allenfalls dann Sinn, wenn in den angeführten Ziffern ein Muster erkennbar ist, dessen Fortführung ins Unendliche dann die vollständige Ziffernfolge festlegt, wie bei
\mavergleichskettedisp
{\vergleichskette
{y
}
{ =} { 5071{,}8980 89808980 8980 8980 89808980 8980 8980 89808980 8980\dotso
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
oder bei
\mavergleichskettedisp
{\vergleichskette
{z
}
{ =} { 5071{,}010110111011110111110111111011111110\dotso
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Man kann ein Bildungsgesetz für die unendlich vielen Ziffern auf jede beliebige Weise angeben, solange nur jede Ziffer einen eindeutigen Wert bekommt.
Es sei jetzt eine irgendwie festgelegte unendliche Ziffernfolge gegeben. Welche Zahl verbirgt sich dahinter? Bei den abbrechenden Zahlen haben wir schon verwendet, dass die $k$-te Nachkommastelle sich auf
\mavergleichskette
{\vergleichskette
{ 10^{-k}
}
{ = }{ { \left( { \frac{ 1 }{ 10 } } \right) }^k
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
bezieht. Nach dem oben angeführten Gesetz, wie eine Ziffernfolge als Zahl zu interpretieren ist, sollte eine Ziffernfolge
\mathdisp {0{,}z_{1} z_2 z_3 z_4 z_5 z_6...} { }
als
\mathdisp {z_1 10^{-1} + z_2 10^{-2} + z_3 10^{-3} + z_4 10^{-4} + z_5 10^{-5} + z_6 10^{-6} + \cdots} { }
zu interpretieren sein. Dies ist eine \anfuehrung{unendliche Summe}{,} und sowas ist
\betonung{nicht}{} definiert. Ausdrücke wie
\mathdisp {1+1+1+1+1+1+1+1+1+1+1+1+ \cdots} { }
oder
\mathdisp {1+(-1)+1+(-1)+1+(-1)+1+(-1)+1+(-1)+1+(-1)+ \cdots} { }
lassen erkennen, dass man auch keine sinnvolle Interpretation für beliebige unendliche Summen erwarten darf. Allerdings ist es möglich, und zwar unter sehr restriktiven Voraussetzungen, gewisse unendliche Summen in sinnvoller Weise als reelle Zahlen zu interpretieren. Dies benötigt einige Vorbereitungen, doch dadurch werden letztlich auch die unendlichen Dezimalentwicklungen gerechtfertigt.
Mit der Interpretation der $k$-ten Nachkommastelle als
\mathl{10^{-k}}{}
\zusatzklammer {bzw. \mathlk{z_k 10^{-k}}{}} {} {,}
die ja mit wachsendem $k$ kleiner werden, hängt zusammen, dass zu einer unendlichen Ziffernfolge die abgeschnittene Ziffernfolge bis zur $k$-ten Nachkommastelle eine rationale \stichwort {Approximation} {} der Zahl liefert, und dass mit wachsendem $k$ die Approximationen immer besser werden. Für die Ziffernfolge
\mavergleichskettedisp
{\vergleichskette
{x
}
{ =} {5071{,}010110111011110111110111111011111110
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
sind also
\mavergleichskettedisp
{\vergleichskette
{ x_0
}
{ =} {5071
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\mavergleichskettedisp
{\vergleichskette
{ x_1
}
{ =} { 5071{,}0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\mavergleichskettedisp
{\vergleichskette
{x_2
}
{ =} {5071{,}01
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\mavergleichskettedisp
{\vergleichskette
{x_3
}
{ =} {5071{,}010
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\mavergleichskettedisp
{\vergleichskette
{ x_4
}
{ =} {5071{,}0101
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\mavergleichskettedisp
{\vergleichskette
{x_5
}
{ =} {5071{,}01011
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\mavergleichskettedisp
{\vergleichskette
{x_6
}
{ =} {5071{,}010110
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\mavergleichskettedisp
{\vergleichskette
{x_7
}
{ =} {5071{,}0101101
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
zunehmend bessere Approximationen
\zusatzklammer {wenn eine $0$ dazukommt, kann man sich darüber streiten} {} {.}
All diese $x_i$ sind rationale Zahlen, die zunehmend genauere Information über die durch die unendliche Ziffernfolge anvisierte Zahl beinhalten. Wir können also Ziffernfolgen als eine Folge von rationalen Approximationen auffassen. Eine fundamentale Beobachtung ist nun, dass Ziffernfolgen im Allgemeinen nicht die schnellste oder die beste Approximation einer Zahl geben, sondern dass häufig anders gelagerte Folgen besser sind. Deshalb werden die Approximationseigenschaften der reellen Zahlen über die fundamentalen Begriffe \stichwort {Folge} {} und \stichwort {Konvergenz} {} erfasst.
\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} {}
\zwischenueberschrift{Reelle Zahlenfolgen}
Wir betrachten nun ein Beispiel, das ebenfalls zu Approximationen führt, aber nichts mit
der Dezimalbruchentwicklung zu tun hat, nämlich Quadratwurzeln aus natürlichen
\zusatzklammer {oder reellen} {} {}
Zahlen.
Die Quadratwurzel zu
\mathl{a \in\R_{\geq 0}}{} ist diejenige
\zusatzklammer {eindeutig bestimmte} {} {}
reelle nichtnegative Zahl, deren Quadrat $a$ ergibt. Innerhalb der rationalen Zahlen gibt es keine Wurzeln, so dass dies ein deutlicher Hinweis ist, dass sich viele Rechenoperationen nicht innerhalb der rationalen Zahlen durchführen lassen. Siehe
Aufgabe 3.8
und
Aufgabe 3.9.
\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 4.5
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 gewünschte positive Schranke gedrückt werden kann. Das klassische Verfahren, um eine Quadratwurzel beliebig 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 }{ 2
}
{ }{
}
{ }{
}
}
{}{}{}
als erster Näherung. Wegen
\mavergleichskettedisp
{\vergleichskette
{ x_0^2
}
{ =} {2^2
}
{ =} { 4
}
{ <} { 5
}
{ } {
}
}
{}{}{}
ist $x_0$ zu klein, d.h. es ist
\mavergleichskette
{\vergleichskette
{ x_0
}
{ < }{ x
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
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
{a
}
{ <} {\sqrt{5}
}
{ <} {5/a
}
{ } {
}
{ } {
}
}
{}{}{,}
wobei rechts eine rationale Zahl steht, wenn links eine rationale Zahl steht. Eine solche Abschätzung vermittelt offenbar eine quantitative Vorstellung darüber, wo $\sqrt{5}$ liegt. Die Differenz
\mathl{5/a -a}{} ist ein Maß für die Güte der Approximation.
Beim Startwert $2$ ergibt sich, dass die Quadratwurzel $\sqrt{5}$ zwischen
\mathkor {} {2} {und} {5/2} {}
liegt. Man nimmt nun das
\definitionsverweis {arithmetische Mittel}{}{}
der beiden Intervallgrenzen, also
\mavergleichskettedisp
{\vergleichskette
{x_1
}
{ \defeq} {\frac{2+ \frac{5}{2} }{2}
}
{ =} {\frac{9}{4}
}
{ } {}
{ } {}
}
{}{}{.}
Wegen
\mavergleichskette
{\vergleichskette
{ { \left( \frac{9}{4} \right) }^2
}
{ = }{\frac{81}{16}
}
{ > }{5
}
{ }{}
{ }{}
}
{}{}{}
ist dieser Wert zu groß und daher liegt $\sqrt{5}$ im Intervall
\mathl{[5\cdot\frac{4}{9} , \frac{9}{4}]}{.} Von diesen Intervallgrenzen nimmt man erneut das arithmetische Mittel und setzt
\mavergleichskettedisp
{\vergleichskette
{x_2
}
{ \defeq} {\frac{ 5 \cdot \frac{4}{9} + \frac{9}{4} }{2}
}
{ =} {\frac{161}{72}
}
{ } {}
{ } {}
}
{}{}{}
als nächste Approximation. So fortfahrend erhält man eine immer besser werdende Approximation von $\sqrt{5}$.
}
Allgemein ergibt sich das folgende Heron-Verfahren.
\inputbeispiel{}
{
Beim \stichwort {Heron-Verfahren} {} zur näherungsweisen Berechnung von $\sqrt{c}$ einer positiven Zahl $c$ geht man iterativ wie folgt vor. Man startet mit einem beliebigen positiven Startwert $x_0$ und berechnet davon das
\definitionsverweis {arithmetische Mittel}{}{}
aus
\mathkor {} {x_0} {und} {{ \frac{ c }{ x_0 } }} {.}
Dieses Mittel nennt man $x_1$. Es gilt
\mavergleichskettedisp
{\vergleichskette
{x_1^2-c
}
{ =} { { \left( \frac{x_0 + \frac{c}{x_0} }{2} \right) }^2-c
}
{ =} { \frac{x_0^2+2c+ \frac{c^2}{x_0^2} }{4} - c
}
{ =} { \frac{x_0^2-2c+ \frac{c^2}{x_0^2} }{4}
}
{ =} { { \left( \frac{x_0 - \frac{c}{x_0} }{2} \right) }^2
}
}
{
\vergleichskettefortsetzung
{ \geq} {0
}
{ } {}
{ } {}
{ } {}
}{}{.}
D.h. dass $x_1$ mindestens so groß wie $\sqrt{c}$ ist. Auf $x_1$ wendet man iterativ das gleiche Verfahren an und erhält so $x_2$ usw. Die rekursive Definition von
\mathl{x_{n+1}}{} lautet also
\mavergleichskettedisp
{\vergleichskette
{ x_{n+1}
}
{ =} { { \frac{ x_n + { \frac{ c }{ x_n } } }{ 2 } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Nach Konstruktion weiß man, dass $\sqrt{c}$ in jedem Intervall
\mathl{[c/x_n, x_n]}{}
\zusatzklammer {für
\mavergleichskettek
{\vergleichskettek
{ n
}
{ \geq }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {}
liegt, da aus
\mavergleichskette
{\vergleichskette
{ x_n^2
}
{ \geq }{ c
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
direkt
\mavergleichskette
{\vergleichskette
{ { \left( \frac{c}{x_n} \right) }^2
}
{ = }{ { \frac{ c^2 }{ x_n^2 } }
}
{ \leq }{ { \frac{ c^2 }{ c } }
}
{ = }{ c
}
{ }{
}
}
{}{}{}
folgt. Bei jedem Schritt gilt
\mavergleichskettedisp
{\vergleichskette
{ [ { \frac{ c }{ x_{n+1} } }, x_{n+1} ]
}
{ \subseteq} { [{ \frac{ c }{ x_{n} } }, x_{n} ]
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
d.h. das Nachfolgerintervall liegt innerhalb des Vorgängerintervalls. Dabei wird bei jedem Schritt die Intervalllänge mindestens halbiert.
}
Das eben beschriebene Verfahren liefert also zu jeder natürlichen Zahl $n$ eine reelle Zahl, die 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 zu den Begriffen Folge und Konvergenz.
\inputdefinition
{}
{
Eine \definitionswort {reelle Folge}{} ist eine \definitionsverweis {Abbildung}{}{} \maabbeledisp {} {\N} {\R } {n} {x_n } {.}
}
Eine Folge wird zumeist als
\mathl{{ \left( x_n \right) }_{n \in \N }}{,} oder einfach nur kurz als
\mathl{(x_n)_n}{} geschrieben. 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. Grundsätzlich gibt es Folgen in jeder Menge, für die meisten Eigenschaften, für die man sich im Kontext von Folgen interessiert, braucht man aber eine zusätzliche \anfuehrung{topologische Struktur}{,} wie sie in $\R$ existiert. Dies gilt insbesondere für den folgenden Begriff.
\inputdefinition
{}
{
Es sei
\mathl{{ \left( x_n \right) }_{n \in \N }}{} eine
\definitionsverweis {reelle Folge}{}{}
und es sei
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Man sagt, dass die Folge gegen $x$ \definitionswort {konvergiert}{,} wenn folgende Eigenschaft erfüllt ist
Zu jedem positiven
\mathbed {\epsilon > 0} {}
{\epsilon \in \R} {}
{} {} {} {,}
gibt es ein
\mavergleichskette
{\vergleichskette
{n_0
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
derart, dass für alle
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{ n_0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Abschätzung
\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
}
{ \defeq} {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 das vorgegebene $\epsilon$ als eine kleine, aber positive Zahl vorstellen, die eine gewünschte \stichwort {Zielgenauigkeit} {}
\zusatzklammer {oder erlaubten Fehler} {} {}
ausdrückt. 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 der Fehler, also je besser die Approximation sein soll, desto höher ist im Allgemeinen der Aufwand. Statt mit beliebigen positiven reellen Zahlen $\epsilon$ kann man auch mit den \stichwort {Stammbrüchen} {,} also den rationalen Zahlen
\mathbed {{ \frac{ 1 }{ k } }} {}
{k \in \N_+} {}
{} {} {} {,}
arbeiten, siehe
Aufgabe 4.7.
Zu einem
\mathl{\epsilon >0}{} und einer reellen Zahl $x$ 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} {}
\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} {}
\inputbeispiel{}
{
Eine \stichwort {konstante Folge} {}
\mavergleichskette
{\vergleichskette
{x_n
}
{ \defeq }{ 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$.
Die Folge
\mavergleichskettedisp
{\vergleichskette
{x_n
}
{ =} { { \frac{ 1 }{ n } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist
\definitionsverweis {konvergent}{}{}
mit dem Grenzwert $0$. Es sei dazu ein beliebiges positives $\epsilon$ vorgegeben. Aufgrund des Archimedes Axioms gibt es ein $n_0$ mit
\mavergleichskette
{\vergleichskette
{ { \frac{ 1 }{ n_0 } }
}
{ \leq }{ \epsilon
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Insgesamt gilt damit 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
}
{ } {}
}
{}{}{.}
}
\inputfaktbeweis
{Reelle Zahlen/Folge/Eindeutiger Limes/Fakt}
{Lemma}
{}
{
\faktsituation {Eine
\definitionsverweis {reelle Folge}{}{}}
\faktfolgerung {besitzt 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{Rechenregeln für Folgen}
\inputfaktbeweisnichtvorgefuehrt
{Reelle Zahlen/Konvergente Folgen/Rechenregeln/Fakt}
{Lemma}
{}
{
\faktsituation {Es seien
\mathkor {} {{ \left( x_n \right) }_{n \in \N }} {und} {{ \left( y_n \right) }_{n \in \N }} {}
\definitionsverweis {konvergente Folgen}{}{.}}
\faktuebergang {Dann gelten folgende Aussagen.}
\faktfolgerung {\aufzaehlungfuenf{Die Folge
\mathl{{ \left( x_n+y_n \right) }_{ n \in \N }}{} ist konvergent und es gilt
\mavergleichskettedisp
{\vergleichskette
{ \lim_{n \rightarrow \infty} { \left( x_n+y_n \right) }
}
{ =} { { \left( \lim_{n \rightarrow \infty} x_n \right) } + { \left( \lim_{n \rightarrow \infty} y_n \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}{Die Folge
\mathl{{ \left( x_n \cdot y_n \right) }_{ n \in \N }}{} ist konvergent und es gilt
\mavergleichskettedisp
{\vergleichskette
{ \lim_{n \rightarrow \infty} { \left( x_n \cdot y_n \right) }
}
{ =} { { \left( \lim_{n \rightarrow \infty} x_n \right) } \cdot { \left( \lim_{n \rightarrow \infty} y_n \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}{Für
\mavergleichskette
{\vergleichskette
{c
}
{ \in }{ \R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt
\mavergleichskettedisp
{\vergleichskette
{ \lim_{n \rightarrow \infty} cx_n
}
{ =} { c { \left( \lim_{n \rightarrow \infty} x_n \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}{Es sei
\mavergleichskette
{\vergleichskette
{ \lim_{n \rightarrow \infty} x_n
}
{ = }{ x
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{x_n
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{n
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann ist
\mathl{{ \left( \frac{1}{x_n} \right) }_{ n \in \N }}{} ebenfalls konvergent mit
\mavergleichskettedisp
{\vergleichskette
{ \lim_{n \rightarrow \infty} \frac{1}{x_n}
}
{ =} { { \frac{ 1 }{ x } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}{Es sei
\mavergleichskette
{\vergleichskette
{ \lim_{n \rightarrow \infty} x_n
}
{ = }{ x
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ x_n
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{n
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann ist
\mathl{{ \left( \frac{y_n}{x_n} \right) }_{ n \in \N }}{} ebenfalls konvergent mit
\mavergleichskettedisp
{\vergleichskette
{ \lim_{n \rightarrow \infty} \frac{y_n}{x_n}
}
{ =} { { \frac{ \lim_{n \rightarrow \infty} y_n }{ x } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}}
\faktzusatz {}
\faktzusatz {}
}
{
\teilbeweis {}{}{}
{(1). Es seien $x$ bzw. $y$ die Grenzwerte der beiden Folgen. Sei
\mavergleichskette
{\vergleichskette
{\epsilon
}
{ > }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
vorgegeben. Wegen der Konvergenz der ersten Folge gibt es zu
\mavergleichskettedisp
{\vergleichskette
{ \epsilon'
}
{ =} { { \frac{ \epsilon }{ 2 } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ein $n_0$ derart, dass für alle
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{n_0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Abschätzung
\mavergleichskettedisp
{\vergleichskette
{ \betrag { x_n-x }
}
{ \leq} { \epsilon'
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gilt. Ebenso gibt es wegen der Konvergenz der zweiten Folge zu
\mavergleichskette
{\vergleichskette
{ \epsilon'
}
{ = }{ { \frac{ \epsilon }{ 2 } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein $n_0'$ derart, dass für alle
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{n_0'
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Abschätzung
\mavergleichskettedisp
{\vergleichskette
{ \betrag { y_n-y }
}
{ \leq} { \epsilon'
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gilt. Sei
\mavergleichskettedisp
{\vergleichskette
{N
}
{ =} { {\max { \left( n_0 , n_0' \right) } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dann gilt für alle
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {unter Verwendung der
Dreiecksungleichung} {} {}
die Abschätzung
\mavergleichskettealign
{\vergleichskettealign
{ \betrag { x_n+y_n -(x+y) }
}
{ =} { \betrag { x_n+y_n -x-y }
}
{ =} { \betrag { x_n-x +y_n -y }
}
{ \leq} { \betrag { x_n-x } + \betrag { y_n -y }
}
{ \leq} { \epsilon' + \epsilon'
}
}
{
\vergleichskettefortsetzungalign
{ =} { \epsilon
}
{ } {}
{ } {}
{ } {}
}
{}{.}}
{}
\teilbeweis {}{}{}
{(2). Sei
\mavergleichskette
{\vergleichskette
{ \epsilon
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
vorgegeben. Die konvergente Folge
\mathl{{ \left( x_n \right) }_{n \in \N }}{} ist nach
Fakt *****
insbesondere
\definitionsverweis {beschränkt}{}{}
und daher existiert ein
\mavergleichskette
{\vergleichskette
{D
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ \betrag { x_n }
}
{ \leq }{ D
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{n
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Sei
\mathkor {} {x \defeq \lim_{n \rightarrow \infty} x_n} {und} {y \defeq \lim_{n \rightarrow \infty} y_n} {.}
Wir setzen
\mavergleichskette
{\vergleichskette
{C
}
{ \defeq }{\max \{D, \betrag { y } \}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Aufgrund der Konvergenz gibt es natürliche Zahlen
\mathkor {} {N_1} {und} {N_2} {}
mit
\mathdisp {\betrag { x_n -x } \leq \frac{\epsilon}{2C} \text{ für } n \geq N_1 \text{ und } \betrag { y_n -y } \leq \frac{\epsilon}{2C} \text{ für } n \geq N_2} { . }
Diese Abschätzungen gelten dann auch für alle
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{N
}
{ \defeq }{ \max\{N_1,N_2\}
}
{ }{
}
{ }{
}
}
{}{}{.}
Für diese Zahlen gilt daher
\mavergleichskettealign
{\vergleichskettealign
{ \betrag { x_ny_n -xy }
}
{ =} { \betrag { x_ny_n-x_ny+x_n y-xy }
}
{ \leq} {\betrag { x_ny_n-x_ny } + \betrag { x_ny-xy }
}
{ =} { \betrag { x_n } \betrag { y_n-y } + \betrag { y } \betrag { x_n-x }
}
{ \leq} {C \frac{ \epsilon}{2C} + C \frac{ \epsilon}{2C}
}
}
{
\vergleichskettefortsetzungalign
{ =} {\epsilon
}
{ } {}
{ } {}
{ } {}
}
{}{.}}
{}
Für die anderen Teile siehe
Aufgabe *****,
Aufgabe *****
und
Aufgabe *****.
| << | Kurs:Vorkurs Mathematik (Osnabrück 2013) | >> |
|---|