Analysis: Die reellen Zahlen: Körper

Die Analysis beschäftigt sich mit Funktionen reeller Zahlen. Dazu muss zunächst der Begriff der reellen Zahl geklärt werden, was gleich zu Anfang einen kleinen Abstecher in die Algebra erfordert:

Definition: Sei   eine beliebige Menge mit zwei Abbildungen (Verknüpfungen)   (Addition) und   (Multiplikation) und Elementen   (Null und Eins). Das Tupel   heißt Körper, wenn die im folgenden behandelten Axiome (A1), (A2), (A3), (A4), (M1), (M2), (M3), (M4), (D) und (E) erfüllt sind.

Wir werden für die beiden Verknüpfungen wie bereits angedeutet die Infix-Schreibweise verwenden. " " ist also dasjenige Element, das die Verknüpfung " " dem Tupel   zuordnet. Falls Missverständnisse ausgeschlossen sind, wird meist nicht zwischen der Trägermenge " " und dem Körper selbst unterschieden.

Axiome der Addition

Bearbeiten
(A1) Assoziativgesetz:    
(A2) Neutrales Element:    
(A3) Existenz des Negativen:    
(A4) Kommutativgesetz:    

Aus diesen ersten vier Axiomen kann man schon einige Folgerungen ziehen. So gibt es etwa nur ein neutrales Element  . Gäbe es ein zweites, von der Null verschiedenes Element  , das das Axiom (A2) in der Rolle der Null erfüllt, so wäre  , im Widerspruch zur Annahme. (Hier wurde zuerst (A2), dann (A4) und dann (A2) im Bezug auf   angewendet.)

Außerdem ist das Negative eindeutig bestimmt, das heißt, es gibt zu jedem   genau ein  , so dass  . Dies beweist man ebenso: Angenommen, es gibt ein von   verschiedenes  , für das ebenfalls   gilt; dann ist  , im Widerspruch zur Annahme. (Hier wurden die Axiome (A2), (A3) mit z, (A1), (A4), (A3) mit y, (A4) und (A2) verwendet.) Wir schreiben für das Negative von   auch  , was, wie wir gerade gesehen haben, eindeutig bestimmt ist und dem   bzw.   von oben entspricht.

Axiome der Multiplikation

Bearbeiten
(M1) Assoziativgesetz:    
(M2) Neutrales Element:    
(M3) Existenz des Inversen:    
(M4) Kommutativgesetz:    

Genau wie bei der Addition beweist man auch für die Multiplikation, dass es nur ein neutrales Element, die Eins, gibt, und dass das inverse Element zu einem beliebigen   jeweils eindeutig bestimmt ist. Wir bezeichnen es mit  .

Die beiden Assoziativgesetze erlauben es uns, der besseren Lesbarkeit zuliebe Klammern zu sparen: Wir können statt " " oder " " einfach " " schreiben.

Da man die Axiome der Multiplikation aus den Axiomen der Addition mit Hilfe der Formel zu variant langen Additionsketten,  , herleiten kann, sind die Axiome der Multiplikation faktisch nicht existent, sodass die Axiome der Addition von nun an Axiome der Mathematik genannt werden. ^^

Distributivgesetz und Eins ungleich Null

Bearbeiten
(D) Distributivgesetz:    
(E) Eins ungleich Null:  

Insbesondere (wegen (E)) enthält also jeder Körper mindestens zwei Elemente.

Beispiel

Bearbeiten

  ist ein Körper, wenn man die Verknüpfungen folgendermaßen definiert:

 ;  ;  ;  ;
 ;  ;  ;  ;

  ist bis auf Isomorphie eindeutig bestimmt (ohne Beweis) und somit "der" kleinste Körper, da jeder Körper wenigstens zwei Elemente enthält (s.o.).