=for timestamp So Aug 27 17:56:29 CEST 2006 =head2 Stichpunkte =head3 Einleitung =for latex \label{FAEinl} Im Schulunterricht wird üblicherweise nicht darüber gesprochen, I Zahlen eigentlich sind. Oft werden die Zahlen mit ihren Dezimalrepräsentationen identifiziert, wodurch die originellen Ideen, die hinter der Formalisierung der verschiedenen Zahlenmengen stecken, untergehen. An ihrer Stelle lehrt man algorithmisches Denken: Wie multipliziert man zwei ganze Zahlen schriftlich? Wie addiert man zwei Brüche? Fragen seitens der Schüler kommen, wenn überhaupt, erst bei der Einführung der irrationalen Zahlen -- "was I M<\sqrt{2}>?". Dass sie genausowenig wissen, was schon lange bekannte Zahlen I -- "was I M<2>?" --, ist vielen von ihnen nicht mehr bewusst. Ich habe dieses Facharbeitsthema deswegen gewählt, weil ich die zugrundeliegenden Ideen aufdecken wollte; die Art und Weise, wie bekannte mathematische Konzepte formalisiert werden und so Informationen sehr dicht "gepackt" werden können, fasziniert mich sehr. Diese Arbeit ist in fünf Abschnitte gegliedert. Im ersten Abschnitt stelle ich die natürlichen Zahlen vor. Dazu gehören Definitionen der Zahlen, Rechenregeln und Relationen, wobei ich besonders auf die Ideen, die hinter den Definitionen stecken, eingehen werden. Dabei wird sich herausstellen, dass kleine Kinder noch viel näher an der mathematischen Formalisierung liegen als der Schulunterricht. Im zweiten Abschnitt werden die ganzen Zahlen behandelt. Dabei werde ich zwei Formalisierungsansätze vorstellen und ihre Vor- und Nachteile abwägen. Einen Ansatz werde ich genauer ausführen und auf ihm auch die Operatoren und Relationen definieren. Eine Realisierung der rationalen Zahlen wird im dritten Abschnitt vorgestellt. Verglichen mit den ganzen Zahlen kommen dabei keine neuen grundlegenden Ideen vor. Die Vorstellung von zwei Formalisierungen der reellen Zahlen erfolgt im vierten Abschnitt und ist sehr kurz, da für eine eingehende Behandlung der reellen Zahlen ein ausgeschärfter Formalismus notwendig ist, der in der Schule nicht behandelt wird. Den letzten Abschnitt bildet die Behandlung der surrealen Zahlen, einem alternativen Ansatz, der einige Unzulänglichkeiten des konventionellen Aufbaus der Zahlenbereiche löst. Da Rechnungen bei den surrealen Zahlen vergleichsweise lang sind, werde ich mich vor allem auf Anwendungen der surrealen Zahlen konzentrieren, deren Darlegung nur Grundlagen der surrealen Zahlen erfordert. =head3 Natürliche Zahlen In diesem ersten Teil der Facharbeit soll der Aufbau der natürlichen Zahlen mathematisch formalisiert werden. Fragen wie "was ist M<1>?", "was bedeutet es, wenn man zu einer Zahl Eins addiert?", "woran erkennt man, ob eine Zahl kleiner als eine andere ist?" werden in diesem Teil beleuchtet. Die erste Frage, was M<1> sei, ist ein Spezialfall der allgemeineren Frage "was sind die Elemente von M<\mathds{N}>?". Um diese Frage mathematisch rigoros zu klären, darf man nur wenig voraussetzen. Beispielsweise ist die denkbare Definition von M<\mathds{N}> als die Menge der ganzen Zahlen, die größer oder gleich Eins sind -- M<\mathds{N} = \left\{ n \in \mathds{Z} \,\middle|\, n \geq 1 \right\}> --, unpraktisch, da sie bereits Definitionen von M<\mathds{Z}> und der Größergleichrelation (M<\geq>) voraussetzt. Wie sich herausstellen wird, gibt es mehrere Möglichkeiten, die natürlichen Zahlen zu realisieren. Von diesen ist keine besonders ausgezeichnet; je nach Situation und persönlichem Geschmack kann man frei zwischen den verschiedenen Realisierungen wählen. Im Folgenden schließe ich die Null mit ein, wenn ich von "natürlichen Zahlen" spreche. =head4 Natürliche Zahlen nach Peano Der italienische Mathematiker Giuseppe Peano (1858--1932) entdeckte/erfand 1889 eine Formalisierung der natürlichen Zahlen ([[PeanoPerson]], S. 4), die man heute als Standardformalisierung begreift. Später bettete Richard Dedekind (1831--1916) [[NWikiDeDedekindPerson]], deutscher Mathematiker, die Arbeit Peanos in die Mengenlehre ein. Bei der Definition der natürlichen Zahlrepräsentanten nach Peano legt man zunächst fest, dass es einen kleinsten natürlichen Zahlrepräsentanten gibt. Diesem Repräsentanten gibt man die Bezeichnung "Null" und verwendet zur Notation den üblichen Glyphen für Null, "M<0>". Dann fordert man eine Nachfolgerfunktion M (engl. successor function), die jedem Repräsentanten einer natürlichen Zahl, M, ihren eindeutigen Nachfolgerrepräsentanten M (manchmal schreibt man auch "M<\mathrm{Succ}(n)>" oder "M"; übliche Schreibweise: "M") zuordnet. [[NWikiDePeano]] (Man kann an dieser Stelle noch nicht "M" schreiben, da man weder definiert hat, was unter "M<1>" zu verstehen ist, noch was die Bedeutung des Pluszeichens ist.) Die Forderung an die Nachfolgerfunktion M, dass der Nachfolger jedes Zahlrepräsentanten eindeutig ist, kann man in Symbolen schreiben: M ⇒ M. Diese zwei Objekte -- einen kleinsten natürlichen Zahlrepräsentant, den man mit "M<0>" bezeichnet, und eine Nachfolgerfunktion M -- genügen bereits, um die Menge der Repräsentanten natürlicher Zahlen zu formulieren: M<\mathds{N}_0 = \left\{ 0, S(0), S(S(0)), S(S(S(0))), \ldots \right\}> Der besseren Lesbarkeit halber gibt man den Zahlrepräsentanten M, M, ... noch zusätzliche Bezeichnungen: M schreibt man auch als "M<1>", M als "M<2>", usw. Wie sich herausstellen wird, sobald man Rechenoperationen eingeführt hat, haben die Objekte, denen man die Bezeichnungen "M<0>", "M<1>", "M<2>", usw. gegeben hat, auch tatsächlich die Eigenschaften, die ihre Bezeichnungen suggerieren. Ohne Definition der Rechenoperatoren sind es aber lediglich Elemente einer Menge, denen man bekannte Namen gegeben hat. =for latex {\framebox{\vbox{ I M<\begin{array}{@{}rcl} {} 0 && \text{wird vorausgesetzt} \\ {} 1 &:=& S(0) \\ {} 2 &:=& S(1) = S(S(0)) \\ {} 3 &:=& S(2) = S(S(S(0))) \\ {} 4 &:=& S(3) = S(S(S(S(0)))) \\ {} &\vdots \end{array}> =for latex }}\par{}} Die Nachfolgerfunktion drückt die Idee des Zählens aus: M ist der Repräsentant der Zahl, die man erhält, wenn man von M ausgehend eins hochzählt. M<\mathds{N}_0> definiert man dann als die Menge der Zahlrepräsentanten, die man erreicht, wenn man, von M<0> beginnend, schrittweise hochzählt, also sukzessive die Nachfolgerfunktion anwendet. =for latex {\footnotesize{} Meine Arbeit hat keinen absoluten Anspruch; ich definiere nicht die Zahlen selbst, sondern mögliche Repräsentanten der Zahlen. Dementsprechend beantwortet diese Arbeit auch nicht, wie in der Einleitung vereinfachend geschrieben, Fragen wie "was I 2?", sondern Fragen wie "wie kann M<2> mathematisch repräsentiert werden?". Für die Praxis ist die Unterscheidung zwischen dem Repräsentanten einer Zahl und der Zahl selbst bei den natürlichen Zahlen von geringem Belang. Da aber die Unterscheidung bei den ganzen, rationalen und surrealen Zahlen eine wichtige Rolle spielen wird, nutze ich schon hier die sprachlich sauberere Darstellung. =for latex \par} =head5 Rechenoperatoren =for latex \label{FANProbGleich} In den folgenden Abschnitten sollen die Definitionen der Grundrechenarten und der Relationen für natürliche Zahlen aufgestellt werden. Von vornherein problematisch ist dabei die Frage, inwieweit man sicher gehen kann, dass die hier vorgestellten Vorschriften auch wirklich zu den Vorschriften äquivalent sind, die man kennt und im Alltag benutzt. Genauer liegt das Problem darin, dass die normalen, bekannten Vorschriften zunächst nicht axiomatisch präzisiert vorliegen: Die Symbolmanipulationsvorschriften wie beispielsweise schriftliche Addition und schriftliche Subtraktion erlernt man in der Grundschule nicht über formale, abstrakte Definitionen, sondern "spielerisch" und anhand konkreter Beispiele. Auch sind die Regeln, die Taschenrechner benutzen, im Allgemeinen nicht einsehbar. Man könnte meinen, dass die Überprüfung vieler Einzelfälle die Korrektheit der hier vorgestellten Definitionen, also die Übereinstimmung der Ergebnisse der Anwendung der Definitionen mit der Erfahrung, also mit den Ergebnissen der Anwendung der erlernten Symbolmanipulationsvorschriften oder dem Taschrenrechner, bezeugt. Für einen mathematischen Beweis genügt das jedoch nicht, da man durch Überprüfung von Einzelfällen nur die Korrektheit dieser Einzelfälle bestätigen kann -- nicht aber der unendlich vielen anderen Fälle, die man nicht überprüfen konnte. Alternativ könnte man versuchen, die bekannten Vorschriften zu formalisieren, wobei man die Korrektheit jedes Schritts einzeln beweisen müsste. Man müsste also Schritt für Schritt die bekannten Vorschriften, die auf der sehr hohen Ebene der Symbolmanipulation von Ziffern vorliegen, auf das Zählkonzept, also auf bestimmte Arten und Weisen der Anwendung der Nachfolgerfunktion, zurückführen -- ein umständlicher Prozess. Umständlich wäre dieses Vorgehen deswegen, da man kompliziertere Konzepte, die es in der Realisierung der natürlichen Zahlen nach Peano nicht gibt, wie beispielsweise die Dezimalrepräsentation, formalisiert einführen müsste. Das Dezimalsystem vereinfacht zwar den alltäglichen Umgang mit Zahlen in der Hinsicht, dass sich das Rechnen mit Dezimalrepräsentationen schneller gestaltet als direkt mit der Peano-Repräsentation, wie gleich klar werden wird, erlaubt jedoch keine grundlegend neuen Operationen und ist insofern, was die Darstellung der Ideen hinter den Definitionen angeht, unnötig. In dieser Arbeit wird es genügen müssen, die Definitionen über bereits bekanntes Wissen über Termumformungen herzuleiten und stellenweise die Gültigkeit bestimmter Gesetze zu beweisen. Da das Muster der Eigenschaftsbeweise bei den natürlichen Zahlen immer das Prinzip der vollständigen Induktion ist und die Beweise in vielen anderen Quellen bereits ausführlich dargelegt werden (beispielsweise [[NBew]]), werde ich bei den natürlichen Zahlen weitgehend auf Beweise verzichten. Die Beweise bei den ganzen Zahlen dagegen bringen einen echten Erkenntnisgewinn und fungieren darüberhinaus als Beispiele der Anwendung der Rechengesetze, weswegen ich bei den ganzen Zahlen Beweise nicht aussparen werde. =head6 Addition In diesem Abschnitt wird eine mögliche Definition der Addition hergeleitet. Diese Additionsvorschrift wird von einer für den Schulunterricht ungewöhnlichen Form sein; weswegen ich die Zulässigkeit der Vorschrift genauer thematisieren werde. Schließlich wird die hergeleitete Definition der Addition mit den Rechenmethoden von Kindern und Erwachsenen verglichen. =head7 Herleitung der Additionsvorschrift Um eine mathematische Formalisierung der Addition auf den natürlichen Zahlen herzuleiten, kann man zunächst den einfachen Fall der Addition von Null betrachten. Die Addition von Null soll, bildlich gesprochen, ohne Auswirkung sein; man definiert daher: M mit M. Erst ab dieser Stelle hat das Element aus M<\mathds{N}_0>, dem man den Namen "Null" gegeben hat, auch wirklich die Bedeutung der Null. Zur Herleitung der Definition der Addition einer Zahl ungleich Null kann man das bekannte Wissen über Termumformungen nutzen. Im weiteren Verlauf dieser Arbeit werde ich öfter das "bekannte Wissen über Termumformungen" nutzen; diese Rechnungen finden außerhalb des bereits definierten Formalismus statt -- beispielsweise nutzen sie Operatoren, die noch nicht definiert wurden, oder Umformungsregeln, deren Gültigkeit ohne Beweis vorausgesetzt werden. Diese Rechnungen dienen nur der schriftlichen Fixierung des Herleitungswegs. M<\begin{array}{@{}cll} {} & n + k = & {} \qquad \text{\textsl{(Schreiben von }}k\text{\textsl{ als Nachfolger von }}m\text{\textsl{)}} \\ {}=& n + \left(m + 1\right) = & {} \qquad \text{\textsl{(Anwenden des Assoziativgesetzes)}} \\ {}=& \left(n + m\right) + 1 \end{array}> Addiert man also zu einem Zahlrepräsentanten M den Nachfolgerrepräsentanten M eines Zahlrepräsentanten M, so erhält man als Ergebnis den Nachfolgerrepräsentanten M der Summe M; man führt die Addition aufs Zählen zurück. In Symbolen: =for latex {\framebox{\vbox{ I M<\begin{array}{@{}rlclcl} {} \text{I.} & n &+& 0 &:=& n \\ {} \text{II.} & n &+& S(m) &:=& S(n + m) \end{array}> mit M. =for latex }}\par{}} Es mag zunächst ungewohnt erscheinen, dass man, obwohl man die Bedeutung der Addition gerade erst definiert, auch auf der rechten Seite der Definition addiert -- in der Schule kommt diese Art von Definition ("rekursive Definitionen") üblicherweise nicht vor; formal zulässig ist sie aber durchaus. =head7 Nutzbarkeit der Definition als Arbeitsvorschrift In diesem Abschnitt werde ich zeigen, dass die angegebene rekursive Definition der Addition nicht nur formal zulässig ist, sondern auch nützt -- dass sie also nicht nur M mit M in Beziehung setzt, sondern die Addition auch wirklich aufs Zählen zurückführt. Ein Beispiel für eine Definition, die lediglich formal zulässig ist, aber nicht nützt, ist M. Mit dieser Definition wüsste man zwar, dass die Summationsreihenfolge unerheblich ist, eine konkrete Arbeitsvorschrift -- ein Algorithmus --, wie man zwei Zahlrepräsentanten addieren sollte, liefert die Vorschrift jedoch nicht. Um als Arbeitsvorschrift einsetzbar zu sein, muss die Additionsregel, unabhängig von der Wahl der Summanden, nach einer endlichen Anzahl wiederholter Anwendungen "terminieren", d.h. jede Rechnung muss einen Schluss haben. Ein Zahlenbeispiel verdeutlicht diesen Sachverhalt: M<\begin{array}{@{}cll} {} & 2 + 3 = & {} \qquad \text{\textsl{(Schreiben des zweiten Summanden als Nachfolger)}} \\ {}=& 2 + S(2) = & {} \qquad \text{\textsl{(Anwenden der Additionsvorschrift)}} \\ {}=& S(2 + 2) = & {} \qquad \text{\textsl{(Schreiben des zweiten Summanden als Nachfolger)}} \\ {}=& S(2 + S(1)) = & {} \qquad \text{\textsl{(Erneutes Anwenden der Additionsvorschrift)}} \\ {}=& S(S(2 + 1)) = & {} \qquad \text{\textsl{(Schreiben des zweiten Summanden als Nachfolger)}} \\ {}=& S(S(2 + S(0))) = & {} \qquad \text{\textsl{(Erneutes Anwenden der Additionsvorschrift)}} \\ {}=& S(S(S(2 + 0))) = & {} \qquad \text{\textsl{(Anwenden von Regel I. der Additionsvorschrift)}} \\ {}=& S(S(S(2))) = & {} \qquad \text{\textsl{(Schreiben als Dezimalzahl)}} \\ {}=& S(S(3)) = S(4) = 5 \end{array}> Schrittweise wird also die Anwendung der Nachfolgerfunktion M aus dem zweiten Summanden "herausgezogen" und auf die gesamte Summe bezogen, bis eine Summe auftritt, bei der zweite Summand M<0> ist. Man kann beweisen, dass, egal welche zwei Zahlrepräsentanten M man addiert, nach einer endlichen Anzahl von Schritten immer die Addition von Null auftritt und so eine endlose Wiederholung der Additionsvorschrift verhindert wird: Die problematisch erscheinende, rekursive Regel II. der Definition greift, wenn der zweite Summand nicht Null, sondern ein Nachfolger ist. Der Definition zufolge addiert man dann zum ersten Summanden den Vorgänger des zweiten Summanden; jede wiederholte Anwendung der Additionsvorschrift ergibt eine Summe, bei der der zweite Summand kleiner ist als der jeweils ursprüngliche Summand. Da jede natürliche Zahl selbst nur endlich groß ist, ist nach einer endlichen Anzahl Schritte eine Rechnung erreicht, bei der der zweite Summand Null ist, und die einfache Vorschrift M greift; "die Rekursion ist gebrochen", die Additionsvorschrift kann daher sinnvoll als Arbeitsvorschrift eingesetzt werden. =head7 Vergleich der Idee hinter der Definition mit den Rechenmethoden von Kindern und Erwachsenen Die Idee hinter dieser Definition ist, dass das Zählen "herausgezogen" wird, ähnlich wie es kleine Kinder machen: Um beispielsweise zu M<2> M<3> zu addieren, beginnen Kinder zunächst bei Null (geschlossene Hand). Dann zählen sie zweimal, also bis zu M. Bei der M<2> angelangt zählen sie schließlich noch dreimal weiter und gelangen auf diese Weise zu M. Ältere Kinder und Erwachsene dagegen nutzen nicht mehr direkt das Zählen bzw. die Nachfolgerfunktion zur Addition, sondern betreiben Symbolmanipulation: Tabellen wie in Abb. [[BILD:NSymbTab]] auf S. [[LINK:NSymbTab]] dargestellt sind verinnerlicht, und kompliziertere Rechnungen denkt man sich als aus den auswendig gelernten Rechnungen mit bekannten Ergebnissen zusammengesetzt. =for latex \begin{figure} \begin{center} M<\begin{array}{@{}l@{\ \ \ \ \ \ \ \ \ \ \ \ }l} {} \begin{array}{@{}r|lllll} {} + & 0 & 1 & 2 & 3 & 4 \cdots \\\hline {} 0 & 0 & 1 & 2 & 3 & 4 \cdots \\ {} 1 & 1 & 2 & 3 & 4 & 5 \cdots \\ {} 2 & 2 & 3 & 4 & 5 & 6 \cdots \\ {} 3 & 3 & 4 & 5 & 6 & 7 \cdots \\ {} 4 & 4 & 5 & 6 & 7 & 8 \cdots \\ {} \vdots & \vdots & \vdots & \vdots & \vdots & \ddots {} \end{array} & {} \begin{array}{@{}r|lllrr} {} \cdot & 0 & 1 & 2 & 3 & 4 \cdots \\\hline {} 0 & 0 & 0 & 0 & 0 & 0 \cdots \\ {} 1 & 0 & 1 & 2 & 3 & 4 \cdots \\ {} 2 & 0 & 2 & 4 & 6 & 8 \cdots \\ {} 3 & 0 & 3 & 6 & 9 & 12 \cdots \\ {} 4 & 0 & 4 & 8 & 12 & 16 \cdots \\ {} \vdots & \vdots & \vdots & \vdots & \vdots & \ddots {} \end{array} \end{array}> =for latex \end{center} \caption{\label{FANSymbTab}Grundlagen der Symbolmanipulationen des Alltags} \hrulefill\vspace*{1em} \end{figure} =head7 Addition mehrerer Summanden Die Addition mehrerer Summanden muss man nicht eigens definieren, da sie sich aus der Definition der Addition zweier Summanden ergibt: M Bei der Addition ist die Wahl der Klammerung beliebig, da die M<\mathds{N}_0>-Addition assoziativ ist. (Diese Eigenschaft habe ich hier jedoch nicht bewiesen; ein Beweis findet sich in [[NBew]] auf S. 4.) =head6 Subtraktion Eine mögliche Definition der Subtraktion wird in diesem Abschnitt vorgestellt. Wie auch die Additionsvorschrift wird die hergeleitete Subtraktionsvorschrift rekursiv sein. =head7 Herleitung der Subtraktionsvorschrift Zur Herleitung der Subtraktionsvorschrift für die natürlichen Zahlen kann man wie bei der Herleitung der Additionsvorschrift vorgehen und zunächst den einfachen Fall der Subtraktion von Null betrachten. Die Subtraktion von Null soll (bildlich gesprochen) keine Auswirkung haben; man definiert daher: M mit M. Zur Herleitung des anderen Falls, der Subtraktion eines Zahlrepräsentanten M ungleich Null von einem natürlichen Zahlrepräsentanten M, kann man den Term M ansetzen und dann das bereits bekannte Wissen über äquivalente Termumformungen nutzen: M<\begin{array}{@{}cll} {} & u - v = & {} \qquad \text{\textsl{(Schreiben von }}u\text{\textsl{ als Nachfolger von }}n\text{\textsl{)}} \\ {}=& \left(n + 1\right) - v = & {} \qquad \text{\textsl{(Schreiben von }}v\text{\textsl{ als Nachfolger von }}m\text{\textsl{)}} \\ {}=& \left(n + 1\right) - \left(m + 1\right) = & {} \qquad \text{\textsl{(Ausmultiplizieren der Klammern)}} \\ {}=& n + 1 - m - 1 = & {} \qquad \text{\textsl{(Vereinfachen)}} \\ {}=& n - m \end{array}> Zieht man also vom Nachfolgerrepräsentanten M eines Zahlrepräsentanten M den Nachfolgerrepräsentanten M eines Zahlrepräsentanten M ab, so ist das Ergebnis das gleiche, als wenn man von M M abzieht. In Symbolen: =for latex {\framebox{\vbox{ I M<\begin{array}{@{}rlclcl} {} \text{I.} & n &-& 0 &:=& n \\ {} \text{II.} & S(n) &-& S(m) &:=& n - m \text{ (nur für }n \geq m\text{ definiert)} \\ \end{array}> mit M. =for latex {\footnotesize{} Die Angabe, der Ausdruck auf der rechten Seite von Regel II. sei nur für M definiert, ist rein informeller Natur. Würde man diese Angabe als Bestandteil der Definition ansehen, so wäre die Definition an dieser Stelle ohne Sinn, da die Bedeutung des Größergleichzeichens noch nicht definiert wurde. =for latex \par} =for latex }}\par{}} Diese Definition ist, wie auch die Additionsvorschrift, rekursiv -- auf der rechten Seite von Regel II. der Definition steht das Minuszeichen, dessen Bedeutung erst durch die Definition selbst definiert wird. Die Art und Weise, wie die Subtraktionsvorschrift "arbeitet", verdeutlicht ein Zahlenbeispiel: M<\begin{array}{@{}cll} {} & 5 - 3 = & {} \qquad \text{\textsl{(Schreiben als Nachfolger)}} \\ {}=& S(4) - S(2) = & {} \qquad \text{\textsl{(Anwenden der Subtraktionsvorschrift)}} \\ {}=& 4 - 2 = & {} \qquad \text{\textsl{(Schreiben als Nachfolger)}} \\ {}=& S(3) - S(1) = & {} \qquad \text{\textsl{(Anwenden der Subtraktionsvorschrift)}} \\ {}=& 3 - 1 = & {} \qquad \text{\textsl{(Schreiben als Nachfolger)}} \\ {}=& S(2) - S(0) = & {} \qquad \text{\textsl{(Anwenden der Subtraktionsvorschrift)}} \\ {}=& 2 - 0 = & {} \qquad \text{\textsl{(Anwenden von Regel I. der Subtraktionsvorschrift)}} \\ {}=& 2 \end{array}> =head7 Nutzbarkeit der Definition als Arbeitsvorschrift Anders als die Additionsvorschrift, die für alle Paare natürlicher Zahlen anwendbar ist, ergibt die Subtraktion auf den natürlichen Zahlen nur dann Sinn, wenn der Minuend größergleich dem Subtrahend ist. Um zu überprüfen, ob die soeben hergeleitete Subtraktionsvorschrift auch diese Eigenschaft hat, und nicht etwa auch für Differenzen, bei denen der Minuend kleiner als der Subtrahend ist, Ergebnisse liefert, ist es hilfreich, vor einem allgemeinen Beweis zunächst ein Zahlenbeispiel zu betrachten: M<\begin{array}{@{}cll} {} & 1 - 4 = & {} \qquad \text{\textsl{(Schreiben als Nachfolger)}} \\ {}=& S(0) - S(3) = & {} \qquad \text{\textsl{(Anwenden der Subtraktionsvorschrift)}} \\ {}=& 0 - 3 = \mathord{?} \end{array}> Auf den Ausdruck der letzten Zeile, M<0 - 3>, passt weder die Vorschrift M, da der Subtrahend nicht Null ist, noch die Vorschrift für den zweiten Fall, da man den Minuenden, M<0>, nicht als Nachfolger schreiben kann. Allgemein: Setzt man die Differenz M an, wobei M größergleich M ist, so sind Minuend und Subtrahend der sich durch wiederholte Anwendungen der Subtraktionsvorschrift ergebenden Folgerechnungen jeweils um eins kleiner. Nach einer endlichen Anzahl Schritte ergibt sich eine Differenz, bei der der Subtrahend Null ist; Regel I. greift und die Rekursion ist gebrochen. Die Subtraktionsvorschrift entspricht also für den Fall, dass der Subtrahend kleinergleich dem Minuend ist, der Erwartung, ist in diesem Sinne also korrekt. Ist nun aber der Subtrahend größer als der Minuend, so tritt nach einer endlichen Anzahl Schritte ein Fall der Form "M<0 - k>" (mit M) auf, für den keine Regel definiert ist; die Subtraktion einer größeren Zahl von einer kleineren Zahl ist also der hergeleiteten Subtraktionsvorschrift nach (wie auch gewünscht) nicht definiert. Somit ist die hergeleitete Definition der Subtraktion nicht nur formal zulässig, sondern auch als brauchbare Arbeitsvorschrift verwendbar. =head7 Idee hinter der Definition Hinter der hergeleiteten Definition der Subtraktion steckt die Idee der "Relativität" der Subtraktion: Der Unterschied -- die Differenz -- zweier Zahlen ist von den absoluten Zahlwerten unabhängig. Kleine Kinder subtrahieren, indem sie zunächst zum Minuenden hochzählen und dann so oft, wie der Subtrahend groß ist, rückwärts zählen. Dieses Vorgehen wird Grundlage der Realisierung der ganzen Zahlen sein, spiegelt sich in der hergeleiteten Definition der Subtraktion auf den natürlichen Zahlen jedoch nicht unmittelbar wieder. =begin comment Formt man die Definition geeignet um, erkennt man in der Definition auch die Idee der Rechentechnik, die kleine Kinder zur Subtraktion nutzen: Um einen Zahlrepräsentant M von einem Zahlrepräsentant M zu subtrahieren, zählen kleine Kinder zunächst von der Null beginnend (geschlossene Hand) zu M. Bei M angelangt, zählen sie dann M Mal zurück. In Symbolen: M<\begin{array}{@{}rlclcl} {} \text{a)} & n &-& 0 &:=& n \\ {} \text{b)} & S(n) &-& 1 &:=& n \\ {} \text{c)} & u &-& S(m) &:=& \left(u - m\right) - 1 \end{array}> Dass die Regel c) dieser alternativen Definition der Subtraktion zu Regel II. der bereits beschriebenen [XXX] Definition äquivalent ist, erkennt man, wenn man M als Nachfolger M einer Zahl M ansieht: M<\begin{array}{@{}clclclll} {} & u &-& S(m) &=& \left(u - m\right) - 1 & ⇔ & {} \qquad \text{\textsl{(Schreiben von }}u\text{\textsl{ als }}S(n)\text{\textsl{)}} \\ {}⇔& S(n) &-& S(m) &=& \left(S(n) - m\right) - 1 & ⇔ & {} \qquad \text{\textsl{(Umgruppieren auf der rechten Seite)}} \\ {}⇔& S(n) &-& S(m) &=& \left(S(n) - 1\right) - m & ⇔ & {} \qquad \text{\textsl{(Anwenden von b))}} \\ {}⇔& S(n) &-& S(m) &=& n - m \end{array}> [XXX umgruppierung legal?] Auch folgt Regel b) aus den Regeln I. und II.: M<\begin{array}{@{}cll} {} & S(n) - 1 = & {} \qquad \text{\textsl{(Schreiben von }}1\text{\textsl{ als Nachfolger)}} \\ {}=& S(n) - S(0) = & {} \qquad \text{\textsl{(Anwenden von Regel II.)}} \\ {}=& n - 0 = & {} \qquad \text{\textsl{(Anwenden von Regel I.)}} \\ {}=& n \end{array}> Regel a) gleicht sogar in der exakten Formulierung [XXX "im Wortlaut"] Regel I., Regel b) folgt aus den Regeln I. und II. Regel c) ist äquivalent zu Regel II.; die Definitionen sind also äquivalent. [XXX "Regel" III. muss nicht bzw. folgt aus] =end comment =head7 Subtraktion mehrerer Zahlen Die Subtraktion mehrerer Zahlen muss man, analog zur Addition mehrerer Summanden, nicht eigens definieren, da sie sich aus der Definition der Subtraktion einer Zahl ergibt: M Anders als bei der Addition ist bei der Subtraktion die Klammerung nicht frei wählbar; man hat daher definiert, dass man von links nach rechts rechnet (in der Informatik sagt man, das Minuszeichen "assoziiere nach links"): M =head6 Multiplikation In diesem Abschnitt wird die Multiplikation auf den natürlichen Zahlen vorgestellt. Drei Interpretationsvorschläge der Vorschrift werden gegeben. =head7 Herleitung der Multiplikationsvorschrift Zur Herleitung der Multiplikationsvorschrift für die natürlichen Zahlen kann man wie bei der Herleitung der Addition und der Subtraktion zwischen dem einfachen Fall der Multiplikation mit Null und dem komplizierteren Fall der Multiplikation mit einer Zahl ungleich Null unterscheiden. Die Multiplikation eines jeden Zahlrepräsentanten M mit Null soll Null ergeben. In Symbolen: M mit M. Zur Herleitung der Vorschrift für den anderen Fall -- der zweite Faktor ist ungleich Null -- kann man das bereits bekannte Wissen über Termumformungen, insbesondere über das Distributivgesetz nutzen: M<\begin{array}{@{}cll} {} & n \cdot k = & {} \qquad \text{\textsl{(Schreiben von }}k\text{\textsl{ als Nachfolger von}}m\text{\textsl{)}} \\ {}=& n \cdot \left(m + 1\right) = & {} \qquad \text{\textsl{(Ausmultiplizieren)}} \\ {}=& n \cdot m + n \cdot 1 = & {} \qquad \text{\textsl{(Vereinfachen des zweiten Summanden)}} \\ {}=& n \cdot m + n \end{array}> Dieses Ergebnis deckt sich mit der Art und Weise, wie Multiplikation in der Grundschule [[NMultGrund]] eingeführt wird: M<\begin{array}{@{}clclclll} {} & n &\cdot& k &=& \underbrace{n + n + \cdots + n + n}_{k \text{ Mal}} & ⇔ & {} \qquad \text{\textsl{(Schreiben von }}k\text{\textsl{ als Nachfolger von}}m\text{\textsl{)}} \\ {}⇔& n &\cdot& \left(m + 1\right) &=& {} \underbrace{n + n + \cdots + n + n}_{\left(m + 1\right) \text{ Mal}} & ⇔ & {} \qquad \text{\textsl{(Herausziehen eines Summanden)}} \\ {}⇔& n &\cdot& \left(m + 1\right) &=& {} \underbrace{\underbrace{n + n + \cdots + n + n}_{m \text{ Mal}} \mathrel{+} n}_{\left(m + 1\right) \text{ Summanden}} & ⇔ & {} \qquad \text{\textsl{(Schreiben als Produkt)}} \\ {}⇔& n &\cdot& \left(m + 1\right) &=& n m + n \end{array}> Also: =for latex {\framebox{\vbox{ I M<\begin{array}{@{}rlclcl} {} \text{I.} & n &\cdot& 0 &:=& 0 \\ {} \text{II.} & n &\cdot& S(m) &:=& n \cdot m + n \end{array}> mit M. =for latex }}\par{}} =head7 Nutzbarkeit der Definition als Arbeitsvorschrift Auch diese Definition ist rekursiv, da auf der rechten Seite von Regel II. das Malzeichen verwendet wird, dessen Bedeutung aber erst durch die Definition festgelegt wird. Wie auch die rekursiven Definitionen der Addition und Subtraktion terminiert auch die Definition der Multiplikation für alle M, da der sich ergebende zweite Faktor mit jeder wiederholten Anwendung der Multiplikationsvorschrift jeweils um eins kleiner ist; nach einer endlichen Anzahl von Schritten ergibt sich ein Produkt, dessen zweiter Faktor Null ist, womit Regel I., M, greift und die Rekursion gebrochen ist. Die Definition kann man also als Arbeitsvorschrift einsetzen. Ein Zahlenbeispiel demonstriert das: M<\begin{array}{@{}cll} {} & 2 \cdot 3 = & {} \qquad \text{\textsl{(Schreiben des zweiten Faktors als Nachfolger)}} \\ {}=& 2 \cdot S(2) = & {} \qquad \text{\textsl{(Anwenden der Multiplikationsvorschrift)}} \\ {}=& 2 \cdot 2 + 2 = & {} \qquad \text{\textsl{(Schreiben des zweiten Faktors als Nachfolger)}} \\ {}=& 2 \cdot S(1) + 2 = & {} \qquad \text{\textsl{(Erneutes Anwenden der Multiplikationsvorschrift)}} \\ {}=& 2 \cdot 1 + 2 + 2 = & {} \qquad \text{\textsl{(Schreiben des zweiten Faktors als Nachfolger)}} \\ {}=& 2 \cdot S(0) + 2 + 2 = & {} \qquad \text{\textsl{(Erneutes Anwenden der Multiplikationsvorschrift)}} \\ {}=& 2 \cdot 0 + 2 + 2 + 2 = & {} \qquad \text{\textsl{(Anwenden von Regel I. der Multiplikationsvorschrift)}} \\ {}=& 0 + 2 + 2 + 2 = & {} \qquad \text{\textsl{(Ausrechnen der Summe über mehrmaliges Anwenden der Additionsvorschrift)}} \\ {}=& 6 \end{array}> =head7 Idee hinter der Definition Hinter der Definition steckt die Auffassung der Multiplikation als wiederholte Addition, wobei der zweite Faktor angibt, wie oft der erste wiederholt wird. Genauso möglich ist eine Definition der Multiplikation, bei der der erste Faktor angibt, wie oft der zweite wiederholt wird: M<\begin{array}{@{}rlclcl} {} \text{I.} & 0 &\cdot& n &:=& 0 \\ {} \text{II.} & S(m) &\cdot& n &:=& m \cdot n + m \end{array}> Der Beweis, dass diese alternative Definition der Multiplikation zu der zuvor hergeleiteten äquivalent ist, läuft über vollständige Induktion über zwei Variablen und ist daher recht lang, weswegen ich ihn hier nicht ausführe. Finden kann man den Beweis beispielsweise in [[NBewMultKomm]]. =head6 Division =for latex \label{FANDivision} In diesem Abschnitt wird eine Definition der Division hergeleitet und ihre rekursive Natur genauer thematisiert. Anschließend wird die hergeleitete Vorschrift mit der Art und Weise, wie kleine Kinder dividieren, verglichen. =for latex \label{FANDiv} =head7 Herleitung der Divisionsvorschrift Auch zur Herleitung der Definition der Division auf den natürlichen Zahlen kann man zwei Fälle, Dividend gleich Null und Dividend ungleich Null, unterscheiden. Die Division von Null durch jede positive natürliche Zahl soll Null sein. In Symbolen: M<0 : m := 0> mit M. Zur Herleitung der Divisionsvorschrift für den anderen Fall, Dividend ungleich Null, kann man das bereits bekannte Wissen über äquivalente Umformungen von Brüchen nutzen: M<\renewcommand{\arraystretch}{2.0}\begin{array}{@{}cll} {} & \dfrac{n}{m} = & {} \qquad \text{\textsl{(Hinzufügen und Abziehen von }}m\text{\textsl{ im Zähler)}} \\ {}=& \dfrac{n + \left(m - m\right)}{m} = & {} \qquad \text{\textsl{(Stellen von }}\left(+m\right)\text{\textsl{ an den Beginn)}} \\ {}=& \dfrac{m + \left(n - m\right)}{m} = & {} \qquad \text{\textsl{(Aufspalten des Bruchs nach dem ersten Summanden)}} \\ {}=& \dfrac{m}{m} + \dfrac{n - m}{m} = & {} \qquad \text{\textsl{(Vereinfachen des ersten Summanden)}} \\ {}=& 1 + \dfrac{n - m}{m} \end{array}> Also: =for latex {\framebox{\vbox{ I M<\begin{array}{@{}rlclcl} {} \text{I.} & 0 &:& m &:=& 0 \\ {} \text{II.} & n &:& m &:=& 1 + \left(n - m\right) : m \text{ (nur für }n \geq m\text{ definiert)} \end{array}> mit M. =for latex }}\par{}} =head7 Nutzbarkeit der Definition als Arbeitsvorschrift =for latex \label{FANDivAlg} Die rekursive Definition terminiert unabhängig von der Wahl von Dividend und Divisor. Um diese Aussage zu überprüfen, ist es zweckmäßig, zwei Fälle zu unterscheiden -- den Fall, bei dem der Divisor ein Teiler des Dividenden ist, die Division also "aufgeht", und den Fall, bei der die Division nicht aufgeht. =for latex {\footnotesize{} Die Unterteilung in zwei Fälle ist nur eine Darstellungshilfe; formal ist sie problematisch, da an dieser Stelle das Teilerkonzept noch nicht definiert wurde und darüberhinaus sich das Teilerverhältnis ja gerade aus der Eigenschaft der Division, entweder aufzugehen oder nicht aufzugehen, ergibt. =for latex \par} Folgendes Zahlenbeispiel demonstriert die Anwendung der Divisionsvorschrift für den ersten Fall: M<\begin{array}{@{}cll} {} & 4 : 2 = & {} \qquad \text{\textsl{(Anwenden der Divisionsvorschrift)}} \\ {}=& 1 + \left(4 - 2\right) : 2 = & {} \qquad \text{\textsl{(Ausrechnen des Dividenden durch mehrmaliges Anwenden der Subtraktionsvorschrift)}} \\ {}=& 1 + 2 : 2 = & {} \qquad \text{\textsl{(Anwenden der Divisionsvorschrift)}} \\ {}=& 1 + 1 + \left(2 - 2\right) : 2 = & {} \qquad \text{\textsl{(Ausrechnen des Dividenden durch mehrmaliges Anwenden der Subtraktionsvorschrift)}} \\ {}=& 1 + 1 + 0 : 2 = & {} \qquad \text{\textsl{(Anwenden von Regel I. der Divisionsvorschrift)}} \\ {}=& 1 + 1 = 1 + S(0) = & {} \qquad \text{\textsl{(Anwenden der Additionsvorschrift)}} \\ {}=& S(1 + 0) = S(1) = 2 \end{array}> Für den zweiten Fall -- die Division geht nicht auf -- terminiert das Verfahren ebenfalls, lässt aber, anders als bei der Anwendung der Divisionsvorschrift auf Divisionen, die aufgehen, das Ergebnis undefiniert: M<\begin{array}{@{}cll} {} & 4 : 3 = & {} \qquad \text{\textsl{(Anwenden der Divisionsvorschrift)}} \\ {}=& 1 + \left(4 - 3\right) : 3 = & {} \qquad \text{\textsl{(Ausrechnen des Dividenden durch mehrmaliges Anwenden der Subtraktionsvorschrift)}} \\ {}=& 1 + 1 : 3 = & {} \qquad \text{\textsl{(Anwenden der Divisionsvorschrift)}} \\ {}=& 1 + 1 + \underbrace{\left(1 - 3\right)}_{\text{nicht definiert}} : 3 \end{array}> Allgemein: Bei jeder wiederholten Anwendung der Divisionsvorschrift ergibt sich ein kleinerer Dividend. Ist der Divisor ein Teiler des ursprünglichen Dividenden, so ist nach endlich vielen Schritten ein Quotient erreicht, dessen Dividend Null ist, womit Regel I. der Divisionsvorschrift greift und die Rekursion gebrochen ist. Im anderen Fall tritt nach endlich vielen wiederholten Anwendungen der Divisionsvorschrift eine Subtraktion auf, deren Wert (wie gewünscht) nicht definiert ist. Da also unabhängig von Dividend und Divisor die Rekursion nach endlich vielen Schritten gebrochen wird, ist die hergeleitete Definition als Arbeitsvorschrift verwendbar. =head7 Vergleich mit der Divisionsmethode von Kindern Kinder veranschaulichen sich das Dividieren durch Aufteilen einer gegebenen Menge mit so vielen Gegenständen, wie der Dividend groß ist, auf so viele Plätze, wie der Divisor groß ist. Geht die Division auf, liegen nach Abschluss des Verfahrens auf jedem Platz gleich viele Gegenstände; die Anzahl der Gegenstände pro Platz ist das Ergebnis der Division. Diese Divisionsmethode spiegelt sich, mit einer kleinen Veränderung, auch in der hergeleiteten Divisionsvorschrift wieder: Während Kinder üblicherweise bei jedem Schritt nur einen einzigen Gegenstand auf einen Platz verteilen, kann man sich die hergeleitete Vorschrift so veranschaulichen, als ob sie pro Schritt auf alle Plätze jeweils einen Gegenstand verteilt. Die Division M bedeutet also, dass insgesamt M Gegenstände auf M Plätze verteilt werden. Die rechte Seite der Regel II., M<1 + \left(n - m\right) : m>, bedeutet dann, dass M Gegenstände verteilt wurden, und für den nächsten Schritt dementsprechend nur noch M Gegenstände übrig sind. Dass jeder Platz jeweils einen Gegenstand erhalten hat, begründet das Hinzustellen des Summanden M<1>. =head5 Relationen In den folgenden Abschnitten wird definiert, was es bedeutet, wenn zwei Zahlrepräsentanten zueinander kleinergleich, kleiner, gleich, größer oder größergleich sind. Die Definition der Gleichheit ist oberflächlich betrachtet trivial, führt jedoch das Konzept der "strukturellen Gleichheit" ein, das bei den ganzen, rationalen und surrealen Zahlen eine wichtige Rolle spielt. Bei der Definition der Kleinergleichrelation wird sich eine bemerkenswerte Symmetrie zeigen. =head6 Gleichheit Bei den natürlichen Zahlen wie hier vorgestellt ergibt sich die Gleichheit aus der sog. strukturellen Gleichheit (structural equality). "Strukturelle Gleichheit" bedeutet, dass man die Gleichheit nicht etwa über bestimmte Eigenschaften der Zahlen festlegt (man könnte beispielsweise definieren: "Zwei Zahlen sind genau dann äquivalent, wenn ihre Quersummen gleich sind."), sondern dass die Gleichheit unmittelbar aus dem Aufbau der Objekte -- aus ihrer Identität -- folgt. Zwei Zahlen sind also genau dann gleich, wenn die Nachfolgerfunktion gleich oft angewendet wurde. In Symbolen: M<\begin{array}{@{}rclcl} {} 0 &=& 0 & \Leftrightarrow & \text{(wahr)} \\ {} S(n) &=& S(m) & \Leftrightarrow & n = m \end{array}> Das mag zunächst trivial erscheinen; bei der Definition der ganzen, rationalen und surrealen Zahlen aber muss man um die strukturelle Gleichheit wissen, da dort die strukturelle Gleichheit keine sinnvolle Äquivalenzrelation darstellt. =head6 Kleiner-, Kleinergleich-, Größergleich- und Größerrelation Weniger trivial als die Definition der Gleichheitsrelation sind die Definitionen von Kleiner-, Kleinergleich-, Größergleich- und Größerrelation. Anstatt die Definitionen der Relationen alle eigens herzuleiten, ist es praktischer, zunächst zu untersuchen, in welcher Beziehung die Relationen zueinander stehen -- insbesondere, ob man einige Relationen durch andere ausdrücken kann. Dabei erkennt man, dass man alle Relationen durch die Kleinergleichrelation ausdrücken kann ([[STondering]], S. 10): =for latex {\framebox{\vbox{ I M<\begin{array}{@{}ccccl} {} n &E& m &:\Leftrightarrow& n \leq m \text{ und } n \neq m \\ {} n &E& m &:\Leftrightarrow& n \not\leq m \\ {} n &\geq& m &:\Leftrightarrow& n E m \text{ oder } n = m \end{array}> mit M. =for latex }}\par{}} Definiert man also die Kleinergleichrelation (M<\leq>), so ergibt sich die Bedeutung der anderen Relationen "automatisch". Zur Herleitung der Kleinergleichrelation kann man ähnlich wie zur Herleitung der Rechenoperatoren verfahren; man betrachtet also zunächst einfache Fälle, auf die man den komplizierten Fall zurückführt. Im Fall der Kleinergleichrelation sind die Vergleich von und mit Null einfach; man definiert: M<0 \leq n :\Leftrightarrow \text{(wahr)}> mit M. M mit M, oder, umgeformt: M mit M -- jeder Nachfolger ist größer als Null. Zur Herleitung der Definition für die anderen Fälle kann man M ansetzen und dann das bereits bekannte Wissen über Äquivalenzumformungen von Ungleichungen nutzen: M<\begin{array}{clclll} {} & u &\leq& v & ⇔ & {} \qquad \text{\textsl{(Schreiben von }}u\text{\textsl{ und }}v\text{\textsl{ als Nachfolger)}} \\ {}⇔& n + 1 &\leq& m + 1 & ⇔ & {} \qquad \text{\textsl{(Abziehen von }}1\text{\textsl{ auf beiden Seiten)}} \\ {}⇔& n &\leq& m \end{array}> Anders geschrieben: =for latex {\framebox{\vbox{ I M<\begin{array}{@{}rlclcl} {} \text{I.} & 0 &\leq& m &:\Leftrightarrow& \text{(wahr)} \\ {} \text{II.} & S(n) &\not\leq& 0 &:\Leftrightarrow& \text{(wahr)} \\ {} \text{III.} & S(n) &\leq& S(m) &:\Leftrightarrow& n \leq m \end{array}> mit M. =for latex }}\par{}} =for comment M, falls M M ⇔ M mit M Beispiele: M<\begin{array}{crclll} {} & 1 &\leq& 3 & ⇔ & {} \qquad \text{\textsl{(Schreiben als Nachfolger)}} \\ {}⇔& S(0) &\leq& S(2) & ⇔ & {} \qquad \text{\textsl{(Anwenden der Kleinergleichrelationsvorschrift)}} \\ {}⇔& 0 &\leq& 2 & ⇔ \text{(wahr)} \end{array}> M<\begin{array}{crclll} {} & 3 &E& 1 & ⇔ & {} \qquad \text{\textsl{(Schreiben als Kleinergleichrelation)}} \\ {}⇔& 3 &\not\leq& 1 & ⇔ & {} \qquad \text{\textsl{(Schreiben als Nachfolger)}} \\ {}⇔& S(2) &\not\leq& S(0) & ⇔ & {} \qquad \text{\textsl{(Anwenden der Kleinergleichrelationsvorschrift)}} \\ {}⇔& 2 &\not\leq& 0 & ⇔ \text{(wahr)} \end{array}> Die hier definierte Kleinergleichrelation ist, wie sie es auch sein sollte, reflexiv (M für alle M), antisymmetrisch (aus M und M folgt M) und transitiv (aus M und M folgt M). Da sich die Beweise dieser Eigenschaften aus vollständiger Induktion über mehrere Variablen ergeben, sind sie vergleichsweise lang, weswegen ich sie hier nicht ausführe. =head7 Idee hinter der Definition Die Idee, die hinter der hergeleiteten Kleinergleichrelationsvorschrift steckt, ist die gleiche wie die der Subtraktionsvorschrift, die "Relativität": Ob zwei Zahlen zueinander kleinergleich sind, hängt nicht von ihren absoluten Zahlenwerten ab. Dass der Subtraktions- und der Kleinergleichrelationsvorschrift die gleiche Idee zugrundeliegt, kann man schon an der Symmetrie der Notationen der Definitionen erkennen: M<\begin{array}{@{}lrcl} {} \text{Regel II. der Subtraktionsvorschrift:} & {} S(n) - S(m) &:=& n - m \\ {} \text{Regel III. der Kleinergleichrelationsvorschrift:} & {} S(n) \leq S(m) &:\Leftrightarrow& n \leq m \end{array}> =head5 Natur des Anfangselements und der Nachfolgerfunktion Die Existenz eines Anfangselements, das man mit "Null" bezeichnet, und einer Nachfolgerfunktion M genügen, um eine Menge der Repräsentanten natürlicher Zahlen zu konstruieren. An das Anfangselement stellt man dabei keinerlei Forderungen -- es ist lediglich ein Symbol, ähnlich wie es die Elemente von Ergebnisräumen in der Kombinatorik sind. Die einzige Bedingung, die eine Funktion erfüllen muss, damit man sie als Nachfolgerfunktion zur Konstruktion der natürlichen Zahlrepräsentanten nutzen kann, ist, dass der Nachfolgerrepräsentant M eines Zahlrepräsentanten M eindeutig ist -- für jeden Nachfolgerrepräsentant M gibt es genau einen Zahlrepräsentanten M, von dem M der Nachfolger ist. In Symbolen: M ⇒ M Über die Identität des Anfangselements und der Nachfolgerfunktion habe ich in den vorhergehenden Abschnitten keine Aussagen getroffen, M<0> und M blieben also abstrakt. Insbesondere habe ich nirgendwo den Term M definiert. Man kann aber auch M<0> und M konkrete Werte zuweisen. Bekannt ist dieses Vorgehen aus der analytischen Geometrie, bei der man -- je nach Vorliebe und Einsatzzweck -- Vektoren beispielsweise konkret als Dreiertupel reeller Zahlen, Polynome bis zum Grad M<3>, oder Mengen parallelgleicher Pfeile begreift, oder aber abstrakt bleibt und allgemein rechnet -- ohne Bezug auf eine bestimmte Realisierung der Axiome. Der Vorteil der Konkretisierung liegt darin, dass man möglicherweise einfacher denken kann oder dass sich rechnerische Vorteile ergeben. Ein solcher rechnerischer Vorteil ergibt sich beispielsweise bei der üblichen mengentheoretischen Realisierung der natürlichen Zahlen, die ich im nächsten Abschnitt beschreiben werde. Wichtig ist, dass einem bewusst ist, dass es keinesfalls notwendig ist, M<0> und M zu konkretisieren. Anfangselement und Nachfolgerfunktion abstrakt zu lassen, ist genauso möglich und hat (je nach persönlichem Geschmack) den Vorteil, dass man die natürlichen Zahlen nicht in eine bestimmte Realisierung "zwingt". =head4 Mengentheoretische Realisierung der natürlichen Zahlen Um 1900 herum war es den Mathematikern besonders wichtig, die Erkenntnisse der letzten Jahrhunderte zu formalisieren. Als zugrundeliegendes Axiomensystem nutzte man die Mengenlehre. ([[HilbertProg]], S. 1) Die natürlichen Zahlen ergeben sich in den mengentheoretischen Umgebung dadurch, indem man das Anfangselement M<0> und die Nachfolgerfunktion M sinnvoll konkretisiert. Eine für die Mengenlehre nützliche Konkretisierung enteckte/erfand Richard Dedekind [[NWikiDeDedekindPerson]] und lautet wie folgt: =for latex {\framebox{\vbox{ I M<0 := \left\{\right\}> M Damit ergeben sich für die Zahlensymbole folgende Definitionen: M<\begin{array}{@{}rcl} {} 0 &=& \left\{\right\} \text{ (nach Definition)} \\ {} 1 &=& S(0) = S\!\left(\left\{\right\}\right) = {} \left\{\right\} \cup \left\{ \left\{\right\} \right\} = {} \left\{ \left\{\right\} \right\} = \left\{ 0 \right\} \\ {} 2 &=& S(1) = S\!\left(\left\{ 0 \right\}\right) = {} \left\{ 0 \right\} \cup \left\{ \left\{ 0 \right\} \right\} = {} \left\{ 0, \left\{ 0 \right\} \right\} = {} \left\{ 0, 1 \right\} \\ {} 3 &=& S(2) = S\!\left(\left\{ 0,1 \right\}\right) = {} \left\{ 0,1 \right\} \cup \left\{ \left\{ 0,1 \right\} \right\} = {} \left\{ 0,1, \left\{ 0,1 \right\} \right\} = {} \left\{ 0,1, 2 \right\} \\ {} 4 &=& S(3) = \cdots = \left\{ 0, 1, 2, 3 \right\} \\ {} &\vdots \end{array}> Die Menge der Repräsentanten natürlicher Zahlen ist dementsprechend: M<\mathds{N}_0 = \left\{ 0, S(0), S(S(0)), S(S(S(0))), \ldots \right\} = {}\left\{ \left\{\right\}, \left\{ 0 \right\}, \left\{ 0, 1 \right\}, \left\{ 0,1,2 \right\}, \ldots \right\}> =for latex }}\par{}} Man begreift Repräsentanten natürlicher Zahlen also als die Menge ihrer Vorgängerrepräsentanten. Beispiel: M<6 = \left\{ 0,1,2,3,4,5 \right\} = \left\{ n \in \mathds{N}_0 \,\middle|\, n E 6 \right\}>. Die Definitionen der Rechenoperatoren und Relationen kann man analog wie die Zahlensymbole in den Formalismus der Mengenlehre überführen; man also lediglich "M<0>" durch "M<\left\{\right\}>" ersetzen und statt "M" "M" schreiben. Beispielsweise lautet die auf diese Weise übergeführte Definition der Addition wie folgt: =for latex {\framebox{\vbox{ I M<\begin{array}{@{}rlclcl} {} \text{I.} & N &+& \left\{\right\} &=& N \\ {} \text{II.} & N &+& \left(M \cup \left\{ M \right\}\right) &=& S(N + M) = \left(N + M\right) \cup \left\{ N + M \right\} \end{array}> mit M. =for latex }}\par{}} Dadurch, dass M<0> und M jetzt nicht mehr rein abstrakt sind, sondern konkretisiert wurden, kann man einige der übertragenen Definitionen vereinfachen. Beispielsweise kann man die Kleinergleichrelation (M<\leq>) auf die (unechte) Teilmengenrelation (M<\subseteq>) reduzieren. Diese Vereinfachung ist zulässig, da ein Repräsentant einer natürlichen Zahl in der mengentheoretischen Realisierung der Peano-Axiome die Menge der Repräsentanten all ihrer Vorgänger ist; ein Zahlenbeispiel verdeutlicht den Zusammenhang: M<\begin{array}{@{}rrclll} {} & 2 &\leq& 5 & ⇔ & {} \qquad \text{\textsl{(Schreiben als Mengen)}} \\ {}⇔& \left\{ 0,1 \right\} &\leq& \left\{ 0,1,2,3,4 \right\} & ⇔ & {} \qquad \text{\textsl{(Ausnutzen von }}\left(\mathord{\leq}\right) = \left(\mathord{\subseteq}\right)\text{\textsl{)}} \\ {}⇔& \left\{ 0,1 \right\} &\subseteq& \left\{ 0,1,2,3,4 \right\} & ⇔ \text{(wahr)} \end{array}> =head4 Verallgemeinerung der mengentheoretischen Realisierung der Peano-Axiome =for latex \label{FANVerallg} Verbreitet ist auch noch eine Verallgemeinerung der im letzten Abschnitt vorgestellten mengentheoretischen Realisierung der natürlichen Zahlen. Betrachtet man die Anzahl der Elemente der mengentheoretischen Repräsentanten natürlicher Zahlen (die ja Mengen sind)... M<\begin{array}{@{}rcll} {} 0 &=& \left\{\right\}\!{:} & \text{keine Elemente} \\ {} 1 &=& \left\{0\right\}\!{:} & \text{ein Element} \\ {} 2 &=& \left\{0,1\right\}\!{:} & \text{zwei Elemente} \\ {} 3 &=& \left\{0,1,2\right\}\!{:} & \text{drei Elemente} \\ {} &\vdots \end{array}> ...so fällt auf, dass der Repräsentant jeder Zahl genau so viele Elemente enthält, wie die Zahl, die er repräsentiert, groß ist. Als Verallgemeinerung liegt nun nahe, einen Repräsentant einer natürlichen Zahl als die Menge aller Mengen, die so viele Elemente enthalten, wie die Zahl, die er repräsentiert, groß ist, zu begreifen. In Symbolen: =for latex {\framebox{\vbox{ I =for comment M<\begin{array}{@{}rrl} {} 0 &:=& \left\{ M \,\middle|\, M\text{ ist eine Menge und }M\text{ enthält keine Elemente} \right\} = \left\{\left\{\right\}\right\} \\ {} 1 & =& \left\{ M \,\middle|\, M\text{ ist eine Menge und }M\text{ enthält ein Element} \right\} = {} \left\{ {} \left\{ 0 \right\}, {} \left\{ a \right\}, \left\{ b \right\}, {} \left\{ c \right\}, \left\{ d \right\}, \ldots {} \right\} \\ {} 2 & =& \left\{ M \,\middle|\, M\text{ ist eine Menge und }M\text{ enthält zwei Elemente} \right\} = {} \left\{ {} \left\{ 0,1 \right\}, {} \left\{ a,b \right\}, \left\{ a,c \right\}, \left\{ a,d \right\}, \ldots, {} \left\{ b,c \right\}, \left\{ b,d \right\}, \left\{ b,e \right\}, \ldots {} \right\} \\ {} 3 & =& \left\{ M \,\middle|\, M\text{ ist eine Menge und }M\text{ enthält drei Elemente} \right\} = {} \left\{ {} \left\{ 0,1,2 \right\}, {} \left\{ a,b,c \right\}, \left\{ a,b,d \right\}, \left\{ a,b,e \right\}, \ldots, {} \left\{ a,c,d \right\}, \left\{ a,c,e \right\}, \left\{ a,c,f \right\}, \ldots {} \right\} \\ {} &\vdots \end{array}> =for comment mit M paarweise ungleich (ansonsten nicht näher spezifiziert). M<\begin{array}{@{}rrl} {} 0 &:=& \left\{ M \,\middle|\, M\text{ ist eine Menge und }M\text{ enthält keine Elemente} \right\} \\ {} 1 & =& \left\{ M \,\middle|\, M\text{ ist eine Menge und }M\text{ enthält ein Element} \right\} \\ {} 2 & =& \left\{ M \,\middle|\, M\text{ ist eine Menge und }M\text{ enthält zwei Elemente} \right\} \\ {} 3 & =& \left\{ M \,\middle|\, M\text{ ist eine Menge und }M\text{ enthält drei Elemente} \right\} \\ {} &\vdots \end{array}> =for latex }}\par{}} Die im letzten Abschnitt vorgestellten Repräsentanten natürlicher Zahlen der speziellen mengentheoretischen Realisierung der Peano-Axiome sind Elemente der verallgemeinerten Repräsentanten. Beispielsweise ist M<3_{\text{speziell}} = \left\{ 0_{\text{spez.}}, 1_{\text{spez.}}, 2_{\text{spez.}} \right\}> und M<3_{\text{allgemein}} = \left\{ \underbrace{\left\{ 0_{\text{spez.}}, 1_{\text{spez.}}, 2_{\text{spez.}} \right\}}_{3_{\text{spez.}}}, \text{\ldots andere Mengen mit genau drei Elementen\ldots} \right\}>. Die Idee hinter dieser verallgemeinerten Realisierung liegt in der Abstraktion von Mengen auf ihre Mächtigkeit hin: Mengen, auch des Alltags (Taschen, Koffer), können unabhängig von der Art ihres Inhalts in der Zahl ihrer Elemente übereinstimmen. Bei Kindern gilt diese Abstraktionsfähigkeit als eine Voraussetzung zum Rechnen ([[NMengAbst]], S. 5). =head4 Visualisierung natürlicher Zahlen am Zahlenstrahl Ein beliebtes Mittel zur Veranschaulichung natürlicher Zahlen ist der Zahlenstrahl. Dabei werden Zahlen mit Positionen auf dem Strahl identifiziert, und auch Addition und Subtraktion können durch Hinzunehmen eines zweiten Strahls und geeignetem Verschieben erklärt werden (Abb. [[BILD:NStrahl]] auf S. [[LINK:NStrahl]]). =for latex \begin{figure} =helper MyBook::Helper::XFig #FIG 3.2 Landscape Center Metric A4 100.00 Single -2 1200 2 6 900 862 4365 997 4 0 0 50 -1 0 12 0.0000 4 135 90 900 997 0\001 4 0 0 50 -1 0 12 0.0000 4 135 90 1590 997 1\001 4 0 0 50 -1 0 12 0.0000 4 135 90 2250 997 2\001 4 0 0 50 -1 0 12 0.0000 4 135 90 2940 997 3\001 4 0 0 50 -1 0 12 0.0000 4 135 90 3585 997 4\001 4 0 0 50 -1 0 12 0.0000 4 135 90 4275 997 5\001 -6 6 2250 1928 5715 2063 4 0 0 50 -1 0 12 0.0000 4 135 90 2250 2064 0\001 4 0 0 50 -1 0 12 0.0000 4 135 90 2940 2064 1\001 4 0 0 50 -1 0 12 0.0000 4 135 90 3600 2064 2\001 4 0 0 50 -1 0 12 0.0000 4 135 90 4290 2064 3\001 4 0 0 50 -1 0 12 0.0000 4 135 90 4935 2064 4\001 4 0 0 50 -1 0 12 0.0000 4 135 90 5625 2064 5\001 -6 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2 0 0 1.00 105.00 150.00 2280 225 2280 675 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2 0 0 1.00 105.00 150.00 3630 2700 3630 2250 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2 0 0 1.00 105.00 150.00 3630 225 3630 675 2 1 2 1 0 7 50 -1 -1 3.000 0 0 -1 0 0 2 2280 1575 2280 1350 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2 2955 1350 2955 1125 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2 3630 1350 3630 1125 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2 4306 1350 4306 1125 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2 1605 1350 1605 1125 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2 930 1350 930 1125 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2 2280 1350 2280 1125 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2 3630 1575 3630 1800 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2 4305 1575 4305 1800 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2 4980 1575 4980 1800 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2 5656 1575 5656 1800 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2 2955 1575 2955 1800 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2 2280 1575 2280 1800 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2 930 1238 4755 1238 2 1 2 1 0 7 50 -1 -1 3.000 0 0 -1 0 0 2 4770 1238 5130 1238 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2 2280 1687 6105 1687 2 1 2 1 0 7 50 -1 -1 3.000 0 0 -1 0 0 2 6120 1687 6480 1687 4 0 0 50 -1 0 12 0.0000 4 135 660 3330 90 2 + 2 = 4\001 =hend =for latex \caption{\label{FANStrahl}Veranschaulichung der Addition natürlicher Zahlen am Zahlenstrahl} \hrulefill\vspace*{1em} \end{figure} Man sollte sich aber darüber bewusst sein, dass die oft ohne zu hinterfragen akzeptierte Äquidistanz der Zahlen auf dem Zahlenstrahl keineswegs aus der mathematischen Definition der natürlichen Zahlen nach Peano folgt. Die Peano-Axiome fordern lediglich eine Nachfolgerfunktion M, die einem Zahlrepräsentanten M seinen eindeutigen Nachfolgerrepräsentanten M zuordnet. Möchte man das Konzept des Zahlenstrahls mittels der Peano-Axiomen formalisieren, so kann man für M beispielsweise folgende Funktion nehmen: M Genauso verwendbar wäre aber eine Nachfolgerfunktion M, die abhängig vom Zahlrepräsentanten M, dem sie seinen Nachfolgerrepräsentanten M zuordnet, unterschiedlich weit nach rechts geht. In der Tat nutzt man das Konzept des nicht-äquidistanten Zahlenstrahls, beispielsweise bei der Multiplikation und Division mittels Rechenschiebern [[NRechenschieber]]. Dort wird eine Zahl M nicht M, sondern M<\log x \,\mathrm{LE}> (die Wahl der Basis unterliegt nur praktischen Überlegungen) von einem Ursprung entfernt aufgetragen. Zur Multiplikation und Division werden dann die besonderen Eigenschaften der Logarithmusfunktion, M<\log x + \log y = \log\!\left(x \cdot y\right)> und M<\log x - \log y = \log\!\left(x : y\right)>, ausgenutzt; man führt also Multiplikation und Division auf Addition bzw. Subtraktion zurück. Addition und Subtraktion erfolgen wie beim äquidistanten Zahlenstrahl durch geeignetes Verschieben zweier Strähle. =for timestamp Sa Nov 4 15:26:21 CET 2006 =head3 Ganze Zahlen Zur Definition der ganzen Zahlen und der Operationen auf den ganzen Zahlen sind verschiedene Ansätze denkbar. Zwei Ansätze werden hier vorgestellt. Der eine ist vergleichsweise naheliegend, der andere komplizierter. Beide haben ihre Vor- und Nachteile. Wie bei den natürlichen Zahlen ist keine Realisierung der ganzen Zahlen besonders "natürlich" oder auf eine andere Art und Weise ausgezeichnet; je nach Geschmack und Situationsanforderungen kann man zwischen den verschiedenen denkbaren Ansätzen frei wählen. =head4 Ganze Zahlen als Verknüpfung der positiven natürlichen Zahlen mit zwei Symbolen Man kann die ganzen Zahlen in drei Klassen einteilen: die negativen ganzen Zahlen, die Zahl Null, und die positiven ganzen Zahlen. Die positiven ganzen Zahlen unterscheiden sich von den negativen nur in ihrem Vorzeichen. Es liegt daher nahe, Repräsentanten positiver und negativer ganzer Zahlen als Verknüpfung eines Symbols M<+> bzw. M<-> mit den Repräsentanten natürlicher Zahlen anzusehen. In Symbolen: M<\mathds{Z} := \left(\left\{+,-\right\} \times \mathds{N}^+\right) \cup \left\{ 0 \right\}>, wobei "M<0>" auf der rechten Seite der Definition lediglich als Symbol, und nicht als den bereits definierten Repräsentanten der natürlichen Zahl Null, begriffen werden soll. Man nutzt zur Darstellung dieses Symbols trotzdem den üblichen Glyphen für Null, da dieses Symbol die Rolle der Null der ganzen Zahlen übernehmen wird; die Lesbarkeit wird durch die Assoziationen, die der vertraute Glyph weckt, erhöht. Beispiele: M<3_{\mathds{Z}} = (+, 3_{\mathds{N^+}})>, M<\quad> M<\left(-4\right)_{\mathds{Z}} = (-, 4_{\mathds{N^+}})> Um die Elemente von M<\mathds{Z}> mit denen von M<\mathds{N}_0> unterscheiden zu können, werde ich Indizes nach Zahlsymbolen und Verknüpfungen nutzen. Beispielsweise meint "M<3_{\mathds{Z}}>" den Repräsentanten der ganzen Zahl Drei aus M<\mathds{Z}>, während "M<3_{\mathds{N}_0}>" für den Repräsentanten aus M<\mathds{N}_0> steht. Wenn die Typzugehörigkeit aus dem Zusammenhang folgt, werde ich auf die Indizes der Übersichtlichkeit halber verzichten. Diese mathematische Formalisierung des Begriffs der ganzen Zahlen kommt dem Alltag sehr nahe: Ganze Zahlen betrachtet man nicht als etwas von den natürlichen Zahlen völlig verschiedenes, sondern lediglich als eine naheliegende Erweiterung. Dementsprechend führt man auch im Alltag die Rechenoperatoren und Relationen der ganzen Zahlen auf eine einfache Art und Weise auf die entsprechenden Regeln der natürlichen Zahlen zurück. Dies drückt sich beispielsweise in Regeln wie "minus mal minus ist plus" aus: Man ignoriert zunächst die Vorzeichen und rechnet über die Regeln der natürlichen Zahlen, und stellt dann dem Ergebnis noch ein Vorzeichen voraus. =head5 Vorteile dieser Definition Diese Realisierung der ganzen Zahlen hat den Vorteil, dass die Repräsentation einer Zahl eindeutig ist: Jede ganze Zahl hat genau einen Repräsentanten in M<\mathds{Z}>. (Das ist nicht selbstverständlich: Beispielsweise ist die Repräsentation einer Zahl bei der alternativ denkbaren Definition M<\mathds{Z}' = \left\{+,-\right\} \times \mathds{N}_0> nicht eindeutig, da es in M<\mathds{Z}'> zwei Repräsentanten für Null gibt: M<(+,0_{\mathds{N}_0})> und M<(-,0_{\mathds{N}_0})>.) Das hat sprachliche Konsequenzen: Da jeder Zahl umkehrbar eindeutig genau eine Repräsentation -- ein Element von M<\mathds{Z}> -- zugeordnet ist, kann man die ganzen Zahlen mit den Elementen von M<\mathds{Z}> identifizieren, also die Unterscheidung von abstrakten Zahlen und Repräsentanten der Zahlen fallen lassen. Außerdem muss man somit, wie auch bei den natürlichen Zahlen, nicht eigenhändig die Gleichheitsrelation definieren -- die Gleichheitsrelation folgt aus der strukturellen Gleichheit; zwei Repräsentanten ganzer Zahlen, M und M, sind genau dann gleich, wenn sie in ihrer Identität übereinstimmen. Anders ausgedrückt: M<0 \in \mathds{Z}> ist nur zu sich selbst gleich. Für die anderen Repräsentanten gilt: Zwei Repräsentanten ganzer Zahlen, M<(s_1,n_1)> und M<(s_2,n_2)>, sind genau dann gleich, wenn das Symbol übereinstimmt und die natürlichen Zahlrepräsentanten M und M gleich sind. In Symbolen: M<(s,n) \neq 0> M<(s_1,n_1) = (s_2,n_2)> ⇔ M und M =head5 Nachteile dieser Definition Nachteil dieser Realisierung der ganzen Zahlen ist, dass die Definitionen der Operatoren und Relationen auf den ganzen Zahlen nicht sehr elegant sind: Es sind viele Fallunterscheidungen notwendig, um die drei Klassen abzudecken. Beispielsweise ist die Addition nicht so einfach wie bei den natürlichen Zahlen als M, M definierbar, sondern benötigt acht (!) Fallunterscheidungen: M 0 \text{ und } y \geq 0 \\ {} \left(+, \left|x\right| -_{\mathds{N}_0} \left|y\right|\right) & {} \text{für } x E 0 \text{ und } y E 0 \text{ und } \left|x\right| E \left|y\right| \\ {} \left(-, \left|y\right| -_{\mathds{N}_0} \left|x\right|\right) & {} \text{für } x E 0 \text{ und } y E 0 \text{ und } \left|x\right| E \left|y\right| \\ {} \left(-, \left|x\right| +_{\mathds{N}_0} \left|y\right|\right) & {} \text{für } x E 0 \text{ und } y \leq 0 \\ {} \left(-, \left|x\right| -_{\mathds{N}_0} \left|y\right|\right) & {} \text{für } x E 0 \text{ und } y E 0 \text{ und } \left|x\right| E \left|y\right| \\ {} \left(+, \left|y\right| -_{\mathds{N}_0} \left|x\right|\right) & {} \text{für } x E 0 \text{ und } y E 0 \text{ und } \left|x\right| E \left|y\right| \end{cases}> mit: M<-z := \begin{cases} {} 0_{\mathds{Z}} & \text{für } z = 0_{\mathds{Z}} \\ {} (-, n) & \text{für } z = (+, n) \\ {} (+, n) & \text{für } z = (-, n) \end{cases}> M<\left|z\right| := \begin{cases} {} 0_{\mathds{N}_0} & \text{für } z = 0_{\mathds{Z}} \\ {} n & \text{für } z = (s, n) \end{cases}> Diese Definition der Addition auf den ganzen Zahlen spiegelt die Idee wieder, dass man im Alltag die Operatoren auf den ganzen Zahlen auf Operatoren auf den natürlichen Zahlen zurückführt. Damit man korrekte Ergebnisse erhält, muss man dazu die Vorzeichen und absoluten Zahlenwerte der Operanden miteinander vergleichen. =head5 Abwägung der Vor- und Nachteile Mir erscheint der Nachteil der uneleganten Definitionen für wichtiger als die Vorteile dieser Realisierung, weswegen ich die Realisierung der ganzen Zahlen als Verknüpfung der natürlichen Zahlrepräsentanten mit zwei Symbolen hier nicht weiter ausführen werde. Stattdessen werde ich einen anderen Ansatz vorstellen, bei dem die Definitionen der Rechenoperatoren sehr elegant und kurz sind und ohne Fallunterscheidungen auskommen. Da, wie erwähnt, keine Realisierung besonders ausgezeichnet ist, kann man nicht sagen, eine Realisierung sei allgemein "besser" als eine andere. Vielmehr haben Realisierungen je nach Einssatzzweck und Geschmack Vor- und Nachteile. =head4 Ganze Zahlen als Paare natürlicher Zahlen Man kann ganze Zahlen auch durch Paare zweier natürlicher Zahlrepräsentanten repräsentieren: M<\mathds{Z} := \mathds{N}_0 \times \mathds{N}_0>. Dabei begreift man ein Paar M<(n,m) \in \mathds{Z}> als Differenz der natürlichen Zahlrepräsentanten M und M, also als M; die "Relativität der Differenzoperation" wird unterstrichen (beispielsweise ist M<8 - 3> gleich M<9 - 4> gleich M<10 - 5>). M bezeichne ich als "Vorwärtszählkomponente", M als "Rückwärtszählkomponente" des Paars M<(n,m)>. =for latex \label{FAZPaarEinf} Beispiele: M<3_{\mathds{Z}} \equiv {}\left(3_{\mathds{N}_0}, 0_{\mathds{N}_0}\right) \equiv {}\left(4_{\mathds{N}_0}, 1_{\mathds{N}_0}\right) \equiv {}\left(5_{\mathds{N}_0}, 2_{\mathds{N}_0}\right) \equiv {}\cdots>, M<\quad> M<\left(-4\right)_{\mathds{Z}} \equiv {}\left(0_{\mathds{N}_0}, 4_{\mathds{N}_0}\right) \equiv {}\left(1_{\mathds{N}_0}, 5_{\mathds{N}_0}\right) \equiv {}\left(2_{\mathds{N}_0}, 6_{\mathds{N}_0}\right) \equiv {}\cdots> (Die genauere Bedeutung des M<\equiv>-Zeichens werde ich gleich genauer erläutern; aus formalen Gründen darf man nicht das Gleichheitszeichen (M<=>) an dieser Stelle nutzen. Statt M<\mathds{N}_0> könnte man auch Elemente aus M<\mathds{N}^+> oder aus bestimmten anderen Teilmengen von M<\mathds{N}_0>, M<\left\{ n \in \mathds{N}_0 \,\middle|\, n \geq k \right\}> (mit M beliebig), zur Paarbildung heranziehen.) Während man bei den natürlichen Zahlen nach Peano mittels einer Nachfolgerfunktion M nur vorwärts zählt, zählt man bei dieser Realisierung der ganzen Zahlen auch rückwärts: Die erste Paarkomponente M eines Repräsentanten einer ganzen Zahl, M<(n,m)>, gibt an, wie oft, von der Null beginnend, vorwärts gezählt werden soll, und die zweite Komponente M gibt an, wie oft, ausgehend vom Ergebnis des Vorwärtszählens, man rückwärts zählen soll. =head5 Vor- und Nachteile dieser Definition Bei dieser Realisierung der ganzen Zahlen ist die Zahlrepräsentation nicht eindeutig: So bedeuten beispielsweise die Paare M<(8,3)>, M<(9,4)> und M<(10,5)> dieselbe Zahl M<5_{\mathds{Z}}>. Dies ist nicht ganz unproblematisch, da viele Denkgewohnheiten nicht mehr sinnvoll anwendbar sind. Auf der anderen Seite lässt diese Definition sehr elegante Definitionen der Rechenoperatoren und Relationen zu. Ich erachte diesen Vorteil für wichtiger als die Nachteile, die sich durch die nicht-eindeutige Zahlrepräsentation ergeben, und werde daher diesen Ansatz hier näher ausführen. Auch werde ich zwei Methoden vorstellen, die das Problem der nicht-eindeutigen Zahlrepräsentation lösen. =head5 Relationen Bei der Definition der Rechenoperatoren und Relation auf den ganzen Zahlen greift man auf die Verknüpfungen der natürlichen Zahlen zurück. Anders als bei der zuerst vorgestellten Realisierung der ganzen Zahlen sind die Definitionen sehr kurz und kommen ohne Fallunterscheidungen aus. Die Problematik, inwieweit man sicher sein kann, dass die hier präsentierten Vorschriften den bekannten Vorschriften entsprechen, die ich im Rahmen der natürlichen Zahlen auf S. [[LINK:NProbGleich]] erläutert habe, betrifft die ganzen Zahlen (natürlich) ebenfalls. =head6 Äquivalenzrelation Wie angedeutet, ist bei der Realisierung der ganzen Zahlen als Paare natürlicher Zahlrepräsentanten die Repräsentation einer Zahl nicht eindeutig. Man möchte nun trotzdem ganze Zahlen hinsichtlich ihrer Gleichheit vergleichen können; dazu muss man also eine Gleichheitsrelation definieren. Anders als bei der Realisierung der natürlichen Zahlen nach Peano, bei der die Zahlrepräsentation eindeutig ist und damit die Gleichheitsbeziehung unmittelbar aus der strukturellen Gleichheit folgt, muss man bei der Realisierung der ganzen Zahlen als Paare natürlicher Zahlrepräsentanten die Äquivalenzrelation eigens definieren. Anders formuliert möchte man gerne sagen, dass zwei Repräsentanten ganzer Zahlen, die hinsichtlich ihrer Identität unterschiedlich sind -- beispielsweise M<(8,3)> und M<(9,4)> --, trotzdem äquivalent sind. Man schreibt dann M<(8,3) \equiv (9,4)>; die Äquivalenzrelation (M<\equiv>) muss man aber noch definieren. Zur Herleitung der Äquivalenzbeziehung kann man die Grundidee der Definition von M<\mathds{Z}> aufgreifen: Ein Repräsentant einer ganzen Zahl, M<(n,m)> mit M, begreift man als die Differenz M. Es liegt daher nahe, zwei Zahlrepräsentanten M<(n,m)> und M<(\nu,\mu)> mit M genau dann als äquivalent zu erklären, wenn M ist. Problem an dieser Definition ist, dass die Subtraktion M bzw. M<\nu - \mu> nicht für alle M bzw. M<\nu,\mu \in \mathds{N}_0> definiert ist. Möchte man beispielsweise die Gleichheit von M<\left(-2\right)_{\mathds{Z}} \equiv \left(3_{\mathds{N}_0},5_{\mathds{N}_0}\right)> zu einem anderen Ganzzahlrepräsentant untersuchen, müsste man, wenn man dieser Definition folgt, die Differenz aus M<3_{\mathds{N}_0}> und M<5_{\mathds{N}_0}> berechnen. M<3_{\mathds{N}_0} - 5_{\mathds{N}_0}> ist aber nicht definiert; die Definition ist also unzureichend, da sie nicht auf alle Repräsentanten ganzer Zahlen anwendbar ist. Mittels des Wissens über Äquivalenzumformungen von Gleichungen kann man die Definition aber so umformen, dass sie für alle Repräsentanten ganzer Zahlen anwendbar wird: M<\begin{array}{@{}rrclll} {} & n - m &=& \nu - \mu & ⇔ & {} \qquad \text{\textsl{(Herüberbringen von }}m\text{\textsl{ und }}\mu\text{\textsl{)}} \\ {}⇔& n + \mu &=& \nu + m \end{array}> Dieser Ausdruck ist für alle M definiert. Man kann daher definieren: Zwei Repräsentanten ganzer Zahlen, M<(n,m)> und M<(\nu,\mu)> mit M, sind genau dann äquivalent, wenn der natürliche Zahlrepräsentant M gleich dem natürlichen Zahlrepräsentant M<\nu + n> ist. In Symbolen: =for latex {\framebox{\vbox{ I M<(n,m) \equiv_{\mathds{Z}} (\nu,\mu) :\Leftrightarrow n + \mu =_{\mathds{N}_0} \nu + m> mit M<(n,m), (\nu,\mu) \in \mathds{Z}>. Die Ungleichheit (M<\not\equiv>) ergibt sich als die logische Umkehrung dieser Definition: M<(n,m) \not\equiv_{\mathds{Z}} (\nu,\mu) :\Leftrightarrow n + \mu \neq_{\mathds{N}_0} \nu + m> mit M<(n,m), (\nu,\mu) \in \mathds{Z}>. =for latex }}\par{}} Bei dieser Definition der Äquivalenz ist also nicht die Identität der Zahlrepräsentanten entscheidend (wie sie es bei der Realisierung der natürlichen Zahlen nach Peano ist und dort auch sinnvoll ist), sondern vielmehr der Vergleich zweier natürlicher Zahlrepräsentanten, die sich auf eine bestimmte Art und Weise aus den Repräsentanten der ganzen Zahlen ergeben. Es ist wichtig, die strukturelle Gleichheit (M<=>) von der hier definierten Äquivalenzrelation (M<\equiv>) zu unterscheiden. Beispielsweise ist M<(3,5)> hinsichtlich der strukturellen Gleichheit, die die Identität der Repräsentanten vergleicht, nicht zu M<(4,6)> gleich (M<(3,5) \neq (4,6)>), da M<3 \neq 4> und M<5 \neq 6>, wohl aber hinsichtlich der Äquivalenzrelation M<\equiv>, die anhand der hergeleiteten Vorschrift vergleicht: M<(3,5) \equiv (4,6)>, da M<\underbrace{3 + 6}_9 =_{\mathds{N}_0} \underbrace{4 + 5}_9>. Hinsichtlich der strukturellen Gleichheit ist M<(3,5)> nur zu sich selbst, und zu keinem anderen Paar natürlicher Zahlrepräsentanten, gleich; hinsichtlich der Äquivalenzrelation ist M<(3,5)> zu sich und zu unendlich vielen weiteren Paaren äquivalent. =head7 Illustration des Äquivalenzkonzepts anhand der Kongruenz in der Geometrie Äquivalenzrelationen führt man nicht nur im Kontext des formalen Aufbaus der Zahlen ein, sondern auch in anderen Teilgebieten der Mathematik, beispielsweise in der Geometrie: Dort kann man Dreiecke als 3-Tupel der Eckpunktskoordinaten begreifen. Die strukturelle Gleichheit drückt dann aus, dass zwei Dreiecke M<(A,B,C)> und M<(X,Y,Z)> mit den Eckpunkten M bzw. M genau aufeinander liegen, also dass M<(A,B,C) = (X,Y,Z)> gilt, was bedeutet, dass M, M und M gelten. Eine mögliche Äquivalenzrelation ist in diesem Kontext dann die Kongruenzrelation, bei der nicht die absolute Lage der Dreiecke relevant ist, sondern nur entscheidend ist, ob die Dreiecke durch Kongruenzabbildungen zur Deckung gebracht werden können. [[CAequi]] Formalisieren könnte man die Definition der Kongruenzrelation beispielsweise wie folgt: M<(A,B,C) \equiv (X,Y,Z) :\Leftrightarrow \overline{AB} = \overline{XY} \text{ und } \overline{BC} = \overline{YZ} \text{ und } \overline{CA} = \overline{ZX}> Wie auch bei der Äquivalenz ganzer Zahlrepräsentanten muss man dabei zwischen der strukturellen Gleichheit und der Kongruenz unterscheiden; die Verwechslungsgefahr ist aber in der Geometrie geringer, da der Umgang mit Dreiecken viel anschaulicher ist als der formale Aufbau der Zahlenmengen. =head7 Eigenschaften der Äquivalenzrelation Von einer Äquivalenzrelation erwartet man, dass sie reflexiv, symmetrisch und transitiv ist [[CAequi]]. Die hergeleitete Äquivalenzrelationsvorschrift der ganzen Zahlen erfüllt diese drei Bedingungen: =over =item * Reflexivität bedeutet, dass jeder Repräsentant einer Zahl zu sich selbst äquivalent ist. Beweis: M<\begin{array}{@{}rrclll} {} & (n,m) &\equiv_{\mathds{Z}}& (n,m) & ⇔ & {} \qquad \text{\textsl{(Anwenden der Äquivalenzrelationsvorschrift)}} \\ {}⇔& n + m &=_{\mathds{N}_0}& n + m & ⇔ \text{(wahr)} \end{array}> =item * Symmetrie bedeutet, dass, wenn ein Repräsentant M zu einem Repräsentanten M äquivalent ist, auch M zu M äquivalent ist. Die Symmetrie der aufgestellten Äquivalenzrelation folgt aus der Symmetrie der strukturellen Gleichheit (M<=>): M<\begin{array}{@{}rrclll} {} & x &\equiv_{\mathds{Z}}& y & ⇔ & {} \qquad \text{\textsl{(Schreiben als Paare)}} \\ {}⇔& (n,m) &\equiv_{\mathds{Z}}& (\nu,\mu) & ⇔ & {} \qquad \text{\textsl{(Anwenden der Äquivalenzrelationsvorschrift)}} \\ {}⇔& n + \mu &=_{\mathds{N}_0}& \nu + m & ⇔ & {} \qquad \text{\textsl{(Vertauschen der beiden Seiten)}} \\ {}⇔& \nu + m &=_{\mathds{N}_0}& n + \mu & ⇔ & {} \qquad \text{\textsl{(Rückwärtiges Anwenden der Äquivalenzrelationsvorschrift)}} \\ {}⇔& (\nu,\mu) &=_{\mathds{N}_0}& (n,m) & ⇔ & {} \qquad \text{\textsl{(Schreiben als "`}}x\text{\textsl{"' und "`}}y\text{\textsl{"')}} \\ {}⇔& y &\equiv_{\mathds{Z}}& x \end{array}> =item * Transitivität bedeutet, dass, wenn ein Repräsentant M zu einem Repräsentant M äquivalent ist, und wenn M zu einem Repräsentant M äquivalent ist, auch M zu M äquivalent ist. In Symbolen: M mit M. Voraussetzungen: M<\begin{array}{@{}rrclcrcl} {} \text{I.} & x = (n,m) &\equiv_{\mathds{Z}}& (\nu,\mu) = y & ⇔ & {} n + \mu &=& \nu + m \\ {} \text{II.} & y = (\nu,\mu) &\equiv_{\mathds{Z}}& (a,b) = z & ⇔ & {} \nu + b &=& a + \mu \end{array}> Behauptung: M Beweis: M<\begin{array}{@{}rrclll} {}\text{I.} ⇔ & x &\equiv& y & ⇔ & {} \qquad \text{\textsl{(Anwenden der Äquivalenzrelationsvorschrift)}} \\ {}⇔& n + \mu &=& \nu + m & ⇔ & {} \qquad \text{\textsl{(Addieren von }}\left(\nu + b\right)\text{\textsl{zu beiden Seiten)}} \\ {}⇔& n + \mu + \nu + b &=& \nu + m + \nu + b& ⇔ & {} \qquad \text{\textsl{(Schreiben von "`}}\nu + b\text{\textsl{"' der rechten Seite als "`}}a + \mu\text{\textsl{"', nach II.)}} \\ {}⇔& n + \mu + \nu + b &=& \nu + m + a + \mu& ⇔ & {} \qquad \text{\textsl{(Abziehen von}}\left(\mu + \nu\right)\text{\textsl{ auf beiden Seiten)}} \\ {}⇔& n + b &=& m + a & ⇔ & {} \qquad \text{\textsl{(Umdrehen der Summationsreihenfolge auf der rechten Seite)}} \\ {}⇔& n + b &=& a + m & ⇔ & {} \qquad \text{\textsl{(Rückwärtiges Anwenden der Äquivalenzvorschrift)}} \\ {}⇔& (n,m) &\equiv& (a,b) & ⇔ \text{Beh.} \end{array}> =back =head7 Definition der Zahlensymbole für ganze Zahlen =for latex \label{FAZSym} Die Äquivalenzrelation ist auch wichtig zur Definition der Bedeutung der Zahlensymbole. Im Einführungsbeispiel auf S. [[LINK:ZPaarEinf]] vermied ich es, Zahlensymbole mit der strukturellen Gleichheit (M<=>) zu erklären, ich ließ also die Identität der Zahlensymbole undefiniert: M<3_{\mathds{Z}} \equiv {}\left(3_{\mathds{N}_0}, 0_{\mathds{N}_0}\right) \equiv {}\left(4_{\mathds{N}_0}, 1_{\mathds{N}_0}\right) \equiv {}\left(5_{\mathds{N}_0}, 2_{\mathds{N}_0}\right) \equiv {}\cdots>, M<\quad> M<\left(-4\right)_{\mathds{Z}} \equiv {}\left(0_{\mathds{N}_0}, 4_{\mathds{N}_0}\right) \equiv {}\left(1_{\mathds{N}_0}, 5_{\mathds{N}_0}\right) \equiv {}\left(2_{\mathds{N}_0}, 6_{\mathds{N}_0}\right) \equiv {}\cdots> Stattdessen nutzte ich die Äquivalenzrelation (M<\equiv>). Das hat den Grund, dass es unendlich viele mögliche Paare natürlicher Zahlrepräsentanten gibt, die hinsichtlich der Äquivalenzrelation (M<\equiv>) alle dieselbe ganze Zahl repräsentieren. Hinsichtlich der Rechenoperatoren (M<+>, M<->, M<\cdot>, M<:>) und Relationen (M>, M<\leq>, M>, M<\geq>) "verhalten" sich all diese unendlich vielen Repräsentanten gleich. Willkürlich für jede Zahl einen Repräsentanten herauszusuchen, den man dann zur Definition der Bedeutung des entsprechenden Zahlsymbols nutzen würde, erscheint daher nicht sinnvoll. (Ich werde beim Abschnitt über die Wiederherstellung der Repräsentationseindeutigkeit auf S. [[LINK:ZRep]] zeigen, dass dieses Vorgehen durchaus Sinn ergeben kann, vorausgesetzt, dass man noch ein paar andere Dinge beachtet.) Den Problemen kann man also aus dem Weg gehen, indem man die Bedeutung der Zahlsymbole hinsichtlich der strukturellen Gleichheit vorerst nicht definiert und nur die Äquivalenzrelation zur Definition nutzt: =for latex {\framebox{\vbox{ I M<\begin{array}{@{}rclcrcl} {} &&& {} \ 0_{\mathds{Z}} :\equiv \left(0_{\mathds{N}_0},0_{\mathds{N}_0}\right)_{\mathds{Z}}\ \\ {} 1_{\mathds{Z}} &:\equiv& \left(1_{\mathds{N}_0},0_{\mathds{N}_0}\right)_{\mathds{Z}} {} && {} \left(-1\right)_{\mathds{Z}} &:\equiv& \left(0_{\mathds{N}_0},1_{\mathds{N}_0}\right)_{\mathds{Z}} \\ {} 2_{\mathds{Z}} &:\equiv& \left(2_{\mathds{N}_0},0_{\mathds{N}_0}\right)_{\mathds{Z}} {} && {} \left(-2\right)_{\mathds{Z}} &:\equiv& \left(0_{\mathds{N}_0},2_{\mathds{N}_0}\right)_{\mathds{Z}} \\ {} 3_{\mathds{Z}} &:\equiv& \left(3_{\mathds{N}_0},0_{\mathds{N}_0}\right)_{\mathds{Z}} {} && {} \left(-3\right)_{\mathds{Z}} &:\equiv& \left(0_{\mathds{N}_0},3_{\mathds{N}_0}\right)_{\mathds{Z}} \\ {} &\vdots& {} && {} &\vdots \end{array}> Man trifft zunächst keine Entscheidung über die Identität der Zahlensymbole, die folgenden Ausdrücke sind also undefiniert: M<0_{\mathds{Z}} = \mathord{?}>, M<1_{\mathds{Z}} = \mathord{?}>, M<2_{\mathds{Z}} = \mathord{?}>, ... =for latex }}\par{}} Um die folgenden Definitionen der Relationen und Rechenoperatoren anwenden zu können, ist es notwendig, für ganze Zahlen bestimmte Repräsentanten auszuwählen. Da, wie ich stellenweise auch beweisen werde, sich alle Repräsentanten einer ganzen Zahl "gleich verhalten", kann diese Wahl willkürlich erfolgen; was das konkret bedeutet, wird im nächsten Abschnitt klar werden. =head6 Kleiner-, Kleinergleich-, Größergleich- und Größerrelation Wie bei der Definition der natürlichen Zahlen in dieser Arbeit kann man auch bei den ganzen Zahlen die Kleiner- (M>), Größergleich- (M<\geq>) und Größerrelation (M>) auf die Kleinergleichrelation (M<\leq>) zurückführen. ([[STondering]], S. 10) Bei der Realisierung der ganzen Zahlen als Paare natürlicher Zahlrepräsentanten ergibt sich dabei eine sprachliche Unsauberkeit: Da, wie bereits erläutert, die strukturelle Gleichheit keine sinnvolle Äquivalenzrelation auf den ganzen Zahlen darstellt, ist auch die Relation "kleiner oder strukturell gleich" nicht besonders sinnvoll -- beispielsweise wäre M<(3,5)> nicht kleinergleich zu M<(4,6)>, obwohl beide Paare M<\left(-2\right)> repräsentieren. Stattdessen meine ich im Folgenden mit der "Kleinergleichrelation" die Relation "kleiner oder äquivalent"; dementsprechend müsste es auch "Kleineräquivalentrelation" heißen. In der Literatur wird dieser Begriff aber nicht genutzt. Ich folge der Konvention und schreibe "Kleinergleichrelation" bzw. "M<\leq>". Analoges gilt für die Größergleichrelation. Zur Herleitung der Kleinergleichrelation kann man analog zur Herleitung der Äquivalenzrelation die Paare als Differenzen begreifen und das bereits bekannte Wissen über Äquivalenzumformungen von Ungleichungen nutzen: M<\begin{array}{@{}crclcl} {} & (n,m) &\leq_{\mathds{Z}}& (\nu,\mu) & ⇔ & {} \qquad \text{\textsl{(Umschreiben als Differenzen)}} \\ {} ⇔& n - m &\leq_{\mathds{N}_0}& \nu - \mu & ⇔ & {} \qquad \text{\textsl{(Herüberbringen von }}m\text{\textsl{ und }}\mu\text{\textsl{)}} \\ {} ⇔& n + \mu &\leq_{\mathds{N}_0}& \nu + m \end{array}> Der Ausdruck der vorherigen Zeile ist für alle M definiert; man kann also definieren: =for latex {\framebox{\vbox{ I M<(n,m) \leq_{\mathds{Z}} (\nu,\mu) :\Leftrightarrow n +_{\mathds{N}_0} \mu \leq_{\mathds{N}_0} \nu +_{\mathds{N}_0} m> mit M<(n,m), (\nu,\mu) \in \mathds{Z}>. =for latex }}\par{}} Beispiel: M<\begin{array}{@{}crclll} {} & 3_{\mathds{Z}} &\leq_{\mathds{Z}}& 5_{\mathds{Z}} & \Leftrightarrow & {} \qquad \text{\textsl{(Schreiben als Paare natürlicher Zahlrepräsentanten)}} \\ {} ⇔& (5_{\mathds{N}_0},2_{\mathds{N}_0}) &\leq_{\mathds{Z}}& (6_{\mathds{N}_0},1_{\mathds{N}_0}) & \Leftrightarrow & {} \qquad \text{\textsl{(Anwenden der Definition der Kleinergleichrelation)}} \\ {} ⇔& 5_{\mathds{N}_0} + 1_{\mathds{N}_0} &\leq_{\mathds{N}_0}& 6_{\mathds{N}_0} + 2_{\mathds{N}_0} & \Leftrightarrow & {} \qquad \text{\textsl{(Ausrechnen der beiden Seiten)}} \\ {} ⇔& 6_{\mathds{N}_0} &\leq_{\mathds{N}_0}& 8_{\mathds{N}_0} & \Leftrightarrow \text{(wahr)} \end{array}> Um die Kleinergleichrelationsvorschrift anwenden zu können, muss man als ersten Schritt sich für eine bestimmte Repräsentierung der zu vergleichenden Zahlen entscheiden. Im Beispiel wurde für M<3_{\mathds{Z}}> willkürlich der Repräsentant M<(5_{\mathds{N}_0},2_{\mathds{N}_0})>, und für M<5_{\mathds{Z}}> der Repräsentant M<(6_{\mathds{N}_0},1_{\mathds{N}_0})> gewählt; man hätte aber auch beliebige andere Repräsentanten von M<3_{\mathds{Z}}> bzw. M<5_{\mathds{Z}}> nehmen können. Ich verzichte an dieser Stelle auf die Beweise der Reflexivität (M für alle M), Antisymmetrie (aus M und M folgt M) und Transitivität (aus M und M folgt M). Die Grundidee der Beweise liegt darin, die Gleichungen so umzuformen, dass man auf die Eigenschaften der Kleinergleichrelation der natürlichen Zahlen zurückgreifen kann. =head5 Rechenoperatoren Unter der Realisierung der ganzen Zahlen als Paare natürlicher Zahlrepräsentanten lassen sich die Operatoren auf ihnen sehr elegant definieren. =head6 Addition Zur Herleitung der Additionsvorschrift kann man zwei Repräsentanten ganzer Zahlen, M<(n,m)> und M<(\nu,\mu)> mit M, betrachten, und dann das bereits bekannte Wissen über äquivalente Termumformungen nutzen: M<\begin{array}{@{}cll} {} & \left(n - m\right) + \left(\nu - \mu\right) = & {} \qquad \text{\textsl{(Weglassen der Plusklammern)}} \\ {}=& n - m + \nu - \mu = & {} \qquad \text{\textsl{(Gruppieren nach Vorzeichen)}} \\ {}=& n + \nu - m - \mu = & {} \qquad \text{\textsl{(Ausklammern der negativen Summanden)}} \\ {}=& n + \nu - \left(m + \mu\right) = & {} \qquad \text{\textsl{(Klammern der positiven Summanden)}} \\ {}=& \left(n + \nu\right) - \left(m + \mu\right) \end{array}> Also erhält man folgende kurze Definition der Addition, die ohne Fallunterscheidungen auskommt: =for latex {\framebox{\vbox{ I M<(n,m) +_{\mathds{Z}} (\nu,\mu) := (n+_{\mathds{N}_0}\nu,m+_{\mathds{N}_0}\mu)> mit M<(n,m), (\nu,\mu) \in \mathds{Z}>. =for latex }}\par{}} Beispiel: M<\begin{array}{@{}cll} {} & \left(-2\right)_{\mathds{Z}} + \left(-5\right)_{\mathds{Z}} ≡ & {} \qquad \text{\textsl{(Schreiben als Paare natürlicher Zahlrepräsentanten)}} \\ {}≡& \left(2_{\mathds{N}_0}, 4_{\mathds{N}_0}\right) +_{\mathds{Z}} {} \left(9_{\mathds{N}_0}, {14}_{\mathds{N}_0}\right) = & {} \qquad \text{\textsl{(Anwenden der Additionsvorschrift)}} \\ {}=& \left(2_{\mathds{N}_0} + 9_{\mathds{N}_0}, 4_{\mathds{N}_0} + {14}_{\mathds{N}_0}\right) = & {} \qquad \text{\textsl{(Ausrechnen der Paarkomponenten)}} \\ {}=& \left(11_{\mathds{N}_0}, 18_{\mathds{N}_0}\right) ≡ & {} \qquad \text{\textsl{(Schreiben als Dezimalzahl)}} \\ {}≡& \left(-7\right)_{\mathds{Z}} \end{array}> Bei der Definition der Zahlensymbole auf S. [[LINK:ZSym]] schrieb ich, jeder der unendlich vielen Repräsentanten einer ganzen Zahl "verhalte" sich bei den Rechenoperationen gleich. Diese Aussage kann man jetzt, mit definierter Additionsvorschrift, überprüfen, indem man exemplarisch das Beispiel erneut ausrechnet, jetzt aber andere Repräsentationen von M<\left(-2\right)> und M<\left(-5\right)> wählt: M<\begin{array}{@{}cll} {} & \left(-2\right)_{\mathds{Z}} + \left(-5\right)_{\mathds{Z}} ≡ & {} \qquad \text{\textsl{(Schreiben als Paare natürlicher Zahlrepräsentanten)}} \\ {}≡& \left(4_{\mathds{N}_0}, 6_{\mathds{N}_0}\right) + {} \left(2_{\mathds{N}_0}, 7_{\mathds{N}_0}\right) = & {} \qquad \text{\textsl{(Anwenden der Additionsvorschrift)}} \\ {}=& \left(4_{\mathds{N}_0} + 2_{\mathds{N}_0}, 6_{\mathds{N}_0} + 7_{\mathds{N}_0}\right) = & {} \qquad \text{\textsl{(Ausrechnen der Paarkomponenten)}} \\ {}=& \left(6_{\mathds{N}_0}, 13_{\mathds{N}_0}\right) ≡ & {} \qquad \text{\textsl{(Schreiben als Dezimalzahl)}} \\ {}≡& \left(-7\right)_{\mathds{Z}} \end{array}> Allgemein (mit M beliebig): M<\begin{array}{@{}cll} {} & (n + a,m + a) + (\nu + b,\mu + b) = & {} \qquad \text{\textsl{(Anwenden der Additionsvorschrift)}} \\ {}=& (n + a + \nu + b, m + a + \mu + b) ≡ \\ {}≡& (n + \nu, m + \mu) & {} \qquad \text{da \textsl{(Anwenden der Äquivalenzdefinition)}:} \\ {}&& \qquad \mathrel{\phantom{=}} \left(n + a + \nu + b\right) + \left(m + \mu\right) = n + m + \nu + \mu + a + b = \\ {}&& \qquad = \left(m + a + \mu + b\right) + \left(n + \nu\right) = n + m + \nu + \mu + a + b\text{,} \\ {}&& \qquad \text{da die }\mathds{N}_0\text{-Addition kommutiert und assoziiert.} \end{array}> Die hier aufgeführte Definition der Addition auf den ganzen Zahlen ist zur verinnerlichten Vorschrift äquivalent. Um diese Tatsache einzusehen, kann man beweisen, dass die bekannten Gesetze, die die Addition betreffen, wie beispielsweise das Kommutativ- oder Assoziativgesetz, auch von der hergeleiteten Additionsvorschrift erfüllt werden. (Formal reicht reicht das noch nicht aus, um zu beweisen, dass die verinnerlichte Vorschrift wirklich der hier gegebenen entspricht; vielmehr dienen die Beweise nur der Einübung der Additionsvorschrift und zeigen darüberhinaus noch einige interessante Konsequenzen der Nichteindeutigkeit der Zahlrepräsentation.) =over =item * Beweis der Gültigkeit des Kommutativgesetzes M<(n,m) + (\nu,\mu) = (\nu,\mu) + (n,m)>: M<\begin{array}{@{}cll} {} & (n,m) + (\nu,\mu) = & {} \qquad \text{\textsl{(Anwenden der Additionsvorschrift)}} \\ {}=& (n + \nu, m + \mu) = & {} \qquad \text{\textsl{(Anwenden des }}\mathds{N}_0\text{\textsl{-Kommutativgesetzes innerhalb der Paarkomponenten)}} \\ {}=& (\nu + n, \mu + m) = & {} \qquad \text{\textsl{(Schreiben als Summe zweier ganzer Zahlrepräsentanten)}} \\ {}=& (\nu,\mu) + (n,m) \end{array}> =item * Beweis der Gültigkeit des Assoziativgesetzes M<\left[(n_1,m_1) + (n_2,m_2)\right] + (n_3,m_3) = (n_1,m_1) + \left[(n_2,m_2) + (n_3,m_3)\right]>: M<\begin{array}{@{}cll} {} & \left[(n_1,m_1) + (n_2,m_2)\right] + (n_3,m_3) = & {} \qquad \text{\textsl{(Anwenden der Additionsvorschrift)}} \\ {}=& (n_1 + n_2, m_1 + m_2) + (n_3,m_3) = & {} \qquad \text{\textsl{(Erneutes Anwenden der Additionsvorschrift)}} \\ {}=& \left(\left(n_1 + n_2\right) + n_3, \left(m_1 + m_2\right) + m_3\right) = & {} \qquad \text{\textsl{(Anwenden des Assoziativgesetzes der natürlichen Zahlen)}} \\ {}=& \left(n_1 + \left(n_2 + n_3\right), m_1 + \left(m_2 + m_3\right)\right) = & {} \qquad \text{\textsl{(Schreiben als Summe)}} \\ {}=& (n_1,m_1) + (n_2 + n_3, m_2 + m_3) = & {} \qquad \text{\textsl{(Schreiben des zweiten Summanden als Summe)}} \\ {}=& (n_1,m_1) + \left[(n_2,m_2) + (n_3, m_3)\right] \end{array}> =item * =for latex \label{FAZNeutr} Überprüfung der Neutralität von Null, M<(n,m) + 0_{\mathds{Z}} = (n,m)>: M<\begin{array}{@{}cll} {} & (n,m) + 0_{\mathds{Z}} ≡ & {} \qquad \text{\textsl{(Schreiben von }}{0_{\mathds{Z}}}\text{\textsl{ als Paar)}} \\ {}≡& (n,m) + (a,a) = & {} \qquad \text{\textsl{(}}a \in \mathds{N}_0\text{\textsl{ beliebig)}} \\ {}&& \qquad \text{\textsl{(Anwenden der Additionsvorschrift)}} \\ {}=& (n + a, m + a) ≡ \\ {}≡& (n, m) & {} \qquad \text{da } \left(n + a\right) + m = \left(m + a\right) + n \end{array}> Die Neutralität von Null gilt also nur in abgeschwächter Form, nämlich hinsichtlich der Äquivalenz (M<\equiv>), nicht aber hinsichtlich der strukturellen Gleichheit (M<=>). Streng genommen ist sogar die Formulierung des Neutralitätsgesetzes, wie hier von mir verwendet, an dieser Stelle formal ohne Sinn, da M<0_{\mathds{Z}}> über die strukturelle Gleichheit (M<=>) in Beziehung gesetzt wird, obwohl ich die Identität von M<0_{\mathds{Z}}> noch nicht definiert habe -- bei der Definition der Zahlensymbole für die ganzen Zahlen auf S. [[LINK:ZSym]] habe ich lediglich definiert, dass M<0_{\mathds{Z}}> äquivalent zu M<(0,0)> ist, aber keine Aussage über die Identität von M<0_{\mathds{Z}}> getroffen. Auch gibt es nicht nur ein neutrales Element, sondern unendlich viele: M<0_{\mathds{Z}} \equiv {}(0_{\mathds{N}_0},0_{\mathds{N}_0}) \equiv {}(1_{\mathds{N}_0},1_{\mathds{N}_0}) \equiv {}(2_{\mathds{N}_0},2_{\mathds{N}_0}) \equiv {}(3_{\mathds{N}_0},3_{\mathds{N}_0}) \equiv \cdots> Ab S. [[LINK:ZRep]] werden zwei Verfahren vorgestellt, mit denen man die Zahlrepräsentation eindeutig machen kann. Damit wird auch die Neutralität von Null hinsichtlich der strukturellen Gleichheit wiederhergestellt und auch wird es nur noch ein einziges neutrales Element geben. =item * Der Beweis, dass M das inverse Element zu M<-z> ist, kann man erst später erbringen, da die Negation an dieser Stelle noch nicht definiert ist. Der Beweis folgt auf S. [[LINK:ZNeg]]. =back Die Idee hinter der Definition der Addition kann man erkennen, wenn man die Bedeutung der Komponenten der Paare, die die ganzen Zahlen repräsentieren, betrachtet: Ein Paar M<(n,m)> gibt an, dass man von Null beginnend M Mal vorwärts, und dann vom Ergebnis des Vorwärtszählens M mal rückwärts zählt. Das Ergebnis der Addition von M<(n,m)> und M<(\nu,\mu)>, also M<(n,m) + (\nu,\mu) = (n + \nu, m + \mu)>, fasst also die Vorwärtszähl- und die Rückwärtszählkomponenten der beiden Summanden zusammen; das Ergebnis der Addition ist die Zahl, die man erhält, wenn man von Null ausgehend zuerst M Mal vorwärts zählt, dann weitere M<\nu> Male vorwärts zählt, und dann zunächst M Mal, dann M<\mu> Mal rückwärts zählt. Ingesamt zählt man also, von Null beginnend, M Mal vorwärts, und von dem Ergebnis des Vorwärtszählens ausgehend M Mal rückwärts. =head6 Subtraktion Um die Subtraktionsvorschrift über den ganzen Zahlen herzuleiten, kann man das bereits bekannte Wissen über äquivalente Termumformungen nutzen oder den Weg über die Negation gehen. =over =item * I Man betrachtet zwei Repräsentanten ganzer Zahlen, M<(n,m)> und M<(\nu,\mu)> mit M, und nutzt das Wissen über äquivalente Termumformungen: M<\begin{array}{@{}cll} {} & \left(n - m\right) - \left(\nu - \mu\right) = & {} \qquad \text{\textsl{(Weglassen der Plusklammer, Ausmultiplizieren der Minusklammer)}} \\ {}=& n - m - \nu + \mu = & {} \qquad \text{\textsl{(Gruppieren nach Vorzeichen)}} \\ {}=& n + \mu - m - \nu = & {} \qquad \text{\textsl{(Ausklammern von Summanden gleicher Vorzeichen)}} \\ {}=& \left(n + \mu\right) - \left(m + \nu\right) \end{array}> Man erhält also folgende kurze Definition der Subtraktion auf den ganzen Zahlen, die wie die hergeleitete Definition der Addition ohne Fallunterscheidungen auskommt: M<(n,m) - (\nu,\mu) := (n + \mu, m + \nu)> =item * I Alternativ kann man die Subtraktionsvorschrift auch unter Ausnutzung der bekannten Regel M herleiten, also unter Rückgriff auf die Negation. Dazu muss man freilich zunächst die Negationsvorschrift herleiten, beispielsweise über das Wissen über äquivalente Termumformungen: M<\begin{array}{@{}cll} {} & -\left(n - m\right) = & {} \qquad \text{\textsl{(Ausmultiplizieren der Minusklammer)}} \\ {}=& -n - \left(-m\right) = & {} \qquad \text{\textsl{(Ausnutzen des Zusammenhangs von Subtraktion und Negation)}} \\ {}=& -n + m = & {} \qquad \text{\textsl{(Umdrehen der Summationsreihenfolge)}} \\ {}=& m + \left(-n\right) = & {} \qquad \text{\textsl{(Schreiben als Differenz)}} \\ {}=& m - n \end{array}> Also: M<-(n,m) := (m,n)> =for latex \label{FAZNeg} Mit hergeleiteter Negationsvorschrift kann man jetzt auch Beweisen, dass M<-z = (m,n)> das bezüglich der Addition inverse Element zu M: M<\begin{array}{@{}cll} {} & z + \left(-z\right) = & {} \qquad \text{\textsl{(Schreiben als Paare natürlicher Zahlrepräsentanten)}} \\ {}=& (n,m) + \left[-\left(n,m\right)\right] = & {} \qquad \text{\textsl{(Anwenden der Negationsvorschrift)}} \\ {}=& (n,m) + (m,n) = & {} \qquad \text{\textsl{(Anwenden der Additionsvorschrift)}} \\ {}=& (n + m, m + n) ≡ \\ {}≡& (0,0) ≡ 0_{\mathds{Z}} & {} \qquad \text{da } \left(n + m\right) + 0 = 0 + \left(m + n\right) \end{array}> An der Verwendung des M<\equiv>-Zeichens kann man erkennen, dass es nicht nur ein inverses Element gibt, sondern unendlich viele. Das steht im Einklang mit meiner Behauptung, alle Repräsentanten einer Zahl "verhalten" sich gleich. Mit bekannter Negationsvorschrift kann man nun die Subtraktionsvorschrift herleiten: M<\begin{array}{@{}cll} {} & (n,m) - (\nu,\mu) = & {} \qquad \text{\textsl{(Schreiben als Summe)}} \\ {}=& (n,m) + \left[-(\nu,\mu)\right] = & {} \qquad \text{\textsl{(Anwenden der Negationsvorschrift)}} \\ {}=& (n,m) + (\mu,\nu) = & {} \qquad \text{\textsl{(Anwenden der Additionsvorschrift)}} \\ {}=& (n + \mu, m + \nu) \end{array}> =back Beide Wege führen also zur gleichen Subtraktionsvorschrift. Das ist auch nicht weiter verwunderlich, da man beim ersten Herleitungsweg, der Herleitung mittels äquivalenter Termumformungen, implizit auch die Negation nutzte. =for latex {\framebox{\vbox{ I M<(n,m) -_{\mathds{Z}} (\nu,\mu) := (n+_{\mathds{N}_0}\mu,m+_{\mathds{N}_0}\nu)> mit M<(n,m), (\nu,\mu) \in \mathds{Z}>. =for latex }}\par{}} Beispiel: M<\begin{array}{@{}cll} {} & \left(-2\right)_{\mathds{Z}} - \left(-5\right)_{\mathds{Z}} ≡ & {} \qquad \text{\textsl{(Schreiben als Paare natürlicher Zahlrepräsentanten)}} \\ {}≡& \left(2_{\mathds{N}_0}, 4_{\mathds{N}_0}\right) - {} \left(9_{\mathds{N}_0}, {14}_{\mathds{N}_0}\right) = & {} \qquad \text{\textsl{(Anwenden der Subtraktionsvorschrift)}} \\ {}=& \left(2_{\mathds{N}_0} + {14}_{\mathds{N}_0}, 4_{\mathds{N}_0} + 9_{\mathds{N}_0}\right) = & {} \qquad \text{\textsl{(Ausrechnen der Paarkomponenten)}} \\ {}=& \left({16}_{\mathds{N}_0}, {13}_{\mathds{N}_0}\right) ≡ & {} \qquad \text{\textsl{(Schreiben als Dezimalzahl)}} \\ {}≡& 3_{\mathds{Z}} \end{array}> =for latex \label{FAZSubAnti} Die hergeleitete Subtraktionsvorschrift ist, wie sie es auch sollte, antikommutativ; es gilt also nicht M (für allgemeines M), sondern M: M<\begin{array}{@{}cll} {} & -\left(y - x\right) = & {} \qquad \text{\textsl{(Schreiben von }}x\text{\textsl{ und }}y\text{\textsl{ als Paare)}} \\ {}=& -\left[\left(\nu,\mu\right) - \left(n,m\right)\right] = & {} \qquad \text{\textsl{(Anwenden der Subtraktionsvorschrift)}} \\ {}=& -\left(\nu + m,\mu + n\right) = & {} \qquad \text{\textsl{(Anwenden der Negationsvorschrift)}} \\ {}=& \left(\mu + n,\nu + m\right) = & {} \qquad \text{\textsl{(Vertauschen der Summanden)}} \\ {}=& \left(n + \mu,m + \nu\right) = & {} \qquad \text{\textsl{(Rückwärtiges Anwenden der Subtraktionsvorschrift)}} \\ {}=& (n,m) - (\nu,\mu) = & {} \qquad \text{\textsl{(Schreiben der Paare als }}x\text{\textsl{ und }}y\text{\textsl{)}} \\ {}=& x - y \end{array}> In die Subtraktionsvorschrift kann man die Idee hineininterpretieren, dass die Bedeutung der Paarkomponenten des Subtrahenden vertauscht wird: Während das Paar M<(\nu,\mu)> in der Addition M<(n,m) + (\nu,\mu)> bedeutet, dass man M<\nu> Mal vorwärts und M<\mu> Mal rückwärts zählt, bedeutet es bei der Subtraktion M<(n,m) - (\nu,\mu)> dagegen, dass man M<\mu> Mal vorwärts und M<\nu> Mal rückwärts zählt. Besonders deutlich wird das an einem Zahlenbeispiel, bei dem man als zweite Paarkomponente des Subtrahenden M<0_{\mathds{N}}> wählt: M<\begin{array}{@{}cll} {} & \left(-1\right)_{\mathds{Z}} - 6_{\mathds{Z}} \equiv & {} \qquad \text{\textsl{(Schreiben als Paare)}} \\ {}≡& (2_{\mathds{N}_0},3_{\mathds{N}_0}) - (6_{\mathds{N}_0},0_{\mathds{N}_0}) = & {} \qquad \text{\textsl{(Anwenden der Subtraktionsvorschrift)}} \\ {}=& (2 + 0, 3 + 6) = & {} \qquad \text{\textsl{(Ausrechnen der Paarkomponenten)}} \\ {}=& (2_{\mathds{N}_0}, 9_{\mathds{N}_0}) \equiv \left(-7\right)_{\mathds{Z}} \end{array}> Man erkennt, dass M<6_{\mathds{N}_0}>, das im Subtrahenden die erste Paarkomponente ist und somit angibt, wie oft man vorwärts zählt, nach Anwenden der Subtraktionsvorschrift an zweiter Stelle im Paar M<(2 + 0, 3 + 6)> steht und somit angibt, wie oft man rückwärts zählt. =head6 Multiplikation Zur Herleitung der Multiplikationsvorschrift kann man zwei Repräsentanten ganzer Zahlen, M<(n,m)> und M<(\nu,\mu)>, mit M betrachten und dann das Wissen über äquivalente Termumformungen nutzen: M<\begin{array}{@{}cll} {} & \left(n - m\right) \cdot \left(\nu - \mu\right) = & {} \qquad \text{\textsl{(Ausmultiplizieren)}} \\ {}=& n \nu - n \mu - m \nu + m \mu = & {} \qquad \text{\textsl{(Gruppieren nach Vorzeichen)}} \\ {}=& n \nu + m \mu - n \mu - m \nu = & {} \qquad \text{\textsl{(Ausklammern nach Vorzeichen)}} \\ {}=& \left(n \nu + m \mu\right) - \left(n \mu + m \nu\right) \end{array}> Man erhält also folgende kurze Definition der Multiplikation auf den ganzen Zahlen: =for latex {\framebox{\vbox{ I M<(n,m) \cdot_{\mathds{Z}} (\nu,\mu) := (n \nu +_{\mathds{N}_0} m \mu, n \mu +_{\mathds{N}_0} m \nu)> mit M<(n,m), (\nu,\mu) \in \mathds{Z}>. =for latex }}\par{}} Diese Definition ist, wie auch die Definitionen der Addition und Subtraktion, ohne Fallunterscheidungen. Beispiel: M<\begin{array}{@{}cll} {} & \left(-2\right)_{\mathds{Z}} \cdot \left(-5\right)_{\mathds{Z}} ≡ & {} \qquad \text{\textsl{(Schreiben als Paare natürlicher Zahlen)}} \\ {}≡& \left(2_{\mathds{N}_0}, 4_{\mathds{N}_0}\right) \cdot {} \left(9_{\mathds{N}_0}, {14}_{\mathds{N}_0}\right) = & {} \qquad \text{\textsl{(Anwenden der Multiplikationsvorschrift)}} \\ {}=& \left(2_{\mathds{N}_0} \cdot 9_{\mathds{N}_0} + 4_{\mathds{N}_0} \cdot {14}_{\mathds{N}_0}, 2_{\mathds{N}_0} \cdot {14}_{\mathds{N}_0} + 4_{\mathds{N}_0} \cdot 9_{\mathds{N}_0}\right) = & {} \qquad \text{\textsl{(Ausrechnen der Summanden)}} \\ {}=& \left(18_{\mathds{N}_0} + 56_{\mathds{N}_0}, 28_{\mathds{N}_0} + 36_{\mathds{N}_0}\right) = & {} \qquad \text{\textsl{(Ausrechnen der Paarkomponenten)}} \\ {}=& \left(74_{\mathds{N}_0}, 64_{\mathds{N}_0}\right) ≡ & {} \qquad \text{\textsl{(Schreiben als Dezimalzahl)}} \\ {}≡& 10_{\mathds{Z}} \end{array}> Um die Kommutativität und Assoziativität der hier definierten Ganzzahlmultiplikation zu beweisen, kann man M und M bzw. M und M<(x y) z> nach der hergeleiteten Multiplikationsvorschrift ausrechnen und die Ergebnisse miteinander vergleichen, ähnlich wie beim Beweis der Antikommutativität der Ganzzahlsubtraktion (erbracht auf S. [[LINK:ZSubAnti]]). Die Beweise bringen aber für den weiteren Verlauf dieser Arbeit keinen Erkenntnisgewinn, weswegen ich sie hier nicht ausführe. Die Definition spiegelt die bekannten Regeln "minus mal minus ist plus" und "minus mal plus ist minus" wieder: Das Produkt aus M<(n,m)> und M<(\nu,\mu)>, M<(n \nu + m \mu, n \mu + m \nu)>, enthält als Vorwärtszählkomponente M und als Rückwärtszählkomponente M. M und M<\nu> sind die Vorwärtszählkomponenten der beiden Faktoren und wiegen im Produkt somit positiv ("plus mal plus ergibt plus"), weshalb das Produkt M auch in der Vorwärtszählkomponente des Produkts vorkommt. M und M<\nu> sind die Rückwärtszählkomponenten der beiden Faktoren; nach "minus mal minus ergibt plus" kommen sie ebenfalls in der Vorwärtszählkomponente des Produkts vor. Die beiden Summanden der Rückwärtszählkomponente des Produkts sind die Produkte jeweils entgegengesetzter Paarkomponenten -- "plus mal minus ergibt minus", "minus mal plus ergibt minus". =head7 Größerwerden der Paarkomponenten Da die Definitionen der Addition, Subtraktion und der Multiplikation der ganzen Zahlen auf die M<\mathds{N}_0>-Addition und -Multiplikation, nicht aber auf die M<\mathds{N}_0>-Subtraktion zurückgreifen, wachsen mit jeder Rechenoperation die Paarkomponenten monoton. Beispiel: M<\begin{array}{@{}cll} {} & 3_{\mathds{Z}} ≡ & {} \qquad \text{\textsl{(Addieren eines Nullterms)}} \\ {}≡& 3_{\mathds{Z}} + \overbrace{3_{\mathds{Z}} - 2_{\mathds{Z}} - 1_{\mathds{Z}}}^{\equiv 0_{\mathds{Z}}} ≡ & {} \qquad \text{\textsl{(Schreiben als Paare natürlicher Zahlrepräsentanten)}} \\ {}≡& (3,0) + (3,0) - (2,0) - (1,0) = & {} \qquad \text{\textsl{(Anwenden der Additionsvorschrift)}} \\ {}=& (6,0) - (2,0) - (1,0) = & {} \qquad \text{\textsl{(Anwenden der Subtraktionsvorschrift)}} \\ {}=& (6,2) - (1,0) = & {} \qquad \text{\textsl{(Erneutes Anwenden der Subtraktionsvorschrift)}} \\ {}=& (6,3) ≡ & {} \qquad \text{\textsl{(Schreiben als Dezimalzahl)}} \\ {}≡& 3_{\mathds{Z}} \end{array}> Die Addition eines Nullterms ändert also, wie auch gewünscht, den Zahlenwert hinsichtlich der Äquivalenz nicht, M<(3,0) \equiv (6,3)>; die Paarkomponenten wurden im Verlauf der Rechnung jedoch mit jedem Schritt größer. Abgesehen davon, dass für bestimmte Einsatzzwecke das ständige Anwachsen der Paarkomponenten unhandlich ist -- beispielsweise für eine Computerimplementierung --, stört das von einem rein mathematischen Standpunkt aus gesehen nicht. Hat der persönliche Geschmack trotzdem kleine Paarkomponenten lieber, so kann man "kürzen", indem man von beiden Paarkomponenten eine beliebige natürliche Zahl subtrahiert (genauer: ein natürlicher Zahlrepräsentant, für den die Subtraktion auf den natürlichen Zahlen noch definiert ist). Beispiel: M<\begin{array}{@{}cll} {} & 3_{\mathds{Z}} ≡ \left(6_{\mathds{N}_0},3_{\mathds{N}_0}\right) ≡ & {} \qquad \text{\textsl{(Abziehen von }}2\text{\textsl{ von den Paarkomponenten)}} \\ {}≡& (4_{\mathds{N}_0},1_{\mathds{N}_0}) ≡ 3_{\mathds{Z}} & {} \qquad \text{da }\underbrace{6 +_{\mathds{N}_0} 1}_7 = \underbrace{4 +_{\mathds{N}_0} 3} \end{array}> "Vollständig gekürzt" ist ein Repräsentant dann, wenn eine seiner beiden Paarkomponenten Null ist; beispielsweise ist der "vollständig gekürzte" Repräsentant von M<3_{\mathds{Z}}> M<(3_{\mathds{N}_0},0_{\mathds{N}_0})>. =begin comment =head7 Vergleich der Rechenvorschriften der natürlichen Zahlen mit denen der ganzen Zahlen Die Rechenvorschriften der natürlichen Zahlen sind allesamt rekursiv; jede Anwendung der Vorschriften vereinfacht die Rechnung, bis ein trivialer Fall auftritt, der die Rekursion bricht. Addition, Subtraktion und Multiplikation auf den ganzen Zahlen dagegen sind nicht rekursiv. Bei ihnen ergibt sich das Ergebnis, unabhängig von den Operanden, immer nach einem einzigen Schritt. for comment Dieser Abschnitt sollte evtl. nach-Division verschoben werden und evtl. ganz raus, da lol. =end comment =head7 Beweis der Gültigkeit der Umformungsregel M<\left(-x\right) \left(-y\right) = x y> =for latex \label{FAZMMP} Bei der Vorstellung der rationalen Zahlen werde ich später die bekannte Vereinfachungsregel M<\left(-x\right) \left(-y\right) = x y> nutzen. Die Gültigkeit dieser Umformung werde ich hier beweisen: M<\begin{array}{@{}rll} {} & \left(-x\right) \left(-y\right) = & {} \qquad \text{\textsl{(Schreiben als Paare)}} \\ {}=& \left[-(n,m)\right] \left[-(\nu,\mu)\right] = & {} \qquad \text{\textsl{(Anwenden der Negationsvorschrift)}} \\ {}=& (m,n) \cdot (\mu,\nu) = & {} \qquad \text{\textsl{(Anwenden der Multiplikationsvorschrift)}} \\ {}=& (m \mu + n \nu, m \nu + n \mu) = & {} \qquad \text{\textsl{(Vertauschen der Summanden nach dem Kommutativgesetz der }}\mathds{N}_0\text{\textsl{-Addition)}} \\ {}=& (n \nu + m \mu, n \mu + m \nu) = & {} \qquad \text{\textsl{(Schreiben als Produkt durch rückwärtiges Anwenden der Multiplikationsvorschrift)}} \\ {}=& (n,m) \cdot (\nu,\mu) = & {} \qquad \text{\textsl{(Schreiben als "`}}x\text{\textsl{"' und "`}}y\text{\textsl{"')}} \\ {}=& x y \end{array}> =head6 Division In diesem Abschnitt wird eine Definition der Division auf den ganzen Zahlen hergeleitet. Das erfolgt in großen Teilen analog zur Herleitung der Divisionsvorschrift auf den natürlichen Zahlen (S. [[LINK:NDivision]]), führt jedoch noch auf zwei Probleme, die die M<\mathds{N}_0>-Division nicht hat. Zur Herleitung der Definition der Division auf den ganzen Zahlen kann man ähnlich vorgehen wie bei der Herleitung der Division auf den natürlichen Zahlen: Man betrachtet zwei Repräsentanten ganzer Zahlen, M und M<\chi> mit M und M<\chi \not\equiv 0>, und setzt dann den Bruch M<\frac{x}{\chi}> an. Dann versucht man den Bruch so in zwei Teile aufzuspalten, dass der eine Teil M<1> ist und der andere Teil rekursiv in weiteren Schritten berechnet werden kann. Als Grundfall kann man den Fall nehmen, bei dem der Dividend Null ist: M<0_{\mathds{Z}} : \chi := 0_{\mathds{Z}}> für M<\chi \not\equiv 0>. Für den anderen Fall -- der Dividend ist nicht Null -- kann man sich des Wissens über äquivalente Termumformungen bedienen und erhält so eine provisorische Divisionsvorschrift: M<\renewcommand{\arraystretch}{1.6}\begin{array}{@{}cll} {} & \dfrac{x}{\chi} = & {} \qquad \text{\textsl{(Hinzufügen und Abziehen von }}\chi\text{\textsl{ im Zähler)}} \\ {}=& \dfrac{x + \chi - \chi}{\chi} = & {} \qquad \text{\textsl{(Stellen von }}\left(+\chi\right)\text{\textsl{ an den Beginn)}} \\ {}=& \dfrac{\chi + x - \chi}{\chi} = & {} \qquad \text{\textsl{(Aufspalten des Bruchs nach dem ersten Summanden)}} \\ {}=& \dfrac{\chi}{\chi} + \dfrac{x - \chi}{\chi} = & {} \qquad \text{\textsl{(Vereinfachen des ersten Bruchs)}} \\ {}=& 1 + \dfrac{x - \chi}{\chi} \end{array}> Die Idee hinter der provisorische Definition M illustriert ein Zahlenbeispiel: M<\begin{array}{@{}cll} {} & 12_{\mathds{Z}} : 4_{\mathds{Z}} ≡ & {} \qquad \text{\textsl{(Anwenden der provisorischen Divisionsvorschrift)}} \\ {}≡& 1_{\mathds{Z}} + \left(12_{\mathds{Z}} - 4_{\mathds{Z}}\right):4_{\mathds{Z}} ≡ & {} \qquad \text{\textsl{(Ausrechnen des Dividenden)}} \\ {}≡& 1_{\mathds{Z}} + 8_{\mathds{Z}} : 4_{\mathds{Z}} ≡ & {} \qquad \text{\textsl{(Erneutes Anwenden der provisorischen Divisionsvorschrift)}} \\ {}≡& 1_{\mathds{Z}} + 1_{\mathds{Z}} + \left(8_{\mathds{Z}} - 4_{\mathds{Z}}\right):4_{\mathds{Z}} ≡ & {} \qquad \text{\textsl{(Ausrechnen des Dividenden)}} \\ {}≡& 1_{\mathds{Z}} + 1_{\mathds{Z}} + 4_{\mathds{Z}}:4_{\mathds{Z}} ≡ & {} \qquad \text{\textsl{(Erneutes Anwenden der provisorischen Divisionsvorschrift)}} \\ {}≡& 1_{\mathds{Z}} + 1_{\mathds{Z}} + 1_{\mathds{Z}} + \left(4_{\mathds{Z}} - 4_{\mathds{Z}}\right):4_{\mathds{Z}} ≡ & {} \qquad \text{\textsl{(Ausrechnen des Dividenden)}} \\ {}≡& 1_{\mathds{Z}} + 1_{\mathds{Z}} + 1_{\mathds{Z}} + 0_{\mathds{Z}}:4_{\mathds{Z}} ≡ & {} \qquad \text{\textsl{(Erneutes Anwenden der provisorischen Divisionsvorschrift)}} \\ {}≡& 1_{\mathds{Z}} + 1_{\mathds{Z}} + 1_{\mathds{Z}} + 0_{\mathds{Z}} ≡ & {} \qquad \text{\textsl{(Ausrechnen der Summe)}} \\ {}≡& 3_{\mathds{Z}} \end{array}> Die Idee hinter dieser provisorischen Divisionsvorschrift ist also, dass man den Bruch so lange kleiner macht, bis er Null wird, und bei jedem Schritt des Kleinermachens eine Eins anhäuft. Die in der Herleitung benutzten Termumformungen sind zwar korrekt, die provisorische Divisionsvorschrift ist aber trotzdem noch nicht vollständig, da sie, wenn entweder der Dividend oder der Divisor (aber nicht beide) negativ ist, nicht terminiert, wie folgendes Zahlenbeispiel exemplarisch zeigt: M<\begin{array}{@{}cll} {} & \left(-12\right) : 4 ≡ & {} \qquad \text{\textsl{(Anwenden der provisorischen Divisionsvorschrift)}} \\ {}≡& 1 + \left[\left(-12\right) - 4\right] : 4 ≡ & {} \qquad \text{\textsl{(Ausrechnen des Dividenden)}} \\ {}≡& 1 + \left(-16\right) : 4 ≡ & {} \qquad \text{\textsl{(Erneutes Anwenden der provisorischen Divisionsvorschrift)}} \\ {}≡& 1 + 1 + \left[\left(-16\right) - 4\right] : 4 ≡ & {} \qquad \text{\textsl{(Ausrechnen des Dividenden)}} \\ {}≡& 1 + 1 + \left(-20\right) : 4 ≡ & {} \qquad \text{\textsl{(Erneutes Anwenden der provisorischen Divisionsvorschrift)}} \\ {}≡& 1 + 1 + 1 + \left[\left(-20\right) - 4\right] : 4 ≡ & {} \qquad \text{\textsl{(Ausrechnen des Dividenden)}} \\ {}≡& 1 + 1 + 1 + \left(-24\right) : 4 ≡ \\ {}≡& \cdots \end{array}> Die Zahl der bei jedem Schritt hinzugefügten Einser wächst also über alle Grenzen; entsprechend wird der Zähler des jeweils übrig bleibenden Bruchs ohne Beschränkung kleiner. Für den Fall, dass entweder Zähler oder Nenner negativ ist, also für M 0>, darf man also nicht versuchen, den Bruch immer kleiner zu machen und dabei Einser anzuhäufen, sondern man muss den Bruch immer größer machen und dabei M<\left(-1\right)>-er anhäufen. In Symbolen: M<\renewcommand{\arraystretch}{1.6}\begin{array}{@{}cll} {} & \dfrac{x}{\chi} = & {} \qquad \text{\textsl{(Hinzufügen und Abziehen von }}\chi\text{\textsl{ im Zähler)}} \\ {}=& \dfrac{x + \chi - \chi}{\chi} = & {} \qquad \text{\textsl{(Stellen von }}\left(-\chi\right)\text{\textsl{ an den Beginn)}} \\ {}=& \dfrac{\left(-\chi\right) + x + \chi}{\chi} = & {} \qquad \text{\textsl{(Aufspalten des Bruchs nach dem ersten Summanden)}} \\ {}=& \dfrac{-\chi}{\chi} + \dfrac{x + \chi}{\chi} = & {} \qquad \text{\textsl{(Vereinfachen des ersten Summanden)}} \\ {}=& -1 + \dfrac{x + \chi}{\chi} \end{array}> Beispiel: M<\begin{array}{@{}cll} {} & \left(-12\right) : 4 ≡ & {} \qquad \text{\textsl{(Anwenden der neuen Divisionsvorschrift)}} \\ {}≡& \left(-1\right) + \left[\left(-12\right) + 4\right] : 4 ≡ & {} \qquad \text{\textsl{(Ausrechnen des Dividenden)}} \\ {}≡& \left(-1\right) + \left(-8\right) : 4 ≡ & {} \qquad \text{\textsl{(Erneutes Anwenden der neuen Divisionsvorschrift)}} \\ {}≡& \left(-1\right) + \left(-1\right) + \left[\left(-8\right) + 4\right] : 4 ≡ & {} \qquad \text{\textsl{(Ausrechnen des Dividenden)}} \\ {}≡& \left(-1\right) + \left(-1\right) + \left(-4\right) : 4 ≡ & {} \qquad \text{\textsl{(Erneutes Anwenden der neuen Divisionsvorschrift)}} \\ {}≡& \left(-1\right) + \left(-1\right) + \left(-1\right) + \left[\left(-4\right) + 4\right] : 4 ≡ & {} \qquad \text{\textsl{(Ausrechnen des Dividenden)}} \\ {}≡& \left(-1\right) + \left(-1\right) + \left(-1\right) + 0 : 4 ≡ & {} \qquad \text{\textsl{(Erneutes Anwenden der provisorischen Divisionsvorschrift)}} \\ {}≡& \left(-1\right) + \left(-1\right) + \left(-1\right) + 0 ≡ & {} \qquad \text{\textsl{(Ausrechnen der Summe)}} \\ {}≡& {-3} \end{array}> Die beiden Teildefinitionen für M 0> und M 0> kann man zur vollständigen Definition der Division der ganzen Zahlen zusammenfassen: =for latex {\framebox{\vbox{ I M< {}x :_{\mathds{Z}} \chi :\equiv {}\begin{cases} {} \text{undefiniert} & \text{für } \chi \equiv 0 \\ {} 0 & \text{für } x \equiv 0 \text{ und } \chi \not\equiv 0 \\ {} 1 + \left(x - \chi\right):_{\mathds{Z}}\chi & \text{für } x \chi E 0 \\ {} \left(-1\right) + \left(x + \chi\right):_{\mathds{Z}}\chi & \text{für } x \chi E 0 {}\end{cases}> mit M. =for latex }}\par{}} Interessanterweise stimmt diese Definition der Division auf den ganzen Zahlen mit der Definition der Division auf den natürlichen Zahlen dieser Arbeit (S. [[LINK:NDiv]]) bis auf Typunterschiede (M<\mathds{Z}> statt M<\mathds{N}_0>) und die Regel für den Fall M 0> (ein Fall, der bei den natürlichen Zahlen nicht auftreten kann) überein! Anders als die Definitionen der Addition, Subtraktion und Multiplikation greift diese Definition der Division weder auf die Paarkomponenten von M und M<\chi>, noch auf die Rechenoperationen der natürlichen Zahlen zurück. Eine Konsequenz daraus ist, dass sie auch nicht die Identität von M definiert, sondern lediglich eine Äquivalenzbeziehung angibt, vergleichbar mit der Definition der Zahlensymbole ganzer Zahlen auf S. [[LINK:ZSym]]. Stattdessen beschreibt die Definition einen rekursiven Algorithmus; man muss daher noch überprüfen, ob die Definition in allen Fällen, also unabhängig von Dividend und Divisor, als Arbeitsvorschrift einsetzbar ist. Dazu muss nach einer endlichen Anzahl von wiederholten Anwendungen der Vorschrift der Fall M auftreten, wodurch die Rekursion gebrochen wird. Wenn der Divisor ein Teiler des Dividenden ist, tritt -- wie bei der Divisionsvorschrift der natürlichen Zahlen -- nach endlich vielen Schritten ein Fall auf, bei dem der Dividend Null ist und so die Rekursion gebrochen wird. Bei den natürlichen Zahlen nähert man sich dabei dem Null-Dividenden nur aus dem Positiven an; bei der Ganzzahldivision gibt es aber auch die Möglichkeit, dass der Dividend oder der Divisor negativ ist, was erfordert, dass man sich aus dem Negativen annähern muss. Ist jedoch der Divisor nicht Teiler des Dividenden, so tritt bei der Ganzzahldivision ein Problem auf, dass es bei der Division auf den natürlichen Zahlen nicht gibt, was folgendes Zahlenbeispiel exemplarisch zeigt: M<\begin{array}{@{}cll} {} & 4 : 3 ≡ & {} \qquad \text{\textsl{(Anwenden der Divisionsvorschrift)}} \\ {}≡& 1 + \left(4 - 3\right) : 3 ≡ & {} \qquad \text{\textsl{(Ausrechnen des Dividenden)}} \\ {}≡& 1 + 1 : 3 ≡ & {} \qquad \text{\textsl{(Anwenden der Divisionsvorschrift)}} \\ {}≡& 1 + 1 + \left(1 - 3\right) : 3 ≡ & {} \qquad \text{\textsl{(Ausrechnen des Dividenden)}} \\ {}≡& 1 + 1 + \left(-2\right) : 3 ≡ & {} \qquad \text{\textsl{(Anwenden der Divisionsvorschrift)}} \\ {}≡& 1 + 1 + \left(-1\right) + \left[\left(-2\right) + 3\right] : 3 ≡ & {} \qquad \text{\textsl{(Ausrechnen des Dividenden)}} \\ {}≡& 1 + 1 + \left(-1\right) + 1 : 3 ≡ & {} \qquad \text{Wiederauftreten der Division }1:3 \\ {}≡& \cdots \end{array}> Der Fall, bei dem der Dividend Null ist, wird also "verfehlt". Bei der M<\mathds{N}_0>-Division ist das kein Problem, da dort eine Subtraktion wie M<1 - 3>, deren Ergebnis als Dividend dienen würde, nicht definiert ist und somit das Verfahren abgebrochen wird. Bei den ganzen Zahlen ist aber M<1 - 3> definiert, was dazu führt, dass beim weiteren Anwenden der Divisionsvorschrift niemals ein Fall auftritt, bei dem der Dividend Null ist; stattdessen wechselt der Dividend bei jedem weiteren Schritt sein Vorzeichen. Ist der Divisor also kein Teiler des Dividenden, so ist die hergeleitete Divisionsvorschrift nicht als Arbeitsvorschrift einsetzbar. Da dieses Problem nur Fälle betrifft, bei denen die Ganzzahldivision sowieso nicht anwendbar ist, spielt es in der Praxis keine große Rolle. Möchte man trotzdem die Definition mathematisch einwandfrei formulieren, so muss man sie um eine weitere Fallunterscheidung ergänzen: M< {}x :_{\mathds{Z}} \chi :\equiv {}\begin{cases} {} \text{undefiniert} & \text{für } \chi \equiv 0 \\ {} \text{undefiniert} & \text{für } \left|x\right| E \left|\chi\right| \\ {} 0 & \text{für } x \equiv 0 \text{ und } \chi \not\equiv 0 \\ {} 1 + \left(x - \chi\right):_{\mathds{Z}}\chi & \text{für } x \chi E 0 \\ {} \left(-1\right) + \left(x + \chi\right):_{\mathds{Z}}\chi & \text{für } x \chi E 0 {}\end{cases}> mit M und M<\left|z\right| = \begin{cases} z & \text{für } z \geq 0 \\ -z & \text{für } z E 0 \end{cases}> =begin comment =over =item * Der Weg über die Herleitung wie bei Addition und Multiplikation schlägt fehlt: M<\frac{(a,b)}{(\alpha,\beta)} = \frac{a - b}{\alpha - \beta} = ?> =item * Der alternative Weg, Division als Multiplikation mit dem Kehrbruch zu definieren, schlägt ebenfalls fehl, da es nicht möglich ist, den Kehrbruch einer ganzen Zahl zu definieren: M<\frac{1}{z}> ist, außer für M und M, keine ganze Zahl! =item * Wir müssen daher die Division ein bisschen umständlich definieren: M<\frac{x}{y} = \frac{\left|x\right|}{\left|y\right|} \cdot \operatorname{sgn} x \cdot \operatorname{sgn} y> wobei wir mit M<\frac{\left|x\right|}{\left|y\right|}> folgendes meinen: M<\frac{\left|x\right|}{\left|y\right|} = \left(\frac{\left|x\right|}{\left|y\right|}, 0\right)>, wobei mit der Division auf der rechten Seite die bereits definierte Division über die natürlichen Zahlen gemeint ist. [XXX formal nicht so einfach, die M<\left|x\right|> und M<\left|y\right|> ganze Zahlen, nicht natürliche Zahlen sind. Aber einfacher Isomorphismus zwischen den nichtnegativen natürlichen Zahlen und den nichtnegativen ganzen Zahlen. Ähnlich wie M<\mathds{N} \subset \mathds{Z}>. Kasten?] =item * Es fehlen noch die Definitionen der Betragsfunktion M<\left|\cdot\right|> und der Signumfunktion M<\operatorname{sgn}>. Die Betragsfunktion können wir auf die Signumfunktion zurückführen: M<\left|x\right| := x \cdot \operatorname{sgn} x> M<\operatorname{sgn}\, (a,b) := \begin{cases} {} -1 & \text{für } a E b \\ {} 0 & \text{für } a = b \\ {} 1 & \text{für } a E b \end{cases}> (Diese Definition bedient sich der Vergleichsoperatoren über die natürlichen Zahlen.) =back =end comment =head5 Eindeutigkeit der Repräsentation =for latex \label{FAZRep} Das Problem der fehlenden Eindeutigkeit der Zahlrepräsentation ist schon mehrmals angeklungen. Für sich genommen ist die fehlende Eindeutigkeit kein Problem, sondern zunächst nur eine Tatsache. Betrachtet man aber die Konsequenzen, die sich aus der fehlenden Repräsentationseindeutigkeit ergeben, wird klar, wieso man sich eine eindeutige Repräsentation wünscht: Anstatt einfach auf die strukturelle Gleichheit zurückgreifen zu können, muss man eine Äquivalenzrelation definieren, um so von "Gleichheit" sprechen zu können, wie man es gewohnt ist. Ein Zahlenbeispiel demonstriert die Unzulänglichkeit der strukturellen Gleichheit: M<\left.\begin{array}{@{}l} {} 2_{\mathds{Z}} + 2_{\mathds{Z}} ≡ {} \left(3_{\mathds{N}_0},1_{\mathds{N}_0}\right) + \left(3_{\mathds{N}_0},1_{\mathds{N}_0}\right) = {} \left(6_{\mathds{N}_0},2_{\mathds{N}_0}\right) \equiv 4_{\mathds{Z}} \\ {} 2_{\mathds{Z}} \cdot 2_{\mathds{Z}} ≡ {} \left(3_{\mathds{N}_0},1_{\mathds{N}_0}\right) \cdot \left(3_{\mathds{N}_0},1_{\mathds{N}_0}\right) = {} \left(9_{\mathds{N}_0} + 1_{\mathds{N}_0}, 3_{\mathds{N}_0} + 3_{\mathds{N}_0}\right) = {} \left(10_{\mathds{N}_0}, 6_{\mathds{N}_0}\right) \equiv 4_{\mathds{Z}} \end{array}\right\} \begin{array}{@{}l} {} \left(6_{\mathds{N}_0},2_{\mathds{N}_0}\right) \neq \left(10_{\mathds{N}_0},6_{\mathds{N}_0}\right) \\ {} \text{lediglich: }\left(6_{\mathds{N}_0},2_{\mathds{N}_0}\right) \equiv \left(10_{\mathds{N}_0},6_{\mathds{N}_0}\right) \end{array}> Außerdem ist nicht klar, welches Element aus M<\mathds{Z}> man nun betrachtet, wenn man beispielsweise von M<3_{\mathds{Z}}> spricht: Meint man M<(3_{\mathds{N}_0},0_{\mathds{N}_0})>, M<(4_{\mathds{N}_0},1_{\mathds{N}_0})> oder einen andere der unendlich vielen Repräsentanten M<(3_{\mathds{N}_0} + a, 0_{\mathds{N}_0} + a)> (mit M beliebig)? Aus diesem Grund entschied ich mich bei der Definition der Zahlensymbole der ganzen Zahlen, die Identität der Symbole ungeklärt zu lassen (bspw. M<3_{\mathds{Z}} := \mathord{?}>) und nur Äquivalenzen (M<3_{\mathds{Z}} :\equiv (3,0)>) zu erklären. Ein weiterer Nachteil der fehlenden Repräsentationseindeutigkeit ist, dass man -- anders als beispielsweise bei der Definition von M<\mathds{Z}> als M<\mathds{Z} := \left(\mathds{N}^+ \times \left\{+,-\right\}\right) \cup \left\{ 0 \right\}>, die ich wegen ihrer Unhandlichkeit verworfen hatte -- eine ganze Zahl nicht mit einem Element aus M<\mathds{Z}> identifizieren kann: Welches Element der unendlich vielen denkbaren Elementen, die alle zueinander äquivalent sind, sollte man nehmen? Es gibt nun zwei klassische Wege, um von der Menge der nicht-eindeutigen Repräsentanten der ganzen Zahlen, M<\mathds{Z}>, zu einer Menge von eindeutigen Repräsentanten M<\mathds{Z}^*> zu kommen. Dabei muss man die Definitionen der Rechenoperatoren und Relationen nicht erneut herleiten, sondern kann sie mit kleinen Anpassungen übernehmen. Ohne weitere Angaben meine ich auch im Folgenden mit "Repräsentanten ganzer Zahlen" immer Elemente aus M<\mathds{Z}>, nicht aus M<\mathds{Z}^*>. =head6 Eindeutigkeit durch Normalisierung Bei der Normalisierungsmethode zeichnet man unter allen Repräsentanten einer ganzen Zahl einen Repräsentanten aus. Dazu definiert man eine Normalisierungsfunktion M, die jedem Repräsentanten einer ganzen Zahl, M, den entsprechenden ausgezeichneten Repräsentanten M zuordnet. Bekannt ist dieses Vorgehen aus der analytischen Geometrie bei den Normierungen nach Hesse: Unter den unendlich vielen möglichen Richtungsvektoren einer Ebene zeichnet man den aus, dessen Länge M<1> ist und der in eine bestimmte, festgelegte Richtung zeigt. Die Rechenoperatoren passt man nun so an, dass sie zunächst vorgehen wie bereits definiert, dann aber das Ergebnis normalisieren, indem sie die Normalisierungsfunktion auf das Ergebnis anwenden. Außerdem erklärt man die Bedeutung der Zahlsymbole als Anwendung M der Normalisierungsfunktion M auf einen beliebigen Repräsentanten der Zahl, M. Dabei spielt es keine Rolle, welchen Repräsentanten man als Argument der Normalisierungsfunktion nutzt, da die Normalisierungsfunktion ja allen Repräsentanten den jeweils ausgezeichneten zuordnet. Beispiel: M<3_{\mathds{Z}^*} := {} n\!\left(\left(3,0\right)\right) = {} n\!\left(\left(4,1\right)\right) = {} n\!\left(\left(5,2\right)\right) = n\!\left(\cdots\right)> In der Wahl der Normalisierungsfunktion M ist man weitgehend frei; einzige Bedingung ist, dass Repräsentanten unterschiedlicher Zahlen unterschiedliche ausgezeichnete Repräsentanten zugeordnet werden müssen -- aus M muss M folgen und umgekehrt. Eine geeignete Normalisierungsfunktion ist beispielsweise folgende, die jeden Repräsentanten einer ganzen Zahl auf den entsprechenden "vollständig gekürzten" Repräsentanten zuordnet: M<\begin{array}{@{}ll} {} n{:}\, & \mathds{Z} \to \mathds{Z} \text{ (Zielmenge)} \\ {} & (\nu,\mu) \mapsto n\!\left(\left(\nu,\mu\right)\right) := \begin{cases} {} (\nu-\mu,0) & \text{für } \nu \geq \mu \\ {} (0,\mu-\nu) & \text{für } \nu E \mu {} \end{cases} \end{array}> Beispiele (vgl. Abb. [[BILD:ZNorm]] auf S. [[LINK:ZNorm]]): M M =for latex \begin{figure} M< {} \begin{array}{@{}l@{\ \ \ \ \ \ \ \ \ \ \ \ \ \ }l} {} \left. {} \begin{array}{@{}l} \mathds{Z}\ni(0,0) \\ \mathds{Z}\ni(1,1) \\ \mathds{Z}\ni(2,2) \\ \vdots \end{array} {} \right\} \to (0,0) \in \mathds{Z}^* & {} \left. {} \begin{array}{@{}l} \mathds{Z}\ni(3,0) \\ \mathds{Z}\ni(4,1) \\ \mathds{Z}\ni(5,2) \\ \vdots \end{array} {} \right\} \to (3,0) \in \mathds{Z}^* \\\\ {} \left. {} \begin{array}{@{}l} \mathds{Z}\ni(1,0) \\ \mathds{Z}\ni(2,1) \\ \mathds{Z}\ni(3,2) \\ \vdots \end{array} {} \right\} \to (1,0) \in \mathds{Z}^* & {} \left. {} \begin{array}{@{}l} \mathds{Z}\ni(4,0) \\ \mathds{Z}\ni(5,1) \\ \mathds{Z}\ni(6,2) \\ \vdots \end{array} {} \right\} \to (4,0) \in \mathds{Z}^* \\\\ {} \left. {} \begin{array}{@{}l} \mathds{Z}\ni(2,0) \\ \mathds{Z}\ni(3,1) \\ \mathds{Z}\ni(4,2) \\ \vdots \end{array} {} \right\} \to (2,0) \in \mathds{Z}^* & {} \left. {} \begin{array}{@{}l} \mathds{Z}\ni(5,0) \\ \mathds{Z}\ni(6,1) \\ \mathds{Z}\ni(7,2) \\ \vdots \end{array} {} \right\} \to (5,0) \in \mathds{Z}^* {} \end{array} > =for latex \caption{\label{FAZNorm}Repräsentantenauszeichnung durch die Normalisierungsfunktion} \hrulefill\vspace*{1em} \end{figure} Allgemein gilt: Sind zwei Zahlen M und M äquivalent (M; und nur dann), so sind die entsprechenden normierten Repräsentanten M und M hinsichtlich ihrer Identität gleich (M). Die Menge der eindeutigen Repräsentanten der ganzen Zahlen, M<\mathds{Z}^*>, leitet sich aus der Menge der nicht-eindeutigen Repräsentanten, M<\mathds{Z}>, ab und ist eine echte Teilmenge von M<\mathds{Z}>: M<\mathds{Z}^* := \left\{ n(x) \,\middle|\, x \in \mathds{Z} \right\} \subsetneq \mathds{Z}> Anders ausgedrückt ist M<\mathds{Z}^*> die Wertemenge der Normalisierungsfunktion M. Die Rechenoperatoren und Relationen überträgt man wie folgt: M, M<\quad> M, M<\quad> M, M<\quad> M M Das ursprüngliche Problem, weswegen man einen Weg suchte, die Zahlrepräsentation eindeutig zu machen, nämlich die subjektiv empfundene Unschönheit der "aufgezwungenen" Unterscheidung zwischen struktureller Gleichheit (M<=>) und Äquivalenz (M<\equiv>), ist damit gelöst, wie folgendes Beispiel exemplarisch demonstriert: M<\begin{array}{@{}clclclclclc} {} & 2_{\mathds{Z}^*} + 2_{\mathds{Z}^*} &=& {} n(2_{\mathds{Z}}) + n(2_{\mathds{Z}}) &=& {} n(2_{\mathds{Z}} + 2_{\mathds{Z}}) &=& {} \underbrace{n\!\left(\left(6,2\right)\right)}_{n(4_{\mathds{Z}})} &=& {} (4,0) = \\ {}=& 2_{\mathds{Z}^*} \cdot 2_{\mathds{Z}^*} &=& {} n(2_{\mathds{Z}}) \cdot n(2_{\mathds{Z}}) &=& {} n(2_{\mathds{Z}} \cdot 2_{\mathds{Z}}) &=& {} \underbrace{n\!\left(\left(10,6\right)\right)}_{n(4_{\mathds{Z}})} &=& {} (4,0) \end{array}> M<2_{\mathds{Z}} + 2_{\mathds{Z}} = (6,2)> ist zwar (wenn man für M<2_{\mathds{Z}}> den im Beispiel verwendeten Repräsentanten M<(3,1)> nimmt) hinsichtlich der strukturellen Gleichheit ungleich zu M<2_{\mathds{Z}} \cdot 2_{\mathds{Z}} = (10,6)>, die zugehörigen ausgezeichneten Repräsentanten M und M sind es aber, wie gewünscht, sehr wohl -- und das unabhängig von der Wahl, welchen Repräsentanten man für M<2_{\mathds{Z}}> nimmt. Nachteil dieser Methode kann sein, dass sie dem persönlichen Geschmack nicht entspricht: Der Weg über eine Normalisierungsfunktion kann den Anschein erwecken, die "eigentliche", "ursprüngliche" Definition genüge nicht, und man müsse sie nachträglich "reparieren"; man könnte der Meinung sein, die ursprüngliche Definition enthalte irgendeinen "Fehler", den man finden und beheben sollte, anstatt um diesen "Fehler" herumzuarbeiten, indem man eine Normalisierungsfunktion einführt, die das Problem wieder "richtet". =head6 Eindeutigkeit durch Äquivalenzklassen Ein alternativer Weg, eine Menge von eindeutigen Repräsentanten zu erhalten, führt über die Bildung von sog. Äquivalenzklassen. Die Idee ist, die Menge der unendlich vielen, nicht-eindeutigen Repräsentanten einer Zahl selbst als eindeutigen Repräsentanten anzusehen (vgl. Abb. [[BILD:ZAeq]] auf S. [[LINK:ZAeq]]). =for latex \begin{figure} =helper MyBook::Helper::XFig #FIG 3.2 Landscape Center Metric A4 100.00 Single -2 1200 2 6 3195 1125 5130 3105 3 2 0 1 0 7 50 -1 -1 0.000 0 0 0 7 4095 1260 3330 1620 3555 2655 4635 2925 5085 2025 4500 1350 4095 1260 0.000 -1.000 -1.000 -1.000 -1.000 -1.000 0.000 4 0 0 50 -1 4 12 0.0000 0 180 390 3960 1575 (3,0)\001 4 0 0 50 -1 4 12 0.0000 0 180 390 4455 1980 (5,2)\001 4 0 0 50 -1 4 12 0.0000 0 180 390 3510 1980 (4,1)\001 4 0 0 50 -1 4 12 0.0000 0 180 390 3780 2385 (6,3)\001 4 0 0 50 -1 4 12 0.0000 0 15 135 4635 2520 ...\001 -6 6 2610 3150 4590 4815 3 2 0 1 0 7 50 -1 -1 0.000 0 0 0 6 3285 3150 2655 3780 3195 4680 4410 4275 3915 3510 3285 3150 0.000 -1.000 -1.000 -1.000 -1.000 0.000 4 0 0 50 -1 4 12 0.0000 0 180 390 3150 3555 (5,0)\001 4 0 0 50 -1 4 12 0.0000 0 180 390 3600 3870 (7,2)\001 4 0 0 50 -1 4 12 0.0000 0 180 390 2835 3915 (6,1)\001 4 0 0 50 -1 4 12 0.0000 0 15 135 3960 4185 ...\001 4 0 0 50 -1 4 12 0.0000 0 180 390 3105 4320 (8,3)\001 -6 6 450 2250 2340 4410 3 2 0 1 0 7 50 -1 -1 0.000 0 0 0 7 1035 2430 495 3195 900 4005 1935 4230 2250 3375 1575 2520 1035 2430 0.000 -1.000 -1.000 -1.000 -1.000 -1.000 0.000 4 0 0 50 -1 4 12 0.0000 0 180 390 1125 2790 (4,0)\001 4 0 0 50 -1 4 12 0.0000 0 180 390 720 3195 (5,1)\001 4 0 0 50 -1 4 12 0.0000 0 180 390 1575 3465 (6,2)\001 4 0 0 50 -1 4 12 0.0000 0 180 390 945 3780 (7,3)\001 4 0 0 50 -1 4 12 0.0000 0 15 135 1710 4005 ...\001 -6 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2 4410 4635 4185 4500 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2 1170 4410 1305 4230 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2 2160 675 1890 765 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2 5175 2745 4995 2565 3 2 0 1 0 7 50 -1 -1 0.000 0 0 0 6 1575 540 450 1125 1080 1935 2115 1890 2205 1170 1575 540 0.000 -1.000 -1.000 -1.000 -1.000 0.000 4 0 0 50 -1 4 12 0.0000 0 180 390 675 1215 (1,1)\001 4 0 0 50 -1 4 12 0.0000 0 180 390 1395 900 (0,0)\001 4 0 0 50 -1 4 12 0.0000 0 180 390 1620 1395 (2,2)\001 4 0 0 50 -1 4 12 0.0000 0 180 390 990 1665 (3,3)\001 4 0 0 50 -1 4 12 0.0000 0 15 135 1755 1800 ...\001 4 0 0 50 -1 4 12 0.0000 0 15 135 4815 3510 ...\001 4 0 0 50 -1 4 12 0.0000 0 180 1845 1980 540 Repr\344sentanten von 0\001 4 0 0 50 -1 4 12 0.0000 0 180 1845 5085 2970 Repr\344sentanten von 3\001 4 0 0 50 -1 4 12 0.0000 0 180 1845 -45 4635 Repr\344sentanten von 4\001 4 0 0 50 -1 4 12 0.0000 0 180 1845 4455 4860 Repr\344sentanten von 5\001 =hend =for latex \caption{\label{FAZAeq}Bildung von Klassen äquivalenter Repräsentanten} \hrulefill\vspace*{1em} \end{figure} Beispiel: M<3_{\mathds{Z}^*} := {}\left\{ \left(3_{\mathds{N}_0},0_{\mathds{N}_0}\right), \left(4_{\mathds{N}_0},1_{\mathds{N}_0}\right), \left(5_{\mathds{N}_0},2_{\mathds{N}_0}\right), \ldots \right\}> Die Menge aller (nicht-eindeutigen) Repräsentanten einer Zahl nennt man "Äquivalenzklasse" und kennzeichnet sie über eckige Klammern: M<\left[x\right] := \left\{ x' \in \mathds{Z} \,\middle|\, x' \equiv x \right\}> mit M. Beispiel: M<\left[\left(3_{\mathds{N}_0},0_{\mathds{N}_0}\right)\right] = {}\left[\left(4_{\mathds{N}_0},1_{\mathds{N}_0}\right)\right] = {}\left[\left(5_{\mathds{N}_0},2_{\mathds{N}_0}\right)\right] = {}\left[\cdots\right] = {}\left\{ {} \left(3_{\mathds{N}_0},0_{\mathds{N}_0}\right), {} \left(4_{\mathds{N}_0},1_{\mathds{N}_0}\right), {} \left(5_{\mathds{N}_0},2_{\mathds{N}_0}\right), {} \ldots {}\right\} =: 3_{\mathds{Z}^*}> Allgemein gilt: Sind zwei Zahlrepräsentanten M und M äquivalent (M), so sind die entsprechenden Äquivalenzklassen M<[x]> und M<[y]> hinsichtlich ihrer Identität gleich (M<[x] = [y]>). Umgekehrt sind M<[x]> und M<[y]> disjunkt, wenn M. Bereits bekannt ist dieses Vorgehen aus der Geometrie: Dort begreift man einen Vektor als die Menge aller Pfeile, die parallel zum Vektor sind und genauso lang wie der Vektor sind. Jeder der parallelgleichen Pfeile ist ein nicht-eindeutiger Repräsentant; ein Vektor selbst ist also die Menge der nicht-eindeutigen Repräsentanten. Auch die verallgemeinerte mengentheoretische Realisierung der natürlichen Zahlen (S. [[LINK:NVerallg]]) kann man über das Äquivalenzklassenkonzept formulieren: Eine Zahl M begreift man als die Äquivalenzklasse aller Mengen mit M Elementen. Dabei ist es nicht schlimm, dass die Äquivalenzklassen unendlich groß sind, da man, wie ich gleich zeigen werde, zum Rechnen jeweils nur ein einziges Element benötigt. Die Menge der eindeutigen Repräsentanten ganzer Zahlen definiert man als die Menge der Äquivalenzklassen der nicht-eindeutigen Repräsentanten. In Symbolen: M<\mathds{Z}^* := \left\{ \left[x\right] \,\middle|\, x \in \mathds{Z} \right\}> Ungewohnt daran kann sein, dass M<\mathds{Z}^*> eine Menge von Mengen ist. Üblicherweise behandelt man in der Schule diesen Fall nicht; mathematisch besonders ist er jedoch nicht. Während die durch Normalisierung gebildete Menge eindeutiger Repräsentanten, M<\left\{ n(x) \,\middle|\, x \in \mathds{Z} \right\}>, eine echte Teilmenge der Menge der nicht-eindeutigen Repräsentanten, M<\mathds{Z}>, ist, ist das durch Äquivalenzklassenbildung gebildete M<\mathds{Z}^*> keine Teilmenge von M<\mathds{Z}>. Zur Erklärung der Rechenregeln und Relationen auf M<\mathds{Z}^*> "zieht" man die Äquivalenzklassenbildung "heraus": M<\left[x\right] +_{\mathds{Z}^*} \left[y\right] := \left[x +_{\mathds{Z}} y\right]>, M<\quad> M<\left[x\right] -_{\mathds{Z}^*} \left[y\right] := \left[x -_{\mathds{Z}} y\right]>, M<\quad> M<\left[x\right] \cdot_{\mathds{Z}^*} \left[y\right] := \left[x \cdot_{\mathds{Z}} y\right]>, M<\quad> M<\left[x\right] :_{\mathds{Z}^*} \left[y\right] := \left[x :_{\mathds{Z}} y\right]> M<\left[x\right] \leq \left[y\right] :\Leftrightarrow x \leq y> Die Bedeutung der Zahlensymbole definiert man über die entsprechenden Äquivalenzklassen: M<0_{\mathds{Z^*}} := \left[0_{\mathds{Z}}\right]>, M<\quad> M<1_{\mathds{Z^*}} := \left[1_{\mathds{Z}}\right]>, M<\quad> M<2_{\mathds{Z^*}} := \left[2_{\mathds{Z}}\right]>, M<\quad> M<3_{\mathds{Z^*}} := \left[3_{\mathds{Z}}\right]>, M<\ldots> Wie auch der Weg über eine Normalisierungsfunktion löst auch der Weg über Äquivalenzklassen das ursprüngliche Problem des "Zwangs", zwischen struktureller Gleichheit (M<=>) und Äquivalenz (M<\equiv>) unterscheiden zu müssen. Das Zahlenbeispiel, das ich in diesem Abschnitt schon mehrmals zur Illustration des Problems der fehlenden Repräsentationseindeutigkeit bzw. zu dessen Lösung genutzt habe, lautet übertragen auf den Äquivalenzklassenansatz wie folgt: M<\begin{array}{@{}clclclclcl} {} & 2_{\mathds{Z}^*} + 2_{\mathds{Z}^*} &=& {} \left[2_{\mathds{Z}}\right] + \left[2_{\mathds{Z}}\right] &=& {} \left[2_{\mathds{Z}} + 2_{\mathds{Z}}\right] &=& {} \left[\left(6,2\right)_{\mathds{Z}}\right] &=& {} \left\{ (4,0), (5,1), (6,2), (7,3), \ldots \right\} = \\ {}=& 2_{\mathds{Z}^*} \cdot 2_{\mathds{Z}^*} &=& {} \left[2_{\mathds{Z}}\right] \cdot \left[2_{\mathds{Z}}\right] &=& {} \left[2_{\mathds{Z}} \cdot 2_{\mathds{Z}}\right] &=& {} \left[\left(10,6\right)_{\mathds{Z}}\right] &=& {} \left\{ (4,0), (5,1), (6,2), (7,3), \ldots \right\} \end{array}> M<2_{\mathds{Z}} + 2_{\mathds{Z}} = (6,2)> ist zwar (wenn man für M<2_{\mathds{Z}}> den im Beispiel verwendeten Repräsentanten M<(3,1)> nimmt) hinsichtlich der strukturellen Gleichheit ungleich zu M<2_{\mathds{Z}} \cdot 2_{\mathds{Z}} = (10,6)>, die zugehörigen Äquivalenzklassen sind jedoch -- wie gewünscht -- strukturell gleich, da sie alle denkbaren Repräsentanten enthalten. =head6 Wiederherstellung der Neutralität der Null Bei der Überprüfung der Neutralität der Null hinsichtlich der Addition auf S. [[LINK:ZNeutr]] schrieb ich, dass, wenn man die Eindeutigkeit der Zahlrepräsentation hergestellt hat, auch das Neutralitätsgesetz in der starken Form M anstatt der abgeschwächten Form M gilt. Der Beweis dieser Aussage unter der durch Äquivalenzklassenbildung oder Normalisierung erreichten Eindeutigkeit der Zahlrepräsentation ist einfach: M<\left[x\right] + 0_{\mathds{Z}^*} = \left[x\right] + \left[0_{\mathds{Z}}\right] = \left[x + 0_{\mathds{Z}}\right] = \left[x\right]>, da wie auf S. [[LINK:ZNeutr]] bewiesen, M. Für das durch Normalisierung gebildete M<\mathds{Z}^*> verläuft der Beweis analgo: M. Auch schrieb ich, dass es nach der Herstellung der Eindeutigkeit der Zahlrepräsentation nur noch ein neutrales Element geben wird. Dieses Element kann man nun benennen: Es ist M<0_{\mathds{Z}^*} = \left[0_{\mathds{Z}}\right]> bzw. M<0_{\mathds{Z}^*} = n(0_{\mathds{Z}})>. =head5 Einbettung der natürlichen Zahlen in die ganzen Zahlen =for latex \label{FAEinbNZ} Oft liest man Aussagen wie "die ganze Zahlen umfassen die natürlichen Zahlen" oder, präziser, "die Menge der natürlichen Zahlen ist eine Teilmenge der Menge der ganzen Zahlen" (vgl. Abb. [[BILD:Teilmeng]] auf S. [[LINK:Teilmeng]]). Während die erste Aussage Platz für Intepretationsspielraum lässt und bei geeigneter Wahl der Interpretation in der Tat richtig ist, wie ich gleich zeigen werde, ist die zweite offensichtlich falsch: =for latex \begin{figure} =helper MyBook::Helper::XFig #FIG 3.2 Landscape Center Metric A4 100.00 Single -2 1200 2 6 1215 855 3330 1530 1 2 0 1 0 7 50 -1 -1 0.000 1 0.0000 2272 1192 1012 292 1260 900 3285 1485 4 0 0 50 -1 4 12 0.0000 0 135 1515 1515 1260 Nat\374rliche Zahlen\001 -6 1 2 0 1 0 7 50 -1 -1 0.000 1 0.0000 2452 1777 2542 1372 -90 405 4995 3150 1 2 0 1 0 7 50 -1 -1 0.000 1 0.0000 2452 1440 1777 765 675 675 4230 2205 4 0 0 50 -1 4 12 0.0000 0 15 135 2115 3420 ...\001 4 0 0 50 -1 4 12 0.0000 0 135 1440 1665 2925 Rationale Zahlen\001 4 0 0 50 -1 4 12 0.0000 0 135 1200 1755 1980 Ganze Zahlen\001 =hend =for latex \caption{\label{FATeilmeng}Bekannte Darstellung der Teilmengenverhältnisse} \hrulefill\vspace*{1em} \end{figure} Betrachtet man die beiden Mengen M<\mathds{N}_0> und M<\mathds{Z}> wie in dieser Arbeit definiert von ihrer Struktur her, so ist klar, dass M<\mathds{N}_0> nicht Teilmenge von M<\mathds{Z}> sein kann, sind doch die Elemente von M<\mathds{Z}> Paare natürlicher Zahlrepräsentanten, während die Elemente von M<\mathds{N}_0> nicht Paare, sondern das Resultat wiederholter Anwendung einer Nachfolgerfunktion M sind. Um den eigentlich gemeinten Inhalt der Aussage zu treffen, muss man die Aussage anders formulieren: Es gibt eine umkehrbar eineindeutige Abbildung, also eine Bijektion, die den Elementen von M<\mathds{N}_0> "entsprechende" Elemente von M<\mathds{Z}> zuordnet, wobei "entsprechend" in dem Sinn zu verstehen ist, dass die "Bedeutung" erhalten bleibt, also dass die "Bedeutung" der Elemente der Definitionsmenge der Abbildung der der entsprechenden Elemente der Wertemenge entspricht. Dabei lässt sich die Forderung an die Bijektion, dass die "Bedeutung" bei der Transformation erhalten bleibt, mathematisch präzisieren: Im dem Kontext dieser Arbeit erhält eine Abbildung M die "Bedeutung" genau dann, wenn gilt: M und M (und analog für die anderen Operatoren und für die Relationen). So eine Abbildung nennt man auch "Isomorphismus", und man sagt: "Die Menge der Repräsentanten natürlicher Zahlen, M<\mathds{N}_0>, ist isomorph zu einer bestimmten Teilmenge M<\mathds{N}_{0_{\mathds{Z}}}> von M<\mathds{Z}>." Ein denkbarer Isomorphismus M, der die Repräsentanten natürlicher Zahlen aus M<\mathds{N}_0> auf entsprechende Repräsentanten ganzer Zahlen aus M<\mathds{N}_{0_{\mathds{Z}}}> abbildet, ist beispielsweise: =for latex {\framebox{\vbox{ I M<\begin{array}{@{}ll} {} f{:}\, & \mathds{N}_0 \to \mathds{N}_{0_{\mathds{Z}}} \subsetneq \mathds{Z} \text{ (Wertemenge)} \\ {} & n \mapsto f(n) := (n,0)_{\mathds{Z}} \\ \\ {} f^{-1}{:}\, & \mathds{Z} \supsetneq \mathds{N}_{0_{\mathds{Z}}} \to \mathds{N}_0 \text{ (Wertemenge)} \\ {} & (n,0)_{\mathds{Z}} \mapsto f^{-1}\!\left(\left(n,0\right)_{\mathds{Z}}\right) := n \end{array}> =for latex }}\par{}} Beispiele: M, M<\quad> M Dass M die Bedeutung erhält, muss noch bewiesen werden. Aus Platzgründen führe ich hier nur die Beweise der Addition und Subtraktion aus; die anderen Beweise (auch die der Bedeutungserhaltung der Relationen) verlaufen analog. M<\begin{array}{cll} {} & f(n) +_{\mathds{Z}} f(m) = & {} \qquad \text{\textsl{(Anwenden der Funktionsvorschrift)}} \\ {}=& (n,0) +_{\mathds{Z}} (m,0) = & {} \qquad \text{\textsl{(Anwenden der }}\mathds{Z}\text{\textsl{-Additionsvorschrift)}} \\ {}=& (n + m, 0 + 0) = & {} \qquad \text{\textsl{(Ausrechnen der zweiten Paarkomponente)}} \\ {}=& (n + m, 0) = \\ {}=& f(n +_{\mathds{N}_0} m) \end{array}> Auch die Umkehrfunktion des Isomorphismus M erhält die Bedeutung: M<\begin{array}{@{}cl} {} & f^{-1}\!\left( {} \left(n,0\right)_{\mathds{Z}} +_{\mathds{Z}} {} \left(m,0\right)_{\mathds{Z}} {} \right) = \\ {} =& f^{-1}\!\left(\left(n + m, 0 + 0\right)\right) = \\ {} =& f^{-1}\!\left(\left(n + m, 0\right)\right) = \\ {} =& n +_{\mathds{N}_0} m = \\ {} =& f^{-1}\!\left(\left(n,0\right)_{\mathds{Z}}\right) +_{\mathds{N}_0} {} f^{-1}\!\left(\left(m,0\right)_{\mathds{Z}}\right) \end{array}> Streng genommen ist M bezüglich der strukturellen Gleichheit (M<=>) kein Isomorphismus von M<\mathds{N}_0> zu M<\mathds{N}_{0_{\mathds{Z}}}>, wie der Versuch, die Bedeutungserhaltung bei der Subtraktion zu beweisen, zeigt: M<\begin{array}{cll} {} & f(n) -_{\mathds{Z}} f(m) = & {} \qquad \text{\textsl{(Anwenden der Funktionsvorschrift)}} \\ {}=& (n,0) -_{\mathds{Z}} (m,0) = & {} \qquad \text{\textsl{(Anwenden der }}\mathds{Z}\text{\textsl{-Subtraktionsvorschrift)}} \\ {}=& (n + 0, m + 0) = & {} \qquad \text{\textsl{(Ausrechnen der Paarkomponenten)}} \\ {}=& (n, m) \end{array}> Es gibt kein M, für das M (mit M allgemein aus M<\mathds{N}_0>) gilt -- anders formuliert ist M nicht definiert. Die von der strukturellen Gleichheit auf die Äquivalenz abgeschwächte Isomorphieforderung -- M -- ist aber erfüllt: M<\begin{array}{cll} {} & f(n) -_{\mathds{Z}} f(m) = \text{(siehe oben)} = (n,m) ≡ & {} \qquad \text{\textsl{(Abziehen von }}m\text{\textsl{ von den Paarkomponenten -- "`kürzen"')}} \\ {}≡& (n - m, m - m) = & {} \qquad \text{\textsl{(Ausrechnen der zweiten Paarkomponente)}} \\ {}=& (n - m, 0) = \\ {}=& f(n -_{\mathds{N}_0} m) \end{array}> Bettet man die natürlichen Zahlen nicht in M<\mathds{Z}>, sondern in M<\mathds{Z}^*> ein, so stellt sich dieses Problem nicht, da der Übergang von M<(n,m)> zu M<(n - m, 0)> schon in der Struktur von M<\mathds{Z}^*> steckt, also durch die Normalisierungsfunktion bzw. durch die Äquivalenzklassenbildung erreicht wird. =begin comment Man kann den Isomorphismus M nicht nur dazu nutzen, um die Repräsentanten natürlicher Zahlen nach M<\mathds{Z}> [XXX] zu "heben", sondern auch um Operatoren zu [XXX konvertieren]: M<\begin{array}{@{}ll} {} +_{\mathds{N}_0}{:}\, & \mathds{N}_0 \times \mathds{N}_0 \to \mathds{N}_0 \text{ (Wertemenge)} \\ {} & (n,m) \mapsto n + m \\\\ {} +_{\mathds{N}_{0_{\mathds{Z}}}}{:}\, & \mathds{N}_{0_{\mathds{Z}}} \times \mathds{N}_{0_{\mathds{Z}}} \to \mathds{N}_{0_{\mathds{Z}}} \text{ (Wertemenge)} \\ {} & (f(n),f(m)) \mapsto f(n + m) \end{array}> [XXX das hier weglassen?] =end comment Die Aussage, die ganzen Zahlen umfassten die natürlichen Zahlen, ist also korrekt, wenn man diese schwammig formulierte Aussage entsprechend interpretiert. Möchte man ohne Gefahr vor Missverständnissen reden, kann man die Aussage präzisieren: Es gibt einen Isomorphismus, über den man die Menge der Repräsentanten natürlicher Zahlen in die Menge der Repräsentanten ganzer Zahlen einbetten kann. =head3 Rationale Zahlen In diesem Kapitel werde ich die übliche Realisierung rationaler Zahlen und der Operatoren und Relationen auf den rationalen Zahlen darlegen. Wie auch die ausgeführte Realisierung der ganzen Zahlen als Paare natürlicher Zahlrepräsentanten führt die Realisierung der rationalen Zahlen, wie ich sie hier vorstellen werde, zu einer nicht-eindeutigen Zahlrepräsentation, weswegen man -- wie bei den ganzen Zahlen -- eine Äquivalenzrelation einführen muss, um sinnvoll von Gleichheit sprechen zu können. Auf Beweise werde ich größtenteils verzichten, da sie ähnlich wie Beweise auf den ganzen Zahlen verlaufen und somit keinen großen Erkenntnisgewinn bringen. Betrachtet man die übliche Schreibweise für rationale Zahlen, die Bruchschreibweise, so liegt der Schluss nahe, Repräsentanten rationaler Zahlen als Paare von Zähler und Nenner zu definieren. In der Schule fordert man üblicherweise, dass der Zähler eine ganze Zahl und der Nenner eine natürliche Zahl größer Null ist. Hier werde ich für den Nenner ganze Zahlen nehmen, um formalen Problemen mit Operationen auf unterschiedlichen Typen (wie beispielsweise M<3_{\mathds{N}_0} + 5_{\mathds{Z}}>) zu entgehen. Die Menge der Repräsentanten rationaler Zahlen kann man ohne diese Beschränkung wie folgt definieren, wobei M<\left[0_{\mathds{Z}}\right]> die Äquivalenzklasse aller Repräsentanten ganzer Zahlen, die äquivalent zu M<0_{\mathds{Z}}> sind, meint: M<\mathds{Q} := \mathds{Z} \times \left(\mathds{Z} \setminus \left[ 0_{\mathds{Z}} \right]\right)> mit M<\left[0_{\mathds{Z}}\right] = \left\{ x' \,\middle|\, x' \equiv 0_{\mathds{Z}} \right\}>. Ein Paar zweier ganzer Zahlen M<(p,q) \in \mathds{Q}> begreift man dabei als den Bruch M<\frac{p}{q}>. Beispiel: M<\left(\frac{-5}{2}\right)_{\mathds{Q}} \equiv \left(\left(-5\right)_{\mathds{Z}},2_{\mathds{Z}}\right) \equiv \left(\left(0_{\mathds{N}_0},5_{\mathds{N}_0}\right),\left(2_{\mathds{N}_0},0_{\mathds{N}_0}\right)\right)> (Die genauere Bedeutung von M<\equiv> auf den rationalen Zahlen werde ich weiter unten definieren.) Diese Wahl der Menge der Repräsentanten rationaler Zahlen führt aus zwei Gründen zu nicht-eindeutigen Repräsentanten. Zum einen sind die Paarkomponenten Elemente aus M<\mathds{Z}>, dessen Zahlrepräsentation wie bereits erläutert nicht eindeutig ist. Würde man schon an dieser Stelle die Eindeutigkeit der Zahlrepräsentation fordern, und daher versuchen, ein M<\mathds{Q}^*> mit M<\mathds{Q}^* = \mathds{Z}^* \times \left(\mathds{Z}^* \setminus \left\{ 0_{\mathds{Z}^*} \right\}\right)> zu definieren, so wäre die Zahlrepräsentation dieses M<\mathds{Q}^*> trotzdem noch mehrdeutig: Den Brüchen wohnt eine grundsätzlich verankerte Mehrdeutigkeit der Repräsentation inne: Zum einen sind Brüche beliebig erweiterbar -- zu jedem vollständig gekürzten Bruch M<\frac{p}{q}> gibt es unendlich viele ungekürzte Brüche M<\frac{k p}{k q}> (mit M als beliebige ganze Zahl) und zum anderen kann man jeden negativen gekürzten Bruch M<\frac{-p}{q}> auch als M<\frac{p}{-q}> darstellen. Um dennoch wieder zu einer eindeutigen Repräsentation zu gelangen, kann man, wie in dieser Arbeit schon bei den ganzen Zahlen ausgeführt, eine Normalisierungsfunktion einführen oder Äquivalenzklassen bilden. =head4 Relationen In diesem Abschnitt werde ich die Äquivalenz- und die Kleinergleich-, Kleiner-, Größer- und Größergleichrelation definieren. Anders als die Behandlung der Relationen der natürlichen Zahlen in der Grundschule, die überhaupt nicht formalisiert dargestellt werden und von Erwachsenen als "selbstverständlich", "unmittelbar einleuchtend", "keine Begründungen benötigend" angesehen werden, werden die Relationen und Rechenregeln der rationalen Zahlen schon formalisierter dargestellt. Dass die Rechenregeln der rationalen Zahlen nicht so selbstverständlich sind wie die der natürlichen Zahlen (die man verinnerlicht hat) oder die der ganzen Zahlen (die man im Alltag einfach auf Operationen auf den natürlichen Zahlen zurückführt und dann noch den Einfluss der Vorzeichen überprüft), zeigt sich bei der Einführung der rationalen Zahlen im Unterricht. So nehmen viele Schüler an, die Addition auf den rationalen Zahlen erfolge "selbstverständlich" komponentenweise, sie denken also, die Summe zweier Brüche M<\frac{p}{q}> und M<\frac{a}{b}> sei (für allgemeine M) M<\frac{p + a}{q + b}>. ([[QOftFehler]], S. 15) Infolgedessen untersucht man die Rechenoperationen im Schulunterricht genauer und notiert die Erkenntnise auch formalisierter. Die folgenden Definitionen könnte man -- zumindest von der Idee her (weniger von der Art der Notation) -- auch in Fünft- oder Sechstklassmathematikschulheften finden. =head5 Äquivalenzrelation Da, wie erläutert, die Zahlrepräsentation bei der Realisierung der rationalen Zahlen als Paare ganzer Zahlrepräsentanten nicht eindeutig ist, muss man, wie bei den ganzen Zahlen, eine Äquivalenzrelation M<\equiv> einführen, um wie gewohnt von der "Gleichheit" zweier rationaler Zahlen sprechen zu können. Zur Herleitung kann man zwei Repräsentanten rationaler Zahlen, M<(p,q)> und M<(a,b)> mit M<(p,q), (a,b) \in \mathds{Q}>, betrachten. Greift man die Idee der Paarbildung auf und begreift also die Paare als Brüche, kann man das Wissen über äquivalente Termumformungen nutzen: M<\begin{array}{@{}rcll} {} \frac{p}{q} &\equiv& \frac{a}{b} & {} \qquad \text{\textsl{(Die Division auf den ganzen Zahlen ist nicht für alle }}p,a \in \mathds{Z}\text{\textsl{ und }}q,b \in \mathds{Z} \setminus \left[ 0_{\mathds{Z}} \right]\text{\textsl{definiert.)}} \\ {}&&&\qquad \text{\textsl{(Herüberbringen von }}q\text{\textsl{ und }}b\text{\textsl{)}} \\ {} p b &\equiv& a q & {} \qquad \text{\textsl{(Dieser Ausdruck ist für alle }}p,a \in \mathds{Z}\text{\textsl{ und }}q,b \in \mathds{Z} \setminus \left[ 0_{\mathds{Z}} \right]\text{\textsl{definiert.)}} \end{array}> Man kann also definieren: Zwei Repräsentanten rationaler Zahlen, M<(p,q)> und M<(a,b)> mit M<(p,q), (a,b) \in \mathds{Q}>, sind genau dann äquivalent, wenn der Ganzzahlrepräsentant M
äquivalent zum Ganzzahlrepräsentanten M ist. In Symbolen: =for latex {\framebox{\vbox{ I M<\left(p,q\right)_{\mathds{Q}} \equiv_{\mathds{Q}} \left(a,b\right)_{\mathds{Q}} {}:\Leftrightarrow {}p b \equiv_{\mathds{Z}} a q> M<\left(p,q\right)_{\mathds{Q}} \not\equiv_{\mathds{Q}} \left(a,b\right)_{\mathds{Q}} {}:\Leftrightarrow {}p b \not\equiv_{\mathds{Z}} a q> mit M<(p,q), (a,b) \in \mathds{Q}>. =for latex }}\par{}} Beispiel: M<\underbrace{\left((0_{\mathds{N}_0},5_{\mathds{N}_0}), (2_{\mathds{N}_0},0_{\mathds{N}_0})\right)}_{\mathrel{\equiv} \left(\left(-5\right)_{\mathds{Z}}, 2_{\mathds{Z}}\right)}> ist hinsichtlich der strukturellen Gleichheit (M<=>) nicht gleich zu M<\underbrace{\left((1_{\mathds{N}_0},6_{\mathds{N}_0}), (3_{\mathds{N}_0},1_{\mathds{N}_0})\right)}_{\mathrel{\equiv} \left(\left(-5\right)_{\mathds{Z}}, 2_{\mathds{Z}}\right)}> und auch nicht zu M<\underbrace{\left((0_{\mathds{N}_0},{10}_{\mathds{N}_0}), (4_{\mathds{N}_0},0_{\mathds{N}_0})\right)}_{\mathrel{\equiv} \left(\left(-10\right)_{\mathds{Z}}, 4_{\mathds{Z}}\right)}>, wohl aber hinsichtlich der definierten Äquivalenzrelation, da M<(0,5)_{\mathds{Z}} \equiv (1,6)_{\mathds{Z}}> und M<(2,0)_{\mathds{Z}} \equiv (3,1)_{\mathds{Z}}> bzw. M<\left(-5\right)_{\mathds{Z}} \cdot 4_{\mathds{Z}} \equiv_{\mathds{Z}} \left(-10\right)_{\mathds{Z}} \cdot 2_{\mathds{Z}}>. Wie auch die Äquivalenzrelation der ganzen Zahlen vergleicht die Äquivalenzrelation der rationalen Zahlen nicht die Identität, sondern nutzt die hergeleitete Vorschrift M zum Vergleich. Es zeigt sich eine beeindruckende Symmetrie zur Äquivalenzrelation der ganzen Zahlen: Vertauscht man in der hergeleiteten Äquivalenzrelationsvorschrift M<\cdot_{\mathds{Z}}> mit M<+_{\mathds{N}_0}>, so erhält man die M<\mathds{Z}>-Äquivalenzrelationsvorschrift: M<\begin{array}{@{}lrcrcl} {} \text{Äquivalenzrelationsvorschrift der rationalen Zahlen:} & {} (x,y) \equiv_{\mathds{Q}} (a,b) &⇔& x \cdot_{\mathds{Z}} b &\equiv_{\mathds{Z}}& a \cdot_{\mathds{Z}} y \\ {} \text{Äquivalenzrelationsvorschrift der ganzen Zahlen:} & {} (x,y) \equiv_{\mathds{Z}} (a,b) &⇔& x +_{\mathds{N}_0} b &=& a +_{\mathds{Z}} y \end{array}> Dass die hier definierte Äquivalenzrelation auch wirklich reflexiv, symmetrisch und transitiv ist, beweise ich hier nicht, da die Beweise keinen Erkenntnisgewinn bringen; sie verlaufen analog zu den entsprechenden Beweisen der M<\mathds{Z}>-Äquivalenzrelation. Mit der Äquivalenzrelation kann man folgende Aussage beweisen, die später von Nutzen sein wird: "Ein Repräsentant M<(p,q)> einer rationalen Zahl ist genau dann äquivalent zu Null, wenn M
äquivalent zu Null ist." In Symbolen: M<(p,q) \equiv_{\mathds{Q}} 0_{\mathds{Q}}> ⇔ M
mit M<(p,q) \in \mathds{Q}> Beweis: M<\begin{array}{rrclll} {} & (p,q) &\equiv_{\mathds{Q}}& 0_{\mathds{Q}} & ⇔ & {} \qquad \text{\textsl{(Aussuchen eines Repräsentanten für }}0_{\mathds{Q}}\text{\textsl{)}} \\ {}⇔& (p,q) &\equiv_{\mathds{Q}}& (0,a) & ⇔ & {} \qquad \text{mit }a \not\equiv 0_{\mathds{Z}}\text{, da }(0,a) \in \mathds{Q}\text{ und damit }a \in \mathds{Z} \setminus \left[0_{\mathds{Z}}\right] \\ {}&&&&&\qquad \text{\textsl{(Anwenden der }}\mathds{Q}\text{\textsl{-Äquivalenzrelation)}} \\ {}⇔& p \cdot a &\equiv_{\mathds{Z}}& 0 \cdot q & ⇔ & {} \qquad \text{\textsl{(Vereinfachen der rechten Seite)}} \\ {}⇔& p \cdot a &\equiv_{\mathds{Z}}& 0 & ⇔ \\ {}⇔& p &\equiv_{\mathds{Z}}& 0 && \qquad\text{da }a \not\equiv 0_{\mathds{Z}} \end{array}> =head6 Definition der Zahlensymbole für rationale Zahlen Wie auch bei den ganzen Zahlen werde ich nicht die Identität der Zahlensymbole definieren, sondern nur ihren Wert über Äquivalenzbeziehungen angeben. =for latex {\framebox{\vbox{ I Das Paar M<(p,q)> repräsentiert die rationale Zahl, die durch die Bruchschreibweise M<\frac{p}{q}> gegeben ist. Speziell: M<0_{\mathds{Q}} :\equiv (0_{\mathds{Z}}, 1_{\mathds{Z}})>, M<\quad> M<1_{\mathds{Q}} :\equiv (1_{\mathds{Z}}, 1_{\mathds{Z}})>, M<\quad> M<\left(-1\right)_{\mathds{Q}} :\equiv (-1_{\mathds{Z}}, 1_{\mathds{Z}})> Die Identität der Zahlensymbole bleibt undefiniert: M<0_{\mathds{Q}} = \mathord{?}>, M<\quad> M<1_{\mathds{Q}} = \mathord{?}>, M<\quad> M<\left(-1\right)_{\mathds{Q}} = \mathord{?}>, ... =for latex }}\par{}} =head5 Kleiner-, Kleinergleich-, Größergleich- und Größerrelation Wie bei der Definition der natürlichen und der ganzen Zahlen in dieser Arbeit kann man auch bei den ganzen Zahlen die Kleiner- (M>), Größergleich- (M<\geq>) und Größerrelation (M>) durch die Kleinergleichrelation (M<\leq>) ausdrücken. Zur Herleitung der Kleinergleichrelationsvorschrift kann man zwei Repräsentanten rationaler Zahlen, M<(p,q)> und M<(a,b)> mit M<(p,q), (a,b) \in \mathds{Q}>, betrachten. Dann kann man, wie auch bei der Herleitung der Äquivalenzbeziehung, das Wissen über äquivalente Termumformungen nutzen und ansetzen: M<\frac{p}{q} \leq \frac{a}{b}>. Es liegt daher nahe, als Definition der Kleinergleichrelation der rationalen Zahlen folgende Vorschrift zu nehmen: M<(p,q) \leq_{\mathds{Q}} (a,b) :\Leftrightarrow p :_{\mathds{Z}} q \leq_{\mathds{Z}} a :_{\mathds{Z}} b> Die Ganzzahldivision ist aber nicht für alle M definiert, die Definition ist also unzureichend. Bei der Herleitung der Äquivalenzrelationsvorschrift trat dieses Problem ebenfalls auf; lösen konnte man es dadurch, indem man M und M durch Multiplikation mit M auf die jeweils andere Seite der Ungleichung bringt. Bei der Herleitung der Äquivalenzrelation war das auch unproblematisch; hier aber handelt es sich nicht um eine Gleichung, sondern um eine Ungleichung. Dementsprechend kehrt sich das Relationszeichen M<\leq> zu M<\geq> um, falls der Faktor M
, mit dem man die Ungleichung multipliziert, negativ ist; man erhält also M
und muss in der Definition eine Fallunterscheidung treffen: Ein Repräsentant einer rationalen Zahl, M<(p,q)>, ist genau dann kleinergleich M<(a,b)> mit M<(p,q), (a,b) \in \mathds{Q}> und M 0>, wenn der Ganzzahlrepräsentant M
kleinergleich dem Ganzzahlrepräsentant M ist. Ist M 0>, so ist M<(p,q)> genau dann kleinergleich M<(a,b)>, wenn M
größergleich M ist. In Symbolen: =for latex {\framebox{\vbox{ I M<\left(p,q\right)_{\mathds{Q}} \leq_{\mathds{Q}} \left(a,b\right)_{\mathds{Q}} {}:\Leftrightarrow {}\begin{cases} {} p b \leq_{\mathds{Z}} a q & \text{für } q b E 0 \\ {} p b \geq_{\mathds{Z}} a q & \text{für } q b E 0 {}\end{cases}> mit M<(p,q), (a,b) \in \mathds{Q}>. =for latex }}\par{}} Der Fall M kann nicht auftreten, da M und M beide nicht Null sind, da sie Elemente von M<\mathds{Z} \setminus \left[ 0_{\mathds{Z}} \right]> sind. Auf die Beweise der Reflexivität (M für alle M), Antisymmetrie (aus M und M folgt M) und Transitivität (aus M und M folgt M) verzichte ich. =head4 Rechenoperatoren In diesem Abschnitt werden die Rechenoperatoren auf den rationalen Zahlen definiert. Dabei werden keine neuen Konzepte eingeführt, und auch gibt es bei der Herleitung der Definitionen keine Probleme. =head5 Addition Zur Herleitung der Additionsvorschrift kann man zwei Repräsentanten rationaler Zahlen, M<(p,q)> und M<(a,b)> mit M<(p,q), (a,b) \in \mathds{Q}>, betrachten, die Paare als Brüche begreifen und dann das bereits bekannte Wissen über Brüche, insbesondere über die Bildung des Hauptnenners, nutzen: M<\begin{array}{@{}cll} {} & \frac{p}{q} + \frac{a}{b} = & {} \qquad \text{\textsl{(Erweitern zum Nenner }}qb\text{\textsl{)}} \\ {}=& \frac{p b}{q b} + \frac{a q}{q b} = & {} \qquad \text{\textsl{(Schreiben als einen einzigen Bruch)}} \\ {}=& \frac{p b + a q}{q b} \end{array}> Man erhält also folgende Additionsvorschrift: =for latex {\framebox{\vbox{ I M<\left(p,q\right)_{\mathds{Q}} +_{\mathds{Q}} \left(a,b\right)_{\mathds{Q}} := \left(p b +_{\mathds{Z}} a q, q b\right)_{\mathds{Q}}> mit M<(p,q), (a,b) \in \mathds{Q}>. =for latex }}\par{}} (Ich habe mich dazu entschieden, als gemeinsamen Nenner der Brüche nicht das kleinste gemeinsame Vielfache der Nenner, sondern einfach das Produkt der Nenner zu nutzen, um die Definition nicht unnötig zu komplizieren.) Auf der rechten Seite der Definition kommt die Addition und Multiplikation auf den ganzen Zahlen vor, welche ihrerseits die M<\mathds{N}_0>-Addition und -Multiplikation nutzt. An einem Zahlenbeispiel kann man einen Eindruck der Komplexität dieses "gestapelten" Aufbaus gewinnen, wenn man die sich ergebenen Unterrechnungen über den ganzen Zahlen über die im vorherigen Kapitel definierten M<\mathds{Z}>-Rechenvorschriften ausrechnet, anstatt auf das bereits bekannte Wissen über M<\mathds{Z}>-Symbolmanipulationen zurückzugreifen: =for latex \vbox{\label{FAQLang} M<\begin{array}{@{}cll} {} & \left(\frac{1}{2}\right)_{\mathds{Q}} +_{\mathds{Q}} \left(\frac{3}{4}\right)_{\mathds{Q}} ≡ & {} \qquad \text{\textsl{(Schreiben als Paare ganzer Zahlrepräsentanten)}} \\ {}≡& (1,2) +_{\mathds{Q}} (3,4) ≡ & {} \qquad \text{\textsl{(Anwenden der }}\mathds{Q}\text{\textsl{-Additionsvorschrift)}} \\ {}≡& \left(1 \cdot 4 +_{\mathds{Z}} 3 \cdot 2, 2 \cdot 4\right) ≡ & {} \qquad \text{\textsl{(Schreiben als Paare natürlicher Zahlen)}} \\ {}≡& \left(\right. \\ {} & \quad {} \left(1,0\right) \cdot \left(4,0\right) +_{\mathds{Z}} \\ {} & \quad {} \left(3,0\right) \cdot \left(2,0\right), \\ {} & \quad {} \left(2,0\right) \cdot \left(4,0\right) \\ {} & \left.\right) = & {} \qquad \text{\textsl{(Anwenden der }}\mathds{Z}\text{\textsl{-Multiplikationsvorschrift)}} \\ {}=& \left(\right. \\ {} & \quad {} \left(1 \cdot 4 +_{\mathds{N}_0} 0 \cdot 0, 1 \cdot 0 +_{\mathds{N}_0} 0 \cdot 4\right) +_{\mathds{Z}} \\ {} & \quad {} \left(3 \cdot 2 +_{\mathds{N}_0} 0 \cdot 0, 3 \cdot 0 +_{\mathds{N}_0} 0 \cdot 2\right), \\ {} & \quad {} \left(2 \cdot 4 +_{\mathds{N}_0} 0 \cdot 0, 2 \cdot 0 +_{\mathds{N}_0} 0 \cdot 4\right) \\ {} & \left.\right) = & {} \qquad \text{\textsl{(Ausrechnen der inneren Paarkomponenten)}} \\ {}=& \left(\left(4,0\right) +_{\mathds{Z}} \left(6,0\right), \left(8,0\right)\right) = & {} \qquad \text{\textsl{(Anwenden der }}\mathds{Z}\text{\textsl{-Additionsvorschrift)}} \\ {}=& \left(\left(4 +_{\mathds{N}_0} 6, 0 +_{\mathds{N}_0} 0\right), \left(8,0\right)\right) = & {} \qquad \text{\textsl{(Ausrechnen der inneren Paarkomponenten)}} \\ {}=& \left(\left(10_{\mathds{N}_0},0_{\mathds{N}_0}\right), \left(8_{\mathds{N}_0},0_{\mathds{N}_0}\right)\right) ≡ & {} \qquad \text{\textsl{(Schreiben der ganzen Zahlen in Dezimalschreibweise)}} \\ {}≡& \left(10_{\mathds{Z}}, 8_{\mathds{Z}}\right) ≡ & {} \qquad \text{\textsl{(Schreiben der rationalen Zahl in Bruchschreibweise)}} \\ {}≡& \left(\frac{10}{8}\right)_{\mathds{Q}} \equiv \left(\frac{5}{4}\right)_{\mathds{Q}} \end{array}> =for latex } Hätte man zusätzlich noch die M<\mathds{N}_0>-Rechenvorschriften des ersten Kapitels zum Ausrechnen der inneren Paarkomponenten genutzt, wäre die Rechnung noch länger geworden; je nach persönlichem Geschmack kann man das als unelegant ansehen. Der alternative Ansatz durch die surrealen Zahlen realisiert den Aufbau nicht durch Stapelung jeweils vorhergehender Zahlenmengen, sondern "in einem Rutsch", und hat somit dieses Problem nicht. =head5 Subtraktion Zur Herleitung der Subtraktionsvorschrift ist es hilfreich, die Subtraktion als Addition des (additiv) Inversen zu begreifen. Geht man diesen Weg, muss man freilich zunächst die Negationsvorschrift definieren. Dazu kann man den rationalen Zahlrepräsentant M<(p,q)> betrachten. Man erkennt zwei mögliche Negationsvorschriften: M<-(p,q) = (-p,q)> und M<-(p,q) = (p,-q)>, wobei das Negationszeichen auf den rechten Seiten die bereits definierte Negation auf den ganzen Zahlen meint. Man kann frei wählen, welche der beiden Vorschriften man zur Definition der Negation erklärt, da sie äquivalent sind: M<\begin{array}{@{}rrclll} {} & -(p,q) &\equiv_{\mathds{Q}}& -(p,q) && {} \qquad \text{\textsl{(Anwenden der beiden Vorschriften)}} \\ {} & (-p,q) &\equiv_{\mathds{Q}}& (p,-q) & \Leftrightarrow & {} \qquad \text{\textsl{(Anwenden der Äquivalenzrelation)}} \\ {}⇔& \left(-p\right) \cdot \left(-q\right) &\equiv_{\mathds{Z}}& p \cdot q & \Leftrightarrow & {} \qquad \text{\textsl{(Vereinfachen der linken Seite, erlaubt nach S. [[LINK:ZMMP]])}} \\ {}⇔& p q &\equiv_{\mathds{Z}}& p q & \Leftrightarrow \text{(wahr)} \end{array}> Hier entscheide ich mich für die erste Vorschrift, ich definiere also: M<-(p,q)_{\mathds{Q}} := (-p,q)_{\mathds{Q}}> mit M<(p,q) \in \mathds{Q}>. Mit bekannter Negationsvorschrift kann man die Subtraktionsvorschrift herleiten: M<\begin{array}{@{}cll} {} & (p,q) - (a,b) = & {} \qquad \text{\textsl{(Schreiben als Summe)}} \\ {}=& \left(p,q\right) + \left[-\left(a,b\right)\right] = & {} \qquad \text{\textsl{(Anwenden der Negationsvorschrift)}} \\ {}=& (p,q) + (-a,b) = & {} \qquad \text{\textsl{(Anwenden der Additionsvorschrift)}} \\ {}=& \left(p b + \left(-a\right) q, q b\right) = & {} \qquad \text{\textsl{(Schreiben als Differenz)}} \\ {}=& (p b - a q, q b) \end{array}> Also: =for latex {\framebox{\vbox{ I M<(p,q) -_{\mathds{Q}} (a,b) := (p b -_{\mathds{Z}} a q, q b)> mit M<(p,q), (a,b) \in \mathds{Q}>. =for latex }}\par{}} Beispiel: M<\begin{array}{@{}cll} {} & \left(\frac{1}{2}\right)_{\mathds{Q}} - \left(\frac{3}{4}\right)_{\mathds{Q}} ≡ & {} \qquad \text{\textsl{(Schreiben als Paare ganzer Zahlen)}} \\ {}≡& (1,2)_{\mathds{Q}} - (3,4)_{\mathds{Q}} ≡ & {} \qquad \text{\textsl{(Anwenden der Subtraktionsvorschrift)}} \\ {}≡& (1 \cdot 4 -_{\mathds{Z}} 3 \cdot 2, 2 \cdot_{\mathds{Z}} 4) ≡ & {} \qquad \text{\textsl{(Ausrechnen der Paarkomponenten)}} \\ {}≡& \left(\left(-2\right)_{\mathds{Z}}, 8_{\mathds{Z}}\right) ≡ & {} \qquad \text{\textsl{(Schreiben in Bruchschreibweise)}} \\ {}≡& \left(\frac{-2}{8}\right)_{\mathds{Q}} ≡ \left(\frac{-1}{4}\right)_{\mathds{Q}} \end{array}> =head5 Multiplikation Anders als bei der Addition und Subtraktion muss bei der Multiplikation kein gemeinsamer Nenner gebildet werden, sondern sie erfolgt einfach komponentenweise. Die Multiplikationsvorschrift der rationalen Zahlen ist daher einfach: =for latex {\framebox{\vbox{ I M<(p,q) \cdot_{\mathds{Q}} (a,b) := (p a, q b)_{\mathds{Q}}> mit M<(p,q), (a,b) \in \mathds{Q}>. =for latex }}\par{}} Beispiel: M<\begin{array}{@{}cll} {} & \left(\frac{1}{2}\right)_{\mathds{Q}} \cdot \left(\frac{3}{4}\right)_{\mathds{Q}} ≡ & {} \qquad \text{\textsl{(Schreiben als Paare ganzer Zahlen)}} \\ {}≡& (1,2)_{\mathds{Q}} \cdot (3,4)_{\mathds{Q}} ≡ & {} \qquad \text{\textsl{(Anwenden der Multiplikationsvorschrift)}} \\ {}≡& (1 \cdot_{\mathds{Z}} 3, 2 \cdot_{\mathds{Z}} 4) ≡ & {} \qquad \text{\textsl{(Ausrechnen der Paarkomponenten)}} \\ {}≡& (3_{\mathds{Z}}, 8_{\mathds{Z}}) ≡ & {} \qquad \text{\textsl{(Schreiben in Bruchschreibweise)}} \\ {}≡& \left(\frac{3}{8}\right)_{\mathds{Q}} \end{array}> Es zeigt sich eine beeindruckende Symmetrie zur Definition der Addition auf den ganzen Zahlen: Vertauscht man M<\cdot_{\mathds{Z}}> durch M<+_{\mathds{N}_0}> (und passt die Typen entsprechend an), erhält man die Definition der Addition über die ganzen Zahlen (!): M<\begin{array}{@{}lrclcrl} {} \text{Multiplikationsvorschrift der rationalen Zahlen:} & {} (x,y) &\cdot_{\mathds{Q}}& (a,b) &:=& \left(x \cdot_{\mathds{Z}} a,\right. & \left. y \cdot_{\mathds{Z}} b\right) \\ {} \text{Additionsvorschrift der ganzen Zahlen:} & {} (x,y) &+_{\mathds{Z}}& (a,b) &:=& \left(x +_{\mathds{N}_0} a,\right. & \left. y +_{\mathds{N}_0} b\right) \end{array}> =head5 Division Die Division auf den rationalen Zahlen wird in der Schule als Multiplikation mit dem Kehrbruch eingeführt ([[QDivKehr]], S. 1). Dieser Weg eignet sich auch für eine formale Herleitung der Divisionsvorschrift. Der Kehrbruch M<\frac{q}{p}> eines Bruchs M<\frac{p}{q}> ergibt sich durch Vertauschen von Zähler und Nenner. Man definiert also: M<\left(p,q\right)^{-1}_{\mathds{Q}} := \left(q,p\right)_{\mathds{Q}}> mit M<(p,q) \in \mathds{Q}> und M
. Mit bekannter Definition des Kehrbruchs kann man dann die Divisionsvorschrift herleiten: M<\begin{array}{@{}cll} {} & (p,q) : (a,b) = & {} \qquad \text{\textsl{(Schreiben als Produkt)}} \\ {}=& (p,q) \cdot (a,b)^{-1} = & {} \qquad \text{\textsl{(Anwenden der Kehrbruchvorschrift)}} \\ {}=& (p,q) \cdot (b,a) = & {} \qquad \text{\textsl{(Anwenden der Multiplikationsvorschrift)}} \\ {}=& (p b, q a) \end{array}> Kurz: =for latex {\framebox{\vbox{ I M<(p,q) :_{\mathds{Q}} (a,b) := (p b, q a)> mit M<(p,q), (a,b) \in \mathds{Q}> und M<(a,b) \not\equiv 0> (⇔ M). =for latex }}\par{}} Beispiel: M<\begin{array}{@{}cll} {} & \left(\frac{1}{2}\right)_{\mathds{Q}} : \left(\frac{3}{4}\right)_{\mathds{Q}} ≡ & {} \qquad \text{\textsl{(Schreiben als Paare ganzer Zahlen)}} \\ {}≡& (1,2)_{\mathds{Q}} : (3,4)_{\mathds{Q}} ≡ & {} \qquad \text{\textsl{(Anwenden der Divisionsvorschrift)}} \\ {}≡& (1 \cdot_{\mathds{Z}} 4, 2 \cdot_{\mathds{Z}} 3) ≡ & {} \qquad \text{\textsl{(Ausrechnen der Paarkomponenten)}} \\ {}≡& (4_{\mathds{Z}}, 6_{\mathds{Z}}) ≡ & {} \qquad \text{\textsl{(Schreiben in Bruchschreibweise)}} \\ {}≡& \left(\frac{4}{6}\right)_{\mathds{Q}} ≡ \left(\frac{2}{3}\right)_{\mathds{Q}} \end{array}> Die Symmetrie dieser Definition zur Definition der Subtraktion auf den ganzen Zahlen zeigt sich, wenn man M<:> durch M<-> ersetzt: M<\begin{array}{@{}rclcrl} {} (x,y) &-_{\mathds{Z}}& (a,b) &:=& \left(x +_{\mathds{N}_0} b,\right. & \left. y +_{\mathds{N}_0} a\right) \\ {} (x,y) &:_{\mathds{Q}}& (a,b) &:=& \left(x \cdot_{\mathds{Z}} b,\right. & \left. y \cdot_{\mathds{Z}} a\right) \end{array}> =head4 Eindeutigkeit der Repräsentation Wie auch die Realisierung der ganzen Zahlen als Paare natürlicher Zahlrepräsentanten führt auch die Konstruktion der rationalen Zahlen als Paare ganzer Zahlrepräsentanten zu einer nicht-eindeutigen Zahlrepräsentation; es gibt also mehrere (unendlich viele) Elemente aus M<\mathds{Q}>, die alle zueinander äquivalent sind und somit dieselbe rationale Zahl repräsentieren. Diese Tatsache empfindet man, wie auch bei den ganzen Zahlen, als Problem; zur Lösung kann man die Normalisierungsmethode nutzen oder Äquivalenzklassen bilden, wodurch man eine Menge M<\mathds{Q}^*> erhält, bei der die Zahlrepräsentation eindeutig ist. Ohne weitere Angaben meine ich auch im Folgenden mit "Repräsentanten rationaler Zahlen" immer Elemente aus M<\mathds{Q}>, nicht aus M<\mathds{Q}^*>. =head5 Eindeutigkeit durch Normalisierung Eine passende Normalisierungsfunktion ist beispielsweise die folgende, die durch eine (nicht-konstruktive) Abbildungsvorschrift gegeben ist: M<\begin{array}{@{}rl} {} n{:}\, & \mathds{Q} \to \mathds{Q} \text{ (Zielmenge)} \\ {} & (p,q) \mapsto n\!\left(\left(p,q\right)\right) := (p',q') \\ {} \text{wobei} & (p',q') \equiv (p,q) \text{,} \\ {} & p'\text{ und }q'\text{ teilerfremd (damit ist der Bruch }\frac{p'}{q'}\text{ vollständig gekürzt),} \\ {} & q'\text{ positiv und} \\ {} & p'\text{ und }q'\text{ normalisierte Repräsentanten ganzer Zahlen, also} \\ {} & p', q' \in W_{n_{\mathds{Z}}} \\ {} \text{mit} & W_{n_{\mathds{Z}}}\text{: Wertemenge der }\mathds{Z}\text{-Normalisierungsfunktion} \end{array}> M<\mathds{Q}^* := \left\{ n(x) \,\middle|\, x \in \mathds{Q} \right\} \subsetneq \mathds{Q}> Beispiel: M<\left(\frac{6}{-4}\right)_{\mathds{Q}^*} = n\!\left(\left(6_{\mathds{Z}}, \left(-4\right)_{\mathds{Z}}\right)\right) = \left(n_{\mathds{Z}}\!\left(\left(-3\right)_{\mathds{Z}}\right), n_{\mathds{Z}}\!\left(2_{\mathds{Z}}\right)\right) = \left(\left(0_{\mathds{N}_0},3_{\mathds{N}_0}\right), \left(2_{\mathds{N}_0},0_{\mathds{N}_0}\right)\right)> (Ich habe M<\mathds{Q}> als M<\mathds{Z} \times \left(\mathds{Z} \setminus \left[ 0_{\mathds{Z}} \right]\right)> definiert. Wenn man M<\mathds{Q}> dagegen als M<\mathds{Z}^* \times \left(\mathds{Z}^* \setminus \left\{ 0_{\mathds{Z}^*} \right\}\right)> definiert (wobei es keine Rolle spielt, ob man mit M<\mathds{Z}^*> die über die Normalisierung oder die über Äquivalenzklassenbildung definierte Menge eindeutiger Repräsentanten ganzer Zahlen meint), kann man die letzte Forderung in der Definition der Normalisierungsfunktion, M und M sollten normalisierte Repräsentanten ganzer Zahlen sein, weglassen, da sie bereits in der Struktur von M<\mathds{Z}^*> enthalten ist.) Die Rechenoperatoren und Relationen überträgt man analog wie bei den ganzen Zahlen, also M, M, usw. =head5 Eindeutigkeit durch Äquivalenzklassen Alternativ kann man auch Äquivalenzklassen bilden, um eine eindeutige Zahlrepräsentation zu erreichen: M<\mathds{Q}^* := \left\{ \left[x\right] \,\middle|\, x \in \mathds{Q} \right\} \not\subset \mathds{Q}> mit M<\left[x\right] = \left\{ x' \in \mathds{Q} \,\middle|\, x' \equiv x \right\}>. Beispiel: M<\begin{array}{@{}lcl} {} \left(\frac{6}{-4}\right)_{\mathds{Q}^*} &=& \left\{\right. \\ {} &&\quad \underbrace{ {} \left((6,0), (0,4)\right), {} \left((7,1), (1,5)\right), {} \left((8,2), (2,6)\right), \ldots {} }_{\text{alle äquivalent zu }\left(6_{\mathds{Z}}, \left(-4\right)_{\mathds{Q}}\right)}, \\ {} &&\quad\underbrace{ {} \left((3,0), (0,2)\right), {} \left((4,1), (1,3)\right), {} \left((5,2), (2,4)\right), \ldots {} }_{\text{alle äquivalent zu }\left(3_{\mathds{Z}}, \left(-2\right)_{\mathds{Q}}\right)}, \\ {} &&\quad\ldots \\ {} &&\left.\right\} \end{array}> Die Rechenoperatoren und Relationen überträgt man analog wie bei den ganzen Zahlen, also M<[x] +_{\mathds{Q}^*} [y] := [x +_{\mathds{Q}} y]>, M<[x] -_{\mathds{Q}^*} [y] := [x -_{\mathds{Q}} y]>, usw. =head4 Einbettung der ganzen Zahlen in die rationalen Zahlen Genau wie die Aussage, die Menge der Repräsentanten natürlicher Zahlen wie hier definiert sei eine Teilmenge der Menge der Repräsentanten ganzer Zahlen, falsch ist, ist auch die korrespondierende Aussage über das Verhältnis der ganzen Zahlen zu den rationalen Zahlen falsch -- Elemente von M<\mathds{Z}> sind Paare natürlicher Zahlrepräsentanten, während Elemente von M<\mathds{Q}> Paare von Repräsentanten ganzer Zahlen sind. Möchte man die Idee hinter der Aussage formalisieren, so muss man daher die ganzen Zahlen in die rationalen Zahlen einbetten -- analog zur Einbettung der natürlichen Zahlen in die ganzen Zahlen (beschrieben auf S. [[LINK:EinbNZ]]). Ein möglicher Isomorphismus M, der umkehrbar eineindeutig M<\mathds{Z}> auf die Teilmenge M<\mathds{Z}_{\mathds{Q}}> der rationalen Repräsentanten ganzer Zahlen abbildet und dabei bezüglich der Äquivalenzrelation die Bedeutung erhält, ist der folgende. Idee hinter der Definition ist, Ganzzahlrepräsentanten M durch Brüche M<\frac{x}{1}> darzustellen. =for latex {\framebox{\vbox{ I M<\begin{array}{@{}ll} {} f{:}\, & \mathds{Z} \to \mathds{Z}_{\mathds{Q}} \subsetneq \mathds{Q} \text{ (Wertemenge)} \\ {} & x \mapsto f(x) := \underbrace{\left(x,\left(1_{\mathds{N}_0},0_{\mathds{N}_0}\right)\right)_{\mathds{Q}}}_{\mathrel{\equiv} \left(x, 1_{\mathds{Z}}\right)} \\ \\ {} f^{-1}{:}\, & \mathds{Q} \supsetneq \mathds{Z}_{\mathds{Q}} \to \mathds{Z} \text{ (Wertemenge)} \\ {} & \underbrace{\left(x,\left(1_{\mathds{N}_0},0_{\mathds{N}_0}\right)\right)_{\mathds{Q}}}_{\mathrel{\equiv} \left(x, 1_{\mathds{Z}}\right)} \mapsto f^{-1}\!\left(\underbrace{\left(x,\left(1_{\mathds{N}_0},0_{\mathds{N}_0}\right)\right)_{\mathds{Q}}}_{\mathrel{\equiv} \left(x, 1_{\mathds{Z}}\right)}\right) := x \end{array}> =for latex }}\par{}} Beispiele: M, M<\quad> M Dass M die Bedeutung erhält und somit in der Tat ein Isomorphismus ist, muss noch bewiesen werden, was ich hier aus Platzgründen nur an der Addition zeigen werde: M<\begin{array}{cll} {} & f(x) +_{\mathds{Q}} f(y) = & {} \qquad \text{\textsl{(Anwenden der Abbildungsvorschrift)}} \\ {}=& (x,(1,0)) +_{\mathds{Q}} (y,(1,0)) = & {} \qquad \text{\textsl{(Anwenden der }}\mathds{Q}\text{\textsl{-Additionsvorschrift)}} \\ {}=& (x \cdot (1,0) +_{\mathds{Z}} y \cdot (1,0), (1,0) \cdot_{\mathds{Z}} (1,0)) = & {} \qquad \text{\textsl{(Ausrechnen der Paarkomponenten)}} \\ {}=& (x + y, (1,0)) = \\ {}=& f(x +_{\mathds{Z}} y) \end{array}> M<\begin{array}{@{}cl} {} & f^{-1}\!\left( {} \left(x,(1,0)\right)_{\mathds{Q}} +_{\mathds{Q}} {} \left(y,(1,0)\right)_{\mathds{Q}} {} \right) = \\ {}=& f^{-1}\!\left(\left(x \cdot \left(1,0\right) + y \cdot \left(1,0\right), \left(1,0\right) \cdot \left(1,0\right)\right)\right) = \\ {}=& f^{-1}\!\left(\left(x +_{\mathds{Z}} y, (1,0)\right)\right) = \\ {}=& x +_{\mathds{Z}} y = \\ {}=& f^{-1}\!\left(\left(x,(1,0)\right)_{\mathds{Q}}\right) +_{\mathds{Z}} {} f^{-1}\!\left(\left(y,(1,0)\right)_{\mathds{Q}}\right) \end{array}> =head3 Reelle Zahlen In diesem Abschnitt werden zwei Realisierungen der reellen Zahlen vorgestellt. Da bei beiden ein umfangreicher Formalismus für eine rigorose Darstellung notwendig ist, werde ich hier nur die Grundideen der beiden Realisierungen vorstellen und für weiterführende Informationen und Beweise auf Literatur verweisen. =head4 Unkonstruktive Realisierung der reellen Zahlen Bei der sog. unkonstruktiven Realisierung der reellen Zahlen stellt man die Körperaxiome (Assoziativität und Kommutativität der Addition und Multiplikation, Existenz neutraler und inverser Elemente bezüglich Addition und Multiplikation und Distributivität (M ) und das Vollständigkeitsaxiom (grob: Zwischen zwei reelle Repräsentanten rationaler Zahlen passen unendlich viele Repräsentanten reeller Zahlen) und zeigt dann, dass es a) Mengen und Verknüpfungen gibt, die diese Axiome erfüllen, und b) dass alle Realisierungen, die diese Axiome erfüllen, zueinander isomorph sind. Man nennt diese Realisierung der reellen Zahlen "unkonstruktiv", da sie nicht die Zahlenmenge, M<\mathds{R}>, und die Verknüpfungen, M<+>, M<->, M<\cdot>, M<:>, direkt angibt, sondern nur die Axiome, die sie erfüllen müssen. Vertreter des mathematischen Konstruktivismus lehnen die unkonstruktive Realisierung der reellen Zahlen ab; ihrer Meinung nach existiert ein mathematisches Objekt nur dann, wenn es eine Methode gibt, die das betreffende mathematische Objekt konstruiert. Vertreter der konventionellen Meinung haben einen allgemeineren Existenzbegriff: Ihnen zufolge existiert ein mathematisches Objekt auch dann, wenn beispielsweise bewiesen wurde, dass die Annahme der Nichtexistenz des Objekts zu einem Widerspruch führt. [[RKonstr]], [[RWikiDeKonstr]] =head4 Konstruktive Realisierung der reellen Zahlen Eine konstruktive Realisierung der reellen Zahlen, die auch Vertreter des mathematischen Konstruktivismus akzeptieren, basiert auf den rationalen Zahlen. Dabei begreift man reelle Zahlen als Grenzwert bestimmer Folgen (sog. Cauchy-Folgen), beispielsweise definiert man M<\pi> als Grenzwert der Folge M<3, 3{,}1, 3{,}14, 3{,}141, 3{,}1415, \ldots>. =head3 Surreale Zahlen In diesem Kapitel werde ich die surrealen Zahlen vorstellen, deren Aufbau sich von dem der natürlichen, ganzen und rationalen Zahlen grundlegend unterscheidet. Die surrealen Zahlen umfassen die konventionellen Zahlenbereiche M<\mathds{N}_0>, M<\mathds{Z}>, M<\mathds{Q}> und M<\mathds{R}> und darüberhinaus transfinite und infinitesimale Zahlen (Zahlen, die größer als jede reelle Zahl bzw. kleiner als jede positive reelle Zahl sind) und bilden, bis auf eine kleine formale Feinheit, sogar einen Körper. Die surrealen Zahlen zeichnen sich durch eine Vielzahl faszinierender Eigenschaften aus, die ich hier kurz darlegen werde. Die Eleganz und vielen Möglichkeiten der surrealen Zahlen kommen leider zu einem hohen Preis -- Rechnungen und Beweise werden sehr lang --, weswegen ich hier aus Platzgründen nur eine grobe Einführung in die surrealen Zahlen geben kann. Erfunden/entdeckt wurden die surrealen Zahlen 1974 durch den englischen Mathematiker und theoretischen Physiker John Horton Conway (* 1937). Standardwerke sind Conways I (1976) und Donald E. Knuths I (1974). [[SWikiDeSurr]] Anwendung finden die surrealen Zahlen in der Nichtstandardanalysis, der kombinatorischen Spieltheorie und sind eng verknüpft mit der Theorie der Ordinalzahlen. Die Bedeutung der surrealen Zahlen für die Nichtstandardanalysis und die kombinatorische Spieltheorie werde hier auch darlegen. =head4 Rekapitulation des konventionellen Aufbaus Beim konventionellen Aufbau der Zahlenmengen wie hier präsentiert führt man alle Rechenoperationen und Relationen aufs Zählen zurück. Zuerst angewendet wird dieses Konzept bei der Definition der Addition auf den natürlichen Zahlen -- M, mit M -- und auch die anderen Grundrechenarten führt man entweder direkt aufs Zählen zurück oder auf die Addition, die ihrerseits aufs Zählen führt. Das Anfangselement M<0> und die Nachfolgerfunktion M können wahlweise abstrakt bleiben oder konkretisiert werden. Ganze Zahlen begreift man als Paare natürlicher Zahlrepräsentanten, wobei die erste Paarkomponente eines Repräsentanten angibt, wie oft man, von der Null ausgehend, vorwärts zählt, und die zweite angibt, wie oft man, vom Ergebnis des Vorwärtszählens, rückwärts zählt. Die Definitionen der Operatoren und Relationen führt man auf die bereits definierten Regeln der natürlichen Zahlen zurück, wie beispielsweise bei der Definition der M<\mathds{Z}>-Multiplikation einsehbar: M<(n,m) \cdot_{\mathds{Z}} (\nu,\mu) := (n \nu +_{\mathds{N}_0} m \mu, n \mu +_{\mathds{N}_0} m \nu)> mit M<(n,m), (\nu,\mu) \in \mathds{Z}>. Auf der rechten Seite der Definition wird die M<\mathds{N}_0>-Addition und -Multiplikation genutzt, die ihrerseits beide über das Zählkonzept definiert sind. Da die Zahlrepräsentation bei den ganzen Zahlen als Paare natürlicher Zahlrepräsentanten nicht eindeutig ist, muss man eine Äquivalenzrelation (M<\equiv>) definieren und, wenn man eine Menge eindeutiger Repräsentanten aufstellen will, normalisieren oder Äquivalenzklassen bilden. Rationale Zahlen begreift man als Paare ganzer Zahlrepräsentanten und führt die Operatoren und Relationen auf Vorschriften auf den ganzen Zahlen zurück. Da bei der so gebildeten Menge der Repräsentanten rationaler Zahlen die Zahlrepräsentation nicht eindeutig ist, muss man, wie bei den ganzen Zahlen, eine Äquivalenzrelation einführen. =head4 Unzufriedenheiten mit dem konventionellen Aufbau In diesem Abschnitt werde ich einige Unzulänglichkeiten des konventionellen Aufbaus der Zahlenbereiche aufzeigen. Der Alternativaufbau durch die surrealen Zahlen hat diese Unzulänglichkeiten nicht; dieser Abschnitt begründet daher die Einführung der surrealen Zahlen. =head5 Komplexität durch den "gestapelten" Aufbau Wie die längere Beispielrechnung auf S. [[LINK:QLang]] gezeigt hat, ist das Rechnen mit rationalen Zahlen nach den in dieser Arbeit hergeleiteten Vorschriften umständlich. In der Praxis nutzt man daher Symbolmanipulationstechniken (schriftliches Addieren, schriftliches Multiplizieren), die es ersparen, von der hohen Ebene der Vorschriften der rationalen Zahlen zum einfachen Zählen zurückkommen zu müssen. Das geht, wie in der Einleitung auf S. [[LINK:Einl]] schon erwähnt, so weit, dass die Ideen hinter dem Aufbau der Zahlen größtenteils unbekannt sind. Auch wenn in der Praxis dieser "gestapelte" Aufbau der Zahlenmengen keine Rolle spielt, so hätte man, von einem mathematisch-ideologischen Standpunkt aus betrachtet, trotzdem lieber einen Aufbau, der alle Zahlen "in einem Rutsch" liefert. Der Ansatz durch die surrealen Zahlen liefert genau das. =head5 Unzulänglichkeiten im Umgang mit Unendlichkeiten Es gibt noch einen anderen Grund, wieso man mit dem konventionellen Aufbau der Zahlenmengen unzufrieden sein könnte: Der Umgang mit Unendlichkeiten ist, im Vergleich zu den surrealen Zahlen, unnötig kompliziert. Weder die natürlichen, noch die ganzen, rationalen oder reellen Zahlen enthalten Objekte wie "Unendlich" oder "minus Unendlich". Naive Versuche, sie einzuführen, schlagen fehl, da viele gewohnte Eigenschaften, die man eigentlich beibehalten möchte, verletzt werden, wie folgendes Beispiel illustriert: M<\begin{array}{@{}cll} {} & \frac{\infty}{\infty} = \\ {}=& 1 & {} \qquad \text{nach der Regel }x:x=1 \\ \\ {} & \frac{\infty}{\infty} = & {} \qquad \text{\textsl{(Umformen des Zählers, nach }}\infty+\infty=\infty\text{\textsl{)}} \\ {}=& \frac{\infty + \infty}{\infty} = & {} \qquad \text{\textsl{(Zusammenfassen der Zählers)}} \\ {}=& \frac{2 \infty}{\infty} = & {} \qquad \text{\textsl{(Kürzen)}} \\ {}=& 2 \neq \\ {}\neq& 1 & \qquad \text{Widerspruch zum Ergebnis des anderen Rechenwegs!} \end{array}> =begin comment M<\mathds{N}_{\infty} := \mathds{N}_0 \cup \left\{ -\infty, \infty \right\}> "Unendlich ist die größte Zahl, also erhält man, egal, welche Zahl man zu Unendlich addiert, immer Unendlich." -- M<\infty + x = \infty> "Diese Logik muss auch für die Addition von Unendlich zu Unendlich selbst gelten." -- M<\infty + \infty = \infty> (I.) "Was aber ist Unendlich minus Unendlich?" -- M<\infty - \infty = \mathord{?}> "Nach der Regel M, die aus der Neutralität der Null bzw. den geforderten Eigenschaften des Inversen [XXX] folgt, müsste das Ergebnis wohl Null sein." -- M<\infty - \infty \stackrel{?}{=} 0> (II.) "Auch wenn man Regel I. anwendet, müsste das Ergebnis gleich bleiben [XXX]." -- M<\underbrace{\infty + \infty}_{= \infty\text{, nach I.}} - \infty = \infty + \infty - \infty = \infty + \underbrace{\left(\infty - \infty\right)}_{= 0\text{, nach II.}} = \infty \neq 0> Das ist nur ein Beispiel von vielen, das zeigt, das eine naive Erweiterung der Zahlenmengen mit Unendlich nicht möglich ist, wenn man die Gültigkeit der bekannten Gesetze erhalten will. [blabla das ist noch nicht schön so] =end comment Bei den reellen Zahlen löst man das Problem teilweise durch die Einführung des Grenzwertbegriffs, mit dem u.a. der Polstellen- und Asymptotenbegriff formalisiert werden können, ohne dass man M<\infty> und M<-\infty> zur Zahlenmenge hinzufügen müsste, was zu Inkonsistenzen führen würde. Intuitiv fehlt dem Grenzwertbegriff aber noch etwas: Vergleicht man beispielsweise die Funktionen M und M mit M und M (M) hinsichtlich ihres Verhaltens im Unendlichen... M<\lim\limits_{x \to \infty} f(x) = \lim\limits_{x \to \infty} \frac{1}{x} = 0> M<\lim\limits_{x \to \infty} g(x) = \lim\limits_{x \to \infty} \frac{1}{x^2} = 0> ...so stellt man fest, dass sie beide für M gegen Null konvergieren. Die Anschauung akzeptiert zwar, dass sich beide Graphen mit zunehmenden M immer mehr an die M-Achse anschmiegen, trotzdem verläuft der Graph von M (ab der Stelle M<1>) über dem von M; wie also können M und M beide zum gleichen Wert, Null, konvergieren? (Der Grenzwertbegriff in seiner axiomatischen Formulierung über M<\varepsilon>/M<\delta>-Schranken (in der Schule nur über M<\varepsilon>-Schranken) ist natürlich widerspruchsfrei.) Mithilfe der surrealen Zahlen kann man Funktionen auf ihr Verhalten im Unendlichen viel einfacher hin untersuchen, da man einfach den Funktionswert "bei Unendlich" (in einem Sinne, den ich weiter unten präzisieren werde) ausrechnen kann. In einem gewissen Sinne kann man bei den surrealen Zahlen sagen, dass M und M beide gegen Null konvergieren, der Grenzwert von M aber trotzdem größer (infinitesimal größer) als M ist. =head4 Alternativer Ansatz durch die surrealen Zahlen Die Konstruktion der surrealen Zahlen unterscheidet sich von der Konstruktion der natürlichen, ganzen und rationalen Zahlen grundlegend; man bildet weder Paare von Repräsentanten von Zahlen der jeweils vorhergehenden Menge, noch nutzt man eine Nachfolgerfunktion. Wie auch bei den ganzen und rationalen Zahlen ist die Zahlrepräsentation bei den surrealen Zahlen nicht eindeutig. Die gängige Lösung des Problems besteht im Bilden von Äquivalenzklassen. Da man, wie ich gleich zeigen werde, zum direkten Umgang mit surrealen Zahlen den Definitionen entsprechend einen großen rechnerischen Aufwand treiben muss, werde ich die besonderen Eigenschaften der surrealen Zahlen ausschließlich auf der Ebene der Symbolmanipulation darlegen und auf Literatur für eine genauere Behandlung der Themen verweisen. =head5 Konstruktionsregel Bei den surrealen Zahlen stehen zwei Regeln im Mittelpunkt, die sog. Konstruktionsregel und die Vergleichsregel. Die Konstruktionsregel gibt an, wie man surreale Zahlen konstruiert; die Vergleichsregel definiert die Kleinergleichrelation. Im Folgenden bezeichne ich mit M<\mathds{S}> die Menge der Repräsentanten surrealer Zahlen. =for latex {\framebox{\vbox{ I Sind M und M zwei Mengen von Repräsentanten surrealer Zahlen, dann (und nur dann) repräsentiert auch das Paar M<(L,R)> eine surreale Zahl, wenn zusätzlich gilt: Kein Element von M ist kleinergleich einem Element von M. In Symbolen: M ⇔ M<(L,R) \in \mathds{S}>, wenn für kein M gilt: M (für mindestens ein M) =for latex }}\par{}} Repräsentaten surrealer Zahlen sind also Paare von Mengen von Repräsentanten surrealer Zahlen. Die erste Paarkomponente bezeichnet man als "linke Menge", die zweite als "rechte Menge". =for latex {\footnotesize{} Manchmal begreift man Repräsentanten surrealer Zahlen auch als "Bimengen" (bi-sets), die, anders als normale Mengen, die nur über eine Art von Zugehörigkeit (M<\in>) verfügen, zwei Arten der Zugehörigkeit unterscheiden -- eine "linke Zugehörigkeit" und eine "rechte Zugehörigkeit". Man schreibt dann statt M<\left(\left\{\ldots\right\},\left\{\ldots\right\}\right)> M<\left\{ \ldots \,\middle|\, \ldots \right\}>. Verwechslungsgefahr mit der Mengenkonstruktionsnotation (M<\left\{ f(x) \,\middle|\, \phi(x) \text{ ist wahr} \right\}>) besteht in englischsprachiger Literatur weniger, da dort häufig der Doppelpunkt statt des senkrechten Strichs bei der Mengenkonstruktionsnotation genutzt wird. Hier werde ich ausschließlich die Paarnotation nutzen. =for latex \par} =head6 Konstruktion der Null Die Konstruktionsregel definiert, wie man, wenn man bereits zwei Mengen surrealer Zahlen kennt, weitere surreale Zahlen konstruieren kann. Das scheint an dieser Stelle ein Widerspruch zu sein: Man kennt ja noch keine surreale Zahlen -- wie soll man dann welche konstruieren? Die Definition ergibt Sinn, wenn man bedenkt, dass man als linke Menge M und rechte Menge M auch die leere Menge M<\left\{\right\}> nehmen kann. Die zusätzliche Beschränkung, dass kein M kleinergleich einem Element von M ist, gilt: Da die leere Menge keine Elemente enthält, gibt es auch keine Elemente, die gegen die Beschränkung verstoßen könnten ("vacuous truth"). Damit hat man einen Repräsentanten einer surrealen Zahl gefunden, die, wie sich später herausstellen wird, die Funktion der Null erfüllt: M<0_{\mathds{S}} := \left(\left\{\right\},\left\{\right\}\right)> Bei der Definition der Zahlensymbole der ganzen und rationalen Zahlen habe ich die Identität der Symbole nicht definiert, und nur eine Äquivalenzbeziehung hergestellt: M<0_{\mathds{Z}} :\equiv (0,0)>, M<0_{\mathds{Q}} :\equiv (0,1)>. Der Grund liegt darin, dass die Zahlrepräsentation bei den ganzen und rationalen Zahlen wie in dieser Arbeit realisiert nicht eindeutig ist und ich nicht "willkürlich" einen Repräsentanten auszeichnen wollte. Obwohl auch die Zahlrepräsentation bei den surrealen Zahlen nicht eindeutig ist, definiere ich hier die Identität der Zahlensymbole der surrealen Zahlen, da es im weiteren Verlauf günstig ist, Namen für ganz bestimmte Repräsentanten zu haben. Auch folge ich damit den Konventionen von anderen Arbeiten über surreale Zahlen, wie beispielsweise [[SWikiDeSurr]], [[SWikiEnSurr]], [[SKnuth]] und [[STondering]]. Man muss sich bewusst sein, dass es trotz meiner Definition der Identität der Zahlsymbole unendlich viele weitere Repräsentanten neben den ausgezeichneten gibt, die alle zueinander äquivalent sind und somit dieselbe Zahl repräsentieren. =head5 Vergleichsregel Jetzt, da ein Repräsentant einer surrealen Zahl bereits bekannt ist, kann man ihn zur Bildung einer einelementigen Menge von Repräsentanten surrealer Zahlen heranziehen, welche man dann als linke und rechte Menge verwenden kann. Auf diese Weise kommen folgende Paare von Mengen von Repräsentanten surrealer Zahlen in Betracht: M<\begin{array}{@{}rlll} {} \text{a)} & {} L = \left\{ 0_{\mathds{S}} \right\}, \quad & {} R = \left\{\right\}{:} \quad & {} \left(\left\{ 0_{\mathds{S}} \right\}, \left\{\right\}\right) \\ {} \text{b)} & {} L = \left\{\right\}, \quad & {} R = \left\{ 0_{\mathds{S}} \right\}\!{:} \quad & {} \left(\left\{\right\}, \left\{ 0_{\mathds{S}} \right\}\right) \\ {} \text{c)} & {} L = \left\{ 0_{\mathds{S}} \right\}, \quad & {} R = \left\{ 0_{\mathds{S}} \right\}\!{:} \quad & {} \left(\left\{ 0_{\mathds{S}} \right\}, \left\{ 0_{\mathds{S}} \right\}\right) \end{array}> Die Konstruktionsregel fordert die zusätzliche Beschränkung, dass kein Zahlrepräsentant M kleinergleich einem Repräsentant aus M ist. Um zu überprüfen, ob die Kandidaten a), b) und c) diese Bedingung erfüllen, muss man natürlich zunächst die Kleinergleichrelation definieren: =for latex {\framebox{\vbox{ I Ein surrealer Zahlrepräsentant M ist genau dann kleinergleich einem Zahlrepräsentanten M, wenn M kleinergleich keinem Element von M ist und wenn kein Element von M kleinergleich M ist. In Symbolen: M ⇔ M für kein M und M für kein M. =for latex }}\par{}} Diese Definition ist, wie auch die Konstruktionsregel, rekursiv. Gebrochen wird die Rekursion durch quantifizierte Aussagen über der leeren Menge. Mit bekannter Definition der Kleinergleichrelation kann man nun überprüfen, welche der Kandidaten gültige Repräsentanten surreale Zahlen sind: =over =item * Kandidat a) M<\left(\left\{ 0_{\mathds{S}} \right\}, \left\{\right\}\right)> erfüllt die Bedingung -- für kein M soll M (für mindestens ein M) gelten. Da M die leere Menge ist, ist die Bedingung trivialerweise erfüllt; Kandidat a) ist ein gültiger Repräsentant einer surrealen Zahl, die, wie nach der Definition der Addition klar werden wird, die Funktion der Eins erfüllt; man definiert: M<1_{\mathds{S}} := \left(\left\{ 0_{\mathds{S}} \right\}, \left\{\right\}\right)> =item * Auch Kandidat b) M<\left(\left\{\right\},\left\{ 0_{\mathds{S}} \right\}\right)> erfüllt die Bedingung -- da die linke Menge die leere Menge ist, gibt es kein M, für das M gelten könnte und somit die Konstruktionsregel verletzt werden könnte. Wie sich später herausstellen wird, handelt es sich bei Kandidat b) um einen Repräsentanten der Zahl M<\left(-1\right)>. M<\left(-1\right)_{\mathds{S}} := \left(\left\{\right\},\left\{ 0_{\mathds{S}} \right\}\right)> =item * Kandidat c) erfüllt die Bedingung nicht, da M<0_{\mathds{S}} \in R> kleinergleich M<0_{\mathds{S}} \in L> ist und somit die Bedingung der Konstruktionsregel verletzt: =for latex \label{FAS00} M<\begin{array}{@{}rlll} {} & 0_{\mathds{S}} \leq 0_{\mathds{S}} & ⇔ & {} \qquad \text{\textsl{(Schreiben als Paare)}} \\ {}⇔& \left(\left\{\right\},\left\{\right\}\right) \leq \left(\left\{\right\},\left\{\right\}\right) & ⇔ & {} \qquad \text{\textsl{(Anwenden der Vergleichsregel)}} \\ {}⇔& 0_{\mathds{S}} \leq l_x \text{ für kein }l_x \in L_x = \left\{\right\} & \text{und} \\ {}\text{und}& r_y \leq 0_{\mathds{S}} \text{ für kein }r_y \in R_y = \left\{\right\} & ⇔ \text{(wahr)} \end{array}> =back Die Konstruktionsregel kann man nun, da man mit insgesamt drei bekannten Repräsentanten surrealer Zahlen -- M<\left(-1\right)>, M<0> und M<1> -- neue Mengen von Repräsentanten surrealer Zahlen bilden kann, erneut anwenden. Mit jeder Anwendung der Konstruktionsregel findet/konstruiert man neue Zahlrepräsentanten; der Vorgang lässt sich unbegrenzt fortsetzen. =head5 Äquivalenzrelation der surrealen Zahlen Man definiert zwei surreale Zahlen als äquivalent, wenn die eine kleinergleich der anderen ist und umgekehrt. In Symbolen: =for latex {\framebox{\vbox{ I M mit M. =for latex }}\par{}} Beispiel: M<\begin{array}{@{}rrclll} {} & 0 &\equiv& 0 & ⇔ & {} \qquad \text{\textsl{(Anwenden der Äquivalenzrelation)}} \\ {}⇔& 0 &\leq& 0 & \text{und} \\ {}\text{und}& 0 &\leq& 0 & ⇔ & {} \qquad \text{(wahr), nach S. [[LINK:S00]]} \end{array}> Auf die Beweise der Reflexivität, Symmetrie und Transitivität der Äquivalenzrelation verzichte ich an dieser Stelle. Die Zahlrepräsentation ist bei den surrealen Zahlen nicht eindeutig, beispielsweise repräsentieren M<\left(\left\{\right\}, \left\{\right\}\right)> und M<\left(\left\{ -1 \right\}, \left\{ 1 \right\}\right)> beide die Null. Der Beweis, dass M<\left(\left\{\right\}, \left\{\right\}\right) \equiv \left(\left\{ -1 \right\}, \left\{ 1 \right\}\right)>, folgt aus mehrmaligem Anwenden der Vergleichsregel, ist aber vergleichsweise lang, weswegen ich ihn hier nicht ausführen werde. Wie bei den ganzen und rationalen Zahlen löst man das Problem, indem man Äquivalenzklassen von Repräsentanten, die alle zueinander äquivalent sind, bildet. M<0_{\mathds{S}^*} := \left[0_{\mathds{S}}\right] = \left\{ \left(\left\{\right\}, \left\{\right\}\right), \left(\left\{ -1 \right\}, \left\{ 1 \right\}\right), \ldots \right\}> Anders als bei der Äquivalenzklassenbildung bei den ganzen und rationalen Zahlen ist bei den surrealen Zahlen nicht unmittelbar offensichtlich, welche Repräsentanten zu M<0_{\mathds{S}} = \left(\left\{\right\}, \left\{\right\}\right)> äquivalent sind; mathematisch stellt dies aber kein Problem dar. =begin comment M<\begin{array}{@{}rrrclll} {} && \left(\left\{ -1 \right\}, \left\{ 1 \right\}\right) &\equiv& {} \left(\left\{\right\}, \left\{\right\} \equiv 0 & ⇔ & {} \qquad \text{\textsl{(Anwenden der Äquivalenzrelationsvorschrift)}} \\ {}⇔& \text{1)} & \left(\left\{ -1 \right\}, \left\{ 1 \right\}\right) &\leq& {} \left(\left\{\right\}, \left\{\right\} & \text{und} \\ {} \text{2)} & \left(\left\{\right\}, \left\{\right\} &\leq& {} \left(\left\{ -1 \right\}, \left\{ 1 \right\}\right) \end{array}> =over =item * Beweis von 1) M<\left(\left\{ -1 \right\}, \left\{ 1 \right\}\right) \leq \left(\left\{\right\}, \left\{\right\}\right)>: Nach der Vergleichsregel gilt diese Aussage, wenn a) M<\left(\left\{\right\}, \left\{\right\}\right)> nicht keinergleich zu M<-1 \equiv \left(\left\{\right\}, \left\{ 0 \right\}\right)> ist und wenn b) kein Element der rechten Menge von M<\left(\left\{\right\}, \left\{\right\}\right)>, also von der leeren Menge, kleinergleich M<\left(\left\{ -1 \right\}, \left\{ 1 \right\}\right)> ist. b) ist trivialerweise richtig, da die leere Menge keine Elemente enthält, die kleinergleich M<\left(\left\{ -1 \right\}, \left\{ 1 \right\}\right)> sein könnten. a) richtig, wenn die negierte Aussage a') falsch ist. Nach der Vergleichsregel ist a') richtig, wenn α) M<-1> keinergleich keinem Element der linken Menge von M<\left\left\{\right\}, \left\{\right\}\right)>, also von der leeren Menge ist, und wenn β) kein Element von M<\left\{ 0 \right\}> kleinergleich M<\left(\left\{\right\}, \left\{\right\}\right)> ist. α) ist trivialerweise richtig (vacuous truth). β) ist falsch, da das Element M<0> von M<\left\{ 0 \right\}> kleinergleich M<\left(\left\{\right\}, \left\{\right\}\right) \equiv 0> ist, wie [bei c) oben] bewiesen. Also ist a') falsch. Damit ist a) richtig, und damit ist 1) richtig. =item * Beweis von 2) M<\left(\left\{\right\}, \left\{\right\}\right) \leq \left(\left\{ -1 \right\}, \left\{ 1 \right\}\right)>: Nach der Vergleichsregel gilt diese Aussage, wenn a) M<\left(\left\{ -1 \right\}, \left\{ 1 \right\}\right)> keinergleich keinem Element von der linken Menge von M<\left(\left\{\right\}, \left\{\right\}\right)>, also der leeren Menge ist, und wenn b) kein Element der rechten Menge von M<\left(\left\{ -1 \right\}, \left\{ 1 \right\}\right)> kleinergleich M<\left(\left\{\right\}, \left\{\right\}\right)> ist. a) gilt trivialerweise (vacuous truth). b) gilt, wenn M<1 = \left(\left\{ 0 \right\}, 1\right)> nicht kleinergleich M<\left(\left\{\right\}, \left\{\right\}\right)> ist. b) ist richtig, wenn die negierte Aussage b') falsch ist. b') ist nach der Vergleichsregel richtig, wenn M<\left(\left\{\right\}, \left\{\right\}\right)> keinergleich Nach der Vergleichsregel gilt diese Aussage, wenn a) M<\left(\left\{\right\}, \left\{\right\}\right)> nicht keinergleich zu M<-1 \equiv \left(\left\{\right\}, \left\{ 0 \right\}\right)> ist und wenn b) kein Element der rechten Menge von M<\left(\left\{\right\}, \left\{\right\}\right)>, also von der leeren Menge, kleinergleich M<\left(\left\{ -1 \right\}, \left\{ 1 \right\}\right)> ist. b) ist trivialerweise richtig, da die leere Menge keine Elemente enthält, die kleinergleich M<\left(\left\{ -1 \right\}, \left\{ 1 \right\}\right)> sein könnten. Nach der Vergleichsregel ist a) richtig, wenn die negierte Aussage a') falsch ist. a') ist richtig, wenn α) M<-1> keinergleich keinem Element der linken Menge von M<\left\left\{\right\}, \left\{\right\}\right)>, also von der leeren Menge ist, und wenn β) kein Element von M<\left\{ 0 \right\}> kleinergleich M<\left(\left\{\right\}, \left\{\right\}\right)> ist. α) ist trivialerweise richtig (vacuous truth). β) ist falsch, da das Element M<0> von M<\left\{ 0 \right\}> kleinergleich M<\left(\left\{\right\}, \left\{\right\}\right) \equiv 0> ist, wie [bei c) oben] bewiesen. Also ist a') falsch. Damit ist a) richtig, und damit ist 1) richtig. =back =end comment =head5 Addition auf den surrealen Zahlen In diesem Abschnitt wird die Definition der Addition auf den surrealen Zahlen definiert. Um diese übersichtlich notieren zu können, benötigt man eine Kurzschreibweise, die sog. mengentheoretischen Erweiterung des M<+>-Operators, die wie folgt definiert ist: M M mit M und M eine Menge von Repräsentanten surrealer Zahlen. Bei M<\oplus> wird also eine Addition für jedes Element der Menge ausgeführt, zwei Zahlenbeispiele verdeutlichen das: M<5 \oplus \left\{ 1,2,3 \right\} = \left\{ 5 + 1, 5 + 2, 5 + 3 \right\}>, M<\quad> M<\left\{\right\} + 5 = \left\{\right\}> =for latex {\framebox{\vbox{ I M mit M und M. =for latex }}\par{}} Beispiel: M<\begin{array}{@{}rll} {} & 0_{\mathds{S}} + 1_{\mathds{S}} = & {} \qquad \text{\textsl{(Schreiben als Paare)}} \\ {}=& \left(\left\{\right\}, \left\{\right\}\right) + {} \left(\left\{ 0_{\mathds{S}} \right\}, \left\{\right\}\right) = & {} \qquad \text{\textsl{(Anwenden der Additionsvorschrift)}} \\ {}=& \left(\right. \\ {} & \quad \left(\left\{\right\} \oplus 1_{\mathds{S}}\right) \cup {} \left(0_{\mathds{S}} \oplus \left\{ 0_{\mathds{S}} \right\}\right), \\ {} & \quad \left(\left\{\right\} \oplus 1_{\mathds{S}}\right) \cup {} \left(0_{\mathds{S}} \oplus \left\{\right\}\right) \\ {} & \left.\right) = \\ {}=& \left( {} \left\{\right\} \cup \left\{ 0_{\mathds{S}} + 0_{\mathds{S}} \right\}, {} \left\{\right\} \cup \left\{\right\} {} \right) = \\ {}=& \left(\left\{ 0_{\mathds{S}} + 0_{\mathds{S}} \right\}, \left\{\right\}\right) = & {} \qquad \text{\textsl{(Schreiben als Paare)}} \\ {}=& \left(\left\{ \left(\left\{\right\}, \left\{\right\}\right) + \left(\left\{\right\}, \left\{\right\}\right) \right\}, \left\{\right\}\right) = & {} \qquad \text{\textsl{(Anwenden der Additionsvorschrift)}} \\ {}=& \left(\right. \\ {} & \quad \left\{\left(\right.\right. \\ {} & \qquad \left(\left\{\right\} \oplus 0_{\mathds{S}}\right) \cup {} \left(0_{\mathds{S}} \oplus \left\{\right\}\right), \\ {} & \qquad \left(\left\{\right\} \oplus 0_{\mathds{S}}\right) \cup {} \left(0_{\mathds{S}} \oplus \left\{\right\}\right) \\ {} & \quad\left.\left.\right)\right\}, \\ {} & \quad\left\{\right\} \\ {} & \left.\right) = \\ {}=& \left(\right. \\ {} & \quad {} \left\{\ {} \left(\left\{\right\}, \left\{\right\}\right) {} \ \right\}, \\ {} & \quad {} \left\{\right\} \\ {} & \left.\right) = \\ {}=& \left(\left\{ 0_{\mathds{S}} \right\}, \left\{\right\}\right) = 1_{\mathds{S}} \end{array}> Die Bezeichnungen M<0> und M<1> für M<\left(\left\{\right\},\left\{\right\}\right)> bzw. M<\left(\left\{ 0 \right\},\left\{\right\}\right)> waren also, zumindest für dieses Beispiel, gerechtfertigt. Es ist nicht besonders schwer, allgemein zu zeigen, dass die hier definierte Addition kommutativ und assoziativ ist und alle Repräsentanten, die zu M<0_{\mathds{S}}> äquivalent sind, neutrale Elemente sind; die Beweise sind zwar einfach, da sie sich direkt aus den jeweiligen Definitionen ergeben, nehmen aber viel Platz in Anspruch, weswegen ich sie hier nicht ausführe. Nachlesen kann man sie in [[STondering]], [[SKnuth]] und [[SUnknown]]. Die anderen Operatoren kann ich hier aus Platzgründen nicht definieren. Auch kann ich keine Herleitungen der Definitionen anführen, wie bei den natürliche, ganzen und rationalen Zahlen getan, da es ja keine bereits bekannten Umformungsregeln für die surrealen Zahlen gibt, von denen man Definitionen ableiten könnte. =head5 Fortsetzung des Konstruktionsverfahrens Setzt man das Konstruktionsverfahren unbegrenzt fort, erhält man (hier ohne Beweis) Repräsentanten aller Zahlen der Form M<\frac{a}{2^b}> mit M ganz und M natürlich (die sog. dyadischen Brüche). Speziell für M ergeben sich die ganzen Zahlen. Der Clou: Man kann nun die unendlich große Menge der surrealen Repräsentanten ganzer Zahlen (oder Teilmengen von ihr), M<\left\{ 0_{\mathds{S}}, 1_{\mathds{S}}, 2_{\mathds{S}}, 3_{\mathds{S}}, \ldots \right\}>, selbst als linke oder rechte Menge nehmen! Damit erhält man folgende Zahlrepräsentanten: M<\omega := \left(\left\{ 0, 1, 2, 3, \ldots \right\}, \left\{\right\}\right)> M<-\omega = \left(\left\{\right\}, \left\{ 0, -1, -2, -3, \ldots \right\}\right)> M<\omega> und M<-\omega> haben die besondere Eigenschaft, dass sie größer bzw. kleiner als jeder surreale Repräsentant einer natürlichen Zahl sind! Für sie gelten u.a. folgende Rechenregeln: M<\omega + \left(-\omega\right) \equiv 0>, M<\pm \omega \cdot 0 \equiv 0>, Darüberhinaus gibt es bei den surrealen Zahlen nicht nur zwei transfinite Zahlen, repräsentiert durch M<\omega> und M<-\omega>, sondern unendlich viele weitere (!), die man erhält, wenn man M<\pm \omega> und Ergebnisse von Rechenoperationen mit M<\pm \omega> als Elemente von linker und rechter Menge zulässt: M<2 \omega \equiv \left(\left\{ \omega, \omega + 1, \omega + 2, \omega + 3, \ldots \right\}, \left\{\right\}\right) \equiv \omega + \omega E \omega> M<-2 \omega \equiv \left(\left\{\right\}, \left\{ -\omega, -\omega - 1, -\omega -2, -\omega - 3, \ldots \right\}\right) \equiv \left(-\omega\right) + \left(-\omega\right) E -\omega> M<\omega^2 \equiv \left(\left\{ \omega, 2\omega, 3\omega, 4\omega, \ldots \right\}, \left\{\right\}\right) \equiv \omega \cdot \omega E \omega> M<-\omega^2 \equiv \left(\left\{\right\}, \left\{ -\omega, -2\omega, -3\omega, -4\omega, \ldots \right\}\right) \equiv -\omega \cdot \omega E -\omega> Es gibt sogar Zahlen, die zwar größer als jede positive reelle Zahl sind, aber kleiner als M<\omega>! Ein Beispiel einer solchen Zahl ist M<\omega - 1>: M \omega - 1 \equiv \left(\left\{0,1,2,3,\ldots\right\},\left\{\omega\right\}\right) E \omega> für alle M. Die multiplikativ Inversen von transfiniten Zahlen sind sog. infinitesimale Zahlen: M<\varepsilon := \left(\left\{ 0 \right\}, \left\{ 1, \frac{1}{2}, \frac{1}{4}, \frac{1}{8}, \ldots \right\}\right) \equiv \frac{1}{\omega}> M<-\varepsilon = \left(\left\{ -1, -\frac{1}{2}, -\frac{1}{4}, -\frac{1}{8}, \ldots \right\},\left\{ 0 \right\}\right) \equiv \frac{1}{-\omega}> M<\varepsilon> ist Repräsentant einer infinitesimalen Zahl, die größer Null, aber kleiner als jede positive reelle Zahl ist. In Symbolen: M<0 E \varepsilon E r> für alle M. Wie auch von den transfiniten Zahlen gibt es unendlich viele infinitesimale Zahlen: M<1 E 2 \varepsilon \equiv \left(\left\{ \varepsilon \right\}, \left\{ \varepsilon + 1, \varepsilon + \frac{1}{2}, \varepsilon + \frac{1}{4}, \ldots \right\}\right) \equiv \varepsilon + \varepsilon E \varepsilon E 0> -- M<2 \varepsilon> repräsentiert eine Zahl, die größer M<\epsilon>, aber trotzdem noch kleiner als jede positive reelle Zahl ist. M<0 E \varepsilon^2 \equiv \frac{1}{\omega^2} \equiv \frac{1}{\omega} \frac{1}{\omega} \equiv \varepsilon \varepsilon E \varepsilon> -- M<\varepsilon^2> repräsentiert eine Zahl, die kleiner als M<\epsilon>, aber immer noch positiv ist, die also zwischen M<0> und M<\epsilon> liegt. Infinitesimale Zahlen gibt es nicht nur in der Umgebung von Null: M<3 E 3 + \varepsilon E r> für alle M 3> M<\omega - \varepsilon> repräsentiert eine Zahl, die größer als jede reelle Zahl ist, aber kleiner M<\omega>. Im Folgenden werde ich mit M<\omega> und M<\varepsilon> nur symbolhaft umgehen, also nicht ihre Definitionen als Paar zweier Mengen von Repräsentanten surrealer Zahlen nutzen, da das Rechnen auf dieser unteren Ebene sehr mühselig ist. Da jedoch die surrealen Zahlen (bis auf eine kleine formale Feinheit) einen Körper bilden, können die bekannten Rechengesetze und Äquivalenzumformungen auf das Rechnen mit surrealen Zahlen übertragen werden. Auch lasse ich die Beweise an dieser Stelle aus, da sie viel Platz benötigen und in den Quellen [[STondering]], [[SKnuth]] und [[SUnknown]] zu finden sind. =head4 Anwendungen der surrealen Zahlen In diesem Abschnitt werden Anwendungen der surrealen Zahlen vorgestellt. Dabei wird mit M<\omega> und M<\varepsilon> nur symbolhaft umgegangen. =head5 Bestimmung des Verhaltens von Funktionen im Unendlichen In der Einführung dieses Kapitels betrachtete ich zwei Funktionen M und M mit M und M. Über den Grenzwertbegriff der reellen Zahlen findet man, dass M und M für M gegen Null gehen: M<\lim\limits_{x \to \infty} f(x) = \lim\limits_{x \to \infty} \frac{1}{x} = 0> M<\lim\limits_{x \to \infty} g(x) = \lim\limits_{x \to \infty} \frac{1}{x^2} = 0> Ich sprach den augenscheinlichen Widerspruch an, dass der Graph von M (ab der Stelle M<1>) über dem von M verläuft, die Grenzwerte für M aber gleich sind. Mithilfe der surrealen Zahlen kann man den Grundgedanken der Anschauung mit dem Grenzwertbegriff der reellen Zahlen vereinbaren. Anstatt der Grenzwertbetrachtung für M kann man im Surrealen für M einfach M<\omega> nehmen und M mit M vergleichen, also die Funktionswerte an der Stelle M<\omega> ("Unendlich") ausrechnen: M M \varepsilon> M und M unterscheiden sich also beide nur um einen infinitesimalen Anteil (M<\varepsilon> bzw. M<\varepsilon^2>) von Null; das Ergebnis der Grenzwertbetrachtung spiegelt auf diese Weise wieder. Zusätzlich wird aber anders als beim Grenzwertbegriff die Anschauung nicht verletzt: M und M sind zwar beide infinitesimal, trotzdem ist M aber kleiner als M -- anschaulich: "M ist auch im Unendlichen größer als M." =head5 Bestimmung des Verhaltens von Funktionen an Polstellen Wendet man den Grenzwertbegriff auf M und M für M an, so kommt man zum Ergebnis, dass M und M an der Stelle M<0> eine Polstelle haben: M<\lim\limits_{x \to 0+} f(x) = \lim\limits_{x \to 0+} \frac{1}{x} = +\infty> M<\lim\limits_{x \to 0+} g(x) = \lim\limits_{x \to 0+} \frac{1}{x^2} = +\infty> Das Argument der Anschauung, M steige doch stärker an als M, findet keine Entsprechung im Grenzwertbegriff, dem zufolge man lediglich aussagen kann, dass M und M beide an der Stelle M<0> divergieren. Bei einer entsprechenden Diskussion der Funktionen im Surrealen fließt die Anschauung hingegen durchaus ein -- bei gleichzeitiger Erhaltung der Gültigkeit der Erkenntnisse der Grenzwertbetrachtung in einem gewissen Sinne. Statt den Grenzwert für M zu untersuchen, kann man im Surrealen einfach eine positive infinitesimale Zahl, wie beispielsweise M<\varepsilon>, als Funktionsargument nutzen: M M \omega> Die Erkenntnis der Grenzwertbetrachtung -- dass beide Funktionen an der Stelle M<0> divergieren, wird dadurch wiedergespiegelt, dass M und M beide transfinite Zahlen sind. Zusätzlich wird aber die Anschauung nicht enttäuscht: Während M an der Stelle M<\varepsilon> "erst bei M<\omega>" ist, ist M "schon bei M<\omega^2>". =head5 Beschreibung von Spielen im Rahmen der kombinatorischen Spieltheorie Spiele mit zwei Spielern, bei denen die Spieler abwechselnd ziehen, es keine versteckte Informationen gibt (wie beispielsweise verdeckte Karten), der Spielverlauf nur von den Spielern und den Regeln, nicht aber vom Zufall (wie beispielsweise durch Würfel oder Mischen realisert) abhängt und derjenige Spieler verliert, der keine Zugmöglichkeiten mehr hat, können durch "Games", eine Verallgemeinerung der surrealen Zahlen, sehr gut beschrieben werden. Die Spieler nennt man "linker" bzw. "rechter Spieler". [[SWikiDeSurr]], [[SWikiEnSurr]] Games konstruiert und vergleicht man genau wie surreale Zahlen, nur lässt man die Beschränkung der Konstruktionsregel, kein Element der rechten Menge dürfe kleinergleich einem Element der linken Menge sein, weg. Beispielsweise ist M<\left(\left\{ 0 \right\},\left\{ 0 \right\}\right)> kein Repräsentant einer surrealen Zahl, da die Konstruktionsregel verletzt wird, da M<0 \leq 0> ist, aber sehr wohl ein Game. Die linke Menge M eines Games M<(L,R)> enthält die Games, die die Spielsituationen beschreiben, die der linke Spieler, wenn er am Zug ist, durch seinen Zug erreichen kann. Die rechte Menge M enthält die Games, die die Spielsituationen beschreiben, die der rechte Spieler erreichen kann, wenn er am Zug ist. =over =item * Beispielsweise beschreibt das Game M<0 = \left(\left\{\right\}, \left\{\right\}\right)> eine Spielsituation, in der beide Spieler keine Zugmöglichkeit haben. Da laut den Spielregeln der Spieler verliert, der keine Zugmöglichkeit mehr hat, verliert bei einer Spielsituation, die durch das Game M<0> beschrieben ist, der Spieler, der gerade am Zug ist. =item * Das Game M<1 = \left(\left\{ 0 \right\}, \left\{\right\}\right)> beschreibt eine Situation, bei der der linke Spieler, sollte er am Zug sein, als einzige Zugmöglichkeit das Herstellen der Situation, die durch das Game M<0> beschrieben ist, hat. Da beim Game M<0> der Spieler verliert, der gerade am Zug ist, verliert also bei einer Situation, die durch das Game M<1> beschrieben ist, der rechte Spieler, wenn ursprüngloch der linke Spieler am Zug war. Auch verliert der rechte Spieler, wenn nicht der linke Spieler, sondern er selbst bei der ursprünglichen Situation (Game M<1>) am Zug ist, da die rechte Menge von M<1>, M<\left\{\right\}>, leer ist und er somit keine Zugmöglichkeiten hat. Das Game M<1> beschreibt also eine Spielsituation, bei der, unabhängig davon, welcher Spieler am Zug ist, der rechte Spieler verliert. =item * Beim Game M<\left(-1\right) = \left(\left\{\right\}, \left\{ 0 \right\}\right)> dagegen verliert der linke Spieler: Ist der linke Spieler am Zug, so hat er keine Zugmöglichkeiten, da die linke Menge von M<1>, M<\left\{\right\}>, die leere Menge ist. Ist der rechte Spieler am Zug, so stellt er eine Situation her, die durch das Game M<0 = \left(\left\{\right\},\left\{\right\}\right)> beschrieben wird. Dann ist der linke Spieler am Zug und verliert, da die linke Menge von M<0> leer ist, er also keine Zugmöglichkeiten hat. =back Es stellt sich heraus, dass allgemein Games, die größer als M<0> sind, Situationen beschreiben, bei denen der linke Spieler gewinnt, wenn er optimal spielt, und Games, die kleiner als M<0> sind, Situationen beschreiben, bei denen der rechte Spieler gewinnt, wenn er optimal spielt. Ist ein Game äquivalent zu M<0>, so beschreibt es Situationen, bei denen der Spieler gewinnt, der den nächsten Zug hat. Anders als bei den surrealen Zahlen kann es bei den Games sein, dass ein Game weder kleiner, noch größer, noch gleich M<0> ist. Solche Games nennt man "gegenüber M<0> fuzzy". Ein Beispiel für ein solches Game ist M<* := \left(\left\{ 0 \right\}, \left\{ 0 \right\}\right)>. Bei Spielsituationen, die durch Games beschrieben werden, die zu M<0> fuzzy sind, gewinnt der Spieler, der am Zug ist: Ist beispielsweise bei Situationen, die durch das Game M<*> beschrieben werden, der linke Spieler am Zug, so stellt er eine Situation her, die durch das Game M<0> beschrieben wird. Bei M<0 = \left(\left\{\right\}, \left\{\right\}\right)> verliert der Spieler, der am Zug ist; also verliert der rechte Spieler, womit der linke gewinnt. Ist bei Situationen, die das Game M<*> beschreibt, der rechte Spieler am Zug, so befindet sich der linke Spieler nach dem Zug des rechten Spielers in einer Situation, die durch das Game M<0> beschrieben wird. Dementsprechend verliert der linke Spieler; der rechte gewinnt. Die Games bilden keinen Körper, die Rechenoperatoren haben aber trotzdem sinnvolle Bedeutungen: Zerfällt beispielsweise beim Brettspiel Go (vor allem in Ostasien verbreitet) eine Partie in zwei kleinere, isolierte Partien, so ist das Game, das die Ursprungssituation beschreibt, äquivalent zur Summe der Games, die die isolierten Partien beschreiben. =head4 Probleme und offene Fragen bei den surrealen Zahlen =head5 Größere Komplexität im Vergleich zum konventionellen Aufbau der Zahlenbereiche Die faszinierenden Eigenschaften der surrealen Zahlen rühren von ihrer rekursiven Struktur her. Diese Struktur, die beispielsweise gegenüber der Struktur der natürlichen Zahlen nach Peano komplizierter ist, führt aber auch zu längeren Definitionen der Rechenoperatoren und so zu höherem Rechenaufwand, wenn man nicht auf der hohen Ebene der Symbolmanipulation arbeitet. Insbesondere ist die mechanische Überprüfbarkeit nicht mehr so einfach gewährleistet, da die linke und rechte Menge eines Repräsentanten beliebig groß -- auch unendlich groß -- sein darf; im Allgemeinen kann ein Computer nicht unendlich viele Fälle in endlicher Zeit überprüfen. Die Äquivalenzklassen bei den ganzen und rationalen Zahlen sind zwar auch unendlich groß; zum Rechnen benötigt man dort aber nur ein Element aus den Äquivalenzklassen. Bei den surrealen Zahlen dagegen sind im Regelfall alle Elemente von linker und rechter Menge relevant. =head5 "Lücken" in der Zahlengeraden Ein weiteres Problem ergibt sich aus der Existenz von "Lücken" auf der surrealen Zahlengeraden. "Lücken" ist dabei nicht in dem Sinne zu verstehen, wie beispielsweise der Zahlenstrahl der natürlichen und ganzen Zahlen "Lücken" enthält, da es nicht für jede zwei beliebige ganzen Zahlen eine Zahl gibt, die zwischen ihnen liegt. Solche Art Lücken gibt es bei den surrealen Zahlen nicht; zwischen zwei beliebigen surreale Zahlen gibt es stets unendlich viele weitere surreale Zahlen. Stattdessen treten Lücken im Zusammenhang mit transfiniten und infinitesimalen Zahlen auf. So gibt es beispielsweise eine Lücke zwischen den Repräsentanten der positiven reellen Zahlen und M<\omega>: Man erreicht über keine endliche Verkettung von Rechenoperationen reeller Zahlen M<\omega>, M<\underbrace{1 + 1 + 1 + 1 + 1 + 1 + \cdots}_{\text{endlich viele Summanden}} E \omega> Ähnliche Lücken gibt es auch zwischen M<\omega> und M<2 \omega> und zwischen den Repräsentanten positiver reeller Zahlen und Zahlen, die von Null nur infinitesimal entfernt sind: M<\omega + \underbrace{1 + 1 + 1 + 1 + 1 + 1 + \cdots}_{\text{endlich viele Summanden}} E 2 \omega> M<\underbrace{1 : 2 : 2 : 2 : 2 : 2 : \cdots}_{\text{endlich viele Divisionen}} E \varepsilon> =head5 Stetigkeit, Differentiation und Integration Aus den "Lücken" in der Zahlengerade ergeben sich Probleme, wenn man versucht, den Stetigkeitsbegriff auf die surrealen Zahlen zu übertragen. Ist beispielsweise folgende Funkion M stetig oder nicht? (Man bedenke die Schwierigkeit, die problematische Stelle M<\omega> zu erreichen.) M \omega \\ {} 1 & \text{für } x \geq \omega \end{cases}> Ohne einen präzisen Stetigkeitsbegriff ist eine formale Definition der Differentiation nicht möglich. Pionierarbeit leistet auf diesem Gebiet Antongiulio Fornasiero, dessen Dissertation I (2004) Lösungen dieser Probleme zu beschreiben scheint. =head5 Probleme bei der Anwendung der surrealen Zahlen als "Grenzwertersatz" Als Anwendungsbeispiel der surrealen Zahlen demonstrierte ich die Möglichkeit der Diskussion reeller Funktionen -- den Grenzwert für M bzw. M ersetzte ich durch das Nutzen von M<\omega> bzw. M<\varepsilon> als Funktionsargument. Bei den einfachen Funktionen, die ich als Beispiele nutzte, hat dieses Verfahren auch gut funktioniert; ich habe aber nicht untersucht, inwieweit man den Grenzwertbegriff durch geeignetes Einsetzen surrealer Zahlen als Funktionsargumente bei komplizierteren reellen Funktionen ersetzen kann. =head5 Mengentheoretische Probleme Mehrmals schrieb ich, die surrealen Zahlen bildeten bis auf eine kleine formale Feinheit einen Körper. Die Feinheit liegt darin, dass man den Körperbegriff so definiert hat, dass nur Mengen einen Körper bilden können; die Repräsentanten surrealer Zahlen, M<\mathds{S}>, sind aber keine Menge (!), sondern eine sog. echte Klasse. Die Unterschiede zwischen Mengen und Klassen sind zu kompliziert, als dass ich sie hier genauer erläutern könnte. Für diese Einführung in die surrealen Zahlen genügt es zu wissen, dass die Repräsentanten surrealer Zahlen deswegen keine Menge sind, da sie bestimmte Axiome der Mengenlehre verletzen. Abgesehen davon, dass M<\mathds{S}> also keine Menge, sondern eine Klasse ist, gelten die Körpergesetze auf M<\mathds{S}>. =begin comment Außerdem verhindert die Unterscheidung zwischen Mengen und Klassen die Konstruktion der folgenden Ausdrucks... M ...da die erste Komponente eines Paars, das eine surreale Zahl repräsentieren soll, der Definition nach eine Menge, nicht aber eine Klasse sein darf. =end comment =head3 Zusammenfassung und Ausblick Diese Facharbeit legt die mögliche Formalisierung des Aufbaus der natürlichen, ganzen, rationalen und surrealen Zahlen dar. Zentrale Konzepte sind dabei der Zählbegriff, der sich bei den natürlichen Zahlen unmittelbar in den Definitionen von M<\mathds{N}_0> und den Operatoren wiederspiegelt, und die Paarbildung, mit der natürliche Zahlen zu den ganzen Zahlen, und ganze Zahlen zu den rationalen Zahlen kombiniert werden können. Da die Definitionen der Operatoren und Relationen auf den natürlichen Zahlen rekursiv sind, ist es notwendig, zu überprüfen, ob die Definitionen als Arbeitsvorschriften -- als Algorithmen -- eingesetzt werden können. Wichtig bei den ganzen Zahlen ist die Unterscheidung zwischen der strukturellen Gleichheit und der Äquivalenzrelation, die für ein sinnvolles Sprechen von Gleichheit notwendig ist. Die Darstellung der reellen Zahlen ist wegen des umfangreichen Formalismus, der für eine rigorose Behandlung der reellen Zahlen erforderlich ist, in dieser Arbeit nur sehr kurz. Auch werden die komplexen Zahlen hier nicht behandelt. Gerade die komplexen Zahlen bringen aber, insbesondere auf dem Gebiet der komplexen Analysis, eine Fülle neuer Ideen. Während die Axiomatisierungen der natürlichen, ganzen, rationalen und reellen Zahlen im Rahmen der fortschreitenden Axiomatisierung der Mathematik im 20. Jahrhundert im Kontext der Mengenlehre gut erforscht sind, weiß man über die surrealen Zahlen noch vergleichsweise wenig. Dies mag damit zusammenhängen, dass es wenig Veröffentlichungen über surreale Zahlen gibt; eine kurze Suche ergab, dass das Journal der Royal Society ebenso wie I noch nie über surreale Zahlen berichtete. Erstaunlich erscheint vor allem, dass es auch bei arXiv nur ein einziges Papier über surreale Zahlen gibt. arXiv ist ein Archiv für digitale Artikel aus den Bereichen Physik, Mathematik, Informatik und Biologie, bei dem Artikel nicht einem Peer-Review unterzogen werden und es daher den Ruf hat, auch Herberge von Papieren zu sein, die dem akzeptierten Konsenz widersprechen. Auch gibt es Diskussionen über die Formalisierung des Konzepts der surrealen Zahlen. Conway scheint nämlich oft so aufgefasst zu werden [[SDisk]], dass eine Einbettung der surrealen Zahlen in den Formalismus der Mengenlehre unnötig sei, ähnlich, wie es bei den natürlichen Zahlen nicht notwendig sei, M<0> und M zu konkretisieren. Diese Meinung scheinen viele nicht positiv aufzunehmen. Interesse erwecken die surrealen Zahlen eher in populärwissenschaftlichen Magazinen (wie beispielsweise [[SDiscover]]), wohl wegen der Existenz transfiniter und infinitesimaler surrealer Zahlen. Mit der kürzlich geglückten Definition der Integration auf den surrealen Zahlen darf man aber gespannt sein, was die Zukunft in dieser Richtung bringt. Auch eine Ausarbeitung der surkomplexen Zahlen -- die Übertragung der komplexen Zahlen in die surrealen Zahlen [[SSurcomplex]] -- wäre spannend; zur Zeit gibt es bei Google nur knapp 500 Suchergebnisse für "surcomplex". Über die Anwendung der surrealen Zahlen zur Diskussion reeller Funktionen Im Rahmen der Theorie der konventionellen Zahlenbereiche wäre interessant, Gründe für die mehrmals bemerkten Symmetrien zwischen den Operator- und Relationsdefinitionen der konventionellen Zahlenbereiche zu finden. =begin latex \begin{multicols}{2}\footnotesize \begin{thebibliography}{50} \bibitem{FANBew} \textsl{1. Übungsblatt -- Lösungsvorschlag, Mafl 1 -- WS 2005/06}, Jürgen Gärtner, Technische Universität Berlin, 2005, abgerufen am 21.1.2007, \url{http://www.math.tu-berlin.de/~mafi1/aufgaben/uebungsblatt01_loesung.pdf} \bibitem{FANBewMultKomm} \textsl{Vollständige Induktion}, Dietmar Henke, 2006, abgerufen am 21.1.2007, \url{http://www.henked.de/begriffe/induktion.htm} \bibitem{FAQDivKehr} \textsl{Maria-Theresia-Gymnasium München, Grundwissen Mathematik, 6. Klasse} [G8], Bernhard Horn, 2006, abgerufen am 23.1.2007, \url{http://www.mtg.musin.de/download/faecher/mathe/grundwissen/GW_Mathe-6-G8.pdf} \bibitem{FAPeanoPerson} \textsl{Giuseppe Peano}, Hubert Kennedy, Peremptory Publications, 2002, abgerufen am 22.1.2007, \url{http://de.wikipedia.org/w/index.php?title=Giuseppe_Peano&oldid=26494819} \bibitem{FASKnuth} \textsl{Surreal Numbers: How Two Ex-Students Turned on to Pure Mathematics and Found Total Happiness}, Donald E. Knuth, 2006, ISBN 0-201-03812-9 \bibitem{FANMengAbst} \textsl{Anschauungsmaterialien im Mathematikunterricht mit blinden und sehbehinderten Kindern}, Matthias Kosin, Humboldt-Universität zu Berlin, 2005, abgerufen am 21.1.2007, \url{http://www.reha.hu-berlin.de/blind/sonstiges/Mathematik.doc} \bibitem{FANMultGrund} \textsl{Grundmodelle zur Einführung der Multiplikation}, Melanie Reisenhofer, Universität Bayreuth, 1998, abgerufen am 21.1.2007, \url{http://did.mat.uni-bayreuth.de/~heike/Grundschule/Mathe/Arithmetik/Grundrechen/mult1.html} \bibitem{FARKonstr} \textsl{Constructivism Is Difficult}, Eric Schechter, Vanderbilt University, 2001, abgerufen am 23.1.2007, \url{http://www.math.vanderbilt.edu/~schectex/papers/difficult.pdf} \bibitem{FASDiscover} \textsl{Infinity Plus One, and Other Surreal Numbers}, Polly Shulman, DISCOVER Vol. 16 No. 12, 1995, abgerufen am 21.1.2007, \url{http://www.discover.com/issues/dec-95/features/infinityplusonea599/} \bibitem{FAQOftFehler} \textsl{Aus Fehlern lernen und verwandte Themen}, Christian Strecker, Universität Bayreuth, 1999, abgerufen am 23.1.2007, \url{http://blk.mat.uni-bayreuth.de/material/db/33/fehler.pdf} \bibitem{FASTondering} \textsl{Surreal Numbers -- An Introduction}, Claus Tøndering, 2005, abgerufen am 21.1.2007, \url{http://www.tondering.dk/claus/surreal.html} \bibitem{FACAequi} \textsl{Äquivalenzrelation}, Wikipedia, Die freie Enzyklopädie, 2006, abgerufen am 21.1.2007, \url{http://de.wikipedia.org/w/index.php?title=%C3%84quivalenzrelation&oldid=25025717} \bibitem{FARWikiDeKonstr} \textsl{Konstruktive Mathematik}, Wikipedia, Die freie Enzyklopädie, 2007, abgerufen am 23.1.2007, \url{http://de.wikipedia.org/w/index.php?title=Konstruktive_Mathematik&oldid=26583122} \bibitem{FANWikiDePeano} \textsl{Natürliche Zahl}, Wikipedia, Die freie Enzyklopädie, 2007, abgerufen am 21.1.2007, \url{http://de.wikipedia.org/w/index.php?title=Nat%C3%BCrliche_Zahl&oldid=26584030} \bibitem{FANRechenschieber} \textsl{Rechenschieber}, Wikipedia, Die freie Enzyklopädie, 2007, abgerufen am 21.1.2007, \url{http://de.wikipedia.org/w/index.php?title=Rechenschieber&oldid=26415760} \bibitem{FANWikiDeDedekindPerson} \textsl{Richard Dedekind}, Wikipedia, Die freie Enzyklopädie, 2007, abgerufen am 22.1.2007, \url{http://de.wikipedia.org/w/index.php?title=Richard_Dedekind&oldid=26416653} \bibitem{FASWikiDeSurr} \textsl{Surreale Zahl}, Wikipedia, Die freie Enzyklopädie, 2007, abgerufen am 21.1.2007, \url{http://de.wikipedia.org/w/index.php?title=Surreale_Zahl&oldid=25269202} \bibitem{FASSurcomplex} \textsl{Surcomplex number}, Wikipedia, The Free Encyclopedia, 2006, abgerufen am 23.1.2007, \url{http://en.wikipedia.org/w/index.php?title=Surcomplex_number&oldid=43724216} \bibitem{FASWikiEnSurr} \textsl{Surreal number}, Wikipedia, The Free Encyclopedia, 2007, abgerufen am 21.1.2007, \url{http://en.wikipedia.org/w/index.php?title=Surreal_number&oldid=88169078} \bibitem{FAHilbertProg} \textsl{Hilbert's Program Then and Now}, Richard Zach, 2005, arXiv:math.LO/0508572 v1, abgerufen am 22.1.2007, \url{http://arxiv.org/abs/math.LO/0508572}, \bibitem{FASDisk} \textsl{FOM: Conway's foundational ideas}, Diskussion auf einer Mailingliste, 1999, abgerufen am 21.1.2007, \url{http://www.cs.nyu.edu/pipermail/fom/1999-May/003152.html} \bibitem{FASUnknown} \textsl{Surreal Numbers}, unbekannter Autor, abgerufen am 21.1.2007, \url{http://www.uwec.edu/andersrn/SETSXI.pdf} \end{thebibliography} \end{multicols} =end latex =head3 Erklärung zur Facharbeit Hiermit erkläre ich, dass ich die vorliegende Arbeit selbstständig und ohne fremde Hilfe verfasst und keine anderen als die angegebenen Hilfsmittel verwendet habe. Insbesondere versichere ich, dass ich alle wörtlichen und sinngemäßen Übernahmen aus anderen Werken als solche kenntlich gemacht habe. Augsburg, den =for timestamp Mi Dez 27 17:11:25 CET 2006 =for timestamp Fr Dez 29 13:55:11 CET 2006 =for timestamp Sa Dez 30 10:20:56 CET 2006 =for timestamp So Dez 31 11:39:34 CET 2006 =for timestamp Mi Jan 3 02:11:37 CET 2007 =for timestamp Mi Jan 3 17:21:50 CET 2007 =for timestamp Do Jan 4 15:01:52 CET 2007 =for timestamp Fr Jan 5 15:29:42 CET 2007 =for timestamp Sa Jan 6 18:27:41 CET 2007 =for timestamp So Jan 7 16:11:49 CET 2007 =for timestamp Sa Jan 13 18:14:20 CET 2007 =for timestamp So Jan 14 18:28:03 CET 2007 =for timestamp Mo Jan 15 19:06:41 CET 2007 =for timestamp Di Jan 16 19:01:30 CET 2007 =for timestamp Mi Jan 17 18:27:09 CET 2007 =for timestamp Do Jan 18 16:02:21 CET 2007 =for timestamp Fr Jan 19 15:22:14 CET 2007 =for timestamp Sa Jan 20 15:06:33 CET 2007 =for timestamp So Jan 21 15:59:40 CET 2007 =for timestamp Mo Jan 22 20:04:13 CET 2007 =for timestamp Di Jan 23 16:41:34 CET 2007