Körper/Fokus auf R/Einführung/Textabschnitt

Definition

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

$+:K\times K\longrightarrow K{\text{ und }}\cdot :K\times K\longrightarrow K$

und zwei verschiedene Elemente  ${}0,1\in K$  gibt, die die folgenden Eigenschaften erfüllen.

1. Axiome der Addition
   1. Assoziativgesetz: Für alle  ${}a,b,c\in K$  gilt:  ${}(a+b)+c=a+(b+c)$. 
   2. Kommutativgesetz: Für alle  ${}a,b\in K$  gilt  ${}a+b=b+a$. 
   3. ${}0$ ist das neutrale Element der Addition, d.h. für alle  ${}a\in K$  ist  ${}a+0=a$. 
   4. Existenz des Negativen: Zu jedem  ${}a\in K$  gibt es ein Element  ${}b\in K$  mit  ${}a+b=0$. 
2. Axiome der Multiplikation
   1. Assoziativgesetz: Für alle  ${}a,b,c\in K$  gilt:  ${}(a\cdot b)\cdot c=a\cdot (b\cdot c)$. 
   2. Kommutativgesetz: Für alle  ${}a,b\in K$  gilt  ${}a\cdot b=b\cdot a$. 
   3. ${}1$ ist das neutrale Element der Multiplikation, d.h. für alle  ${}a\in K$  ist  ${}a\cdot 1=a$. 
   4. Existenz des Inversen: Zu jedem  ${}a\in K$  mit  ${}a\neq 0$  gibt es ein Element  ${}c\in K$  mit  ${}a\cdot c=1$. 
3. Distributivgesetz: Für alle  ${}a,b,c\in K$  gilt  ${}a\cdot (b+c)=(a\cdot b)+(a\cdot c)$. 

Dass all diese Axiome für die reellen Zahlen (und die rationalen Zahlen) mit den natürlichen Verknüpfungen gelten, ist aus der Schule bekannt.

In einem Körper gilt die Klammerkonvention, dass die Multiplikation stärker bindet als die Addition. Man kann daher ${}a\cdot b+c\cdot d$ statt ${}(a\cdot b)+(c\cdot d)$ schreiben. Zur weiteren Notationsvereinfachung wird das Produktzeichen häufig weggelassen. Die besonderen Elemente ${}0$ und ${}1$ in einem Körper werden als Nullelement und als Einselement bezeichnet. Nach der Definition müssen sie verschieden sein.

Die wichtigsten Beispiele für einen Körper sind für uns die rationalen Zahlen, die reellen Zahlen und die komplexen Zahlen, die wir in der nächsten Vorlesung kennenlernen werden.

Lemma

In einem Körper ${}K$ ist zu einem Element  ${}x\in K$  das Element ${}y$ mit  ${}x+y=0$  eindeutig bestimmt. Bei  ${}x\neq 0$  ist auch das Element ${}z$ mit  ${}xz=1$  eindeutig bestimmt.

Beweis

Es sei ${}x$ vorgegeben und seien ${}y$ und ${}y'$ Elemente mit  ${}x+y=0=x+y'$.  Dann gilt

${}y=y+0=y+(x+y')=(y+x)+y'=(x+y)+y'=0+y'=y'\,.$

Insgesamt ist also  ${}y=y'$.  Für den zweiten Teil siehe Aufgabe.

$\Box$

Zu einem Element  ${}a\in K$  nennt man das nach diesem Lemma eindeutig bestimmte Element ${}y$ mit  ${}a+y=0$  das Negative von ${}a$ und bezeichnet es mit ${}-a$. Es ist  ${}-(-a)=a$,  da wegen  ${}a+(-a)=0$  das Element ${}a$ gleich dem eindeutig bestimmten Negativen von ${}-a$ ist.

Statt ${}b+(-a)$ schreibt man abkürzend ${}b-a$ und spricht von der Differenz. Die Differenz ist also keine grundlegende Verknüpfung, sondern wird auf die Addition mit dem Negativen zurückgeführt.

Das zu ${}a\in K$, ${}a\neq 0$, nach diesem Lemma eindeutig bestimmte Element ${}z$ mit  ${}az=1$  nennt man das Inverse von ${}a$ und bezeichnet es mit ${}a^{-1}$.

Für ${}a,b\in K$, ${}b\neq 0$, schreibt man auch abkürzend

${}a/b:={\frac {a}{b}}=ab^{-1}\,.$

Die beiden linken Ausdrücke sind also eine Abkürzung für den rechten Ausdruck.

Zu einem Körperelement  ${}a\in K$  und  ${}n\in \mathbb {N}$  wird ${}a^{n}$ als das ${}n$-fache Produkt von ${}a$ mit sich selbst definiert (also ${}n$ Faktoren), und bei  ${}a\neq 0$  wird ${}a^{-n}$ als ${}(a^{-1})^{n}$ interpretiert.

Ein „kurioser“ Körper wird im folgenden Beispiel beschrieben. Dieser Körper mit zwei Elementen ist in der Informatik und der Kodierungstheorie wichtig, wird für uns aber keine große Rolle spielen. Er zeigt, dass es nicht für jeden Körper sinnvoll ist, seine Elemente auf der Zahlengeraden zu verorten.

Beispiel

Wir suchen nach einer Körperstruktur auf der Menge ${}\{0,1\}$. Wenn ${}0$ das neutrale Element einer Addition und ${}1$ das neutrale Element einer Multiplikation sein soll, so ist dadurch schon alles festgelegt, da  ${}1+1=0$  sein muss, da ${}1$ ein inverses Element bezüglich der Addition besitzen muss, und da in jedem Körper nach Fakt  (1)  ${}0\cdot 0=0$  gelten muss. Die Operationstafeln sehen also wie folgt aus.

${}+$	${}0$	${}1$
${}0$	${}0$	${}1$
${}1$	${}1$	${}0$

und

${}\cdot$	${}0$	${}1$
${}0$	${}0$	${}0$
${}1$	${}0$	${}1$

Durch etwas aufwändiges Nachrechnen stellt man fest, dass es sich in der Tat um einen Körper handelt.

Die folgenden Eigenschaften sind für den Körper der reellen Zahlen vertraut, wir beweisen sie aber allein aus den Axiomen eines Körpers, sie gelten daher für einen beliebigen Körper.

Lemma

Es sei ${}K$ ein Körper und seien ${}a,b,c,a_{1},\ldots ,a_{r},b_{1},\ldots ,b_{s}$ Elemente aus ${}K$. Dann gelten folgende Aussagen.

1.  ${}a0=0$  (Annullationsregel).

2. ${}(-a)b=-ab=a(-b)\,$

   (Vorzeichenregel).

3. ${}(-a)(-b)=ab\,.$

4. ${}a(b-c)=ab-ac\,$

5. Aus  ${}a\cdot b=0$  folgt  ${}a=0$  oder  ${}b=0$  (Nichtnullteilereigenschaft).
6.  ${}{\left(\sum _{i=1}^{r}a_{i}\right)}{\left(\sum _{k=1}^{s}b_{k}\right)}=\sum _{1\leq i\leq r,\,1\leq k\leq s}a_{i}b_{k}$  (allgemeines Distributivgesetz).

Beweis

1. Es ist  ${}a0=a(0+0)=a0+a0$.  Durch beidseitiges Abziehen (also Addition mit dem Negativen von $a0$) von ${}a0$ ergibt sich die Behauptung.
2. Siehe Aufgabe.
3. Siehe Aufgabe.
4. Siehe Aufgabe.
5.  Nehmen wir an, dass ${}a$ und ${}b$ beide von ${}0$ verschieden sind. Dann gibt es dazu inverse Elemente ${}a^{-1}$ und ${}b^{-1}$ und daher ist  ${}(ab){\left(b^{-1}a^{-1}\right)}=1$.  Andererseits ist aber nach Voraussetzung  ${}ab=0$  und daher ist nach der Annullationsregel

   ${}(ab){\left(b^{-1}a^{-1}\right)}=0{\left(b^{-1}a^{-1}\right)}=0\,,$

    sodass sich der Widerspruch

    ${}0=1$  ergibt.

6. Dies folgt aus einer Doppelinduktion, siehe Aufgabe.

$\Box$