Kurs:Grundkurs Mathematik (Osnabrück 2016-2017)/Teil II/Vorlesung 47

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.

Satz

Es gibt genau einen vollständigen archimedisch angeordneten Körper, die reellen Zahlen.

Genauer: Wenn zwei vollständige archimedisch angeordnete Körper ${}\mathbb {R} _{1}$ und ${}\mathbb {R} _{2}$ vorliegen, so gibt es einen eindeutig bestimmten bijektiven Ringhomomorphismus

$\varphi \colon \mathbb {R} _{1}\longrightarrow \mathbb {R} _{2}.$

Beweis

Wir können davon ausgehen, dass der eine Körper ${}M$ das Cauchy-Folgen-Modell ${}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 ${}\mathbb {Z}$ auf ${}\mathbb {Z}$ und ${}\mathbb {Q}$ auf ${}\mathbb {Q}$ ab. Ein Ringhomomorphismus respektiert auch die Quadrate. In einem vollständigen archimedisch angeordneten Körper sind die nichtnegativen Elemente nach Aufgabe ***** 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.27 die Konvergenz mit Stammbrüchen allein überprüfen kann, erhält eine solche Abbildung auch die Konvergenz. Da in ${}M$ nach Konstruktion und Lemma 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 ${}x\in M$ werde repräsentiert durch eine rationale Cauchy-Folge ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$. Diese Folge konvergiert in ${}K$ gegen ein ${}y$ und man setzt ${}\varphi (x)=y$. Dies ist wohldefiniert. Wenn man nämlich eine andere ${}x$ repräsentierende rationale Cauchy-Folge ${}{\left(x'_{n}\right)}_{n\in \mathbb {N} }$ nimmt, so ist die Differenz zu ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ eine Nullfolge und dann konvergieren nach Lemma 44.11  (1) die beiden Folgen in ${}K$ gegen das gleiche Element.

Aufgrund der Verträglichkeit mit der Konvergenz haben wir das kommutative Diagramm

${\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.11 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 ${}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.

$\Box$

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 ${}\mathbb {R}$.

Definition

Eine Zahl ${}x\in \mathbb {R}$ mit ${}x\notin \mathbb {Q}$ heißt eine irrationale Zahl.

Monotone Folgen

Korollar

Eine beschränkte und monotone Folge in ${}\mathbb {R}$

konvergiert.

Beweis

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 ${}\mathbb {R}$.

$\Box$

Zifferndarstellung reeller Zahlen

Eine Folge der Form

${}x_{n}={\frac {a_{n}}{10^{n}}}\,$

mit ${}a_{n}\in \mathbb {Z}$ und

${}{\frac {a_{n}}{10^{n}}}\leq {\frac {a_{n+1}}{10^{n+1}}}<{\frac {a_{n}+1}{10^{n}}}\,$

heißt Dezimalbruchfolge. Eine Ziffernfolge (eine Ziffernentwicklung) ${}z_{-i}$, ${}i\in \mathbb {N} _{+}$, mit ${}z_{-i}\in \{0,1,\ldots ,9\}$ definiert die Folge

${}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

${}a_{n}:=\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 ${}x\in K$ in einem archimedisch angeordneten Körper ${}K$ gibt es nach Verfahren 28.6 eine Dezimalbruchfolge, nämlich die durch

${}x_{n}=\left\lfloor x\cdot 10^{n}\right\rfloor \cdot 10^{-n}\,$

gegebene Folge, die nach Korollar 28.10 gegen ${}x$ konvergiert.

Satz

1. Jede Dezimalbruchfolge konvergiert gegen eine eindeutig bestimmte reelle Zahl.
2. Zu jeder reellen Zahl ${}x$ konvergiert die durch

   ${}x_{n}=\left\lfloor x\cdot 10^{n}\right\rfloor \cdot 10^{-n}\,$

   gegebene Dezimalbruchfolge gegen ${}x$.

3. Zwei verschiedene Dezimalbruchfolgen ${}x_{n}={\frac {a_{n}}{10^{n}}}=\sum _{i=0}^{n}w_{-i}10^{-i}$ und ${}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 ${}k\in \mathbb {N}$ gibt mit

   ${}w_{-i}=z_{-i}\,$

   für ${}-i>-k$,

   ${}z_{-k}\neq 9\,$

   und

   ${}w_{-k}=z_{-k}+1\,$

   und

   ${}w_{-i}=0\,$

   und

   ${}z_{-i}=9\,$

   für ${}-i<-k$ (oder umgekehrt).

Beweis

1. Dies folgt aus Lemma 45.4 und der Vollständigkeit von ${}\mathbb {R}$.
2. Dies wurde in Korollar 28.10 bewiesen.
3. Eine Dezimalbruchfolge der Form

   ${\frac {10^{n}-1}{10^{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

   ${}{\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

   ${}{\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 (ohne Einschränkung) ${}a_{k}>b_{k}$. Wenn sie gegen den gleichen Grenzwert konvergieren, so muss wegen der Abschätzungen

   ${}x\leq {\frac {b_{k}+1}{10^{k}}}={\frac {a_{k}}{10^{k}}}\,,$

   also ${}b_{k}+1=a_{k}$ sein. Dies erzwingt ${}w_{-k}=z_{-k}+1$ und die weiteren Bedingungen.

$\Box$

Bemerkung  

Es ist nicht trivial, aus den Ziffernentwicklungen von reellen Zahlen die Ziffernentwicklung 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 nicht aus den ersten ${}n$ Nachkommastellen der beteiligten Summanden ablesen. Wenn beispielsweise von den Zahlen

${}x=0,22222222222222222222...\,$

und

${}y=0,77777777777777777777...\,$

die ersten zwanzig Nachkommastellen bekannt sind, so hat man die Abschätzungen

${}0,22222222222222222222\leq x\leq 0,22222222222222222223\,$

bzw.

${}0,77777777777777777777\leq y\leq 0,77777777777777777778\,$

und damit hat man auch die Abschätzung

${}0,99999999999999999999\leq x+y\leq 1,00000000000000000001\,.$

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 ${}zw$ nicht aus den entsprechenden Ziffern von ${}w$ ablesen. Es sei beispielsweise ${}z=3$ und

${}w=0,33333333333333333333...\,.$

Dann weiß man nur

${}0,99999999999999999999\leq zw\leq 1,00000000000000000002\,,$

man hat aber keine Kenntnis über die ersten Ziffern des Produktes.

Die geometrische Reihe

Dieses Bild veranschaulicht das Verhalten der geometrischen Reihe zu ${}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}}$.

Die Reihe ${}\sum _{k=0}^{\infty }x^{k}$ heißt geometrische Reihe zu ${}x\in \mathbb {R}$, es geht also um die Summe

$1+x+x^{2}+x^{3}+\ldots .$

Die Konvergenz hängt wesentlich vom Betrag von ${}x$ ab.

Satz

Für alle reellen Zahlen ${}x$ mit ${}\vert {x}\vert <1$ konvergiert die Reihe ${}\sum _{k=0}^{\infty }x^{k}$ und es gilt

${}\sum _{k=0}^{\infty }x^{k}={\frac {1}{1-x}}\,.$

Beweis

Für jedes ${}x$ und jedes ${}n\in \mathbb {N}$ gilt die Beziehung

${}(x-1){\left(\sum _{k=0}^{n}x^{k}\right)}=x^{n+1}-1\,$

und daher gilt für die Partialsummen die Beziehung (bei ${}x\neq 1$)

${}s_{n}=\sum _{k=0}^{n}x^{k}={\frac {x^{n+1}-1}{x-1}}\,.$

Für ${}n\rightarrow \infty$ und ${}\vert {x}\vert <1$ konvergiert dies wegen Lemma 44.11 und Aufgabe 28.23 gegen ${}{\frac {-1}{x-1}}={\frac {1}{1-x}}$.

$\Box$

Rationale Zahlen und periodische Ziffernentwicklung

Für einen Bruch ${}{\frac {a}{b}}$ zu ${}a,b\in \mathbb {N} _{+}$ liefert der Divisionsalgorithmus nach Lemma 28.3  (3) eine periodische Entwicklung ${}z,z_{-1}z_{-2}\ldots$. die nach Lemma 28.8 die Dezimalbruchfolge zur Zahl ${}{\frac {a}{b}}$ ist. Zu einer rationalen Zahl gehört also eine periodische Ziffernentwicklung. Die Umkehrung gilt ebenfalls.

Satz

Eine reelle Zahl ist

genau dann eine rationale Zahl, wenn sie eine periodische Ziffernentwicklung (im Dezimalsystem) besitzt.

Beweis

Die Periodizität der Ziffernentwicklung zu ${}{\frac {a}{b}}$ wurde in Lemma 28.3  (3) in Verbindung mit Korollar 28.11 bewiesen.
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

$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

${\left(\sum _{i=0}^{m-1}z_{i}10^{i}\right)}\cdot 0,00{\ldots }00100{\ldots }00100{\ldots }00100{\ldots }001{\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

$\sum _{i=1}^{\infty }{\left({\frac {1}{10^{m}}}\right)}^{i}.$

Nach Satz 47.6 konvergiert dies gegen

${}{\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.

$\Box$

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

$351,0528{\overline {82700}}.$

Beispiel

Wir bestimmen mit Hilfe des Beweises zu Satz 47.7 die rationale Zahl, die durch die periodische Zifferententwicklung

$0{,}7{\overline {41}}$

gegeben ist. Es ist

${}{\begin{aligned}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}}\\&={\frac {7}{10}}+{\frac {41}{990}}\\&={\frac {693+41}{990}}\\&={\frac {734}{990}}\\&={\frac {367}{495}}.\end{aligned}}$

<< | Kurs:Grundkurs Mathematik (Osnabrück 2016-2017)/Teil II | >> PDF-Version dieser Vorlesung Arbeitsblatt zur Vorlesung (PDF)