# Ganze Zahlen/Negative Zahlen/Direkt/Ordnung/Angeordneter Ring/Textabschnitt

Wir erweitern die Größergleichrelation auf den natürlichen Zahlen zu einer Ordnung auf den ganzen Zahlen.

## Definition

Auf den ganzen Zahlen definieren wir folgendermaßen die Größergleichrelation $\geq$. Wir sagen
    $a\geq b\,,$
wenn es eine natürliche Zahl $n$ mit
    $a=b+n\,$
gibt.
Damit gilt bei der Interpretation an der Zahlengeraden wieder, dass
    $a\geq b\,$
bedeutet, dass $a$ rechts von $b$ liegt.

## Bemerkung

* Wenn $a,b\in \mathbb {N}$ ist, so ist einfach die Ordnung auf $\mathbb {N}$, wie unmittelbar aus Fakt folgt.
    $a\geq b\,$
* Wenn $a\in \mathbb {N}$ ist und $b$ negativ, so ist da ja dann mit $a-b\in \mathbb {N}$ ist, da ja sowohl $a$ als auch $-b$ natürliche Zahlen sind.
    $a\geq b\,,$
    $a=b+(a-b)\,$
* Wenn $a$ und $b$ beide negativ sind, so ist genau dann, wenn (innerhalb der natürlichen Zahlen) gilt. Die Beziehung $a=b+n$ mit einer natürlichen Zahl $n$ ist ja zu $-a=-b-n$ äquivalent, was man als $-b=-a+n$ schreiben kann.
    $a\geq b\,$
    $-b\geq -a\,$

## Lemma

Die Größergleichrelation $\geq$ auf den ganzen Zahlen erfüllt die folgenden Eigenschaften.

### Beweis

* Siehe Aufgabe.
* Die Beziehung $a\geq b$ bedeutet, dass es eine natürliche Zahl $n$ mit $a=b+n$ gibt. Durch beidseitige Addition von $c$ ergibt sich $a+c=b+c+n$, was $a+c\geq b+c$ bedeutet.
* Die Voraussetzung bedeutet, dass $a,b\in \mathbb {N}$ sind. Somit ist auch $ab\in \mathbb {N}$, also $ab\geq 0$.
$\Box$
Damit bilden die ganzen Zahlen $(\mathbb {Z} ,\geq )$ einen angeordneten Ring im Sinne der folgenden Definition.

## Definition

Ein kommutativer Ring heißt angeordnet, wenn es eine totale Ordnung $\geq$ auf $R$ gibt, die die beiden Eigenschaften
* Aus $a\geq b$ folgt $a+c\geq b+c$ für beliebige $a,b,c\in R$,
* Aus $a\geq 0$ und $b\geq 0$ folgt $ab\geq 0$ für beliebige $a,b\in R$,
erfüllt.
Die erste Eigenschaft nennt man Verträglichkeit mit der Addition, die zweite Verträglichkeit mit der Multiplikation. Neben den ganzen Zahlen werden wir später zwei weitere angeordnete Ringe kennenlernen, nämlich den Körper der rationalen Zahlen und den Körper der reellen Zahlen. Für all diese Ringe bzw. Körper gelten die folgenden Eigenschaften. Man überlege sich für den Fall der ganzen Zahlen, ob und inwiefern sich die Beweise der folgenden Aussagen vereinfachen.

## Lemma

In einem angeordneten Ring gelten die folgenden Eigenschaften.
* $1\geq 0$.
* Es ist $a\geq 0$ genau dann, wenn $-a\leq 0$ ist.
* Es ist $a\geq b$ genau dann, wenn $a-b\geq 0$ ist.
* Es ist $a\geq b$ genau dann, wenn $-a\leq -b$ ist.
* Aus $a\geq b$ und $c\geq d$ folgt $a+c\geq b+d$.
* Aus $a\geq b$ und $c\geq 0$ folgt $ac\geq bc$.
* Aus $a\geq b$ und $c\leq 0$ folgt $ac\leq bc$.
* Aus $a\geq b\geq 0$ und $c\geq d\geq 0$ folgt $ac\geq bd$.
* Aus $a\geq 0$ und $b\leq 0$ folgt $ab\leq 0$.
* Aus $a\leq 0$ und $b\leq 0$ folgt $ab\geq 0$.

### Beweis

* Nehmen wir an, dass $1\geq 0$ nicht gilt. Da eine totale Ordnung vorliegt, muss gelten, Dies müssen wir zum Widerspruch führen. Nehmen wir $1<0$ an. Aufgrund der Verträglichkeit mit der Addition kann man beidseitig $-1$ addieren und erhält Aufgrund der Verträglichkeit mit der Multiplikation mit positiven Elementen kann man diese Abschätzung quadrieren und erhält also ist zugleich $1\geq 0$, ein Widerspruch.
    $1<0\,$
    $0<-1\,.$
    $0\leq (-1)(-1)=1\,,$
* Folgt unmittelbar aus der Verträglichkeit mit der Addition.
* Folgt unmittelbar aus der Verträglichkeit mit der Addition.
* Folgt unmittelbar aus der Verträglichkeit mit der Addition.
* Zweimalige Anwendung der Verträglichkeit mit der Addition liefert
    $a+c\geq a+d\geq b+d\,.$
* Aus $a\geq b$ ergibt sich $a-b\geq 0$ nach (3). Aus der Verträglichkeit mit der Multiplikation ergibt sich Addition mit $cb$ ergibt $ca\geq cb$.
    $ca-cb=c(a-b)\geq 0\,.$
* Siehe Aufgabe.
* Zweimalige Anwendung von (6) liefert
    $ac\geq bc\geq bd\,.$
* Nach (2) ist $-b\geq 0$, also was wiederum $ab\leq 0$ bedeutet.
    $a(-b)\geq 0\,,$
* Folgt aus (2) und aus $(-a)(-b)=ab$.
$\Box$
Die Eigenschaft (2) kann man so verstehen, dass das Negative eines positiven Elementes negativ ist. Allerdings tritt dabei negativ in zwei verschiedenen Bedeutungen auf!