Mathematik: Analysis: Grundlagen: Ganze Zahlen

Analysis

Grundlagen

Mengen – Relationen – Funktionen– Natürliche Zahlen – Ganze Zahlen – Rationale Zahlen

Reelle Zahlen

Ganze Zahlen

Problem der Subtraktion

Jede Addition oder Multiplikation zweier natürlicher Zahlen hat eine Lösung, die wiederum eine natürliche Zahl ist. Dies gilt jedoch nicht für die Subtraktion. Beispiel:

$3-7$ hat keine Lösung in $\mathbb {N}$.

Um dieses Problem zu lösen, muss $\mathbb {N}$ erweitert werden. Das Ergebnis ist die Menge $\mathbb {Z}$ der ganzen Zahlen.

Lösungsidee und Definition der ganzen Zahlen

Seien $n,m\in \mathbb {N}$ zwei natürliche Zahlen. Die Differenz $n-m$ zu bilden ist einfach, wenn $m<n$ gilt. Nach der Definition von $<$ gibt es ein $x$ mit $m+x=n$. Wenn man noch zeigt, dass dieses $x$ eindeutig bestimmt ist, kann es als die Differenz der beiden Zahlen $m$ und $n$ definiert werden.

Wie lässt sich aber die Differenz definieren, wenn $n\leq m$ ? Es gibt dann kein Element $x\in \mathbb {N}$ mit $m+x=n$. Die Grundidee ist, alle möglichen Differenzen $(n-m)$ von natürlichen Zahlen $m$ und $n$ zu einem neuen Element $[(n,m)]$, einer Äquivalenzklasse zusammenzufassen, wenn sie das gleiche "Differenzergebnis" liefern. Diese Äquivalenzklassen definiert man dann einfach als ganze Zahlen.

Möglich wird dies durch einen kleinen Trick: Die Paare $(m_{1},n_{1}),\ (m_{2},n_{2})\in \mathbb {N} \times \mathbb {N}$ sollen dann zur gleichen Äquivalenzklasse gehören, wenn
$m_{1}-n_{1}=m_{2}-n_{2}$
gilt, sie also die gleiche "Differenz" haben. Da diese Differenz für "negative Ergebnisse" aber nicht definiert ist, fordert man einfach trickreich
$m_{1}+n_{2}=m_{2}+n_{1}$.

Formal kann man die ganzen Zahlen also wie folgt definieren:

Definition und Satz

1. Sei $\ \approx \$ eine Relation auf $\mathbb {N} \times \mathbb {N}$ definiert durch:
   
   $\approx \ :=\lbrace ((m_{1},n_{1}),\ (m_{2},n_{2}))\in (\mathbb {N} \times \mathbb {N} )\times (\mathbb {N} \times \mathbb {N} )\ \mid \ m_{1}+n_{2}=m_{2}+n_{1}\rbrace$.
   
   Für zwei Elemente $(m_{1},n_{1}),(m_{2},n_{2})$ gilt also: "$(m_{1},n_{1})\ \approx \ (m_{2},n_{2}))$" $\ \rightarrow \$ "$m_{1}+n_{2}=m_{2}+n_{1}$".
   Dann ist $\ \approx \$ eine Äquivalenzrelation.
   
   
2. Die Äquivalenzklassen dieser Äquivalenzrelation heißen ganze Zahlen, d. h.
   
   $\mathbb {Z} :=\ \lbrace \ [(m,n)]\ \mid \$ "$(m,n)\in \mathbb {N} \times \mathbb {N}$" und "$m_{1},n_{1}\in [(m,n)]\ \Leftrightarrow \ m_{1}+n=m+n_{1}$" $\rbrace$
   
   Die Klasse $[(1,1)]$ wird mit "Null" bzw. "$0$" bezeichnet.

Beweis

Zu zeigen sind also Reflexivität, Symmetrie und Transitivität von $\ \approx \$.

1. Reflexivität:
   Da für alle $(m_{1},n_{1})\in \mathbb {N} \times \mathbb {N}$ gilt: $m_{1}+n_{1}=m_{1}+n_{1}$ folgt
   $(m_{1},n_{1})\ \approx \ (m_{1},n_{1})$ und damit die Reflexivität.
   
   
2. Symmetrie:
   Sei $(m_{1},n_{1})\ \approx \ (m_{2},n_{2})$. Dann gilt:
   $m_{1}+n_{2}=m_{2}+n_{1}$ und damit
   $m_{2}+n_{1}=m_{1}+n_{2}$, also
   $(m_{2},n_{2})\ \approx \ (m_{1},n_{1})$ und das zeigt die Symmetrie.
   
   
3. Transitivität:
   Sei also $(m_{1},n_{1})\ \approx \ (m_{2},n_{2})$ und $(m_{2},n_{2})\ \approx \ (m_{3},n_{3})$. Dann gilt:
   $m_{1}+n_{2}=m_{2}+n_{1}$ und $m_{2}+n_{3}=m_{3}+n_{2}$. Hieraus ergibt sich:
   $m_{1}+n_{2}+n_{3}=m_{2}+n_{1}+n_{3}=m_{2}+n_{3}+n_{1}=m_{3}+n_{2}+n_{1}$ also
   $m_{1}+n_{3}=m_{3}+n_{1}$, d. h. $(m_{1},n_{1})\ \approx \ (m_{3},n_{3})$ und das zeigt die Transitivität.

Addition und Multiplikation

Seien $a=[(k,l)]$ und $b=[(m,n)]$ zwei ganze Zahlen. Wegen der Rechenregeln

$(k-l)+(m-n)\ =\ (k+m)-(l+n)$ und

$(k-l)\cdot (m-n)\ =\ (k\cdot m+l\cdot n)-(k\cdot n+l\cdot m)$

ist klar, wie man Addition und Multiplikation definiert:

Definition und Satz

Seien $a=[(k,l)]$ und $b=[(m,n)]$ zwei ganze Zahlen. Auf $\mathbb {Z}$ wird durch

1. $\oplus :\mathbb {Z} \times \mathbb {Z} \ \rightarrow \ \mathbb {Z}$
   
   $[(k,l)]\oplus [(m,n)]:=[(k+m,l+n)]$
   
   eine Abbildung, die Addition $\oplus$, definiert. Diese Abbildung ist assoziativ und kommutativ.
   
   
2. $\odot :\mathbb {Z} \times \mathbb {Z} \ \rightarrow \ \mathbb {Z}$
   
   $[(k,l)]\odot [(m,n)]:=[(km+ln,kn+lm)]$
   
   eine Abbildung, die Multiplikation $\odot$, definiert. Diese Abbildung ist assoziativ und kommutativ.

Beweis

Der Beweis wird nur für die Addition skizziert.

Zunächst ist zu zeigen, dass die Addition (in $\mathbb {Z}$) wohldefiniert ist. Das Problem ist hier, dass das Ergebnis einer Addition von der (zufälligen) Auswahl eines Repräsentanten der beteiligten Klassen abhängen könnte, also verschiedene Repräsentanten auch zu verschiedenen Ergebnissen (Funktionswerten) führen könnten. Wenn dies zutreffen würde wäre $\oplus$ keine Funktion und nicht "wohldefiniert".

Seien also mit $a,u\in \mathbb {Z}$ jeweils zwei unterschiedliche Repräsentanten gegeben, d. h.

$a=[(a_{1},b_{1})]=[(a_{2},b_{2})]$ und $u=[(u_{1},v_{1})]=[(u_{2},v_{2})]$

Zu zeigen ist: $[(a_{1}+u_{1},b_{1}+v_{1})]=[(a_{2}+u_{2},b_{2}+v_{2})]$.

Hinweise: bei der Einführung von Äquivalenzrelationen wurde gezeigt, dass Äquivalenzklassen disjunkt oder gleich sein müssen. Dies besagt aber gerade, dass aus

$[(a_{1},b_{1})]=[(a_{2},b_{2})]$ und $[(u_{1},v_{1})]=[(u_{2},v_{2})]$ folgt:

$(a_{1},b_{1})\ \approx \ (a_{2},b_{2})$ und $(u_{1},v_{1})\ \approx \ (u_{2},v_{2})$.

Hieraus lässt sich nun (unter Anwendung der Addition in $\mathbb {N}$) einfach zeigen, dass

$(a_{1}+u_{1},b_{1}+v_{1})\ \approx \ (a_{2}+u_{2},b_{2}+v_{2})$ gilt. Hieraus folgt dann, wiederum mit dem eben erwähnten Satz, das gewünschte Ergebnis.

Kommutativität (der Beweis für die Assoziativität verläuft ähnlich):

Mit den oben definierten $a,u\in \mathbb {Z}$ gilt:

$a\oplus u=[(a_{1}+u_{1},b_{1}+v_{1})]=[(u_{1}+a_{1},v_{1}+b_{1})]=u\oplus a$. Hierbei wurde die Kommutativität in $\mathbb {N}$ benutzt.

"Einbettung" der natürlichen in die ganzen Zahlen

Manche Leser stellen sich hier vielleicht die Frage, ob durch diese Definitionen das Rechnen mit den natürlichen Zahlen noch irgend eine Gemeinsamkeit mit den ganzen Zahlen hat oder hier etwas völlig Neues kreiert wurde. Die Frage ist berechtigt. Der folgende Satz zeigt aber, dass man $\mathbb {N}$ als Teilmenge von $\mathbb {Z}$ auffassen kann und dass Addition und Multiplikation in $\mathbb {N}$ und $\mathbb {Z}$ das Gleiche bedeuten.

Satz

Die Abbildung

$\sigma :\mathbb {N} \ \rightarrow \ \mathbb {Z}$
$\sigma (n):=[(n+1,1)]$

ist injektiv, additions- und multiplikationserhaltend, d. h. es gilt:

$\sigma (n+m)=\sigma (n)\oplus \sigma (m)$ und
$\sigma (n\cdot m)=\sigma (n)\odot \sigma (m)$.

Beweis

1. Injektivität: Es gelte $\sigma (m)=\sigma (n)$. Zu zeigen ist $m=n$.
   Aus $\sigma (m)=\sigma (n)$ folgt $[(m+1,1)]=[(n+1,1)]$. Wie im obigen Beweis gezeigt gilt also: $(m+1,1\ \approx \ (n+1,1)$, also $m+1+1=n+1+1$, woraus $m=n$ folgt.
   
   
2. Additionserhaltend: Es gilt $\sigma (m+n)=[(m+n+1,1)]=[(m+n+1+1,1+1)]=[(m+1,1)]\oplus [(n+1,1)]=\sigma (m)\oplus \sigma (n)$.
   
   
3. Multiplikationserhaltend: Es gilt
   $\sigma (m\cdot n)=[(m\cdot n+1,1)]=[(m\cdot n+n+m+1+1,n+m+1+1)]$ $\ \ \ \ \ \ \ \ \ \ \ \ \ =[((n+1)\cdot (m+1)+1,n+1+m+1)]=[(n+1,1)]\odot [(m+1,1)]=\sigma (m)\odot \sigma (n)$.
   
   

Man kann also beruhigt statt $\oplus$ und $\odot$ wieder $+$ und $\cdot$ schreiben und einfach $n$ statt $\sigma (n)$, was im Folgenden auch getan wird. Allerdings ist noch nicht geklärt, wie mit den "neuen" Elementen, den "negativen" Zahlen umgegangen werden soll. Dies wird im nächsten Abschnitt präzisiert.

Negative Zahlen

Um die gewohnte Schreibweise der negativen Zahlen einzuführen und mit der obigen Definition der ganzen Zahlen in Einklang zu bringen, zeigt man folgenden Satz und kann dann die negativen Zahlen definieren:

Definition und Satz

Sei $m,n\in \mathbb {Z}$. Dann gibt es genau ein $z\in \mathbb {Z}$ mit $m+z=n$.

Dieses $z$ nennt man auch $n-m$.

Für $0-m$ kürzt man zu $-m$ ab und bezeichnet $-m$ als die zu $m$ negative Zahl.

Beweis

Sei $m=[(m_{1},m_{2})]$ gegeben. Setzt man $m':=[(m_{2},m_{1})]$, so gilt:

$m+m'=[(m_{1}+m_{2},m_{1}+m_{2})]=m'+m=0$.

Es gibt also zu $m$ mindestens eine negative Zahl $m'$ und mit dieser gilt: $z=n+m'$.

Für dieses $m'$ folgt weiter:

$m+z$	=   $m+(n+m')$
	=   $m+(m'+n)$      (Kommutativität in $\mathbb {Z}$)
	=   $(m+m')+n$      (Assoziativität in $\mathbb {Z}$)
	=   $0+n=n$.

Zu zeigen ist noch, dass die Gleichung höchstens eine Lösung hat. Sei also $z'$ eine weitere Lösung mit $m+z'=n$. Es folgt:

$z'=(m'+m)+z'=m'+(m+z')=m'+n=z$.

Rechenregeln und weitere Eigenschaften

Mit den obigen Definitionen und Sätzen lassen sich nun leicht die bekannten Rechenregeln und Eigenschaften der ganzen Zahlen definieren und beweisen.

Das sind insbesondere die Assoziativitäts-, Kommutativitäts- und Distributivgesetze sowie die Vorzeichenregeln für das Rechnen, aber auch weitere Eigenschaften wie die Teilbarkeit oder Primfaktoren. Da in der Analysis die reellen Zahlen im Mittelpunkt stehen, wird das hier nicht weiter ausgeführt.

Es gilt also wie gewohnt:

$\mathbb {Z} =\{\dots -2,-1,0,1,2\dots \}=\mathbb {N} {\text{ }}\cup {\text{ }}0{\text{ }}\cup {\text{ }}\{{-n|n}\in \mathbb {N} \}$ und

$-\mathbb {N} :=\{(-1)\cdot x{\text{ }}|{\text{ }}x\in \mathbb {N} \}$

Autorenliste

Bei der Erstellung diese Buches wurden bestehende Kapitel aufgeteilt. In diesem Kapitel sind Teile des aufgeteilten Kapitels Mathematik: Analysis: Grundlagen: Natürliche Zahlen und enthalten.

Dieser Artikel basiert auf dem Artikel Mathematik: Analysis: Grundlagen: Natürliche Zahlen aus dem freien Projekt wikibooks und steht unter der GNU Lizenz für freie Dokumentation und der CC-by-sa 3.0. Gemäß den Lizenzbestimmungen ist hier die Liste der Autoren zum Exportzeitpunkt 03. Dez. 2007 08:55:16 UTC wiedergegeben.

Benutzer

TheAy, Edits:9 Maddog1985, Edits:3 Schildwaechter, Edits:2 Yoshee, Edits:1 Pmatu, Edits:16 Duschgeldrache2, Edits:2

IP-Adressen

An dem Artikel haben keine IP's mitgearbeitet oder sie sind hier nicht angegeben.

Einen fertig ausgefüllten Textbaustein erstellt Duesentrieb's Contributor Tool auf dem Wikimedia Toolserver. Ist die Liste lang, ist es zweckmäßig, dafür eine neue Seite zu erstellen und von der Seite mit den importierten Inhalten darauf zu verweisen.