Die rationalen Zahlen/Konstruktion aus Z/Beispiel

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Konstruktionen 007.jpg

Wir wollen ausgehend von der Menge der ganzen Zahlen , die einen kommutativen Ring bildet, die Menge der rationalen Zahlen konstruieren. Wir gehen dabei wieder ähnlich wie bei der Konstruktion der ganzen Zahlen aus den natürlichen Zahlen vor, indem wir auf einer „zu großen“ Menge eine Äquivalenzrelation einführen, so dass die Quotientenmenge ein Modell für die rationalen Zahlen sind.

Wir starten mit der Produktmenge

Zur Orientierung sei schon jetzt gesagt, dass das Paar später den Bruch repräsentieren soll. Auf wollen wir eine Äquivalenzrelation definieren, wobei zwei Paare als äquivalent gelten sollen, wenn sie „den gleichen Bruch“ repräsentieren (den es noch nicht gibt). Wir definieren

Diese Relation wird also unter Bezug auf die Gleichheit in erklärt. Es handelt sich dabei um eine Äquivalenzrelation, wie man direkt nachrechnen kann, siehe Aufgabe. Die Quotientenmenge unter dieser Äquivalenzrelation nennen wir . Für die Elemente in schreiben wir vorläufig noch .

Es ist hilfreich, sich diese Situation zu veranschaulichen, indem man die diskrete obere Halbebene

betrachtet. Ein Paar ist dann ein Gitterpunkt, wobei wir uns die ganzen Zahlen als die Punkte
vorstellen. Die zugehörige durchgezogene „Zahlengerade“

(wo also die zweite Komponente konstant ist) bezeichnen wir mit . Ein jeder Punkt definiert eine eindeutige Gerade, die durch diesen Punkt und durch den Nullpunkt verläuft. In dieser geometrischen Interpretation sind zwei Punkte und genau dann äquivalent, wenn sie die gleiche Gerade definieren, und dies ist genau dann der Fall, wenn ihre „Steigungen“ übereinstimmen. Zwei Punkte liegen ja auf der gleichen Geraden genau dann, wenn sie, wenn man durch Streckung ihre zweite Koordinate zur Übereinstimmung bringt, dann auch die erste Koordinate übereinstimmt. Wenn man den ersten Punkt mit streckt (multipliziert) und den zweiten Punkt mit , so erhält man die beiden Punkte und , und die Gleichheit vorne war die Definition für die Relation.

Auch die Identifizierungsabbildung zu dieser Äquivalenzrelation kann man sich gut vorstellen. Der Schnittpunkt der durch einen Punkt definierten Geraden mit der Zahlengeraden ist ein Punkt, der dem Bruch entspricht.

Wir wollen nun auf eine Addition und eine Multiplikation definieren. Wir setzen

Man muss jetzt zeigen, dass diese Verknüpfungen wohldefiniert sind, also unabhängig von der Wahl des Repräsentanten, siehe Aufgabe. Sodann kann man mit einigem Aufwand nachweisen, dass mit diesen Verknüpfungen und mit den ausgezeichneten Elementen

einen Körper bilden, siehe Aufgabe. Das Negative eines Elementes ist und das Inverse eines von null verschiedenen Elementes ist (bzw. , falls negativ ist).