Kurs:Grundkurs Mathematik (Osnabrück 2022-2023)/Teil II/Vorlesung 47/latex
\setcounter{section}{47}
\zwischenueberschrift{Der Isomorphiesatz}
Zum folgenden Satz vergleiche man Satz 7.2. So wie die Dedekind-Peano-Axiome die natürlichen Zahlen eindeutig festlegen, werden die reellen Zahlen durch die Eigenschaften, die in einem vollständigen archimedisch angeordneten Körper zusammengefasst werden, eindeutig charakterisiert.
\inputfaktbeweis
{Reelle Zahlen/Isomorphiesatz/Fakt}
{Satz}
{}
{
\faktsituation {}
\faktfolgerung {Es gibt genau einen
\definitionsverweis {vollständigen}{}{} \definitionsverweis {archimedisch angeordneten Körper}{}{,}
die reellen Zahlen.}
\faktzusatz {Genauer: Wenn zwei vollständige archimedisch angeordnete Körper
\mathkor {} {\R_1} {und} {\R_2} {}
vorliegen, so gibt es einen eindeutig bestimmten
\definitionsverweis {bijektiven}{}{} \definitionsverweis {Ringhomomorphismus}{}{}
\maabbdisp {\varphi} {\R_1} { \R_2
} {.}}
\faktzusatz {}
}
{
Wir können davon ausgehen, dass der eine Körper $M$ das
\definitionsverweis {Cauchy-Folgen-Modell}{}{}
\mathl{C/N}{} der reellen Zahlen ist, wobei $C$ den Ring aller rationalen Cauchy-Folgen und $N$ das Ideal der Nullfolgen bezeichnet. Der andere Körper sei mit $K$ bezeichnet. Beide Körper enthalten die rationalen Zahlen und ein Ringhomomorphismus bildet $\Z$ auf $\Z$ und $\Q$ auf $\Q$ ab. Ein Ringhomomorphismus respektiert auch die Quadrate. In einem vollständigen archimedisch angeordneten Körper sind die nichtnegativen Elemente
nach Aufgabe 45.22
genau die Quadrate, deshalb muss ein solcher Ringhomomorphismus auch positive Elemente in positive Elemente überführen. Da man in einem archimedisch angeordneten Körper nach
Aufgabe 28.35
die Konvergenz mit Stammbrüchen allein überprüfen kann, erhält eine solche Abbildung auch die Konvergenz. Da in $M$ nach Konstruktion und
Satz 46.8
jedes Element Limes einer rationalen Cauchy-Folge ist, und diese auch in $K$ wegen der Vollständigkeit konvergiert, kann es nur eine solche Abbildung geben. Diese Überlegung zeigt zugleich, wie man die Abbildung $\varphi$ ansetzen muss. Ein Element
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ M
}
{ }{}
{ }{}
{ }{}
}
{}{}{}
werde repräsentiert durch eine rationale Cauchy-Folge
\mathl{{ \left( x_n \right) }_{n \in \N }}{.} Diese Folge konvergiert in $K$ gegen ein $y$ und man setzt
\mavergleichskette
{\vergleichskette
{\varphi(x)
}
{ = }{y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dies ist wohldefiniert. Wenn man nämlich eine andere $x$ repräsentierende rationale Cauchy-Folge
\mathl{{ \left( x'_n \right) }_{n \in \N }}{} nimmt, so ist die Differenz zu
\mathl{{ \left( x_n \right) }_{n \in \N }}{} eine Nullfolge und dann konvergieren
nach Lemma 44.12 (1)
die beiden Folgen in $K$ gegen das gleiche Element.
Aufgrund der Verträglichkeit mit der Konvergenz haben wir das kommutative Diagramm
\mathdisp {\begin{matrix}C & \stackrel{ }{\longrightarrow} & \,\,\,\,\,\,\,\,\,\,\,\, \,\,\,\,\,\, M = C/N & \\ & \!\!\! \!\! \psi \searrow & \downarrow \varphi \!\!\! \!\! & \\ & & \! \! K & \!\!\!\!\! \!\!\! , \\ \end{matrix}} { }
wobei $\psi$ eine Cauchy-Folge auf ihren Limes in $K$ abbildet. Nach
Lemma 44.12
ist diese Abbildung ein Ringhomomorphismus. Da die horizontale Abbildung surjektiv ist, ist auch $\varphi$ ein Ringhomomorphismus.
Die Injektivität gilt für jeden Ringhomomorphismus zwischen Körpern, siehe
Aufgabe 47.3.
Zum Nachweis der Surjektivität von $\varphi$ sei
\mavergleichskette
{\vergleichskette
{ y
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
vorgegeben. Nach
Korollar 28.10
gibt es eine Dezimalbruchfolge, die gegen $y$ konvergiert. Da diese Dezimalbruchfolge eine rationale Cauchy-Folge ist, gehört sie zu $C$ und definiert ein Element in $M$, das durch $\varphi$ auf $y$ abgebildet wird. Insgesamt ist also $\varphi$ ein bijektiver Ringhomomorphismus.
Nachdem wir nachgewiesen haben, dass die reellen Zahlen durch ihre axiomatisch fixierten Eigenschaften eindeutig festgelegt sind, werden wir in Zukunft nur noch mit diesen Axiomen und daraus abgeleiteten Eigenschaften arbeiten, die Konstruktion der reellen Zahlen mit Hilfe der Cauchy-Folgen wird in den Hintergrund treten. Den Körper der reellen Zahlen bezeichnen wir mit $\R$.
\inputdefinition
{}
{
Eine Zahl
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ \R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ x
}
{ \notin }{ \Q
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
heißt eine \definitionswort {irrationale Zahl}{.}
}
\zwischenueberschrift{Monotone Folgen}
\inputfaktbeweis
{Reelle Zahlen/Folge/Beschränkt monoton/Konvergiert/Fakt}
{Korollar}
{}
{
\faktsituation {}
\faktvoraussetzung {Eine
\definitionsverweis {beschränkte}{}{}
und
\definitionsverweis {monotone}{}{}
\definitionsverweis {Folge}{}{} in $\R$}
\faktfolgerung {\definitionsverweis {konvergiert}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Nach Voraussetzung ist die Folge wachsend und nach oben beschränkt oder fallend und nach unten beschränkt. Nach Lemma 45.7 liegt eine Cauchy-Folge vor, und diese konvergiert in $\R$.
\zwischenueberschrift{Zifferndarstellung reeller Zahlen}
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 Dezimalbruchfolge. Eine Ziffernfolge
\zusatzklammer {eine Ziffernentwicklung} {} {}
\mathbed {z_{-i}} {}
{i \in \N_+} {}
{} {} {} {,}
mit
\mavergleichskette
{\vergleichskette
{ z_{-i}
}
{ \in }{ \{0,1 , \ldots , 9\}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
definiert die Folge
\mavergleichskettedisp
{\vergleichskette
{ x_n
}
{ =} { \sum_{i = 1}^n z_{-i} 10^{-i}
}
{ =} { { \frac{ \sum_{i = 1}^n z_{-i} 10^{n-i} }{ 10^n } }
}
{ =} { { \frac{ a_n }{ 10^n } }
}
{ } {
}
}
{}{}{}
mit
\mavergleichskettedisp
{\vergleichskette
{ a_n
}
{ \defeq} { \sum_{i = 1}^n z_{-i} 10^{n-i}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Inwiefern stellt eine solche Dezimalbruchfolge eine reelle Zahl dar und inwiefern ist die Darstellung eindeutig? Zu jedem Element
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
in einem archimedisch angeordneten Körper $K$ gibt es nach
Verfahren 28.6
eine Dezimalbruchfolge, nämlich die durch
\mavergleichskettedisp
{\vergleichskette
{x_n
}
{ =} { \left \lfloor x \cdot 10^n \right \rfloor \cdot 10^{-n}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gegebene Folge, die nach
Korollar 28.10
gegen $x$ konvergiert.
\inputfaktbeweis
{Dezimalbruchfolge/R/Konvergiert/Eindeutigkeit/Fakt}
{Satz}
{}
{
\faktsituation {}
\faktfolgerung {\aufzaehlungdrei{Jede
\definitionsverweis {Dezimalbruchfolge}{}{}
\definitionsverweis {konvergiert}{}{}
gegen eine eindeutig bestimmte reelle Zahl.
}{Zu jeder reellen Zahl $x$ konvergiert die durch
\mavergleichskettedisp
{\vergleichskette
{x_n
}
{ =} { \left \lfloor x \cdot 10^n \right \rfloor \cdot 10^{-n}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gegebene Dezimalbruchfolge gegen $x$.
}{Zwei verschiedene Dezimalbruchfolgen
\mavergleichskette
{\vergleichskette
{ x_n
}
{ = }{ { \frac{ a_n }{ 10^n } }
}
{ = }{ \sum_{i = 0}^n w_{-i} 10^{-i}
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ y_n
}
{ = }{ { \frac{ b_n }{ 10^n } }
}
{ = }{ \sum_{i = 0}^n z_{-i} 10^{-i}
}
{ }{
}
{ }{
}
}
{}{}{}
konvergieren genau dann gegen die gleiche Zahl $x$, wenn es ein
\mavergleichskette
{\vergleichskette
{ k
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt mit
\mavergleichskettedisp
{\vergleichskette
{ w_{-i}
}
{ =} { z_{-i}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für
\mavergleichskette
{\vergleichskette
{-i
}
{ > }{ -k
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{z_{-k}
}
{ \neq} {9
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{ w_{-k}
}
{ =} { z_{-k} +1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{w_{-i}
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{z_{-i}
}
{ =} {9
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für
\mavergleichskette
{\vergleichskette
{-i
}
{ < }{ -k
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {oder umgekehrt} {} {.}
}}
\faktzusatz {}
\faktzusatz {}
}
{
\aufzaehlungdrei{Dies folgt aus
Lemma 45.4
und der Vollständigkeit von $\R$.
}{Dies wurde in
Korollar 28.10
bewiesen.
}{Eine Dezimalbruchfolge der Form
\mathdisp {{ \frac{ 10^n -1 }{ 1 0^n } }} { }
konvergiert gegen $1$, daher konvergieren die beiden Folgen gegen den gleichen Grenzwert. Wenn die beiden Cauchy-Folgen gegen die gleiche reelle Zahl konvergieren, so muss ihre Differenz eine Nullfolge sein. Eine Dezimalbruchfolge erfüllt die Abschätzungen
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ a_n }{ 10^n } }
}
{ \leq} { { \frac{ a_{n+1} }{ 10^{n+1} } }
}
{ <} { { \frac{ a_n+1 }{ 10^n } }
}
{ } {
}
{ } {
}
}
{}{}{,}
somit gilt für den Grenzwert $x$ insbesondere
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ a_n }{ 10^n } }
}
{ \leq} { x
}
{ \leq} { { \frac{ a_n+1 }{ 10^n } }
}
{ } {
}
{ } {
}
}
{}{}{.}
Wenn sich die beiden Dezimalbruchfolgen unterscheiden, so gibt es einen vordersten Index $-k$, wo sie sich unterscheiden. Es ist dann
\zusatzklammer {ohne Einschränkung} {} {}
\mavergleichskette
{\vergleichskette
{a_k
}
{ > }{b_k
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Wenn sie gegen den gleichen Grenzwert konvergieren, so muss wegen der Abschätzungen
\mavergleichskettedisp
{\vergleichskette
{x
}
{ \leq} { { \frac{ b_k+1 }{ 10^k } }
}
{ =} { { \frac{ a_k }{ 10^k } }
}
{ } {
}
{ } {
}
}
{}{}{,}
also
\mavergleichskette
{\vergleichskette
{b_k +1
}
{ = }{ a_k
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sein. Dies erzwingt
\mavergleichskette
{\vergleichskette
{ w_{-k}
}
{ = }{ z_{-k} +1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und die weiteren Bedingungen.
}
\inputbemerkung
{}
{
Es ist nicht trivial, aus den Ziffernentwicklungen von reellen Zahlen die Ziffern\-entwicklung ihrer Summe oder ihres Produktes abzulesen. Die Ziffernentwicklung ist eine konvergente Dezimalbruchfolge, und für jede Folge ist die Summe und das Produkt eindeutig definiert. Man weiß, dass das Ergebnis wieder eine konvergente Folge ist, und so ist die Summe und das Produkt von Dezimalbruchfolgen eindeutig definiert. Daraus kann man aber nicht unmittelbar ablesen, wie die (kanonische) Dezimalbruchfolge zur Summe oder zum Produkt aussieht. Insbesondere kann man die ersten $n$ Nachkommastellen der Summe
\betonung{nicht}{} aus den ersten $n$ Nachkommastellen
der beteiligten Summanden ablesen. Wenn beispielsweise von den Zahlen
\mavergleichskettedisp
{\vergleichskette
{x
}
{ =} { 0,22222 22222 22222 22222 ...
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{y
}
{ =} {0,77777 77777 77777 77777 ...
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die ersten zwanzig Nachkommastellen bekannt sind, so hat man die Abschätzungen
\mavergleichskettedisp
{\vergleichskette
{ 0,22222 22222 22222 22222
}
{ \leq} { x
}
{ \leq} { 0,22222 22222 22222 22223
}
{ } {
}
{ } {
}
}
{}{}{}
bzw.
\mavergleichskettedisp
{\vergleichskette
{0,77777 77777 77777 77777
}
{ \leq} {y
}
{ \leq} { 0,77777 77777 77777 77778
}
{ } {
}
{ } {
}
}
{}{}{}
und damit hat man auch die Abschätzung
\mavergleichskettedisp
{\vergleichskette
{ 0,99999 99999 99999 99999
}
{ \leq} { x +y
}
{ \leq} { 1, 00000 00000 00000 00001
}
{ } {
}
{ } {
}
}
{}{}{.}
Man weiß aber nicht, ob die ersten Ziffern Neunen oder Nullen sind, und das weiß man auch dann im Allgemeinen nicht, wenn man noch mehr Ziffern der Zahlen kennt.
Bei der Multiplikation ist das Problem noch deutlicher. Selbst wenn ein Faktor $z$ eine natürliche Zahl ist, so kann man die Ziffernentwicklung eines Produktes
\mathl{zw}{} nicht aus den entsprechenden Ziffern von $w$ ablesen. Es sei beispielsweise
\mavergleichskette
{\vergleichskette
{z
}
{ = }{3
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{ w
}
{ =} {0, 33333 33333 33333 33333 ...
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dann weiß man nur
\mavergleichskettedisp
{\vergleichskette
{ 0,99999 99999 99999 99999
}
{ \leq} { zw
}
{ \leq} { 1, 00000 00000 00000 00002
}
{ } {
}
{ } {
}
}
{}{}{,}
man hat aber keine Kenntnis über die ersten Ziffern des Produktes.
}
\zwischenueberschrift{Die geometrische Reihe}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Geometric_series_14_square.svg} }
\end{center}
\bildtext {Dieses Bild veranschaulicht das Verhalten der geometrischen Reihe zu
\mavergleichskette
{\vergleichskette
{ x
}
{ = }{ { \frac{ 1 }{ 4 } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Die Grundseite des Quadrates sei $2$, dann passt die geometrische Reihe dreimal in dieses Quadrat rein. Der jeweilige Flächeninhalt der drei Reihen ist ${ \frac{ 4 }{ 3 } }$.} }
\bildlizenz { Geometric series 14 square.svg } {} {Melchoir} {Commons} {CC-by-sa 3.0} {}
Die Reihe
\mathl{\sum_{ k = 0}^\infty x^k}{} heißt \stichwort {geometrische Reihe} {} zu
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ \R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
es geht also um die Folge mit den Folgengliedern
\mavergleichskettedisp
{\vergleichskette
{ s_n
}
{ =} { 1+x+x^2 + \cdots + x^n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
bzw. um die Summe
\mathdisp {1+x+x^2+x^3+ \ldots} { . }
Die Konvergenz hängt wesentlich vom Betrag von $x$ ab.
\inputfaktbeweis
{Geometrische Reihe/Reell/Konvergenzbeschreibung/Fakt}
{Satz}
{}
{
Für alle
\definitionsverweis {reellen Zahlen}{}{}
$x$ mit
\mavergleichskette
{\vergleichskette
{ \betrag { x }
}
{ < }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\definitionsverweis {konvergiert}{}{}
die Reihe
\mathl{\sum^\infty_{k = 0} x^k}{} und es gilt
\mavergleichskettedisp
{\vergleichskette
{ \sum^\infty_{k = 0} x^k
}
{ =} { { \frac{ 1 }{ 1-x } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
{
Für jedes $x$ und jedes
\mavergleichskette
{\vergleichskette
{n
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt die Beziehung
\mavergleichskettedisp
{\vergleichskette
{ (x-1) { \left( \sum_{ k = 0}^n x^k \right) }
}
{ =} { x^{n+1} -1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und daher gilt für die
\definitionsverweis {Partialsummen}{}{}
die Beziehung
\zusatzklammer {bei $x \neq 1$} {} {}
\mavergleichskettedisp
{\vergleichskette
{ s_n
}
{ =} { \sum_{ k = 0}^n x^k
}
{ =} { \frac{ x^{n+1} -1}{ x-1 }
}
{ } {
}
{ } {}
}
{}{}{.}
Für
\mathl{n \rightarrow \infty}{} und
\mavergleichskette
{\vergleichskette
{ \betrag { x }
}
{ < }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\definitionsverweis {konvergiert}{}{}
dies wegen
Lemma 44.12
und
Aufgabe 28.31
gegen
\mavergleichskette
{\vergleichskette
{ \frac{-1}{x-1}
}
{ = }{ \frac{1}{1-x}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
\zwischenueberschrift{Rationale Zahlen und periodische Ziffernentwicklung}
Für einen Bruch
\mathl{{ \frac{ a }{ b } }}{} zu
\mavergleichskette
{\vergleichskette
{ a,b
}
{ \in }{ \N_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
liefert der Divisionsalgorithmus nach
Lemma 28.3 (3)
eine periodische Entwicklung
\mathl{z,z_{-1} z_{-2} \ldots}{.} die nach
Lemma 28.8
die Dezimalbruchfolge zur Zahl
\mathl{{ \frac{ a }{ b } }}{} ist. Zu einer rationalen Zahl gehört also eine periodische Ziffernentwicklung. Die Umkehrung gilt ebenfalls.
\inputfaktbeweis
{Rationale Zahl/Charakterisierung mit periodischer Dezimalentwicklung/Fakt}
{Satz}
{}
{
\faktsituation {}
\faktvoraussetzung {Eine reelle Zahl ist}
\faktfolgerung {genau dann eine
\definitionsverweis {rationale Zahl}{}{,}
wenn sie eine periodische Ziffernentwicklung
\zusatzklammer {im Dezimalsystem} {} {}
besitzt.}
\faktzusatz {}
\faktzusatz {}
}
{
\teilbeweis {}{}{}
{Die Periodizität der Ziffernentwicklung zu
\mathl{{ \frac{ a }{ b } }}{} wurde in
Lemma 28.3 (3)
in Verbindung mit
Korollar 28.11
bewiesen.}
{}
\teilbeweis {}{}{}
{Es liege eine periodische Ziffernentwicklung für die reelle Zahl $x$ vor. Da sich die Eigenschaft, eine rationale Zahl zu sein, weder bei Multiplikation mit einer rationalen Zahl $\neq 0$ noch bei Addition mit einer rationalen Zahl ändert, können wir sofort annehmen, dass die Ziffernentwicklung die Form
\mathdisp {0,z_{m-1} z_{m-2} { \ldots } z_0 z_{m-1} z_{m-2} { \ldots } z_0 z_{m-1} z_{m-2} { \ldots } z_0 { \ldots }} { }
besitzt. Die dadurch definierte Zahl können wir als
\mathdisp {{ \left( \sum_{i= 0}^{m-1} z_i 10^{i} \right) } \cdot 0, 00 { \ldots } 0 0 100 { \ldots } 0 0 100 { \ldots } 0 0 100 { \ldots } 0 0 1 { \ldots }} { }
auffassen, wobei die Einsen an der $m$-ten, $2m$-ten u.s.w. Stelle stehen. Wir müssen uns also nur noch um periodische Ziffernentwicklungen von dieser speziellen Art kümmern. Wir betrachten also die Reihe
\mathdisp {\sum_{i = 1}^\infty { \left( { \frac{ 1 }{ 10^m } } \right) }^{i}} { . }
Nach
Satz 47.6
konvergiert dies gegen
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ 1 }{ 1- { \left( { \frac{ 1 }{ 10 } } \right) }^{ m } } } - 1
}
{ =} { { \frac{ 1 }{ { \left( { \frac{ 99 { \cdots } 99 }{ 10^m } } \right) } } } - 1
}
{ =} { { \frac{ 10^m }{ 99 { \cdots } 99 } } -1
}
{ =} { { \frac{ 1 }{ 99 { \cdots } 99 } }
}
{ } {
}
}
{}{}{,}
wobei jeweils $m$ Neunen vorkommen. Diese Zahl ist also rational.}
{}
Die entsprechende Aussage gilt für die Ziffernentwicklung zu jeder Basis, nicht nur im Dezimalsystem. Eine reelle Zahl mit einer periodischen Ziffernentwicklung wird so geschrieben, dass man einen Strich über die Periode macht, also beispielsweise
\mathdisp {351, 0528 \overline{82700}} { . }
\inputbeispiel{}
{
Wir bestimmen mit Hilfe des Beweises zu
Satz 47.7
die rationale Zahl, die durch die periodische Zifferententwicklung
\mathdisp {0{,}7 \overline{41}} { }
gegeben ist. Es ist
\mavergleichskettealign
{\vergleichskettealign
{ 0{,}7 \overline{41}
}
{ =} { 0{,}7 + 0{,}0\overline{41}
}
{ =} { 0{,}7 + { \frac{ 1 }{ 10 } } \cdot 0{,}\overline{41}
}
{ =} { { \frac{ 7 }{ 10 } } + { \frac{ 1 }{ 10 } } \cdot 41 \cdot 0{,}\overline{01}
}
{ =} { { \frac{ 7 }{ 10 } } + { \frac{ 1 }{ 10 } } \cdot 41 \cdot { \frac{ 1 }{ 99 } }
}
}
{
\vergleichskettefortsetzungalign
{ =} { { \frac{ 7 }{ 10 } } + { \frac{ 41 }{ 990 } }
}
{ =} { { \frac{ 693+41 }{ 990 } }
}
{ =} { { \frac{ 734 }{ 990 } }
}
{ =} { { \frac{ 367 }{ 495 } }
}
}
{}{.}
}