Kurs:Grundkurs Mathematik (Osnabrück 2016-2017)/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
\mathl{a,b \in \N}{} formulierbar ist, aber es dort bei
\mathl{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.
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 diese 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 aussieht. 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.
\inputbemerkung
{}
{
Wie verhalten sich die ganzen Zahlen bezüglich der Zählvorstellung 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, indem man für eine negative Zahl
\mavergleichskette
{\vergleichskette
{y
}
{ = }{-a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
den Nachfolger als das Negative des Vorgängers von $a$ definiert, also
\mavergleichskettedisp
{\vergleichskette
{ y^\prime
}
{ =} { - (a-1)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\zusatzklammer {bei
\mavergleichskettek
{\vergleichskettek
{a
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist dies als $0$ zu lesen} {} {.}
Die natürlichen Zahlen werden somit auf der Zahlengeraden von $0$ aus nach links mit $-1,-2, ...$ fortgesetzt. Der Nachfolgerschritt ist dann immer noch der eine Schritt nach rechts. Beispielsweise ergeben sich die Reihenfolgen
\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, ...} { . }
}
Es entsteht hier eine Symmetrie am Nullpunkt, wobei die negative Zahl
\mathl{-a}{} der positiven Zahl $a$ gegenüber liegt. Diese Symmetrie gilt insbesondere auf der Zahlengeraden.
\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} {}
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.
\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 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$, $-3$ bedeutet drei Äpfel von Haufen $H$ nach Haufen $G$. 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
{}
{
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.11} {} {,}
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.
}
Statt
\mathl{a+(-b)}{} schreiben wir auch
\mathl{a-b}{.} Es ist sinnvoll, diesen Ausdruck und speziell
\mathl{-b}{} für beliebige ganze Zahlen zur Verfügung zu haben. Wir setzen daher
\mavergleichskettedisp
{\vergleichskette
{ -x
}
{ =} { \begin{cases} -x \, , \text{ falls } x \in \N \, , \\ y \, , \text{ falls } x \text{ negativ ist mit } x = -y \text{ und } y \in \N \, . \end{cases}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
Insbesondere ist
\mavergleichskette
{\vergleichskette
{-(-z)
}
{ = }{z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für jede ganze Zahl $z$.
\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.12 (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.13.
Diese Aussage folgt auch aus
Lemma 19.8
in Verbindung mit
Satz 19.3.
}
\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
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\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/Ringeigenschaften/Fakt}
{Lemma}
{}
{
\faktsituation {Die ganzen Zahlen erfüllen die folgenden Eigenschaften.}
\faktfolgerung {\aufzaehlungdrei{Die Addition ist eine kommutative assoziative Verknüpfung mit $0$ als neutralem Element. Zu jedem
\mathl{x \in \Z}{} gibt es ein
\mathl{y \in \Z}{} mit
\mavergleichskettedisp
{\vergleichskette
{x+y
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}{Die Multiplikation ist eine kommutative assoziative Verknüpfung mit $1$ als neutralem Element.
}{Es gilt das Distributivgesetz.
}}
\faktzusatz {}
\faktzusatz {}
}
{
\aufzaehlungdrei{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.
Dass $0$ das neutrale Element ist, folgt unmittelbar aus den ersten beiden Teilen der
\definitionsverweis {Definition der Addition}{}{.}
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.18
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.12 (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.12 (2)
\mavergleichskettedisp
{\vergleichskette
{ ( a + (-b) ) + (-c)
}
{ =} { (- (b-a) ) + ( -c )
}
{ =} { -( (b-a) + c))
}
{ =} { - ( (c+b )-a)
}
{ } {
}
}
{}{}{.}
Für die anderen Fälle siehe
Aufgabe 18.12.
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
\mathl{a \in \N}{} erfüllt $a$ die Eigenschaft.
}{Die Kommutativität der Multiplikation und die Eigenschaft, dass $1$ das neutrale Element ist, folgt unmittelbar aus der
Definition 18.6.
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.17.
}{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.5
auch
\mavergleichskettedisp
{\vergleichskette
{xa
}
{ \geq} {xb
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
In diesem Fall ist somit nach
Lemma 10.13
\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.5
auch
\mavergleichskettedisp
{\vergleichskette
{xa
}
{ <} {xb
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
In diesem Fall ist somit wieder nach
Satz 10.5
\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
}
{ } {}
}
{}{.}
}
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.3. 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{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.
| << | Kurs:Grundkurs Mathematik (Osnabrück 2016-2017)/Teil I | >> |
|---|