Geordneter Körper

In der Algebra, einer Teildisziplin der Mathematik, ist ein geordneter Körper (auch angeordneter Körper genannt) ein Körper zusammen mit einer totalen Ordnung „$\leq$“, die mit Addition und Multiplikation verträglich ist. Das bekannteste Beispiel ist der Körper der reellen Zahlen. Körper der Charakteristik $p>0$ können nicht strukturverträglich angeordnet werden. Ein wichtiges Beispiel für einen Körper der Charakteristik 0, der auch nicht strukturverträglich angeordnet werden kann, ist der Körper der komplexen Zahlen.

Definition

Die Eigenschaft $x<y\Rightarrow a+x<a+y$

Ein Körper $(K,+,\cdot )$, auf dem eine (hier reflexiv geschriebene) Totalordnung $\leq$ definiert ist, heißt geordneter Körper (oder auch angeordneter Körper), wenn die Ordnung mit den Körperoperationen verträglich ist, d. h., wenn für alle $a,b,c\in K$ die folgenden (An)ordnungsaxiome gelten:

• Aus $a\leq b$ folgt $a+c\leq b+c$.
• Aus $0\leq a$ und $0\leq b$ folgt $0\leq a\cdot b$.

Statt der zweiten Bedingung kann äquivalent auch gefordert werden:

• Aus $a\leq b$ und $0\leq c$ folgt $a\cdot c\leq b\cdot c$.

Elemente, die nicht größer oder gleich $0$, also kleiner $0$ sind, heißen negativ, Elemente größer oder gleich $0$ heißen nicht-negativ.

Den Positivbereich $P$ definiert man als Menge aller nicht-negativen Elemente, d. h. $P:=\left\{k\in K\mid k\geq 0\right\}$.

Man kann zeigen, dass für $a,b\in K$ $b\geq a$ äquivalent ist zu $b-a\in P$, die Anordnung ist also eindeutig durch ihren Positivbereich bestimmt.

Ein Positivbereich erfüllt die Eigenschaften

• $P+P\subseteq P$, $P\cdot P\subseteq P$ (Abgeschlossenheit bzgl. Addition und Multiplikation),
• $P\cap (-P)=\{0\}$ und
• $P\cup (-P)=K$.

Bemerkung

Aus der reflexiv geschriebenen und (überall) reflexiven Totalordnung $\leq$ lässt sich die (überall) irreflexive Totalordnung $<$ definieren:

$a<b\quad :\Longleftrightarrow \quad (a\leq b\land a\neq b),$

wie sich auch umgekehrt aus der irreflexiven Totalordnung $<$ die ursprüngliche reflexive durch

$a\leq b\quad :\Longleftrightarrow \quad (a<b\lor a=b)$

rekonstruieren lässt. Diese Gleichwertigkeit, die sich auch in der Trichotomie ausdrückt, ist eine Folge der Totalordnungseigenschaft.

Insofern ist die Wahl der Schreibweise eine Frage der reinen Zweckmäßigkeit. Entsprechend finden sich in der Literatur auch Definitionen von Positivbereich mit nur positiven, d. h. von 0 verschiedenen nicht-negativen, Elementen.

Eigenschaften

Die Eigenschaft $a>0\land x<y\Rightarrow ax<ay$

Aus den Axiomen folgen unter anderem diese Eigenschaften (für alle $a,b,c,d\in K$):

• Das Negative eines positiven Elements ist negativ und das Negative eines negativen Elements ist positiv: Für jedes $a\in K$ mit $a\neq 0$ gilt entweder $-a<0<a$ oder $a<0<-a$.
• Man darf Ungleichungen addieren: Aus $a\leq b$ und $c\leq d$ folgt $a+c\leq b+d$.
• Man darf Ungleichungen mit positiven Elementen multiplizieren: Aus $a\leq b$ und $0\leq c$ folgt $ac\leq bc$. (Alternativ kann dies auch, wie oben darstellt, als Axiom gefordert werden.)
• Quadratzahlen sind nichtnegativ: $0\leq a^{2}$. Ebenso ist jede endliche Summe von Quadraten nichtnegativ. Insbesondere ist $0<1$.
• Durch Induktion kann man folgern, dass jede endliche Summe von Einsen positiv ist: $0<1+1+\cdots +1$.

Strukturaussagen

Jeder geordnete Körper hat die Charakteristik $0$. Dies folgt unmittelbar aus der letztgenannten Eigenschaft $0<1+1+\cdots +1$.

Jeder Teilkörper eines geordneten Körpers ist geordnet. Wie für jeden Körper der Charakteristik 0 ist der kleinste enthaltene Körper isomorph zu den rationalen Zahlen, und die Ordnung auf diesem Teilkörper ist dieselbe wie die natürliche Anordnung auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Q} .

Wenn jedes Element eines angeordneten Körpers zwischen zwei rationalen Zahlen liegt, dann heißt der Körper archimedisch geordnet (wenn es also zu jedem Element eine größere und eine kleinere rationale Zahl gibt). Zum Beispiel sind die reellen Zahlen archimedisch, jedoch sind die hyperreellen Zahlen nicht-archimedisch. Die Eigenschaft eines geordneten Körpers, archimedisch geordnet zu sein, bezeichnet man auch als archimedisches Axiom.

Geordnete Körper und reelle Zahlen

Jeder archimedisch geordnete Körper ist (als geordneter Körper) zu einem eindeutig bestimmten Teilkörper von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R} isomorph. In diesem Sinn bilden die reellen Zahlen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R} den „größten“ archimedisch geordneten Körper.

Die Ordnung auf einem geordneten Körper Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K} induziert eine Topologie, die Ordnungstopologie auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K} , die durch die offenen Intervalle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \{x\in K \mid x < a\}} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \{x\in K \mid x > a\}} als Subbasis erzeugt wird, und Addition und Multiplikation sind bezüglich dieser Topologie stetig.

Ein geordneter Körper heißt ordnungsvollständig, wenn jede beschränkte, nichtleere Teilmenge des Körpers ein Infimum und Supremum hat.

Der Körper der reellen Zahlen lässt sich (bis auf Isomorphie) durch folgende Eigenschaft charakterisieren:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R} ist ein ordnungsvollständiger geordneter Körper.

Da im Körper der reellen Zahlen genau die nichtnegativen Zahlen Quadrate sind (es gilt also dort Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x\geq 0} genau dann, wenn eine reelle Zahl Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y} mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x = y^2} existiert), ist die Menge der positiven reellen Zahlen und damit die Anordnung aller reellen Zahlen algebraisch (nämlich mittels der Ringoperationen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathord{+}, \mathord{\cdot}} ) festgelegt. Die rationalen Zahlen, die einen Teilkörper und den Primkörper der reellen Zahlen bilden, lassen keinen Automorphismus außer der Identität zu. Man sagt: Die rationalen Zahlen sind ein starrer Körper. Auch Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R} ist starr. Zwischen zwei Modellen der reellen Zahlen gibt es also stets genau einen Ringisomorphismus und dieser ist stets ein ordnungserhaltender Körperautomorphismus. Der Artikel „Reelle Zahl“ beschreibt unterschiedliche Möglichkeiten, solche Modelle zu konstruieren.

→ Allgemeiner sind Körper, die aus dem hier genannten Grund nur eine Körperordnung zulassen, euklidische Körper.

Formal reelle Körper

Ein Körper heißt formal reell (oder nur reell), wenn Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle -1} sich nicht als endliche Summe von Quadraten schreiben lässt. Man kann zeigen, dass dies genau dann der Fall ist, wenn die 0 nur in trivialer Weise als endliche Summe von Quadraten dargestellt werden kann.

Jeder angeordnete Körper ist also ein formal reeller Körper. Umgekehrt lässt sich auf jedem formal reellen Körper eine Ordnung einführen, die diesen zu einem angeordneten Körper macht. Formal reelle Körper lassen sich zu reell abgeschlossenen Körpern erweitern.

Beispiele und Gegenbeispiele

• Die ganzen Zahlen und die natürlichen Zahlen erfüllen zwar die Anordnungsaxiome, aber nicht die Körperaxiome. Die ganzen Zahlen bilden lediglich einen geordneten Integritätsring.
• Die rationalen Zahlen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Q} bilden den kleinsten angeordneten Körper in dem Sinne, dass sie Teilkörper jedes geordneten Körpers sind und selbst keine echten Teilkörper enthalten.
• Die reellen Zahlen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R} und jeder Teilkörper von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R} sind angeordnete Körper.
• Jeder reell abgeschlossene Körper und allgemeiner jeder euklidische Körper lässt wie die reellen Zahlen nur eine durch seine algebraische Struktur eindeutig bestimmte Anordnung zu.
• Die hyperreellen Zahlen sind reell abgeschlossen und damit ein angeordneter Körper, der nur eine Anordnung zulässt.
• Die surrealen Zahlen bilden zwar eine echte Klasse und keine Menge, erfüllen aber ansonsten alle Axiome eines angeordneten Körpers. Jeder angeordnete Körper kann in die surrealen Zahlen eingebettet werden.
• Endliche Körper können nicht angeordnet werden.
• Die komplexen Zahlen können nicht angeordnet werden, da die Eigenschaft Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 0 \leq a^2} durch die imaginäre Einheit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathrm{i}} wegen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathrm{i}^2=-1} verletzt wird.

• Allgemeiner und aus dem gleichen Grund kann ein algebraisch abgeschlossener Körper niemals angeordnet werden.

• Die Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle p} -adischen Zahlen können nicht angeordnet werden, da sie für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle p>2} eine Quadratwurzel von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 1-p} und für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle p=2} eine Quadratwurzel von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle -7} enthalten.

Siehe auch

In der synthetischen Geometrie werden im Kontext der Bestimmung möglicher Seiteneinteilungen der affinen Ebene über einem formal reellen Körper auch alle denkbaren Anordnungen solcher Körper durch bestimmte nichttriviale quadratische Charaktere des Körpers klassifiziert. → Siehe Seiteneinteilung.

Weblinks

Wikibooks: Mathe für Nicht-Freaks: Anordnungsaxiome – Lern- und Lehrmaterialien

Wikibooks: Mathe für Nicht-Freaks: Folgerungen der Anordnungsaxiome – Lern- und Lehrmaterialien