Mathe für Nicht-Freaks: Körperaxiome

{{#invoke:Mathe für Nicht-Freaks/Seite|oben}}

Was würdest du auf folgende Frage antworten: „Was sind die reellen Zahlen?“ Manche meinen: „Reelle Zahlen sind das, mit dem man rechnen kann“. Diese Antwort kommt der tatsächlichen Definition reeller Zahlen durchaus nah. Sie muss aber noch konkretisiert werden. Was bedeutet es, dass man „mit Zahlen rechnen kann“? In diesem Kapitel erfährst du die Antwort darauf...

Einleitung

Wir beginnen die Definition der reellen Zahlen mit den sogenannten Körperaxiomen. Diese bilden neben den Anordnungsaxiomen und dem Vollständigkeitsaxiom die Basis, um die reellen Zahlen zu charakterisieren. Zur Wiederholung: Axiome sind Aussagen, die ohne Beweis als wahr angenommen werden. Die Körperaxiome beschreiben damit Eigenschaften der reellen Zahlen, die wir nicht hinterfragen. Es sind Eigenschaften, die wir als charakteristisch für die reellen Zahlen ansehen. Die Körperaxiome (und die anderen Axiome der reellen Zahlen) entsprechen damit folgender Aussagenstruktur

Dabei definieren die Körperaxiome die vier Grundrechenarten der reellen Zahlen: Addition, Subtraktion, Multiplikation und Division. In den Körperaxiomen selbst wird die Addition und die Multiplikation charakterisiert. Die Subtraktion und die Division werden anschließend, wie du noch sehen wirst, über gesonderte Definitionen eingeführt.

Die Körperaxiome

Die Körperaxiome lauten: Auf der Menge der reellen Zahlen $ℝ$ sind zwei (zweistellige) Verknüpfungen definiert:

• eine Verknüpfung der Addition: $+:ℝ\times ℝ\to ℝ$
• eine Verknüpfung der Multiplikation: $\cdot :ℝ\times ℝ\to ℝ$

Die Schreibweise $ℝ\times ℝ\to ℝ$ bezeichnet eine zweistellige Operation. Das bedeutet beispielsweise in der Schreibweise $+:ℝ\times ℝ\to ℝ$, dass die Addition zwei reelle Zahlen als Argumente annimmt und ihnen eine reelle Zahl als Ergebnis zuordnet. Analog macht auch die Multiplikation aus zwei reellen Zahlen als Argumente eine reelle Zahl als Ergebnis. Weiterhin fordern die Körperaxiome, dass diese Verknüpfungen folgende Eigenschaften besitzen sollen:

<section begin="Definition" />Mathe für Nicht-Freaks: Vorlage:Definition<section end="Definition" />

Definitionen im Zusammenhang mit den Körperaxiomen

Die Körperaxiome nehmen noch keinen Bezug auf die Subtraktion und Division. Diese müssen erst auf Grundlage der Körperaxiome definiert werden:

So entpuppt sich nach unserer Definition die Subtraktion als eine Addition und die Division als eine Multiplikation. Die Eigenschaften der Division und der Subtraktion werden damit auch durch die Körperaxiome beschrieben. In der Mathematik sagt man dementsprechend zu Differenzen oft Summen und zu Quotienten oft Produkte.

Definition weiterer Begriffe

Im Folgenden verwenden wir die aus der Schule bekannten Bezeichnungen:

Weiterhin nennen wir eine Struktur, die alle Körperaxiome erfüllt, einen Körper:

Somit ist $ℝ$ mit der Addition und Multiplikation ein Körper. Es gibt aber auch andere Körper wie beispielsweise die Menge der rationalen Zahlen $\mathbb{Q}$. Für das Studium der reellen Analysis ist der Körperbegriff nur insofern wichtig, als dass du wissen musst, dass die reellen Zahlen alle Körperaxiome erfüllen und $ℝ$ demnach ein Körper ist. Der Körperbegriff als solcher wird in der Algebra näher untersucht.

Anmerkungen zu den Körperaxiomen

• Assoziativgesetz der Addition und Multiplikation ($x+(y+z)=(x+y)+z$ bzw. $x\cdot (y\cdot z)=(x\cdot y)\cdot z$): Dank des Assoziativgesetzes ist die Reihenfolge der Ausführung einer endlichen Addition/Multiplikation egal. Dementsprechend können Klammern in endlichen Summen/Produkten weggelassen werden. (Dies gilt nicht für unendliche Summen/Produkte!)
• Kommutativgesetz der Addition und Multiplikation ($x+y=y+x$ bzw. $x\cdot y=y\cdot x$): Dank dieses Axioms ist die Reihenfolge der Terme in endlichen Summen/Produkten egal. (Dies gilt nicht für unendliche Summen/Produkte!)
• Existenz des neutralen Elements der Addition und Multiplikation ($0+x=x$ und $1\cdot x=x$): Hier wird explizit nur die Existenz, nicht die Eindeutigkeit, der Null beziehungsweise Eins definiert. Die Eindeutigkeit lässt sich aus den Körperaxiomen herleiten und damit ist es unnötig, diese Eigenschaft zu fordern. Da laut der Axiome die Zahl Eins ungleich Null ist, muss ein Körper mindestens zwei Elemente besitzen (in der Algebra wirst du lernen, dass es einen Körper mit genau zwei Elementen gibt).
• Existenz des Negativen und Inversen ($x+(-x)=0$ und $x\cdot x^{-1}=1$): Auch hier wird erst einmal nur die Existenz des Negativen und Inversen gefordert. Wir werden aber später die Eindeutigkeit des Negativen und Inversen beweisen.
• Distributivgesetz ($x\cdot (y+z)=x\cdot y+x\cdot z$): Dieses Axiom stellt eine Verbindung zwischen Addition und Multiplikation her und ist deshalb ziemlich hilfreich. Es ist auch das einzige Axiom, das einen solchen Zusammenhang herstellt. Beachte, dass $(x+y)\cdot z=x\cdot z+y\cdot z$ nicht definiert wurde und deswegen noch bewiesen werden muss.

Nachvollziehbarkeit der Körperaxiome

Die Kommutativität der Addition ist bereits aus dem Alltag bekannt.

Visualisierung des Distributivgesetzes für positive reelle Zahlen

Eines der Ziele, die ich im vorherigen Kapitel für die Axiome der reellen Zahlen formuliert habe, ist ihre Nachvollziehbarkeit. Deswegen sollten wir jetzt schauen, ob die gewählten Axiome auch wirklich unserer intuitiven Idee der reellen Zahlen entsprechen.

Man erkennt, dass die gewählten Körperaxiome aus der Schule oder aus dem Alltag bekannt sind. Einige der Axiome können wir auch mit dem Modell der reellen Zahlen als Punkte auf der Zahlengeraden verstehen. So trifft es beispielsweise zu, dass die Addition mit Null auf der Zahlengeraden den zweiten Summanden nicht ändert. Auch die Assoziativität der Addition lässt sich mit dem Zahlengeradenmodell einfach verstehen (die grünen Vektoren werden hierbei zuerst miteinander addiert):

Zeichnung zur Assoziativität der Addition reeller Zahlen

Leider können wir nicht alle Körperaxiome mit der Zahlengeraden erklären. So ist beispielsweise die Assoziativität der Multiplikation schwierig darzustellen. Jedoch entsprechen alle Körperaxiome unserer Erfahrung im Umgang mit reellen Zahlen.

{{#invoke:Mathe für Nicht-Freaks/Seite|unten}}