Kurs:Grundkurs Mathematik (Osnabrück 2018-2019)/Teil I/Vorlesung 11
- Axiomatik
Wir haben schon für die intuitiv bekannten natürlichen Zahlen ein Axiomensystem eingeführt, das speziell auf die natürlichen Zahlen zugeschnitten war und das sogar die Eigenschaft besitzt, dass es die natürlichen Zahlen in dem Sinne charakterisiert, das je zwei Strukturen (je zwei Modelle), die dieses Axiomensystem erfüllen, zueinander in eine eindeutige Beziehung gebracht werden können, also im Wesentlichen gleich sind (siehe Satz 7.2).
In dieser Vorlesung werden wir eine andere Art von Axiomensystem kennenlernen, wie sie in der Mathematik typisch ist. Man fasst verschiedene strukturelle Eigenschaften, die in einem bestimmten Kontext immer wieder auftauchen, in einen neuen Begriff zusammen. Das Ziel ist dabei, weitere Eigenschaften aus einigen wenigen Grundeigenschaften logisch zu erschließen. Man argumentiert dann nicht auf der Ebene vertrauter Beispiele, wie der natürlichen Zahlen, sondern auf der Ebene der Eigenschaften. Der Gewinn ist dabei, dass man mathematische Schlüsse nur einmal auf der abstrakten Ebene der Eigenschaften durchführen muss und diese dann für alle Modelle gelten, die die jeweiligen Grundeigenschaften erfüllen, also unter den Begriff fallen. Zugleich erkennt man logische Abhängigkeiten und Hierarchien zwischen Eigenschaften, die häufig auch im Lernprozess versteckt vorliegen und auch eine gewisse Orientierung für die Didaktik geben, selbst wenn nicht axiomatisch argumentiert wird.
In diesem Sinne werden wir im Laufe der Vorlesung die Begriffe Halbringe, Ringe, Gruppen und Körper kennenlernen (auch der Ordnungsbegriff ist ein axiomatischer Begriff).
- Kommutative Halbringe
Wir fassen die bisher etablierten algebraischen Eigenschaften der natürlichen Zahlen in einem eigenen Begriff zusammen.
Ein kommutativer Halbring ist eine Menge mit Verknüpfungen und (genannt Addition und Multiplikation) und mit zwei ausgezeichneten Elementen und derart, dass folgende Bedingungen erfüllt sind:
- Die Addition ist eine kommutative, assoziative Verknüpfung, für die das neutrale Element ist.
- Die Multiplikation ist eine kommutative, assoziative Verknüpfung, für die das neutrale Element ist.
- Es gilt das Distributivgesetz, also
für alle
.
Die natürlichen Zahlen
bilden einen kommutativen Halbring.
Dies folgt unmittelbar aus Lemma 8.11 und aus Lemma 9.2.
Neben den natürlichen Zahlen gibt es viele weitere Halbringe, beispielsweise die ganzen Zahlen , die rationalen Zahlen oder die reellen Zahlen . Wenn man eine Eigenschaft aus den Gesetzen eines Halbringes erschließen kann, so gilt diese Eigenschaft in jedem Halbring. Sobald man also für eine Struktur gezeigt hat, dass ein Halbring vorliegt, so hat man damit auch automatisch gezeigt, dass diese neue Eigenschaft gilt. Dies ist letztlich ein sehr ökonomisches Vorgehen! Der Preis ist, dass man zusätzliche Begriffe einführen muss und dass man sehr abstrakt argumentieren muss.
Wir lassen das Produktzeichen häufig weg, wenn das nicht zu Missverständnissen führen kann und wir benutzen allgemein die Klammerkonvention, dass Punktrechnung stärker bindet als Strichrechnung, d.h. wir schreiben einfach statt . An weiteren Notationen verwenden wir für ein Halbringelement und eine positive natürliche Zahl die Schreibweisen (-tes Vielfaches von und -te Potenz von ) und . Hier muss man also richtig die Anzahl der Summanden bzw. die Anzahl der Faktoren zählen. Statt schreiben wir einfach (bzw. manchmal ), d.h. jede natürliche Zahl findet sich in jedem Halbring wieder. Die Schreibweise könnte man dann auch als das Produkt
(mit Einsen) lesen, was aber aufgrund des Distributivgesetzes mit der -fachen Summe von mit sich selbst übereinstimmt. Für
ist dies jedenfalls als im Halbring zu lesen, was nicht ohne weiteres gleich sein muss (aber in allen für uns wichtigen Beispielen gleich ist). Weiter setzen wir
Mit dieser Bezeichnung gilt beispielsweise
und
für natürliche Zahlen (man mache sich klar, was hier jeweils die Multiplikation bezeichnet).
Wie bei den natürlichen Zahlen verwenden wir das Summenzeichen und das Produktzeichen . Für indizierte Elemente aus ist also
und
Auch bei einer beliebigen endlichen Indexmenge und Elementen , , verwendet man die Schreibweise für die Summe der gegebenen Elemente, die ja wegen der Kommutativität und der Assoziativität nicht von einer Reihenfolge abhängt.
Die beiden folgenden extremen Beispiele zeigen, wie verschieden ein Halbring von dem Halbring der natürlichen Zahlen sein kann. Dennoch gelten alle aus den Halbringaxiomen ableitbaren Eigenschaften auch in diesen beiden Beispielen.
Die einelementige Menge kann man zu einem kommutativen Halbring machen, indem man sowohl die Addition als auch die Multiplikation auf die einzig mögliche Weise erklärt, nämlich durch und . In diesem Fall ist , dies ist also ausdrücklich erlaubt. Die Rechengesetze in einem Halbring sind hier trivialerweise erfüllt, da bei jeder zu erfüllenden Gleichung links und rechts sowieso immer herauskommt. Diesen Halbring nennt man den Nullring.
Nach dem Nullring ist der folgende Ring der zweitkleinste Halbring.
Wir suchen nach einer Halbringstruktur auf der Menge . Wenn das neutrale Element einer Addition und das neutrale Element der Multiplikation sein soll, so ist dadurch schon viel festgelegt. Nach Lemma 11.5 muss
gelten. Ferner legen wir
fest. Die Verknüpfungstabellen (oder Operationstafeln) sehen somit wie folgt aus.
und
Durch etwas aufwändiges Nachrechnen stellt man fest, dass es sich in der Tat um einen
kommutativen Halbring
handelt.[1]
Eine „natürliche“ Interpretation dieses Halbringes gewinnt man, wenn man sich die geraden natürlichen Zahlen durch und die ungeraden natürlichen Zahlen durch repräsentiert denkt. Beispielsweise ist die Summe zweier ungerader Zahlen stets gerade, was der obigen Gleichung entspricht. Wie oben erwähnt lassen sich in jedem kommutativen Halbring die natürlichen Zahlen eindeutig interpretieren, dabei können aber, wie in den beiden Beispielen, verschiedene Zahlen gleich werden. Im Beispiel wird jede gerade Zahl zu und jede ungerade Zahl zu .
Das folgende Beispiel zeigt, dass in einem kommutativen Halbring im Allgemeinen nicht die Gleichung
für alle gilt. Für die natürlichen Zahlen und in jedem kommutativen Ring gilt diese Eigenschaft. Es ist also keineswegs so, dass man jede Eigenschaft, die im derzeit hauptsächlich interessierenden Zahlenbereich (also derzeit die natürlichen Zahlen) gilt aus dem Begriff eines kommutativen Halbringes ableiten kann.
Wir suchen nach einer Halbringstruktur auf der dreielementigen Menge . Wenn das neutrale Element einer Addition und das neutrale Element der Multiplikation sein soll, so ist dadurch schon viel festgelegt. Wir legen die Verknüpfungen durch die Verknüpfungstabellen
und
fest. Durch etwas aufwändiges Nachrechnen stellt man fest, dass es sich in der Tat um einen kommutativen Halbring handelt.
Die folgende Aussage heißt das allgemeine Distributivgesetz.
Es sei ein kommutativer Halbring und es seien Elemente aus .
Dann gilt das allgemeine Distributivgesetz
Wir machen eine Doppelinduktion nach und nach . D.h. wir beweisen die Aussage für jedes feste durch Induktion nach (innere Induktion) und erhöhen dann in einem eigenen Induktionsdurchgang (äußere Induktion). Bei ist nichts zu zeigen, da dann die Summen links und rechts leer sind, also gleich . Es sei also , sodass der linke Faktor einfach eine fixierte Zahl ist. Wir wollen die Aussage in dieser Situation für beliebiges zeigen. Bei ist die Aussage klar. Es sei die Aussage nun für ein
schon bewiesen. Dann ist
nach dem Distributivgesetz und der Induktionsvoraussetzung.
Es sei die Aussage nun für ein festes und jedes bewiesen. Dann ist wieder mit dem Distributivgesetz und der Induktionsvoraussetzung
- Die Potenzgesetze
Wie für die natürlichen Zahlen (siehe Lemma 9.8) gelten in jedem kommutativen Halbring die folgenden Potenzgesetze. Man beachte, dass bei der Potenz die Basis aus dem kommutativen Halbring und der Exponent eine natürliche Zahl ist. Die Schreibweise mit aus dem Halbring hat im Allgemeinen keine Bedeutung.
Es sei ein kommutativer Halbring, und . Dann gelten die folgenden Potenzgesetze.
Beweis
- Die binomische Formel
Die Gültigkeit der ersten binomischen Formel ist keine Besonderheit der natürlichen Zahlen, sondern folgt allein aus den im Begriff eines Halbringes zusammengefassten Eigenschaften.
Unter mehrfacher Verwendung des Distributivgesetzes und der Kommutativgesetze ist
Die zweite und die dritte binomische Formel lässt sich nicht in einem beliebigen Halbring formulieren, da in ihnen das Minuszeichen bzw. die Subtraktion vorkommt, die es in einem beliebigen kommutativen Halbring nicht gibt und die innerhalb der natürlichen Zahlen auch nur eingeschränkt ausführbar ist. Stattdessen werden wir uns den höheren Potenzen von Summen zuwenden. Die erste binomische Formel besagt wie eben formuliert
Für die dritte Potenz einer Summe gilt
und für die vierte Potenz
Worauf beruht dieser Zusammenhang und wo kommen diese Vorfaktoren her? Betrachten wir die dritte Potenz. Es ist (wieder in einem beliebigen kommutativen Halbring)
Für die vierte Potenz siehe Aufgabe 11.29. In dieser Weise kann man jede Potenz einer Summe als Summe von Produkten ausdrücken, wobei die auftretenden Koeffizienten Binomialkoeffizienten heißen. Um diese einzuführen, müssen wir uns mit elementarer Kombinatorik beschäftigen, was wir in der übernächsten Vorlesung tun werden.
- Die Potenzmenge
Wir schließen mit einem Objekt ab, das ein eher ungewöhnliches Beispiel für einen kommutativen Halbring und auch ein Beispiel für eine geordnete, aber nicht total geordnete Menge ist, die Potenzmenge. Sie ist auch wichtig im Rahmen der elementaren Kombinatorik.
Zu einer Menge nennt man die Menge aller Teilmengen von die Potenzmenge von . Sie wird mit
bezeichnet.
Wenn die Menge der Leute im Kurs sind, so kann man als die Menge aller Parties auffassen, die diese Leute feiern können, wenn man eine Party mit der Menge der anwesenden Leute identifiziert.
Es sei eine beliebige Menge und die Potenzmenge davon. Dann sind die Elemente aus - also die Teilmengen von - durch die Inklusionsbeziehung geordnet. Die Reflexivität bedeutet einfach, dass eine jede Menge in sich selbst enthalten ist und die Transitivität bedeutet, dass aus und die Inklusion folgt. Die Antisymmetrie ist dabei ein wichtiges Beweisprinzip für die Gleichheit von Mengen: Zwei Mengen sind genau dann gleich, wenn und umgekehrt gilt.
Zu einer Menge sei die Potenzmenge zu .
Dann ist mit der Vereinigung als Addition und der leeren Menge als und mit dem Durchschnitt als Multiplikation und der Gesamtmenge als ein kommutativer Halbring.
Die Eigenschaften sind allenfalls bis auf das Distributivgesetz klar. Letzteres besagt die Identität
Wenn ein Element links dazugehört, so gehört es zu und es gehört zu . Somit gehört es zu oder zu und damit auch zu oder zu , also jedenfalls zur rechten Seite. Wenn es rechts dazu gehört, sagen wir zu , was wir wegen der Symmetrie der Situation annehmen können, so gehört es erst recht zu .
Im vorstehenden Beispiel kann man die Rollen der Addition und der Multiplikation vertauschen, da das Distributivgesetz auch in der Form
gilt.
- Fußnoten
<< | Kurs:Grundkurs Mathematik (Osnabrück 2018-2019)/Teil I | >> |
---|
- Axiomensystem (MSW)
- Addition (MSW)
- Multiplikation (MSW)
- Distributivgesetz (MSW)
- Klammerkonvention (MSW)
- Vielfaches (MSW)
- Potenz (MSW)
- Nullring (MSW)
- Allgemeines Distributivgesetz (MSW)
- Potenzgesetze (MSW)
- Erste binomische Formel (MSW)
- Binomialkoeffizient (MSW)
- Kurs:Grundkurs Mathematik (Osnabrück 2018-2019)/Teil I/Vorlesungen