Kurs:Vorkurs Mathematik (Osnabrück 2009)/Vorlesung 7

Aus Wikiversity



Körper

Wir werden von nun an den axiomatischen Aufbau der reellen Zahlen besprechen. Diese Axiome gliedern sich in algebraische Axiome, Anordnungsaxiome und das Vollständigkeitsaxiom. Die algebraischen Axiome werden im Begriff des Körpers zusammengefasst.


Definition (Körper)  

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 .

In einem Körper gilt die Klammerkonvention, dass die Multiplikation stärker bindet als die Addition. Man kann daher statt schreiben. Zur weiteren Notationsvereinfachung wird das Produktzeichen häufig weggelassen. Die besonderen Elemente und 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 und die reellen Zahlen.


Beispiel  

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


und


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




Lemma  

In einem Körper ist zu einem Element das Element mit eindeutig bestimmt. Bei ist auch das Element mit eindeutig bestimmt.

Diese Aussage ist also eine Eindeutigkeitsaussage, und zwar wird behauptet, dass es nur ein Element gibt mit der Eigenschaft, dass seine Summe mit einem vorgegebenen gleich ist. Diese Eigenschaft bestimmt also das Element eindeutig. Eine solche Eindeutigkeitsaussage wird dadurch bewiesen, dass man sich zwei beliebige Elemente hernimmt, von denen man annimmt, dass sie beide die Eigenschaft erfüllen, darüber hinaus ist nichts von ihnen bekannt. Man muss dann zeigen, dass die beiden Elemente gleich sind. Häufig wählt man für die beiden Elemente ähnliche Symbole, um anzudeuten, dass sie die gleiche Eigenschaft erfüllen.

Beweis  

Es sei vorgegeben und seien und Elemente mit . Dann gilt

Insgesamt ist also . Für den zweiten Teil sei mit vorgegeben. Es seien und Elemente mit . Dann ist

Also ist .


Zu einem Element nennt man das nach diesem Lemma eindeutig bestimmte Element mit das Negative von und bezeichnet es mit . Statt schreibt man abkürzend und spricht von der Differenz. Die Differenz ist also keine grundlegende Verknüpfung, sondern wird auf die Addition mit Negativen zurückgeführt.

Das zu , , nach diesem Lemma eindeutig bestimmte Element mit nennt man das Inverse von und bezeichnet es mit .

Für , , schreibt man auch abkürzend

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



Exkurs: Gruppentheorie

Die beiden Eindeutigkeitsbeweise im vorausgegangenen Lemma zeigen eine ähnliche Struktur. Wenn man im ersten Teilbeweis überall die Addition durch die Multiplikation und die durch die ersetzt und die Symbole anpasst, so erhält man den zweiten Teilbeweis. Insbesondere fällt auf, dass im ersten Teilbeweis nur die Addition vorkommt, nicht aber die Multiplikation, und dass nur das Nullsymbol vorkommt. Wenn man die Beweisschritte anschaut, so sieht man, dass von der Axiomenmenge des Körpers nur ein Bruchteil verwendet wurde, und zwar ausschließlich solche Axiome, die sich auf die Addition beziehen. Im zweiten Beweisteil ist es genau umgekehrt.

Ein wesentlicher Vorteil der axiomatischen Methode ist, dass man stets weiß, was man verwenden darf und was nicht, und damit ist auch stets klar, was man in einem Beweis verwendet hat und was nicht. Wenn man in einem umfassenden Axiomensystem einen Beweis erbracht hat und dann schaut, welche der Axiome man wirklich verwendet hat (sozusagen sich das Beweisprotokoll noch mal ansieht) und diese eine echte Teilmenge des Axiomensystems bilden, so kann man die Aussage auch mit diesem kleineren Axiomensystem beweisen. Da man in der Mathematik nichts verschenken möchte, und insbesondere keine überflüssigen Voraussetzungen mitschleppen möchte, fasst man Axiome zu kleineren Einheiten zusammen, und leitet aus ihnen so viel wie möglich ab. Dies ist aus ökonomischen Gründen auch dann sinnvoll, wenn man sich nur für ein einziges mathematisches Objekt interessiert, für das ein reichhaltiges Axiomensystem zur Verfügung steht (wie wir für die reellen Zahlen).

Für den Körperbegriff heißt dies beispielsweise, dass es sinnvoll ist, zu untersuchen, welche Eigenschaften man für die Addition allein aus den Gesetzen der Addition und welche Eigenschaften man für die Multiplikation allein aus den Gesetzen der Multiplikation beweisen kann. Dabei fällt auf, dass von den algebraischen Eigenschaften her eine weitgehende Parallelität zwischen diesen beiden Operationen besteht, die sich auch in den obigen Eindeutigkeitsbeweisen niederschlug. Es ist also sinnvoll, diese Parallelitäten auf den Punkt zu bringen und durch ein gemeinsames übergeordnetes Vokabular auszudrücken. Dies geschieht mit dem Begriff der Gruppe.


Definition  

Eine Menge mit einem ausgezeichneten Element und mit einer Verknüpfung

heißt Gruppe, wenn folgende Eigenschaften erfüllt sind.

  1. Die Verknüpfung ist assoziativ, d.h. für alle gilt
  2. Das Element ist ein neutrales Element, d.h. für alle gilt
  3. Zu jedem gibt es ein inverses Element, d.h. es gibt ein mit

Man beachte, dass kein Kommutativitätsgesetz vorausgesetzt wird, so dass man die zweifachen Formulierungen in Teil (2) und (3) benötigt (eine Gruppe, wo zusätzlich die Kommutativität gilt, heißt kommutative Gruppe). Die Symbole für die Verknüpfung und für das neutrale Element sind willkürlich gewählt, man könnte sie auch anders nennen. Es ist aber sinnvoll, bei der abstrakten Einführung eine Bezeichnung zu wählen, die intuitiv nicht vorbelastet ist. Eine Bezeichnung wie für die Verknüpfung und für das neutrale Element birgt die Gefahr, dass man sich zu Schlüssen verleiten lässt, die von der Multiplikation von Zahlen her vertraut sind, die aber eventuell für eine beliebige Gruppe nicht gelten müssen.

Die additiven Körperaxiome kann man nun so lesen, dass die Menge zusammen mit dem ausgezeichneten Element und der Addition als Verknüpfung eine Gruppe bildet, die zusätzlich kommutativ ist. Ebenso bildet die Menge (also ganz ohne die ) mit dem neutralen Element (das wegen der expliziten Voraussetzung der Körperaxiome von verschieden ist und daher zu gehört) und der Multiplikation eine (ebenfalls kommutative) Gruppe. Wenn ein Körper vorliegt, so hat man also zugleich zwei Gruppen vorliegen, es ist aber falsch zu sagen, dass auf zweifache Weise eine Gruppe ist, da einerseits mit der Addition und andererseits (und eben nicht ) eine Gruppe mit der Multiplikation bildet.

Weitere Beispiele für Gruppen sind ,[1] dagegen ist mit der Multiplikation und ebensowenig keine Gruppe. Eine Gruppe ist niemals leer, da es ja ein neutrales Element enthalten muss. Die Menge, die nur aus einem einzigen Element besteht, ist mit der einzig darin möglichen Verknüpfung und dem einzig darin möglichen neutralen Element eine Gruppe. Man spricht von der trivialen Gruppe. Eine weitere Gruppe ist die zweielementige Menge

mit der von bekannten Multiplikation.

In einer Gruppe ist zu einem Element das Element mit der Eigenschaft (das es aufgrund der Gruppenaxiome geben muss) eindeutig bestimmt. Wenn nämlich und beide diese Eigenschaft besitzen, so gilt

Man beachte, dass in diesen Beweis die Bedingungen an und nicht völlig symmetrisch eingehen. Diese Eindeutigkeit erlaubt es, das zu einem Gruppenelement eindeutig bestimmte inverse Element als

zu bezeichnen.

Im Fall eines Körpers haben wir damit einen einzigen Beweis für die Eindeutigkeit des Negativen (also des Inversen der Addition) und des Inversen der Multiplikation gefunden.

In der Mathematik geht es zu einem beträchtlichen Teil um die Lösung von Gleichungen, und zwar um die Existenz von Lösungen, die Berechnung von Lösungen und die Eindeutigkeit von Lösungen. Bei einer Gruppe besitzen die formulierbaren Einzelgleichungen eine eindeutige Lösung. Insofern handelt es sich bei einer Gruppe um eine besonders einfache mathematische Struktur.



Lemma  

Es sei eine Gruppe.

Dann besitzen zu je zwei Gruppenelementen die beiden Gleichungen

eindeutige Lösungen .

Beweis  

Wir betrachten die linke Gleichung. Aus beidseitiger Multiplikation.[2] mit (bzw. mit ) von links folgt, dass nur

als Lösung in Frage kommt. Wenn man dies einsetzt, so sieht man, dass es sich in der Tat um eine Lösung handelt.



Lemma  

Es sei ein Körper und seien Elemente aus . Dann gelten folgende Aussagen.

  1. (Annullationsregel).
  2. (Vorzeichenregel).

  3. Aus folgt oder (Nichtnullteilereigenschaft).
  4. (allgemeines Distributivgesetz).

Beweis  

  1. Es ist . Durch beidseitiges Abziehen (also Addition mit dem Negativen von ) von ergibt sich die Behauptung.
  2. nach Teil (1). Daher ist das

    (eindeutig bestimmte) Negative von . Die zweite Gleichheit folgt analog.

  3. Nach (2) ist und wegen folgt die Behauptung.
  4. Dies folgt auch aus dem bisher Bewiesenen.
  5.  Nehmen wir an, dass und beide von verschieden sind. Dann gibt es dazu inverse Elemente und und daher ist . Andererseits ist aber nach Voraussetzung und daher ist nach der Annullationsregel
     so dass sich der Widerspruch

    ergibt.

  6. Dies folgt aus einer Doppelinduktion, siehe Aufgabe *****.




Fußnoten
  1. Eine Gruppe wird häufig in Tupelschreibweise in der Form (Gruppe, Operation, neutrales Element) geschrieben.
  2. Hier wird das Gleichheitsprinzip angewendet: wenn ist, so kann man beidseitig eine beliebige Abbildung anwenden und erhält eine neue Gleichung . Im vorliegenden Fall ist die beidseitige Multiplikation mit einem festen Gruppenelement auch eine Abbildung.


<< | Kurs:Vorkurs Mathematik (Osnabrück 2009) | >>

PDF-Version dieser Vorlesung

Arbeitsblatt zur Vorlesung (PDF)