Reelle Zahlen/Isomorphiesatz/Fakt/Beweis

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 die Konvergenz mit Stammbrüchen allein überprüfen kann, erhält eine solche Abbildung auch die Konvergenz. Da in ${}M$ nach Konstruktion und Fakt 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 Fakt  (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 Fakt 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. Zum Nachweis der Surjektivität von ${}\varphi$ sei ${}y\in K$ vorgegeben. Nach Fakt 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.

Zur bewiesenen Aussage