# Ganze Zahlen/Konstruktion aus natürlichen Zahlen/Äquivalenzrelation/Ausführlich/Textabschnitt

Es sei $\mathbb {N}$ die Menge der natürlichen Zahlen und $M=\mathbb {N} \times \mathbb {N}$ die Produktmenge mit der komponentenweisen Addition. Wir erklären auf $M$ eine Relation durch
    $(a,b)\sim (c,d),{\text{ falls }}a+d=b+c.$
Es wird hier also über Kreuz addiert, um diese Relation zu erhalten. Diese Relation ist bei $a\leq c$ genau dann erfüllt, wenn es ein $e\in \mathbb {N}$ (nämlich die natürliche Zahl $e=c-a$) mit
    $(c,d)=(a,b)+(e,e)\,$
gibt und bei $a\geq c$ genau dann erfüllt, wenn es ein $e\in \mathbb {N}$ (nämlich $e=a-c$) mit
    $(c,d)+(e,e)=(a,b)\,$
gibt. So oder so kann man sagen, dass die Paare $(a,b)$ und $(c,d)$ zueinander äquivalent sind, wenn sie sich um ein Diagonalelement, also um ein Paar, wo beide Komponenten übereinstimmen, unterscheiden. Diese Relation ist eine Äquivalenzrelation auf $M$. Das ist von der soeben etablierten Interpretation als „gleichdiagonalig“ her klar, kann aber auch direkt gezeigt werden:
* Wegen $a+b=b+a$ ist $(a,b)\sim (a,b)$, die Relation ist also reflexiv.
* Die Symmetrie folgt daraus, dass aus $a+d=b+c$ sofort $c+b=d+a$ folgt.
* Zum Nachweis der Transitivität sei $(a,b)\sim (c,d)$ und $(c,d)\sim (e,f)$, also $a+d=b+c$ und $c+f=d+e$. Dann ist Aufgrund der Abziehregel ist dann und dies bedeutet $(a,b)\sim (e,f)$.
    $a+f+c=a+d+e=b+e+c\,.$
    $a+f=b+e\,,$
Passende Interpretationen für die Paare mit dieser Äquivalenzrelation sind beispielsweise:
festgelegt. Diese Beziehung ändert sich im Laufe des Lebens nicht, da beide gleichermaßen älter werden.
(oder Monate) sind dann äquivalent, wenn sie den gleichen Überschuss oder das gleiche Defizit erwirtschaftet haben. Wenn Einnahmen und Ausgaben gleichermaßen steigen oder fallen, ändert sich an dieser Gesamtbewertung nichts.
Wenn man $\mathbb {N} \times \mathbb {N}$ als ein quadratisches Gitter anordnet (das ist ein „diskretes Koordinatensystem“), so sind die Äquivalenzklassen durch die Punkte auf einer zur Diagonalen parallelen „diskreten Geraden“ gegeben. Die Punkte $(a,b)$ mit $a\geq b$ sind äquivalent zu $(a-b,0)$, sie haben also einen Repräsentanten, bei dem die zweite Komponente $0$ ist. Die Punkte $(a,b)$ mit $a\leq b$ sind äquivalent zu $(0,b-a)$, sie haben also einen Repräsentanten, bei dem die erste Komponente $0$ ist. Die Punkte $(a,a)$ sind zu $(0,0)$ äquivalent. Den Repräsentanten einer Äquivalenzklasse, bei dem mindestens eine Komponente $0$ ist, nennen wir den Standardvertreter dieser Äquivalenzklasse. Die Standardvertreter sind die diskreten Punkte des begrenzenden Viertelkreuzes; zu einem Punkt ergibt sich der Standardvertreter, indem man parallel zur Diagonalen in Richtung der Halbachsen wandert, bis man auf einer der Halbachsen landet. Zwei Punkte sind genau dann äquivalent, wenn sie den gleichen Standardvertreter besitzen.
Wir bezeichnen nun die Quotientenmenge, also die Menge der Äquivalenzklassen unter dieser Äquivalenzrelation, als Menge der ganzen Zahlen und bezeichnen sie mit $\mathbb {Z}$. Wir sprechen vom Äquivalenzklassenmodell oder Paarmodell für die ganzen Zahlen. Diese Quotientenmenge ist die Menge der zur Diagonalen parallelen diskreten Geraden, bei der kanonischen Projektion wird jedes Paar $(a,b)$ auf die Gerade abgebildet, auf der es liegt. Jede ganze Zahl hat genau einen Standardvertreter der Form $n:=(n,0)$ mit $n\in \mathbb {N} _{+}$, der Form $0:=(0,0)$ oder der Form $-n:=(0,n)$ mit $n\in \mathbb {N} _{+}$. Eine natürliche Zahl $n$ fassen wir in diesem Modell als die ganze Zahl $(n,0)$ auf, und negative Zahlen werden als spezielle Äquivalenzklassen eingeführt.
Wir wollen nun zwei ganze Zahlen, also zwei solche Äquivalenzklassen $[(a,b)]$ und $[(c,d)]$, miteinander „addieren“, also eine Verknüpfung $+$ auf $\mathbb {Z}$ einführen. Ein Ansatz, der sich durch den Zugang über Äquivalenzklassen eröffnet, ist es, auf der Menge der Paare die Addition zu nehmen und zu versuchen, diese Addition auf die Äquivalenzklassen zu übertragen. Die komponentenweise Addition auf $\mathbb {N} ^{2}$, also die Verknüpfung
    $(a,b)+(c,d):=(a+c,b+d)\,,$
ist recht einfach und insbesondere ist diese Verknüpfung kommutativ, assoziativ und $(0,0)$ ist das neutrale Element. Diese Addition hat in den oben angegebenen Beispielen eine sinnvolle Interpretation, wie wenn man die Ergebnisse von zwei Fußballspielen miteinander addiert (Hin- und Rückspiel, allerdings muss man die Reihenfolge beibehalten) oder das Haushaltsgeschehen von mehreren Monaten addiert.

## Lemma

Durch die Festlegung
    $[(a,b)]+[(c,d)]:=[(a+c,b+d)]\,$
erhält man auf (dem Äquivalenzklassenmodell von) $\mathbb {Z}$ eine Verknüpfung, die kommutativ und assoziativ ist und die $[(0,0)]$ als neutrales Element besitzt. Darüber hinaus besitzt jedes Element ein inverses Element, und zwar sind $[(a,b)]$ und $[(b,a)]$ invers zueinander.

### Beweis

Wir müssen zuerst die Wohldefiniertheit überprüfen, da die Verknüpfung unter Bezug auf Repräsentanten erklärt wird und daher nicht von vornherein klar ist, dass unterschiedliche Repräsentanten zum gleichen Ergebnis (zur gleichen Äquivalenzklasse) führen. Zu $(a,b)\sim (a',b')$ und $(c,d)\sim (c',d')$ muss man überprüfen, dass
    $(a+c,b+d)\sim (a'+c',b'+d')\,$
und damit $[(a+c,b+d)]=[(a'+c',b'+d')]$ gilt. Die beiden Voraussetzungen bedeuten ausgeschrieben $a+b'=a'+b$ und $c+d'=c'+d$. Damit ist durch Addition der beiden Gleichungen
    $a+b'+c+d'=a'+b+c'+d\,,$
was die Äquivalenz bedeutet. Die kanonische Abbildung
    $q\colon \mathbb {N} \times \mathbb {N} \longrightarrow \mathbb {Z} ,\,(a,b)\longmapsto [(a,b)],$
verträgt sich nach Konstruktion mit der Addition auf der Produktmenge und der soeben etablierten Addition auf $\mathbb {Z}$, es ist also
    $q(x+y)=q(x)+q(y)\,$
für alle $x,y\in \mathbb {N} ^{2}$. In einer solchen Situation übertragen sich wegen der Surjektivität der kanonischen Abbildung Rechengesetze von $\mathbb {N} ^{2}$ direkt auf die Quotientenmenge. Für das Assoziativgesetz beispielsweise betrachten wir Elemente $r,s,t\in \mathbb {Z}$. Es gibt $x,y,z\in \mathbb {N} ^{2}$ mit $q(x)=r$, $q(y)=s$, $q(z)=t$. Somit ist
    ${\begin{aligned}r+(s+t)&=q(x)+(q(y)+q(z))\\&=q(x)+q(y+z)\\&=q(x+(y+z))\\&=q((x+y)+z)\\&=q(x+y)+q(z)\\&=(q(x)+q(y))+q(z)\\&=(r+s)+t.\end{aligned}}$
Der Nachweis der Kommutativität und dass $[(0,0)]$ das neutrale Element der Verknüpfung ist, verläuft ähnlich einfach. Wegen
    $[(a,b)]+[(b,a)]=[(a+b,a+b)]=[(0,0)]=0\,$
ist in der Tat $[(b,a)]$ das inverse Element zu $[(a,b)]$.
$\Box$

## Lemma

Durch die Festlegung
    $[(a,b)]\cdot [(c,d)]:=[(ac+bd,ad+bc)]\,$
erhält man auf (dem Äquivalenzklassenmodell von) $\mathbb {Z}$ eine Verknüpfung, die kommutativ und assoziativ ist und die $[(1,0)]$ als neutrales Element besitzt.

### Beweis

$\Box$

## Satz

Das Äquivalenzklassenmodell von $\mathbb {Z}$ ist mit der Addition
    $[(a,b)]+[(c,d)]:=[(a+c,b+d)]\,,$
der Multiplikation
    $[(a,b)]\cdot [(c,d)]:=[(ac+bd,ad+bc)]\,,$
dem Nullelement $[(0,0)]$ und dem Einselement $[(1,0)]$
ein kommutativer Ring.

### Beweis

Aufgrund von Fakt und Fakt müssen wir nur noch das Distributivgesetz überprüfen. Dieses ist wegen
    ${\begin{aligned}\,[(a,b)]{\left([(c,d)]+[(e,f)]\right)}&=[(a,b)][(c+e,d+f)]\\&=[(ac+ae+bd+bf,ad+af+bc+be)]\\&=[(ac+bd,ad+bc)]+[(ae+bf,af+be)]\\&=[(a,b)][(c,d)]+[(a,b)][(e,f)]\end{aligned}}$
erfüllt.
$\Box$

## Lemma

Durch die Festlegung
    $[(a,b)]\geq [(c,d)]\,,$
falls
    $a+d\geq b+c\,,$
erhält man auf (dem Äquivalenzklassenmodell von) $\mathbb {Z}$ eine totale Ordnung.

### Beweis

$\Box$

## Satz

Das Äquivalenzklassenmodell von $\mathbb {Z}$ ist mit der Addition
    $[(a,b)]+[(c,d)]:=[(a+c,b+d)]\,,$
der Multiplikation
    $[(a,b)]\cdot [(c,d)]:=[(ac+bd,ad+bc)]\,,$
dem Nullelement $[(0,0)]$, dem Einselement $[(1,0)]$ und der durch
    $[(a,b)]\geq [(c,d)]\,,$
falls
    $a+d\geq b+c\,,$
definierten Ordnung
ein angeordneter Ring.

### Beweis

Nach Fakt ist $\mathbb {Z}$ ein kommutativer Ring und nach Fakt ist $\geq$ eine totale Ordnung. Wir müssen also lediglich noch die Verträglichkeit der Ordnung mit der Addition und der Multiplikation überprüfen. Sei
    $[(a,b)]\geq [(c,d)]\,,$
also $a+d\geq b+c$, und $[(e,f)]$ beliebig. Dann ist auch
    $a+d+e+f\geq b+c+e+f\,,$
also
    $[(a,b)]+[(e,f)]=[(a+e,b+f)]\geq [(c+e,d+f)]=[(c,d)]+[(e,f)]\,.$
Wenn $[(a,b)]\geq 0$ und $[(c,d)]\geq 0$ ist, so ist $a\geq b$ und $c\geq d$. Mit Aufgabe ergibt sich
    $ac+bd\geq ad+bc\,,$
was
    $[(a,b)]\cdot [(c,d)]=[(ac+bd,ad+bc)]\geq 0\,$
bedeutet.
$\Box$
Die natürlichen Zahlen $\mathbb {N}$ sind über die Zuordnung
    $\mathbb {N} \longrightarrow \mathbb {Z} ,\,n\longmapsto [(n,0)],$
in den ganzen Zahlen enthalten. Diese Zuordnung ist mit der Addition, der Multiplikation und der Ordnung verträglich, siehe Aufgabe. Statt $(n,0)$ schreibt man einfach $n$. Die ganzen Zahlen, die durch $(0,n)$ mit $n\in \mathbb {N} _{+}$ repräsentiert werden, heißen negative Zahlen. Statt $(0,n)$ schreibt man einfach $-n$.