Kurs:Grundkurs Mathematik (Osnabrück 2018-2019)/Teil I/Vorlesung 28/latex
\setcounter{section}{28}
\epigraph { Nicht allein in Rechnungssachen Soll der Mensch sich Mühe machen; Sondern auch der Weisheit Lehren Muß man mit Vergnügen hören. } { Wilhelm Busch, Max und Moritz }
Aus der Schule wissen wir, dass es neben den abbrechenden Kommazahlen \zusatzklammer {den Dezimalbrüchen} {} {} auch \anfuehrung{unendliche Kommazahlen}{} gibt, wobei dabei die Ziffernentwicklung wiederum periodisch oder nicht periodisch sein kann. Es ist eine echte Herausforderung, die mathematische Natur solcher Ausdrücke zu verstehen, und wir werden uns einen Großteil des zweiten Semesters damit beschäftigen. Auf den ersten Blick ist jedenfalls eine solche Zahl dadurch gegeben, dass jeder natürlchen Zahl, die eine Nachkommastelle bezeichnet, mehr oder weniger willkürlich eine Ziffer zwischen \mathkor {} {0} {und} {9} {} zugeordnet wird. Eine solche Zuordnung erfassen wir generell mit dem Konzept einer Folge.
\zwischenueberschrift{Folgen}
\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 häufig in der Form
\mathdisp {{ \left( x_n \right) }_{n \in \N }} { }
geschrieben.
}
Die Elemente $x_n$ heißen dabei die \stichwort {Glieder der Folge} {.}
\zwischenueberschrift{Der Divisionsalgorithmus}
Wir besprechen nun das Verfahren des \anfuehrung{schriftlichen Dividierens}{,} den Divisionsalgorithmus.
\inputverfahren{}
{
Es seien
\mathl{a,b}{} natürliche Zahlen mit $b$ positiv. Beim \stichwort {Divisionsalgorithmus} {}
\mathl{a:b}{} führt man sukzessive die
\zusatzklammer {unendlich vielen} {} {}
\definitionsverweis {Divisionen mit Rest}{}{}
\mavergleichskettedisp
{\vergleichskette
{a
}
{ =} { z_0 \cdot b + r_0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{10 \cdot r_0
}
{ =} { z_{-1} \cdot b + r_{-1}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{10 \cdot r_{-1}
}
{ =} { z_{-2} \cdot b + r_{-2}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{10 \cdot r_{-2}
}
{ =} { z_{-3} \cdot b + r_{-3}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{, ...}
aus, d.h. man berechnet rekursiv
aus
\mathl{r_{-i}}{} mittels
\mavergleichskettedisp
{\vergleichskette
{10 \cdot r_{-i}
}
{ =} { z_{-i-1} \cdot b + r_{-i-1}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die
\mathl{z_{-i-1}}{} und die
\mathl{r_{-i-1}}{.} Die Folge
\mathbed {z_{-i}} {}
{i \in \N} {}
{} {} {} {,}
heißt die \stichwort {Ziffernfolge} {} und die Folge
\mathbed {r_{-i}} {}
{i \in \N} {}
{} {} {} {,}
heißt die \stichwort {Restefolge} {} des Divisionsalgorithmus.
}
Man schaut also, wie oft $b$ in $a$ hineinpasst
\zusatzklammer {das ergibt $z_0$, den ganzzahligen Anteil der Division} {} {}
und welcher Rest dabei übrigbleibt. Dann schaut man, wie oft $b$ in das Zehnfache dieses Restes hineinpasst
\zusatzklammer {das ergibt $z_1$, die erste Nachkommaziffer der Division} {} {}
und welcher Rest dabei übrigbleibt, und wiederholt diesen Rechenschritt unendlich oft. Dieses Verfahren ist aus der Schule bekannt. Als Ergebnis wird die \anfuehrung{unendliche Kommazahl}{}
\mathdisp {z,z_{-1} z_{-2} z_{-3} \ldots} { }
notiert, wobei die ganze Zahl $z$ selbst in ihrer Dezimalentwicklung genommen wird. Unklar ist dabei, welchen genauen Sinn ein solcher Ausdruck besitzt. Dies lässt sich im Rahmen der Konvergenz von Folgen befriedigend präzisieren. Die Indizierung ist hier so gewählt, dass sich die Ziffer
\mathl{z_{-i}}{}
\zusatzklammer {für \mathlk{i \geq 1}{}} {} {}
auf
\mathl{10^{-i}}{} bezieht. D.h. $z_{-i}$ ist die $i$-te Nachkommaziffer des Ergebnisses der Division.
\inputfaktbeweis
{Schriftliche Division/Eigenschaften/Fakt}
{Lemma}
{}
{
\faktsituation {Es seien
\mathl{a,b}{} natürliche Zahlen mit $b$ positiv und es seien
\mathbed {z_{-i}} {}
{i \in \N} {}
{} {} {} {,}
und
\mathbed {r_{-i}} {}
{i \in \N} {}
{} {} {} {,}
die im
\definitionsverweis {Divisionsalgorithmus}{}{}
berechneten Folgen.}
\faktuebergang {Dann gelten folgende Eigenschaften.}
\faktfolgerung {\aufzaehlungsieben{Die $r_{-i}$ liegen zwischen
\mathkor {} {0} {und} {b-1} {.}
}{Die
\mathbed {z_{-i}} {}
{i \in \N_+} {}
{} {} {} {,}
liegen zwischen
\mathkor {} {0} {und} {9} {.}
}{Wenn für ein $k$ der Rest
\mavergleichskette
{\vergleichskette
{r_{-k}
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist, so sind für alle
\mavergleichskette
{\vergleichskette
{i
}
{ > }{k
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
auch
\mavergleichskette
{\vergleichskette
{ z_{-i}
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
und
\mavergleichskette
{\vergleichskette
{ r_{-i}
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Es gibt ein
\mavergleichskette
{\vergleichskette
{ k
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und ein
\mavergleichskette
{\vergleichskette
{ \ell
}
{ \in }{ \N_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{\ell
}
{ < }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
derart, dass für die Ziffern mit
\mavergleichskette
{\vergleichskette
{i
}
{ > }{ k
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Beziehung
\mavergleichskettedisp
{\vergleichskette
{z_{-i -\ell}
}
{ =} {z_{-i}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gilt.
}{Wenn man statt
\mathl{a:b}{} den Divisionsalgorithmus
\mathl{ma :mb}{} mit
\mavergleichskette
{\vergleichskette
{ m
}
{ \in }{ \N_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ausführt, so ändert sich die Ziffernfolge nicht
\zusatzklammer {wohl aber die Restefolge} {} {.}
Die Ziffernfolge ist also für die rationale Zahl
\mathl{{ \frac{ a }{ b } }}{} wohldefiniert.
}{Bei der Division von
\mavergleichskette
{\vergleichskette
{ a
}
{ = }{ \sum_{j = 0}^t c_j 10^{j}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
durch eine Zehnerpotenz
\mavergleichskette
{\vergleichskette
{b
}
{ = }{ 10^s
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskettedisp
{\vergleichskette
{z_0
}
{ =} { \sum_{j = s}^{t-s} c_{j} 10^{j-s}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\zusatzklammer {was bei
\mavergleichskettek
{\vergleichskettek
{ t
}
{ < }{ s
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
als $0$ zu lesen ist} {} {}
und
\mavergleichskettedisp
{\vergleichskette
{z_{-i}
}
{ =} { c_{-i+s}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\zusatzklammer {was für
\mavergleichskettek
{\vergleichskettek
{ -i
}
{ < }{ -s
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
als
\mavergleichskettek
{\vergleichskettek
{ z_{-i}
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
zu lesen ist} {} {.}
Die Ziffernfolge $z_{-i}$ ist also einfach eine verschobene Version der Zifferndarstellung des Dividenden.
}{Der Bruch
\mathl{{ \frac{ a }{ b } }}{} ist genau dann ein
\definitionsverweis {Dezimalbruch}{}{,}
wenn ein Rest $r_{-i}$ gleich $0$ ist, und dies ist genau dann der Fall, wenn die Ziffernfolge
\mathl{z_{-i}}{} ab einem $k$ konstant gleich $0$ ist.
}}
\faktzusatz {}
\faktzusatz {}
}
{
\aufzaehlungsieben{Ist eine Eigenschaft der Division mit Rest.
}{Wegen
\mavergleichskettedisp
{\vergleichskette
{r_{-i}
}
{ \leq} {b-1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist
\mavergleichskettedisp
{\vergleichskette
{ 10 \cdot r_{-i}
}
{ \leq} {10 \cdot (b-1)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Bei der Division von
\mavergleichskette
{\vergleichskette
{ 10 \cdot r_{-i}
}
{ = }{ z_{-i-1} \cdot b + r_{-i-1}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
durch $b$ ist somit der ganzzahlige Anteil $z_{-i-1}$ echt kleiner als $10$.
}{Dies folgt unmittelbar aus dem rekursiven Aufbau des Divisionsalgorithmus.
}{Im Fall, dass für ein $k$ der Rest
\mavergleichskette
{\vergleichskette
{r_{-k}
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist, ergibt sich dies unmittelbar aus (3), wobei man
\mavergleichskette
{\vergleichskette
{\ell
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
wählen kann. Nehmen wir also an, dass alle $r_{-i}$ von $0$ verschieden sind. Da die Reste
\mathdisp {r_{-1}, r_{-2}, r_{-3}} { }
allesamt zwischen
\mathkor {} {1} {und} {b-1} {}
liegen, muss es in ihnen irgendwann eine Wiederholung geben, sagen wir, dass
\mavergleichskettedisp
{\vergleichskette
{r_{-k - \ell}
}
{ =} { r_{-k}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gilt. Da
\mathl{z_{-i-1}}{} und
\mathl{r_{-i-1}}{} allein von $r_{-i}$ abhängt, wiederholt sich dann die Restfolge und die Ziffernfolge
\mathdisp {r_{-k}, r_{k-1} , \ldots , r_{-k- \ell +1} \text{ bzw. } z_{-k}, z_{k-1} , \ldots , z_{-k- \ell +1}} { }
unendlich oft periodisch.
}{Aus der Division mit Rest
\mavergleichskettedisp
{\vergleichskette
{ 10 \cdot r_{-i}
}
{ =} { z_{-i-1} \cdot b + r_{-i-1}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ergibt sich direkt die entsprechende Division mit Rest
\mavergleichskettedisp
{\vergleichskette
{ 10 \cdot { \left( m \cdot r_{-i} \right) }
}
{ =} { z_{-i-1} \cdot { \left( m \cdot b \right) } + { \left( m \cdot r_{-i-1} \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
woraus die Behauptung folgt.
}{Der Divisionsalgorithmus ist in diesem Fall
\mavergleichskettedisp
{\vergleichskette
{ \sum_{j = 0}^t c_j 10^{j}
}
{ =} { { \left( \sum_{j = s}^t c_j 10^{j-s} \right) } 10^s + \sum_{j = 0}^{s-1} c_j 10^{j}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{ 10 \cdot { \left( \sum_{j = 0}^{s-1} c_j 10^{j} \right) }
}
{ =} { c_{s-1} 10^s + 10 \cdot { \left( \sum_{j = 0}^{s-2} c_j 10^{j} \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{ 10^2 \cdot { \left( \sum_{j = 0}^{s-2} c_j 10^{j} \right) }
}
{ =} { c_{s-2} 10^s + 10^2 \cdot { \left( \sum_{j = 0}^{s-3} c_j 10^{j} \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
u.s.w., woraus die Aussagen ablesbar sind.
}{Wenn ein Dezimalbruch vorliegt, so können wir wegen (5) annehmen, dass
\mavergleichskettedisp
{\vergleichskette
{b
}
{ =} {10^s
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
eine Zehnerpotenz ist. Dann folgt die Aussage mit der abbrechenden Ziffernfolge aus (6).
Wenn ein
\mavergleichskette
{\vergleichskette
{r_{-k}
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
so sind nach (3) alle folgenden Ziffern gleich $0$. Wenn umgekehrt
\mavergleichskette
{\vergleichskette
{z_{-i}
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{i
}
{ \geq }{k
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt, so wird die Rekursionsbedingung für
\mavergleichskette
{\vergleichskette
{i
}
{ \geq }{k
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
zu
\mavergleichskettedisp
{\vergleichskette
{10 \cdot r_{-i}
}
{ =} { r_{-i-1}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Nehmen wir
\mavergleichskette
{\vergleichskette
{z_{-k}
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
an. Dann ist
\mavergleichskettedisp
{\vergleichskette
{r_{-k-1}
}
{ =} {10 r_{-k}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{r_{-k-3}
}
{ =} {10 r_{-k-1}
}
{ =} { 10^2 r_{-k}
}
{ } {
}
{ } {
}
}
{}{}{,}
u.s.w., was zu einem Widerspruch führt, da nach
Lemma 25.9
die Zehnerpotenzen schließlich die Zahl $b$ überschreiten.
Wenn ein
\mavergleichskette
{\vergleichskette
{r_{-k}
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist, so folgt rekursiv aus
\mavergleichskettedisp
{\vergleichskette
{ 10 r_{-i}
}
{ =} {z_{-i-1} \cdot b + r_{-i-1}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
bzw.
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ r_{-i} }{ b } }
}
{ =} { { \frac{ z_{-i-1} }{ 10 } } + { \frac{ r_{-i-1} }{ 10 \cdot b } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
dass die Brüche
\mathdisp {{ \frac{ r_{-k} }{ b } } = 0,\, { \frac{ r_{-k+1} }{ b } } ,\,{ \frac{ r_{-k+2} }{ b } } , \ldots , { \frac{ r_{-1} }{ b } } \, , { \frac{ r_0 }{ b } }} { }
Dezimalbrüche sind. Somit ist auch ${ \frac{ a }{ b } }$ ein Dezimalbruch.
}
Wir haben insbesondere bewiesen, dass beim Divisionsalgorithmus irgendwann eine Periodizität auftritt und gezeigt, wie diese zu finden ist. Das kleinste positve $\ell$, das die Eigenschaft aus (4) erfüllt, heißt die \stichwort {Periodenlänge} {} der Division. Die Eigenschaft (6) bedeutet, dass die Ziffernfolge, die sich aus dem allgemeinen Divisionsalgorithmus im Falle der Division durch eine Zehnerpotenz ergibt, mit der endlichen Kommazahl aus
Definition 26.4
übereinstimmt. Das Ergebnis des Divisionsalgorithmus wird als
\mathdisp {z_0, z_{-1} z_{-2} \ldots z_{-k} \overline{ z_{-k-1} \ldots z_{-k - \ell} }} { }
notiert, wobei die überstrichenen Zahlen die Periode darstellen.
\inputbemerkung
{}
{
Über die Periodenlänge kann man einige präzise Aussagen machen, die über
Lemma 28.3 (4)
hinausgehen und die wir im Moment noch nicht beweisen können. Es seien
\mathkor {} {a} {und} {b} {}
teilerfremd und $b$ sei auch teilerfremd zu $10$. Dann hängt die Periodenlänge $\ell$ der Division
\mathl{a:b}{} allein davon ab, welche minimale Zehnerpotenz $10^k$ mit
\mavergleichskette
{\vergleichskette
{k
}
{ \geq }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
bei Division durch $b$ den Rest $1$ besitzt. Für den Fall
\mavergleichskette
{\vergleichskette
{a
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
siehe
Aufgabe 28.13.
Der minimale Exponent ist die Periodenlänge. Wenn
\mavergleichskette
{\vergleichskette
{b
}
{ = }{p
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine
\definitionsverweis {Primzahl}{}{}
ist, so ist diese Periodenlänge ein Teiler von
\mathl{p-1}{.} Wenn die Periodenlänge von
\mathl{1:p}{} genau
\mathl{p-1}{} ist, so gilt dies bei sämtlichen Divisionen
\mathl{a:p}{} mit $a$ teilerfremd zu $p$, und die Reihenfolge der Ziffern ist eine zyklische Vertauschung der Reihenfolge der Ziffern zu
\mathl{1:p}{.} Siehe als Beispiel hierzu
Aufgabe 28.3.
}
\zwischenueberschrift{Dezimalbruchfolgen}
Die Ziffern $z_{-i}$, die sich beim Divisionsalgorithmus
\mathl{a:b}{} ergeben, sind in ihrer genauen Bedeutung nicht einfach zu verstehen. Im Spezialfall, dass ein Dezimalbruch vorliegt, erhalten wir nach
Lemma 28.3 (6)
eine abbrechende Entwicklung
\mathl{z_0,z_{-1} z_{-2} z_{-3} \ldots z_{-n}}{,} wobei wir diese Ziffern direkt aus der Dezimalentwicklung des Zählers ablesen können. Wenn kein Dezimalbruch vorliegt, so erhalten wir eine unendliche Ziffernfolge
\mathl{z_{-i}}{.} Zunächst muss man sich klar machen, dass jeder an einer bestimmten Ziffer abbrechende Ausschnitt daraus, also
\mathdisp {z_0,z_{-1} z_{-2} z_{-3} \ldots z_{-n}} { , }
\betonung{nicht}{} die Zahl
\mathl{{ \frac{ a }{ b } }}{} ist, obwohl es sich in einem zu präzisierenden Sinn um eine Approximation davon handelt. Eine Formulierung wie
\mathdisp {z_0,z_{-1} z_{-2} z_{-3} \ldots z_{-n} \ldots} { }
hingegen ist ziemlich aussagelos. Eine Formulierung wie
\mathdisp {z_0,z_{-1} z_{-2} z_{-3} \ldots z_{-k} \overline{ z_{-k-1} \ldots z_{-k- \ell } }} { }
kodiert zwar die volle Information aus dem Divisionsalgorithmus, das Problem ist aber, ob und inwiefern dies eine Zahl ist.
\inputdefinition
{}
{
Es sei $K$ ein
\definitionsverweis {angeordneter Körper}{}{.}
Eine Folge der Form
\mavergleichskettedisp
{\vergleichskette
{x_n
}
{ =} { { \frac{ a_n }{ 10^n } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ a_n
}
{ \in }{ \Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ a_n }{ 10^n } }
}
{ \leq} { { \frac{ a_{n+1} }{ 10^{n+1} } }
}
{ <} { { \frac{ a_n+1 }{ 10^n } }
}
{ } {
}
{ } {
}
}
{}{}{}
heißt
\definitionswort {Dezimalbruchfolge}{.}
}
Achtung! Eine Dezimalbruchfolge ist nicht das gleiche wie eine Folge von Dezimalbrüchen. Die Folge, die abwechselnd die Werte
\mathkor {} {0} {und} {1} {}
besitzt, besteht auch nur aus Dezimalbrüchen. Hier ist wichtig, das bei einer Dezimalbruchfolge bei jedem Folgenglied sich die \anfuehrung{Genauigkeit}{} um ein
\mathl{{ \frac{ 1 }{ 10 } }}{} erhöht, das folgende Glied
\mathl{x_{n+1}}{} liegt im Intervall
\mavergleichskettedisp
{\vergleichskette
{ [ { \frac{ a_n }{ 10^n } } , { \frac{ a_n + 1 }{ 10^n } } [
}
{ =} { [x_n,x_n + { \frac{ 1 }{ 10^n } } [
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{} der Länge
\mathl{{ \frac{ 1 }{ 10^n } }}{,} das vom Vorgänger $x_n$ festgelegt ist.
Wir werden zeigen, dass es für jedes Element $x$ in einem archimedisch angeordneten Körper eine zugehörige kanonische Dezimalbruchfolge gibt, und dass diese im Fall einer rationalen Zahl
\mathl{{ \frac{ a }{ b } }}{} aus dem Divisionsalgorithmus ablesbar ist. Die Folge
\mathdisp {{ \frac{ 9 }{ 10 } } ,\, { \frac{ 99 }{ 100 } } ,\, { \frac{ 999 }{ 1000 } } ,\, { \frac{ 9999 }{ 10000 } } ,\, { \frac{ 99999 }{ 100000 } } , \ldots ,} { }
ist eine Dezimalbruchfolge, aber nicht die kanonische Dezimalbruchfolge zu $1$, diese ist nämlich einfach die konstante Folge.
\inputverfahren{}
{
Es sei
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Element in einem
\definitionsverweis {archimedisch angeordneten Körper}{}{}
$K$. Dann nennt man die über
\mavergleichskette
{\vergleichskette
{ n
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
durch
\mavergleichskettedisp
{\vergleichskette
{ x
}
{ =} { u_{n} \cdot 10^{-n} +v_{n}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ u_n
}
{ \in }{ \Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{0
}
{ \leq }{v_{n}
}
{ < }{ 10^{-n}
}
{ }{
}
{ }{
}
}
{}{}{}
gegebene Folge
\mavergleichskettedisp
{\vergleichskette
{ x_n
}
{ =} {u_n \cdot 10^{-n}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die
\zusatzklammer {kanonische} {} {}
\stichwort {Dezimalbruchfolge} {} zu $x$.
}
Die definierende Gleichung in diesem Verfahren kann man auch als von der Gleichung
\mavergleichskettedisp
{\vergleichskette
{ 10^n x
}
{ =} { u_n + v_n \cdot 10^n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
herstammend interpretieren. Es ist also einfach
\mavergleichskettedisp
{\vergleichskette
{ u_n
}
{ =} { \left \lfloor x \cdot 10^n \right \rfloor
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{x_n
}
{ =} { u_n 10^{-n}
}
{ =} { \left \lfloor x \cdot 10^n \right \rfloor \cdot 10^{-n}
}
{ } {
}
{ } {
}
}
{}{}{,}
was zugleich zeigt, dass diese Folge existiert und eine Dezimalbruchfolge im Sinne der obigen Definition ist. Die Glieder $x_n$ dieser Folge approximieren die gegebene Zahl $x$ optimal unter allen Dezimalbrüchen mit dem vorgegebenen Nenner
\mathl{10^n}{,} wie die folgende Aussage zeigt.
\inputfaktbeweis
{Archimedisch angeordneter Körper/Dezimalbruchfolge/Approximation/Fakt}
{Satz}
{}
{
\faktsituation {Es sei
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Element in einem
\definitionsverweis {archimedisch angeordneten Körper}{}{}
$K$ und es sei
\mathbed {(x_n)} {}
{n \in \N} {}
{} {} {} {,}
die zugehörige
\zusatzklammer {kanonische} {} {}
\definitionsverweis {Dezimalbruchfolge}{}{.}}
\faktfolgerung {Dann ist
\mavergleichskettedisp
{\vergleichskette
{x_n
}
{ \leq} {x
}
{ <} {x_n + { \frac{ 1 }{ 10^n } }
}
{ } {
}
{ } {
}
}
{}{}{,}}
\faktzusatz {d.h. der $n$-te Dezimalbruch der Folge approximiert die Zahl $x$ bis auf einen Fehler von maximal
\mathl{{ \frac{ 1 }{ 10^n } }}{.} Es liegt eine Dezimalbruchfolge im Sinne von
Definition 28.5
vor.}
\faktzusatz {}
}
{
In der Definition der Dezimalbruchfolge wird
\mavergleichskettedisp
{\vergleichskette
{ x
}
{ =} { u_{n} \cdot 10^{-n} +v_{n}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ u_n
}
{ \in }{ \Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{0
}
{ \leq }{v_{n}
}
{ < }{ 10^{-n}
}
{ }{
}
{ }{
}
}
{}{}{}
berechnet. Daher ist einerseits
\mavergleichskettedisp
{\vergleichskette
{ x_n
}
{ =} {u_n \cdot 10^{-n}
}
{ \leq} { x
}
{ } {
}
{ } {
}
}
{}{}{}
und andererseits
\mavergleichskettedisp
{\vergleichskette
{ x
}
{ =} {u_n \cdot 10^{-n} +v_n
}
{ =} { x_n +v_n
}
{ <} { x_n + { \frac{ 1 }{ 10^n } }
}
{ } {
}
}
{}{}{.}
Die Eigenschaft
\mavergleichskettedisp
{\vergleichskette
{x_n
}
{ \leq} { x_{n+1}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ergibt sich auch unmittelbar.
\inputfaktbeweis
{Bruch/Divisionsalgorithmus/Dezimalbruchfolge in Q/Fakt}
{Lemma}
{}
{
\faktsituation {Es seien
\mathl{a,b}{} natürliche Zahlen mit $b$ positiv und es seien
\mathbed {z_{-i}} {}
{i \in \N} {}
{} {} {} {,}
und
\mathbed {r_{-i}} {}
{i \in \N} {}
{} {} {} {,}
die im
\definitionsverweis {Divisionsalgorithmus}{}{}
berechneten Folgen.}
\faktfolgerung {Dann ist
\mavergleichskettedisp
{\vergleichskette
{x_n
}
{ =} { \sum_{i = 0}^n z_{-i} 10^{-i}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die
\definitionsverweis {Dezimalbruchfolge}{}{}
zu ${ \frac{ a }{ b } }$. Insbesondere ist für jedes
\mavergleichskette
{\vergleichskette
{ n
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\mavergleichskettedisp
{\vergleichskette
{ \sum_{i = 0}^n z_{-i} 10^{-i}
}
{ \leq} { { \frac{ a }{ b } }
}
{ <} { \sum_{i = 0}^n z_{-i} 10^{-i} + 10^{-n}
}
{ } {
}
{ } {
}
}
{}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Aus den definierenden Gleichungen des Divisionsalgorithmus ergibt sich sukzessive
\mavergleichskettealign
{\vergleichskettealign
{a
}
{ =} { z_0b +r_0
}
{ =} { z_0b + { \frac{ 10 \cdot r_0 }{ 10 } }
}
{ =} { z_0b + { \frac{ z_{-1} \cdot b +r_{-1} }{ 10 } }
}
{ =} { z_0b + z_{-1} \cdot 10^{-1} \cdot b +r_{-1} 10^{-1}
}
}
{
\vergleichskettefortsetzungalign
{ =} { z_0b + z_{-1} \cdot 10^{-1} \cdot b + 10 \cdot r_{-1} 10^{-2}
}
{ =} { z_0b + z_{-1} \cdot 10^{-1} \cdot b + { \left( z_{-2} b +r_{-2} \right) } 10^{-2}
}
{ =} { z_0b + z_{-1} \cdot 10^{-1} \cdot b + z_{-2} b 10^{-2} + r_{-2} 10^{-2}
}
{ } {}
}
{}{}
und insgesamt
\mavergleichskettedisp
{\vergleichskette
{a
}
{ =} { b { \left( \sum_{i = 0 }^n z_{-i} 10^{-i} \right) } + r_{-n} 10^{-n}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Division durch $b$ ergibt
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ a }{ b } }
}
{ =} { \sum_{i = 0 }^n z_{-i} 10^{-i} + { \frac{ r_{-n} }{ b } } 10^{-n}
}
{ =} { { \left( \sum_{i = 0 }^n z_{-i} 10^{n-i} \right) } 10^{-n} + { \frac{ r_{-n} }{ b } } 10^{-n}
}
{ } {
}
{ } {}
}
{}{}{.}
Dies stimmt mit den Festlegungen aus dem Verfahren überein, in dem die Dezimalbruchfolge zu
\mathl{{ \frac{ a }{ b } }}{} definiert wurde.
\zwischenueberschrift{Konvergente Folgen}
Die oben beschriebene Eigenschaft, dass eine rationale Zahl durch die zugehörige
\zusatzklammer {im Divisonsalgorithmus berechneten} {} {}
Dezimalbruchfolge beliebig genau approximiert wird, wird durch folgenden Begriff präzisiert, der im zweiten Semester eine tragende Rolle spielen wird.
\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}{.}
}
\inputfaktbeweis
{Archimedisch angeordneter Körper/Dezimalbruchfolge/Konvergenzformulierung/Fakt}
{Korollar}
{}
{
\faktsituation {Es sei
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Element in einem
\definitionsverweis {archimedisch angeordneten Körper}{}{}
$K$.}
\faktfolgerung {Dann
\definitionsverweis {konvergiert}{}{}
die zugehörige
\definitionsverweis {Dezimalbruchfolge}{}{}
\mathbed {(x_n)} {}
{n \in \N} {}
{} {} {} {,}
gegen $x$.}
\faktzusatz {}
\faktzusatz {}
}
{
Nach
Satz 28.7
ist
\mavergleichskettedisp
{\vergleichskette
{ \betrag { x_n -x }
}
{ \leq} { { \frac{ 1 }{ 10^n } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Wenn ein
\mavergleichskette
{\vergleichskette
{ \epsilon
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
vorgegeben ist, so gibt es nach
Korollar 25.10
ein $m$ mit
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ 1 }{ 10^m } }
}
{ \leq} { \epsilon
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Für alle
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{m
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist dann
\mavergleichskettedisp
{\vergleichskette
{ \betrag { x_n - x }
}
{ \leq} { { \frac{ 1 }{ 10^n } }
}
{ \leq} { { \frac{ 1 }{ 10^m } }
}
{ \leq} { \epsilon
}
{ } {
}
}
{}{}{.}
\inputfaktbeweis
{Rationale Zahlen/Dezimalbruchfolge/Konvergenzformulierung/Fakt}
{Korollar}
{}
{
\faktsituation {Zu einer rationalen Zahl
\mavergleichskette
{\vergleichskette
{x
}
{ = }{ { \frac{ a }{ b } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}}
\faktfolgerung {\definitionsverweis {konvergiert}{}{}
die
\definitionsverweis {Dezimalbruchfolge}{}{,}
die man aus dem
\definitionsverweis {Divisionsalgorithmus}{}{}
erhält, gegen $x$.}
\faktzusatz {}
\faktzusatz {}
}
{
Dies folgt direkt aus Korollar 28.10 in Verbindung mit Lemma 28.8.