Kurs:Grundkurs Mathematik (Osnabrück 2018-2019)/Teil I/Vorlesung 18/latex
\setcounter{section}{18}
\epigraph { Drei Schritte vor und zwei zurück, so kommt der Mensch voran } { Petra Pascal }
\zwischenueberschrift{Die ganzen Zahlen}
Wir haben in der letzten Vorlesung gesehen, dass die Gleichung
\mavergleichskettedisp
{\vergleichskette
{a+x
}
{ =} {b
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ a,b
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
formulierbar ist, aber es dort bei
\mavergleichskette
{\vergleichskette
{a
}
{ > }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
keine Lösung gibt. Wir würden gerne von dieser Gleichung links und rechts $a$ \anfuehrung{abziehen}{,} um links
\mavergleichskettedisp
{\vergleichskette
{ a+x-a
}
{ =} { x
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und rechts die Lösung
\mathl{b-a}{} für $x$ zu erhalten. Um dies durchführen zu können, müssen wir die natürlichen Zahlen zu einem größeren Zahlenbereich erweitern, nämlich zur Menge der ganzen Zahlen. Solche Zahlenbereichserweiterungen ziehen sich durch die gesamte Mathematik, egal ob in der Schule oder auf der Hochschule. Wir werden noch die Erweiterung von den ganzen Zahlen zu den rationalen Zahlen und von den rationalen Zahlen zu den reellen Zahlen kennenlernen. Eine wichtige Motivation ist dabei, so wie hier, dass man Lösungen für gewisse Gleichungen finden möchte, für die es im Ausgangszahlenbereich keine Lösung gibt, und dass man diese Lösungen auch rechnerisch auffinden und handhaben möchte. Zugleich möchte man mit den neuen Zahlen möglichst viel machen können, was man im Ausgangsbereich kann, also beispielsweise nach wie vor addieren und multiplizieren, wobei auch die gleichen Gesetzmäßigkeiten weiter gelten sollen
\zusatzklammer {\stichwort {Permanenzprinzip} {}} {} {.}
Da wir von nun an mit verschiedenen Zahlenbereichen arbeiten, wird es wichtig, zu betonen, in welchem Zahlenbereich wir uns befinden. Die Gleichung
\mavergleichskettedisp
{\vergleichskette
{ 5+x
}
{ =} { 2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
besitzt in $\N$ keine Lösung. Diese Tatsache bleibt unabhängig davon bestehen, dass es in anderen Bereichen eine Lösung gibt.
Wir führen jetzt die Menge der ganzen Zahlen ein, auf denen wir dann bald die Verknüpfungen festlegen und die zugehörigen Rechengesetze nachweisen werden.
\inputdefinition
{}
{
Die Menge der
\definitionswort {ganzen Zahlen}{}
$\Z$ besteht aus der Menge aller positiven natürlichen Zahlen $\N_+$, der $0$ und der Menge
\mathl{{ \left\{ -n \mid n \in \N_+ \right\} }}{,} deren Elemente die negativen ganzen Zahlen heißen.
}
Diese Definition hat den Vorteil, dass sie direkt ist und ohne mengentheoretische Überlegungen \zusatzklammer {Äquivalenzrelationen} {} {} auskommt. Jede ganze Zahl gehört unmittelbar zu genau einem der drei Typen \zusatzklammer {positiv, $0$ , 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 \zusatzklammer {das \stichwort {Vorzeichen} {}} {} {} für eine neue Zahl. Das Minuszeichen wird bald unterschiedliche Funktionen übernehmen, die man konzeptionell auseinanderhalten muss, siehe Aufgabe 18.7.
\inputbemerkung
{}
{
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
\aufzaehlungfuenf{
\mathdisp {... , - {{|}} {{|}} {{|}}, - {{|}} {{|}} , - {{|}} ,0, {{|}} , {{|}} {{|}} ,{{|}} {{|}} {{|}} ...} { . }
}{
\mathdisp {..., -NNN0, -NN0, -N0, 0,N0,NN0,NNN0, ...} { . }
}{
\mathdisp {... ,\text{minus drei}, \text{minus zwei}, \text{minus eins}, \text{null}, \text{eins}, \text{zwei}, \text{drei}, ...} { . }
}{
\mathdisp {... , -c,-b, -a,0, a,b,c, ...} { . }
}{
\mathdisp {..., -3,-2,-1, 0,1,2,3, ...} { }
}
angedeutete Auflistungen für alle ganzen Zahlen.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Integers-line.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Integers-line.svg } {} {kismalac} {Commons} {CC-by-sa 3.0} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {SongkhaRekha.png} }
\end{center}
\bildtext {} }
\bildlizenz { SongkhaRekha.png } {} {TareqMahbub} {Commons} {gemeinfrei} {}
Insbesondere kann man den Zahlenstrahl zu einer Zahlengeraden erweitern und links von der $0$ die negativen Zahlen $-1,-2, ...$ platzieren. Durch diese Anordnung entsteht eine Symmetrie am Nullpunkt, wobei die negative Zahl
\mathl{-a}{} der positiven Zahl $a$ gegenüber liegt. Diese Symmetrie gilt insbesondere auf der Zahlengeraden. Wenn man die ganzen Zahlen dynamisch als
\zusatzklammer {gleichlange} {} {}
Schritte nach rechts bzw. nach links
\zusatzklammer {oder nach vorne bzw. nach hinten oder nach oben bzw. nach unten} {} {}
interpretiert, so sehen die negativen Zahl so \anfuehrung{natürlich}{} wie die positiven Zahlen aus.
}
Wie verhalten sich die ganzen Zahlen bezüglich der Zählvorstellung \zusatzklammer {im Sinne der Nachfolgerabbildung} {} {} für die natürlichen Zahlen, die wir in der fünften Vorlesung kennengelernt haben? Die richtige Vorstellung ergibt sich, wenn man die Nachfolgerabbildung auf $\Z$ fortsetzt, und dabei gemäß der in Bemerkung 18.2 schon verwendeten Reihenfolge vorgeht \zusatzklammer {dort wurde die Nachfolgerabbildung durch die gewählte Anordnung schon vorweggenommen} {} {.} Wenn man auf der Zahlenstrahl ist, so erhält man den Nachfolger in $\N$, indem man einen Schritt \zusatzklammer {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 \zusatzklammer {\stichwort {Permanenzprinzip} {}} {} {.}
Die algebraische Definition sieht folgendermaßen aus.
\inputdefinition
{}
{
Unter dem
\definitionswort {Nachfolger}{}
$N(x)$ einer ganzen Zahl
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ \Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
versteht man die Zahl
\mavergleichskettedisp
{\vergleichskette
{ N(x)
}
{ \defeq} { \begin{cases} N(a), \text{ falls } x = a \in \N\, , \\ - V(b) , \text{ falls } x = -b \text{ mit } b \in \N_+ \, .\end{cases}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
} In dieser Definition wird also Bezug auf die Nachfolgerabbildung in $\N$ \zusatzklammer {also $+1$} {} {} und die Vorgängerabbildung \maabb {V} {\N_+} {\N } {} \zusatzklammer {also $-1$} {} {} Bezug genommen.
{Ganze Zahlen/Nachfolger/Eigenschaften/Fakt}
{Lemma}
{}
{
\faktsituation {Die
\definitionsverweis {Nachfolgerabbilung}{}{}
\maabb {N} {\Z} {\Z
} {}
besitzt die folgenden Eigenschaften.}
\faktfolgerung {\aufzaehlungvier{Die Nachfolgerabbildung stimmt auf $\N$ mit der dortigen Nachfolgerabbildung überein.
}{Die Nachfolgerabbildung ist bijektiv.
\zusatzklammer {Die Umkehrabbildung wird als \stichwort {Vorgängerabbildung} {} $V$ bezeichnet.} {} {}
}{Es ist
\mavergleichskette
{\vergleichskette
{N(-a)
}
{ = }{ -V(a)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{V(-b)
}
{ = }{ -N(b)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für
\mavergleichskette
{\vergleichskette
{ a,b
}
{ \in }{ \N_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Jede ganze Zahl lässt sich ausgehend von $0$ durch eine Iteration der Nachfolgerabbildung oder eine Iteration der Vorgängerabbildung erreichen.
}}
\faktzusatz {}
\faktzusatz {}
{ Siehe Aufgabe 18.9. }
Die Bijektivität der Nachfolgerabbildung bedeutet insbesondere, dass die Nachfolgergleichung
\mavergleichskette
{\vergleichskette
{N(x)
}
{ = }{z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für jedes
\mavergleichskette
{\vergleichskette
{ z
}
{ \in }{ \Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine eindeutige Lösung besitzt, nämlich den Vorgänger von $z$. Durch diese Zielsetzung kann man auch die ganzen Zahlen einführen. Man möchte für die $0$ einen Vorgänger haben
\zusatzklammer {den es innerhalb der natürlichen Zahlen nicht gibt} {} {,}
und diesen nennt man $V(0)$. Für diese neue Zahl möchte man wieder einen Vorgänger haben, diesen nennt man
\mathl{V(V(0))}{,} davon möchte man wieder einen Vorgänger
\mathl{V(V(V(0)))}{} haben, u.s.w. Für den $k$-fachen Vorgänger
\mathl{V^k(0)}{} schreibt man dann $-k$.
\inputbemerkung
{}
{
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Apples_in_a_bascket.jpg} }
\end{center}
\bildtext {Der Apfelkorb G} }
\bildlizenz { Apples_in_a_bascket.jpg } {} {Spirtu} {Commons} {CC-by-sa 3.0} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Apples in a basket.jpg} }
\end{center}
\bildtext {Der Apfelkorb H} }
\bildlizenz { Apples in a basket.jpg } {} {Oxfordian Kissuth} {Commons} {CC-by-sa 3.0} {}
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
\zusatzklammer {\stichwort {gerichteten} {}} {} {}
\stichwort {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
\zusatzklammer {oder Körbe} {} {}
an Äpfeln hat, und der Prozess ist, einen Apfel von dem einen Haufen zu dem anderen Haufen zu transportieren
\zusatzklammer {mit dem umgekehrten Transport als dem gegenläufigen Prozess} {} {,}
so kann man die möglichen
\zusatzklammer {hintereinander ausgeführten} {} {}
Prozesse durch die ganzen Zahlen beschreiben: $7$
\zusatzklammer {oder deutlicher $+7$} {} {}
bedeutet $7$ Äpfel von Haufen $G$ nach Haufen $H$ übertragen, $-3$ bedeutet drei Äpfel von Haufen $H$ nach Haufen $G$ ü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.
}
\inputdefinition
{}
{
Unter der
\definitionswort {Negation}{}
auf der Menge der ganzen Zahl $\Z$ versteht man die
\definitionsverweis {Abbildung}{}{}
\maabb {-} {\Z} {\Z
} {,}
die durch
\mavergleichskettedisp
{\vergleichskette
{ - (x)
}
{ \defeq} { \begin{cases} -a , \text{ falls } x = a \in \N\, ,\\ b, \text{ falls } x = -b \text{ mit } b \in \N_+ \, ,\end{cases}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gegeben ist.
}
Hier tritt das Minuszeichen in einer zweiten Bedeutung auf, als Funktionssymbol. Für
\mavergleichskette
{\vergleichskette
{ a
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskette
{\vergleichskette
{ -a
}
{ = }{-a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
d.h. Vorzeichen und Funktionssymbol stimmen überein
\zusatzklammer {das ist der Grund, warum man das gleiche Symbol verwenden kann} {} {,}
für
\mavergleichskette
{\vergleichskette
{ b
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskette
{\vergleichskette
{-(-b)
}
{ = }{ b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
wobei das vordere Minuszeichen das Funktionssymbol und das hintere Minuszeichen das Vorzeichen ist. Ferner gilt
\mavergleichskette
{\vergleichskette
{ -(-x)
}
{ = }{x
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für jedes
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ \Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
wobei hier das Minuszeichen zweimal das Funktionssymbol bezeichnet. Die Negation ist auf dem Zahlenstrahl die Spiegelung an der $0$, sie macht aus einen Schritt nach rechts ein Schritt nach links
\zusatzklammer {und umgekehrt} {} {}
und vertauscht Guthaben und Schulden.
\zwischenueberschrift{Die Addition auf den ganzen Zahlen}
Wir kommen zur Addition auf den ganzen Zahlen.
\inputdefinition
{}
{
Auf den \definitionsverweis {ganzen Zahlen}{}{} wird folgendermaßen eine Verknüpfung, genannt \definitionswort {Addition}{,} eingeführt \zusatzklammer {dabei bezeichnen $a,b$ natürliche Zahlen} {} {.} Es ist
\mavergleichskettedisp
{\vergleichskette
{a+b
}
{ \defeq} { a+b
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{a+ (-b)
}
{ \defeq} { \begin{cases} a-b , \text{ falls } a \geq b \, ,\\ - (b-a), \text{ falls } a < b \, ,\end{cases}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\mavergleichskettedisp
{\vergleichskette
{(-a) + b
}
{ \defeq} { \begin{cases} b-a , \text{ falls } b \geq a \, ,\\ - (a-b), \text{ falls } b < a \, ,\end{cases}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\mavergleichskettedisp
{\vergleichskette
{(-a) + (-b)
}
{ \defeq} { -(a+b)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\inputbemerkung
{}
{
Die in
Bemerkung 18.2
besprochenen Interpretationen für ganze Zahlen passen sehr gut zur
\definitionsverweis {Addition}{}{}
der ganzen Zahlen. Die Addition einer Reihe von Ausgaben oder Einnahmen führt zur Gesamteinnahme bzw. Gesamtausgabe; wenn man hintereinander mehrfach nach vorne
\zusatzklammer {oder nach rechts} {} {}
bzw. nach hinten
\zusatzklammer {nach links} {} {}
geht, so beschreibt die Addition den Gesamtbewegungsvorgang; wenn die einen Äpfel von $G$ nach $H$ und die anderen von $H$ nach $G$ 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
\zusatzklammer {Bewegungs} {-} {}Prozess geschieht. Wenn man beispielsweise zuerst $a$ Äpfel von $G$ nach $H$ transportiert und dann $b$ Äpfel ebenfalls von $G$ nach $H$, so transportiert man insgesamt
\mathl{a+b}{} Äpfel von $G$ nach $H$. Wenn man hingegen zuerst $a$ Äpfel von $G$ nach $H$ transportiert und dann $b$ Äpfel in die andere Richtung, also von $H$ nach $G$ transportiert, so hängt der Gesamtprozess wesentlich davon ab, ob $a$ oder ob $b$ größer
\zusatzklammer {oder gleich} {} {}
ist. Bei
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
transportiert man insgesamt
\mathl{a-b}{} Äpfel von $G$ nach $H$
\zusatzklammer {vergleiche
Satz 10.13} {} {,}
andernfalls transportiert man
\mathl{b-a}{} Äpfel von $H$ nach $G$. 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 $1$ und die Vorgängerabbildung als Addition mit $-1$ auffassen. Die Addition auf den ganzen Zahlen passt auch gut zu der Addition der natürlichen Zahlen, wenn man wie in der
Definition 8.10
unter
\mathl{x+y}{} das Ergebnis versteht, das sich ergibt, wenn man von $x$ ausgehend den $y$-fachen Nachfolger nimmt. Entsprechend stimmt
\mathl{x+a}{} mit dem $a$-fachen Nachfolger von $x$ und
\mathl{x+(-b)}{} mit dem $b$-fachen Vorgänger von $x$ überein
\zusatzklammer {dabei ist \mathlk{x \in \Z}{} und \mathlk{a,b \in \N}{}} {} {.}
\inputbemerkung
{}
{
Innerhalb der ganzen Zahlen besitzt die mit den natürlichen Zahlen $a,b$ formulierte Gleichung
\mavergleichskettedisp
{\vergleichskette
{a+x
}
{ =} {b
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
eine eindeutige Lösung, nämlich
\mathl{(-a)+b}{.} Bei
\mavergleichskette
{\vergleichskette
{ a
}
{ \leq }{ b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist das ja nach Definition die natürliche Differenz
\mathl{b-a}{,} und bei
\mavergleichskette
{\vergleichskette
{ a
}
{ > }{ b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist nach Definition
\mavergleichskettedisp
{\vergleichskette
{ (-a) +b
}
{ =} { -(a-b)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
und wegen
\mavergleichskettedisp
{\vergleichskette
{a
}
{ \geq} { a-b
}
{ \geq} { 0
}
{ } {
}
{ } {
}
}
{}{}{}
ist nach der Definition der Addition und
Lemma 10.14 (3)
\mavergleichskettedisp
{\vergleichskette
{ a + (-(a-b))
}
{ =} { a- (a-b)
}
{ =} { (a+b) -a
}
{ =} { b
}
{ } {
}
}
{}{}{.}
Diese eindeutige Lösbarkeit überträgt sich auf eine Gleichung der Form
\mavergleichskettedisp
{\vergleichskette
{a+x
}
{ =} {b
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ a,b
}
{ \in }{ \Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
siehe
Aufgabe 18.24.
Diese Aussage folgt auch aus
Lemma 19.8
in Verbindung mit
Satz 19.3.
}
\inputfaktbeweis
{Ganze Zahlen/Negative Zahlen/Direkt/Eigenschaften der Addition/Fakt}
{Lemma}
{}
{
\faktsituation {Die
\definitionsverweis {Addition}{}{}
auf den
\definitionsverweis {ganzen Zahlen}{}{}
erfüllt die folgenden Eigenschaften.
\aufzaehlungvier{Die Addition besitzt $0$ als neutrales Element.
}{Die Addition ist eine kommutative Verknüpfung.
}{Die Addition ist assoziative Verknüpfung.
}{Zu jedem
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ \Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt es ein
\mavergleichskette
{\vergleichskette
{ y
}
{ \in }{ \Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskettedisp
{\vergleichskette
{x+y
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}}
\faktfolgerung {}
\faktzusatz {}
\faktzusatz {}
}
{
\aufzaehlungvier{Dass $0$ das neutrale Element ist, folgt unmittelbar aus den ersten beiden Teilen der
\definitionsverweis {Definition der Addition}{}{.}
}{Die Kommutativität der Addition beweisen wir mit einer Fallunterscheidung, je nachdem, ob die Summanden nichtnegativ
\zusatzklammer {natürliche Zahlen} {} {}
oder negativ sind. Wenn beide Summanden aus $\N$ sind, ergibt sich dies unmittelbar aus der Kommutativität der Addition in den natürlichen Zahlen. Wenn
\mavergleichskette
{\vergleichskette
{x
}
{ = }{a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
aus $\N$ ist und
\mavergleichskette
{\vergleichskette
{y
}
{ = }{-b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
negativ ist, so muss man eine weitere Fallunterscheidung vornehmen. Bei
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskettedisp
{\vergleichskette
{x+y
}
{ =} {a + (-b)
}
{ =} { a-b
}
{ } {
}
{ } {
}
}
{}{}{}
nach dem
\zusatzklammer {der ersten Hälfte des} {} {}
zweiten Teil der Definition, und ebenso ist
\mavergleichskettedisp
{\vergleichskette
{y+x
}
{ =} {(-b) + a
}
{ =} {a-b
}
{ } {
}
{ } {
}
}
{}{}{}
nach dem
\zusatzklammer {der ersten Hälfte des} {} {}
dritten Teils der Definition. Bei
\mavergleichskette
{\vergleichskette
{a
}
{ < }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist wiederum
\mavergleichskettedisp
{\vergleichskette
{x+y
}
{ =} { a + (-b)
}
{ =} {- (b-a)
}
{ =} { (-b) +a
}
{ =} {y+x
}
}
{}{}{}
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
\mathl{x,y,z}{} ins Spiel kommen, für die es jeweils mehrere Fälle gibt. Wenn eine der beteiligten Zahlen aber $0$ ist, so ist die Aussage wegen der bewiesenen neutralen Eigenschaft der $0$ klar. Wir müssen also nur noch die acht Fälle
\zusatzklammer {in denen selbst jeweils wiederum Fallunterscheidungen gemäß der Größenbeziehung der beteiligten Elemente nötig sind} {} {}
durchgehen, je nachdem, ob
\mathl{x,y,z}{} positiv oder negativ sind.
Wenn beispielsweise
\mathl{x=a,y=-b,z=-c}{} mit positiven Zahlen
\mathl{a,b,c,}{} ist, so ist
\mavergleichskettedisp
{\vergleichskette
{ x+(y+z)
}
{ =} { a + ((-b)+ (-c))
}
{ =} { a +( - (b+c))
}
{ } {
}
{ } {
}
}
{}{}{.}
Wenn
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{ b+c
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist, so ist dies
\mathl{a-(b+c)}{}
\zusatzklammer {in $\N$} {} {,}
andernfalls ist dies
\mathl{-((b+c)-a)}{.} Für die andere Klammerung ergibt sich
\mavergleichskettedisp
{\vergleichskette
{(x+y)+z
}
{ =} { (a+(-b))+(-c)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Bei
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{ b+c
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist einerseits
\mavergleichskettedisp
{\vergleichskette
{a
}
{ \geq} {b
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und andererseits
\mavergleichskettedisp
{\vergleichskette
{a-b
}
{ \geq} {c
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Somit ist die zweite Klammerung in diesem Fall
nach Aufgabe 10.28
ebenfalls gleich
\mavergleichskettedisp
{\vergleichskette
{ (a+(-b))+(-c)
}
{ =} { (a-b) -c
}
{ =} { a -(b+c)
}
{ } {
}
{ } {
}
}
{}{}{.}
Bei
\mavergleichskette
{\vergleichskette
{a
}
{ < }{ b+c
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
unterscheiden wir die Fälle
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{a
}
{ < }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Bei
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskette
{\vergleichskette
{c
}
{ \geq }{a-b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und daher ist unter Verwendung von
Lemma 10.14 (3)
\mavergleichskettedisp
{\vergleichskette
{( a+ (-b) ) + (-c)
}
{ =} { (a-b) -c
}
{ =} { - ( c- (a-b) )
}
{ =} {- ( (c+b )-a)
}
{ } {
}
}
{}{}{.}
Bei
\mavergleichskette
{\vergleichskette
{a
}
{ < }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist erst recht
\mavergleichskette
{\vergleichskette
{a
}
{ < }{b +c
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und somit ist
nach Lemma 10.14 (2)
\mavergleichskettedisp
{\vergleichskette
{ ( a + (-b) ) + (-c)
}
{ =} { (- (b-a) ) + ( -c )
}
{ =} { -( (b-a) + c))
}
{ =} { - ( (c+b )-a)
}
{ } {
}
}
{}{}{.}
Für die anderen Fälle siehe
Aufgabe 18.23.
}{Bei positivem $x$ hat $-x$ die Eigenschaft, dass die Summe
\mavergleichskettedisp
{\vergleichskette
{x+(-x)
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist, bei negativem $x$ mit
\mavergleichskette
{\vergleichskette
{x
}
{ = }{-a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ a
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
erfüllt $a$ die Eigenschaft.
}
In beiden Fällen erfüllt also das Negative $-x$ zu $x$ die Eigenschaft
\mavergleichskette
{\vergleichskette
{ x+ (-x)
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Für die Assoziativität der Addition in $\Z$ geben wir noch ein weiteres einleuchtenderes Argument, das sich an der inhaltlichen Beschreibung der Addition von ganzen Zahlen als einen gerichteten Transport von Objekten \zusatzklammer {zwischen zwei Haufen, also mit Rücktransport} {} {} orientiert. Diese Interpretation deckt sich mit den Festlegungen in Definition 18.7. In dieser Interpretation ist aber das Assoziativgesetz unmittelbar einleuchtend, da man die Hintereinanderausführung von drei Transportprozessen als einen Gesamtprozess auffassen kann, aber auch die beiden ersten Prozesse zusammenfassen oder die beiden letzten zusammenfassen kann.
\zwischenueberschrift{Die Multiplikation auf den ganzen Zahlen}
\inputdefinition
{}
{
Auf den \definitionsverweis {ganzen Zahlen}{}{} wird folgendermaßen eine Verknüpfung, genannt \definitionswort {Multiplikation}{,} eingeführt \zusatzklammer {dabei bezeichnen $a,b$ natürliche Zahlen} {} {.} Es ist
\mavergleichskettedisp
{\vergleichskette
{a \cdot b
}
{ \defeq} { a \cdot b
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{a \cdot (-b)
}
{ \defeq} { - (a \cdot b)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{(-a) \cdot b
}
{ \defeq} { - (a \cdot b)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{(-a) \cdot (-b)
}
{ \defeq} { a \cdot b
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
Der letzte Teil passt gut zu der Eigenschaft der
\definitionsverweis {Negation}{}{,}
zu sich selbst invers zu sein. Die Negation kann man insbesondere als Multiplikation mit der $-1$ auffassen. Dennoch sind
\mavergleichskettedisp
{\vergleichskette
{ -(-z)
}
{ =} { z
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{(-x)(-y)
}
{ =} {xy
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
verschiedene Eigenschaften
\zusatzklammer {Letzteres ist für $x,y \in \N$ eine Definition, und das Minuszeichen ist dabei das Vorzeichen, für beliebige $x,y$ ist es eine daraus folgende Eigenschaft der Multiplikation, und das Minuszeichen ist das Funktionszeichen} {} {.}
\inputbemerkung
{}
{
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
\zusatzklammer {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 $G$ nach $H$ transportieren und transportiert dann insgesamt $15$ Äpfel von $G$ nach $H$. Das gleiche erreicht man, wenn man fünfmal drei Äpfel von $G$ nach $H$ transportiert. Ebenso kann man $a$-mal $b$ Äpfel in die andere Richtung von $H$ nach $G$ transportieren, und transportiert damit insgesamt $ab$ Äpfel von $H$ nach $G$. Ganze Zahlen
\zusatzklammer {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 $P$ ein reversibler Prozess, der gegenläufige Prozess sei mit $-P$ bezeichnet. Für
\mavergleichskette
{\vergleichskette
{ n
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist $nP$ die $n$-fache Ausführung von $P$. Für negatives
\mavergleichskettedisp
{\vergleichskette
{n
}
{ =} {-m
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
interpretiert man dann $nP$ als die $m$-fache Ausführung des gegenläufigen Prozesses. Insbesondere ist
\mavergleichskettedisp
{\vergleichskette
{(-1)P
}
{ =} {-P
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Multiplikation mit $-1$ führt also auf den gegenläufigen Prozess, und von daher ist es einleuchtend, auch
\mavergleichskettedisp
{\vergleichskette
{(-1)(-P)
}
{ =} {P
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
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
\mathl{\text{Minus mal Minus ist Plus}}{} sinnvoll. Es soll
\mavergleichskettedisp
{\vergleichskette
{0x
}
{ =} {0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gelten und es soll das Distributivgesetz gelten. Dann ist für
\mavergleichskette
{\vergleichskette
{ n
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ \Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\mavergleichskettedisp
{\vergleichskette
{0
}
{ =} { 0x
}
{ =} {(n+(-n))x
}
{ =} {nx + (-n)x
}
{ } {
}
}
{}{}{.}
Bei negativem
\mavergleichskette
{\vergleichskette
{x
}
{ = }{-a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ergibt sich daraus
\mavergleichskettedisp
{\vergleichskette
{ n (-a) + (- n) (-a)
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Das Produkt
\mathl{(-n)(-a)}{} muss also bei Addition mit
\mathl{n(-a)}{} Null ergeben, dies ist aber gerade die charakteristische Eigenschaft von $na$. Also ist
\mavergleichskettedisp
{\vergleichskette
{(-n) (-a)
}
{ =} {na
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\inputfaktbeweis
{Ganze Zahlen/Negative Zahlen/Direkt/Eigenschaften der Multiplikation/Distributiv/Fakt}
{Lemma}
{}
{
\faktsituation {}
\faktfolgerung {Die
\definitionsverweis {Multiplikation}{}{}
auf den ganzen Zahlen ist eine kommutative assoziative Verknüpfung mit $1$ als neutralem Element. Es gilt das Distributivgesetz.}
\faktzusatz {}
\faktzusatz {}
}
{
Die Kommutativität der Multiplikation und die Eigenschaft, dass $1$ das neutrale Element ist, folgt unmittelbar aus der Definition 18.11. Zum Nachweis des Assoziativgesetzes stellt man zunächst fest, dass $0$ herauskommt, sobald ein Faktor $0$ 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 18.29.
Zum Nachweis des Distributivgesetzes
\mavergleichskettedisp
{\vergleichskette
{x \cdot (y+z)
}
{ =} {x \cdot y + x \cdot z
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
können wir, indem wir bei negativem $x$ mit $-1$ multiplizieren, annehmen, dass $x$ positiv ist
\zusatzklammer {bei
\mavergleichskettek
{\vergleichskettek
{x
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt die Gleichung sowieso} {} {.}
Wenn
\mathl{y,z}{} beide aus $\N$ sind oder beide negativ, so ergibt sich die Gleichung unmittelbar. Es sei also
\mavergleichskette
{\vergleichskette
{y
}
{ = }{a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
aus $\N$ und
\mavergleichskette
{\vergleichskette
{z
}
{ = }{-b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
negativ. Bei
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist nach
Satz 10.8
auch
\mavergleichskettedisp
{\vergleichskette
{xa
}
{ \geq} {xb
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
In diesem Fall ist somit nach
Lemma 10.15
\mavergleichskettedisp
{\vergleichskette
{ x \cdot (y+z)
}
{ =} { x \cdot (a+ (-b))
}
{ =} { x \cdot (a-b)
}
{ =} { x \cdot a - x \cdot b
}
{ =} {x \cdot a + x \cdot (-b)
}
}
{
\vergleichskettefortsetzung
{ =} {x \cdot y + x \cdot z
}
{ } {}
{ } {}
{ } {}
}{}{.}
Bei
\mavergleichskette
{\vergleichskette
{a
}
{ < }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist nach
Satz 10.8
auch
\mavergleichskettedisp
{\vergleichskette
{xa
}
{ <} {xb
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
In diesem Fall ist somit wieder nach
Satz 10.8
\mavergleichskettealign
{\vergleichskettealign
{ x \cdot (y+z)
}
{ =} { x \cdot (a+ (-b))
}
{ =} { x \cdot (-(b-a))
}
{ =} { - ( x \cdot (b-a) )
}
{ =} { - (x \cdot b - x \cdot a)
}
}
{
\vergleichskettefortsetzungalign
{ =} { x \cdot a + ( - x \cdot b)
}
{ =} { x \cdot a + x \cdot (-b)
}
{ =} { x \cdot y + x \cdot z
}
{ } {}
}
{}{.}
\zwischenueberschrift{Der Betrag}
\inputdefinition
{}
{
Unter dem
\definitionswort {Betrag}{}
\mathl{\betrag { n }}{} einer
\definitionsverweis {ganzen Zahl}{}{}
$n$ versteht man die Zahl selbst, falls diese positiv ist, oder aber die Zahl
\mathl{-n}{,} falls $n$ negativ
\zusatzklammer {und $-n$ positiv} {} {}
ist.
} Der Betrag ist also stets eine natürliche Zahl.