Ganze Zahlen/Negative Zahlen/Nachfolger/Addition/Multiplikation/Textabschnitt
Die Menge der ganzen Zahlen besteht aus der Menge aller positiven natürlichen Zahlen , der und der Menge , deren Elemente die negativen ganzen Zahlen heißen.
Diese Definition hat den Vorteil, dass sie direkt ist und ohne mengentheoretische Überlegungen (Äquivalenzrelationen) auskommt. Jede ganze Zahl gehört unmittelbar zu genau einem der drei Typen (positiv, , negativ). Der Nachteil ist, dass die Verknüpfungen darauf, nämlich die Addition und die Multiplikation, die die gleichnamigen Verknüpfungen auf den natürlichen Zahlen fortsetzen sollen, nicht unmittelbar ersichtlich sind, sondern auf eine Weise festgelegt werden müssen, die zumindest auf den ersten Blick etwas willkürlich aussehen mag. Zugleich ist der Nachweis der Gesetzmäßigkeiten, wie beispielsweise das Assoziativgesetz, recht aufwändig, da man alle Kombinationen der möglichen Fälle untersuchen muss.
Das Minuszeichen kommt in dieser Definition nur im Sinne einer Bezeichnung vor, es ist Teil eines Namens (das Vorzeichen) für eine neue Zahl. Das Minuszeichen wird bald unterschiedliche Funktionen übernehmen, die man konzeptionell auseinanderhalten muss, siehe Aufgabe.
Die negativen Zahlen kann man ausgehend von jedem Bezeichnungsystem für die natürlichen Zahlen bilden, die neuen Zahlen ergeben sich ja einfach aus den natürlichen Zahlen, indem man ein Minuszeichen davorsetzt. Beispielsweise sind
angedeutete Auflistungen für alle ganzen Zahlen.
Insbesondere kann man den Zahlenstrahl zu einer Zahlengeraden erweitern und links von der die negativen Zahlen platzieren. Durch diese Anordnung entsteht eine Symmetrie am Nullpunkt, wobei die negative Zahl der positiven Zahl gegenüber liegt. Diese Symmetrie gilt insbesondere auf der Zahlengeraden. Wenn man die ganzen Zahlen dynamisch als (gleichlange) Schritte nach rechts bzw. nach links (oder nach vorne bzw. nach hinten oder nach oben bzw. nach unten) interpretiert, so sehen die negativen Zahl so „natürlich“ wie die positiven Zahlen aus.
Wie verhalten sich die ganzen Zahlen bezüglich der Zählvorstellung (im Sinne der Nachfolgerabbildung) für die natürlichen Zahlen, die wir kennengelernt haben? Die richtige Vorstellung ergibt sich, wenn man die Nachfolgerabbildung auf fortsetzt, und dabei gemäß der in Bemerkung schon verwendeten Reihenfolge vorgeht (dort wurde die Nachfolgerabbildung durch die gewählte Anordnung schon vorweggenommen). Wenn man auf der Zahlenstrahl ist, so erhält man den Nachfolger in , indem man einen Schritt (einer fixierten einheitlichen Länge) nach rechts macht. Diese Interpretation des Nachfolgers lässt sich unmittelbar auf die Zahlengerade fortsetzen, der Nachfolger ist und bleibt der Schritt nach rechts (Permanenzprinzip).
Die algebraische Definition sieht folgendermaßen aus.
Unter dem Nachfolger einer ganzen Zahl versteht man die Zahl
In dieser Definition wird also Bezug auf die Nachfolgerabbildung in (also ) und die Vorgängerabbildung (also ) Bezug genommen.
Die Nachfolgerabbilung besitzt die folgenden Eigenschaften.
- Die Nachfolgerabbildung stimmt auf mit der dortigen Nachfolgerabbildung überein.
- Die Nachfolgerabbildung ist bijektiv. (Die Umkehrabbildung wird als Vorgängerabbildung bezeichnet.)
- Es ist und für .
- Jede ganze Zahl lässt sich ausgehend von durch eine Iteration der Nachfolgerabbildung oder eine Iteration der Vorgängerabbildung erreichen.
Beweis
Die Bijektivität der Nachfolgerabbildung bedeutet insbesondere, dass die Nachfolgergleichung
für jedes
eine eindeutige Lösung besitzt, nämlich den Vorgänger von . Durch diese Zielsetzung kann man auch die ganzen Zahlen einführen. Man möchte für die einen Vorgänger haben
(den es innerhalb der natürlichen Zahlen nicht gibt),
und diesen nennt man . Für diese neue Zahl möchte man wieder einen Vorgänger haben, diesen nennt man , davon möchte man wieder einen Vorgänger haben, u.s.w. Für den -fachen Vorgänger schreibt man dann .
Welche Objekte bzw. Strukturen kann man mit den ganzen Zahlen zählen? Es gibt keine Mengen mit negativ vielen Elementen! Dennoch gibt es viele Situationen, wo man mit ganzen Zahlen sinnvoll zählen kann. Sobald es einen
(gerichteten)
Prozess zusammen mit einem zugehörigen gegenläufigen Prozess gibt, wie etwa einen Schritt nach rechts bzw. einen Schritt nach links zu machen, oder wenn man zwei sehr große Haufen
(oder Körbe)
an Äpfeln hat, und der Prozess ist, einen Apfel von dem einen Haufen zu dem anderen Haufen zu transportieren
(mit dem umgekehrten Transport als dem gegenläufigen Prozess),
so kann man die möglichen
(hintereinander ausgeführten)
Prozesse durch die ganzen Zahlen beschreiben:
(oder deutlicher )
bedeutet Äpfel von Haufen nach Haufen übertragen, bedeutet drei Äpfel von Haufen nach Haufen übertragen. Hierbei muss man willkürlich festlegen, welche Prozessrichtung man als positiv ansehen möchte. Auch in der Hauswirtschaft werden die Einnahmen positiv und die Ausgaben negativ verbucht. Damit zusammenhängend werden negative Zahlen häufig als Schulden und positive Zahlen als Guthaben interpretiert.
Unter der Negation auf der Menge der ganzen Zahl versteht man die Abbildung , die durch
gegeben ist.
Hier tritt das Minuszeichen in einer zweiten Bedeutung auf, als Funktionssymbol. Für ist , d.h. Vorzeichen und Funktionssymbol stimmen überein (das ist der Grund, warum man das gleiche Symbol verwenden kann), für ist , wobei das vordere Minuszeichen das Funktionssymbol und das hintere Minuszeichen das Vorzeichen ist. Ferner gilt für jedes , wobei hier das Minuszeichen zweimal das Funktionssymbol bezeichnet. Die Negation ist auf dem Zahlenstrahl die Spiegelung an der , sie macht aus einen Schritt nach rechts ein Schritt nach links (und umgekehrt) und vertauscht Guthaben und Schulden.
Auf den ganzen Zahlen wird folgendermaßen eine Verknüpfung, genannt Addition, eingeführt (dabei bezeichnen natürliche Zahlen). Es ist
Die in Bemerkung besprochenen Interpretationen für ganze Zahlen passen sehr gut zur Addition der ganzen Zahlen. Die Addition einer Reihe von Ausgaben oder Einnahmen führt zur Gesamteinnahme bzw. Gesamtausgabe; wenn man hintereinander mehrfach nach vorne (oder nach rechts) bzw. nach hinten (nach links) geht, so beschreibt die Addition den Gesamtbewegungsvorgang; wenn die einen Äpfel von nach und die anderen von nach schmeißen, so beschreibt die Addition den Gesamttransport. Hierzu muss man sich nur davon überzeugen, dass die über die Fallunterscheidung definierte Addition genau das macht, was im (Bewegungs-)Prozess geschieht. Wenn man beispielsweise zuerst Äpfel von nach transportiert und dann Äpfel ebenfalls von nach , so transportiert man insgesamt Äpfel von nach . Wenn man hingegen zuerst Äpfel von nach transportiert und dann Äpfel in die andere Richtung, also von nach transportiert, so hängt der Gesamtprozess wesentlich davon ab, ob oder ob größer (oder gleich) ist. Bei transportiert man insgesamt Äpfel von nach (vergleiche Fakt), andernfalls transportiert man Äpfel von nach . Mit diesen Interpretationen werden auch die algebraischen Gesetze für die Addition ganzer Zahlen einsichtig.
Mit der Addition kann man die Nachfolgerabbildung ale Addition mit und die Vorgängerabbildung als Addition mit auffassen. Die Addition auf den ganzen Zahlen passt auch gut zu der Addition der natürlichen Zahlen, wenn man wie in der Definition unter das Ergebnis versteht, das sich ergibt, wenn man von ausgehend den -fachen Nachfolger nimmt. Entsprechend stimmt mit dem -fachen Nachfolger von und mit dem -fachen Vorgänger von überein (dabei ist und ).
Innerhalb der ganzen Zahlen besitzt die mit den natürlichen Zahlen formulierte Gleichung
eine eindeutige Lösung, nämlich . Bei ist das ja nach Definition die natürliche Differenz , und bei ist nach Definition
und wegen
ist nach der Definition der Addition und Fakt (3)
Diese eindeutige Lösbarkeit überträgt sich auf eine Gleichung der Form
mit , siehe Aufgabe. Diese Aussage folgt auch aus Fakt in Verbindung mit Fakt.
Die Addition auf den ganzen Zahlen erfüllt die folgenden Eigenschaften.
- Die Addition besitzt als neutrales Element.
- Die Addition ist eine kommutative Verknüpfung.
- Die Addition ist assoziative Verknüpfung.
- Zu jedem
gibt es ein
mit
- Dass das neutrale Element ist, folgt unmittelbar aus den ersten beiden Teilen der Definition der Addition.
- Die Kommutativität der Addition beweisen wir mit einer Fallunterscheidung, je nachdem, ob die Summanden nichtnegativ
(natürliche Zahlen)
oder negativ sind. Wenn beide Summanden aus sind, ergibt sich dies unmittelbar aus der Kommutativität der Addition in den natürlichen Zahlen. Wenn
aus ist und
negativ ist, so muss man eine weitere Fallunterscheidung vornehmen. Bei
ist
nach dem (der ersten Hälfte des) zweiten Teil der Definition, und ebenso ist
nach dem (der ersten Hälfte des) dritten Teils der Definition. Bei ist wiederum
nach den Definitionen. Wenn beide Zahlen negativ sind ergibt sich die Kommutativität sofort aus dem vierten Teil der Definition.
- Die Assoziativität nachzuweisen ist aufwändiger, da dann drei Zahlen ins Spiel kommen, für die es jeweils mehrere Fälle gibt. Wenn eine der beteiligten Zahlen aber ist, so ist die Aussage wegen der bewiesenen neutralen Eigenschaft der klar. Wir müssen also nur noch die acht Fälle
(in denen selbst jeweils wiederum Fallunterscheidungen gemäß der Größenbeziehung der beteiligten Elemente nötig sind)
durchgehen, je nachdem, ob positiv oder negativ sind.
Wenn beispielsweise mit positiven Zahlen ist, so ist
Wenn ist, so ist dies (in ), andernfalls ist dies . Für die andere Klammerung ergibt sich
Bei ist einerseits
und andererseits
Somit ist die zweite Klammerung in diesem Fall nach Aufgabe ebenfalls gleich
Bei unterscheiden wir die Fälle und . Bei ist und daher ist unter Verwendung von Fakt (3)
Bei ist erst recht und somit ist nach Fakt (2)
Für die anderen Fälle siehe Aufgabe.
- Bei positivem hat die Eigenschaft, dass die Summe
ist, bei negativem mit mit erfüllt die Eigenschaft.
Auf den ganzen Zahlen wird folgendermaßen eine Verknüpfung, genannt Multiplikation, eingeführt (dabei bezeichnen natürliche Zahlen). Es ist
Der letzte Teil passt gut zu der Eigenschaft der Negation, zu sich selbst invers zu sein. Die Negation kann man insbesondere als Multiplikation mit der auffassen. Dennoch sind
und
verschiedene Eigenschaften (Letzteres ist für eine Definition, und das Minuszeichen ist dabei das Vorzeichen, für beliebige ist es eine daraus folgende Eigenschaft der Multiplikation, und das Minuszeichen ist das Funktionszeichen).
Wie schon bei den natürlichen Zahlen ist die Vorstellung für die Multiplikation von ganzen Zahlen schwieriger als für die Addition, da bei der Addition beide Summanden die gleiche Rolle spielen (zumindest in der wichtigsten Interpretationen), während dies bei der Multiplikation nicht der Fall ist. Man kann nicht drei Äpfel mal fünf Äpfel ausrechnen. Wie bei den natürlichen Zahlen beschreibt der eine Faktor die Vielfachheit, mit der ein Prozess durchgeführt, den der andere Faktor quantitativ misst. Man kann also dreimal jeweils fünf Äpfel von nach transportieren und transportiert dann insgesamt Äpfel von nach . Das gleiche erreicht man, wenn man fünfmal drei Äpfel von nach transportiert. Ebenso kann man -mal Äpfel in die andere Richtung von nach transportieren, und transportiert damit insgesamt Äpfel von nach . Ganze Zahlen (der Apfeltransport samt Richtung) mit einer natürlichen Zahl zu multiplizieren besitzt also eine passende natürliche Interpretation. Schwieriger ist es, wenn beide Zahlen negativ sind. Die Definition sagt, dass dann das Produkt der zugehörigen positiven Zahlen herauskommt. Dies kann man sich so vorstellen: Es sei ein reversibler Prozess, der gegenläufige Prozess sei mit bezeichnet. Für ist die -fache Ausführung von . Für negatives
interpretiert man dann als die -fache Ausführung des gegenläufigen Prozesses. Insbesondere ist
Multiplikation mit führt also auf den gegenläufigen Prozess, und von daher ist es einleuchtend, auch
zu setzen, da der gegenläufige Prozess zum gegenläufigen Prozess der Prozess selbst ist.
Auch von den gewünschten algebraischen Gesetzmäßigkeiten her ist die Festlegung sinnvoll. Es soll
gelten und es soll das Distributivgesetz gelten. Dann ist für und
Bei negativem ergibt sich daraus
Das Produkt muss also bei Addition mit Null ergeben, dies ist aber gerade die charakteristische Eigenschaft von . Also ist
Die Multiplikation auf den ganzen Zahlen ist eine kommutative assoziative Verknüpfung mit als neutralem Element. Es gilt das Distributivgesetz.
Die Kommutativität der Multiplikation und die Eigenschaft, dass das neutrale Element ist, folgt unmittelbar aus der Definition. Zum Nachweis des Assoziativgesetzes stellt man zunächst fest, dass herauskommt, sobald ein Faktor ist. Die verbleibenden acht möglichen Fälle kann man einfach abhandeln, da das Vorzeichen des Produktes nur davon abhängt, wie viele Zahlen positiv und wie viele Zahlen negativ sind, siehe Aufgabe.
Zum Nachweis des Distributivgesetzes
können wir, indem wir bei negativem mit multiplizieren, annehmen, dass positiv ist (bei gilt die Gleichung sowieso). Wenn beide aus sind oder beide negativ, so ergibt sich die Gleichung unmittelbar. Es sei also aus und negativ. Bei ist nach Fakt auch
In diesem Fall ist somit nach Fakt
Bei ist nach Fakt auch
In diesem Fall ist somit wieder nach Fakt
- Vorzeichen (MSW)
- Permanenzprinzip (MSW)
- Vorgängerabbildung (Z) (MSW)
- Gerichteter Prozess (MSW)
- Prozess (MSW)
- Theorie der Negation auf den ganzen Zahlen/Textabschnitte
- Theorie der ganzen Zahlen/Textabschnitte
- Theorie der Nachfolgerabbildung auf den ganzen Zahlen/Textabschnitte
- Theorie der Addition der ganzen Zahlen/Textabschnitte
- Theorie der Multiplikation der ganzen Zahlen/Textabschnitte