Analysis: Die reellen Zahlen: Anordnung

Aus Wikibooks

Die Körperaxiome allein reichen noch nicht aus, um die reellen Zahlen vollständig zu charakterisieren. Es gibt viele verschiedene Körper, die keineswegs alle isomorph (äquivalent) sind. Deshalb werden wir unsere Definition durch weitere Axiome einschränken und so eine kleinere Unterklasse der Körper kennen lernen:

Definition: Ist $\left(K,+,\cdot,0,1\right)$ ein Körper und $K_+ \subset K$ eine Teilmenge (die positiven Körperelemente), die die Axiome (O1), (O2) und (O3) erfüllt, so heißt $\left(K,+,\cdot,0,1,K_+\right)$ angeordneter Körper.

(O1)	Trichotomie:	$0 \notin K_+ \wedge \forall x \in K \setminus \left\{0\right\} \left( x \in K_+ \leftrightarrow -x \notin K_+\right)$
(O2)	Abgeschlossenheit gegenüber der Addition:	$\forall x,y \in K_+$ $x+y \in K_+$
(O3)	Abgeschlossenheit gegenüber der Multiplikation:	$\forall x,y \in K_+$ $x\cdot y \in K_+$

Wir schreiben " $x > y$ " und " $y < x$ ", falls $x-y \in K_+$ . Ansonsten schreiben wir " $x\leq y$ " und " $y\geq x$ ".

Analysis: Die reellen Zahlen: Anordnung

Aus Wikibooks

Ansichten

Persönliche Werkzeuge

Navigation

Suche

Mitmachen

Werkzeuge

Drucken/exportieren