Rationale Zahlen/Brüche/Körper/Einführung/Textabschnitt

Aus Wikiversity


Definition  

Eine Menge heißt ein Körper, wenn es zwei Verknüpfungen (genannt Addition und Multiplikation)

und zwei verschiedene Elemente gibt, die die folgenden Eigenschaften erfüllen.

  1. Axiome der Addition
    1. Assoziativgesetz: Für alle gilt: .
    2. Kommutativgesetz: Für alle gilt .
    3. ist das neutrale Element der Addition, d.h. für alle ist .
    4. Existenz des Negativen: Zu jedem gibt es ein Element mit .
  2. Axiome der Multiplikation
    1. Assoziativgesetz: Für alle gilt: .
    2. Kommutativgesetz: Für alle gilt .
    3. ist das neutrale Element der Multiplikation, d.h. für alle ist .
    4. Existenz des Inversen: Zu jedem mit gibt es ein Element mit .
  3. Distributivgesetz: Für alle gilt .

Da wir den Ringbegriff schon haben, kann man auch die folgende kürzere Definition verwenden.


Definition  

Ein kommutativer Ring heißt Körper, wenn ist und wenn jedes von verschiedene Element ein multiplikatives Inverses besitzt.

Ein Körper ist also insbesondere ein kommutativer Ring. Jede Eigenschaft, die in einem kommutativen Ring gilt, gilt auch in einem Körper (aber nicht umgekehrt).

Die beiden wichtigsten Körper sind für uns der Körper der rationalen Zahlen und der Körper der reellen Zahlen, der Körper mit zwei Elementen wurde in Beispiel besprochen. Zu einem Element bezeichnet man, wie in jedem kommutativen Ring, dasjenige Element, das mit addiert die ergibt, als das Negative von , geschrieben . Zu einem Element , , bezeichnet man dasjenige Element, das mit multipliziert die ergibt, als das Inverse von (oder den Kehrwert von oder die zu reziproke Zahl), geschrieben . Auch dieses ist eindeutig bestimmt.

Bemerkung  

In einem Körper wird für beliebige Elemente  mit , die Bruchschreibweise

verwendet. Es handelt sich also um eine Abkürzung für das Produkt von mit dem inversen Element von . Die Zahl ist das eindeutig bestimmte Element, das mit multipliziert das Element ergibt. Diese Schreibweise passt mit der Bruchschreibweise für rationale Zahlen zusammen, da ja

ist.

Die Berechnung von

nennt man Division, wobei der Dividend und der Divisor der Division heißt, das Ergebnis heißt Quotient.


Bemerkung  

In einem Körper ist wie in jedem kommutativen Ring die additive Struktur eine kommutative Gruppe. Insbesondere besitzt in jedem Körper eine Gleichung der Form

mit eine eindeutige Lösung, nämlich

wie sich direkt aus Fakt ergibt. Darüber hinaus ist zu jedem Körper die multiplikative Struktur, wenn man die herausnimmt, also eine kommutative Gruppe. Dies bedeutet wiederum, dass eine Gleichung der Form

mit eine eindeutige Lösung in besitzt, nämlich


Die folgende Eigenschaft heißt die Nichtnullteilereigenschaft eines Körpers. Sie gilt auch für , im Allgemeinen aber nicht für jeden kommutativen Ring, siehe Aufgabe.



Lemma

Es sei ein Körper. Aus

folgt oder .

Beweis

Siehe Aufgabe.


In einem Körper kann man die Potenzschreibweise erweitern. Zu , , und einer natürlichen Zahl versteht man, wie in jedem kommutativen Ring, unter das -fache Produkt von mit sich selbst ( Faktoren). Für negatives schreibt man mit und setzt

Für diese Potenzen gelten die folgenden Potenzgesetze, die die Potenzgesetze für positive Exponenten (siehe Fakt), die in jedem kommutativen Halbring gelten, wesentlich erweitern.


Lemma  

Es sei ein Körper und seien Elemente aus . Dann gelten die folgenden Potenzgesetze für .

  1. Es ist
  2. Es ist das inverse Element zu .

Beweis  

(1) folgt aus Aufgabe, da eine Gruppe ist. (2). Bei ist die linke Gleichheit eine Definition und die Behauptung folgt aus

Daraus folgt auch die Aussage für negatives . Für (3), (4), (5) siehe Aufgabe.