Loading AI tools
Algebraische Struktur Aus Wikipedia, der freien Enzyklopädie
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 „“, die mit Addition und Multiplikation (das sind die »Körperoperationen«, die die »algebraische Struktur« darstellen) verträglich ist. Das bekannteste Beispiel ist der Körper der reellen Zahlen. Körper der Charakteristik 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.
Ein Körper , auf dem eine (hier reflexiv geschriebene) Totalordnung 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 die folgenden (An)ordnungsaxiome gelten:
Statt der zweiten Bedingung kann äquivalent auch gefordert werden:
Elemente, die nicht größer oder gleich , also kleiner sind, heißen negativ, Elemente größer oder gleich heißen nichtnegativ.
Den Positivbereich definiert man als Menge aller nichtnegativen Elemente, d. h. .[1]
Man kann zeigen, dass für äquivalent ist zu , die Anordnung ist also eindeutig durch ihren Positivbereich bestimmt.
Ein Positivbereich erfüllt die Eigenschaften
Aus den Axiomen folgen unter anderem diese Eigenschaften (für alle ):
Jeder geordnete Körper hat die Charakteristik . Dies folgt unmittelbar aus der letztgenannten Eigenschaft .
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 .
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.
Jeder archimedisch geordnete Körper ist (als geordneter Körper) zu einem eindeutig bestimmten Teilkörper von isomorph. In diesem Sinn bilden die reellen Zahlen den „größten“ archimedisch geordneten Körper.
Die Ordnung auf einem geordneten Körper induziert eine Topologie, die Ordnungstopologie auf , die durch die offenen Intervalle und 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:
Da im Körper der reellen Zahlen genau die nichtnegativen Zahlen Quadrate sind (es gilt also dort genau dann, wenn eine reelle Zahl mit existiert), ist die Menge der positiven reellen Zahlen und damit die Anordnung aller reellen Zahlen algebraisch (nämlich mittels der Ringoperationen ) 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 ist starr.[2] 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.
Ein Körper heißt formal reell (oder nur reell[3]), wenn 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.
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.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.