Mathematik: Analysis: Grundlagen: Natürliche Zahlen

Analysis

Grundlagen

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

Reelle Zahlen

Einleitung

Jeder kommt bereits in frühester Kindheit mit Zahlen in Berührung und hat, zumindest von den natürlichen Zahlen, eine sehr genaue Vorstellung. Für mathematische Zwecke ist es aber erforderlich, die Struktur von Zahlenmengen eindeutig festzulegen. Dies beantwortet leider nicht die Frage was Zahlen sind, beschreibt aber ihre typischen Merkmale. Diese mathematischen Merkmale müssen natürlich in Übereinstimmung mit den intuitiven Vorstellungen sein. Andererseits muss die Beschreibung so genau sein, dass es eben nur eine Zahlenmenge mit genau diesen Eigenschaften gibt, d. h. die Charakterisierung muss in diesem Sinne vollständig sein.

Natürliche Zahlen

Der italienische Mathematiker G. Peano hat eine solche formale Beschreibung für die natürlichen Zahlen aufgestellt, die sich an dem Vorgang des Zählens orientiert und davon ausgeht, dass es einen Zählanfang gibt und eine Vorschrift, die jeder natürlichen Zahl einen Nachfolger zuordnet und dass diese beiden Eigenschaften die natürlichen Zahlen vollständig beschreiben. Formal lässt sich das Axiomensystem wie folgt angeben:

Axiomensystem von Peano

(N0)	$\mathbb {N}$ ist eine Menge
(N1)	$1\in \mathbb {N}$
(N2)	Es gibt eine injektive Abbildung $s:\mathbb {N} \rightarrow \mathbb {N}$, für die gilt: $1\notin s(\mathbb {N} )$
(N3)	(Induktionsaxiom) Gelten für eine Teilmenge $M\subset \mathbb {N}$ die beiden Eigenschaften: $1\in M$ und $\forall m\in M$ gilt: Aus $m\in M$ folgt $s(m)\in M$ dann folgt $M=\mathbb {N}$

Die Abbildung $s$ ordnet zwei verschiedenen natürlichen Zahlen auch zwei verschiedene Nachfolger ($s$ ist injektiv) zu und diese Nachfolger können nicht die $1$ sein.

Definition

$(n+1):=s(n)$ heißt der Nachfolger von $n$ und $n$ nennt man den Vorgänger von $(n+1)$.

Als ein Beispiel für die Anwendung des Induktionsaxioms soll nun folgender Satz gezeigt werden:

Satz

$s(n)\neq n$ für jedes $n\in \mathbb {N}$

Beweis

Sei $N:=\lbrace n\in \mathbb {N} \mid s(n)\neq n\rbrace$. Dann gilt:

$1\in N$	denn:	dann falls $1\notin N$ würde gelten $s(1)=1$ also $1\in s(\mathbb {N} )$, was ein Widerspruch wäre.
Aus $n\in N$ folgt $s(n)\in N$	denn:	Falls für ein $n\in N\ s(n)\notin N\$ gelten würde, folgt $s(s(n))=s(n)$, also wegen der Injektivität von $s:s(n)=n$, was aber nach Voraussetzung ein Widerspruch ist.

Aus dem Induktionsaxiom folgt $N=\mathbb {N}$ und das beweist den Satz!

Schreibweisen

Für die Menge der natürlichen Zahlen sind folgende Schreibweisen üblich: $\mathbb {N} =\{1,2,3,\dots \}=\{k\}_{k=1}^{\infty }$.

Die Menge der natürlichen Zahlen ist hier ohne die NULL definiert worden und wird im Folgenden auch so verwendet.

Menge der natürlichen Zahlen einschließlich der "Null" $\mathbb {N} _{0}=\{0,1,2,3,\dots \}=\{0\}\cup \mathbb {N}$

Die Menge der natürlichen Zahlen ist eine ideale Indexmenge und wird für Abzählbarkeitsaussagen (s. Mächtigkeit) verwendet.

Vollständige Induktion

Satz

Sei ${\mathfrak {E}}$ eine Eigenschaft, die auf natürliche Zahlen zutrifft oder auch nicht, d. h es gilt "${\mathfrak {E}}(n)$" oder "nicht ${\mathfrak {E}}(n)$" für alle $n\in \mathbb {N}$.

Wenn

1. Induktionsanfang: $\ {\mathfrak {E}}(1)$ und
2. Induktionsschritt: $\ \forall n\ \in \mathbb {N}$ gilt: $({\mathfrak {E}}(n)\Rightarrow {\mathfrak {E}}(s(n)))$,

so gilt ${\mathfrak {E}}(n)$ für alle $n\ \in \mathbb {N}$.

Beweis

Man wendet einfach das obige Induktionsaxiom auf die Menge $M:\lbrace n\mid n\in \mathbb {N} ,{\mathfrak {E}}(n)\rbrace$ an.

Beweise über Eigenschaften von natürlichen Zahlen erfolgen häufig mit Hilfe der gerade besprochenen vollständigen Induktion. Diese Beweisführung ist Ihnen wahrscheinlich bekannt. Sie erfolgt in zwei Schritten.

1. Induktionsanfang: Es wird gezeigt, dass die behauptete Eigenschaft für $1\in \mathbb {N}$ gilt.
2. Induktionsschritt: Es wird die Gültigkeit der Eigenschaft für $n\in \mathbb {N}$ vorausgesetzt. Mit Hilfe dieser Voraussetzung zeigt man, dass auch sie auch für $s(n)=n+1$ gilt.

Der Satz über die vollständige Induktion sagt nun gerade, dass diese Eigenschaft dann für die Menge $\mathbb {N}$ gilt.

Addition und Multiplikation

Multiplikation und Addition werden nun als Abbildung von einer " Relation auf $\mathbb {N}$ " nach $\mathbb {N}$ rekursiv (oder durch vollständige Induktion) definiert. Es werden also Bedingungen definiert, wie man schrittweise die Summe oder das Produkt zu bilden hat.

Genau genommen ist es nicht nur eine Definition sondern ein Satz, denn die Existenz dieser Abbildungen kann nicht einfach vorausgesetzt werden, sondern ist nachzuweisen. In einem zweiten Schritt ist dann noch zu zeigen, dass es, wie allgemein im Alltagsleben unterstellt, jeweils nur genau eine Abbildung für Addition und Multiplikation gibt.

Definition und Satz

Sei $+:\mathbb {N} \times \mathbb {N} \rightarrow \mathbb {N}$ und für alle $m,n\in \mathbb {N}$ gelte:

$(m,n)\ \rightarrow \ +(m,n)=:m+n$

1. $m+1=s(m)$ und
2. $m+s(n)=s(m+n)$

 

und sei $\cdot :\mathbb {N} \times \mathbb {N} \rightarrow \mathbb {N}$ und für alle $m,n\in \mathbb {N}$ gelte:

$(m,n)\ \rightarrow \ \cdot (m,n)=:m\cdot n$ mit

1. $m\cdot 1=m$ und
2. $m\cdot s(n)=(m\cdot n)+m$

 

Es gibt genau eine Abbildung $+$ (genannt Addition) und genau eine Abbildung $\cdot$ (genannt Multiplikation) mit diesen Eigenschaften.

Beweis

Der Beweis dieses "selbstverständlichen" Satzes ist nicht besonders trival. Er wird hier beispielhaft für die Addition gezeigt. Der Beweis für die Multiplikation verläuft genauso und wird dem Leser zur Übung empfohlen.

Es sind zwei Dinge zu zeigen: die Existenz der Addition und die Eindeutigkeit. Die Eindeutigkeitsaussage wird für den Beweis der Existenz benötigt und daher zuerst gezeigt.

 

1. Eindeutigkeit der Addition

Hilfssatz

Zu einem $z\in \mathbb {N}$ gibt es höchstens eine Abbildung $f$ für die gilt:

$f:\mathbb {N} \ \rightarrow \ \mathbb {N}$ mit $\ f(1)=z$ und $f\cdot s=s\cdot f$

 

Der Beweis dieses Hilfssatzes erfolgt über das Induktionsaxiom:

Sei $g:\mathbb {N} \ \rightarrow \ \mathbb {N}$ eine Abbildung für die gilt: $g(1)=z$ und $g\cdot s=s\cdot g$.

Zu beweisen ist, dass $f=g$ gilt.

Definition- und Bildbereich von $f$ und $g$ sind gleich.

Sei $N:=\lbrace n\in \mathbb {N} \mid f(n)=g(n)\rbrace$.

Dann gilt:

$f(1)=z=g(1)$ also $1\in N$.

Sei $n\in N$. Dann gilt $f(n)=g(n)$ und es folgt:

$f(s(n))=(f\cdot s)(n)=(s\cdot f)(n)=s(f(n))=s(g(n))=(s\cdot g)(n)=(g\cdot s)(n)=g(s(n)),$ also gilt auch $s(n)\in N$.

Mit dem Induktionsaxiom gilt $N=\mathbb {N}$, d. h. $f(n)=g(n)$ für alle $n\in \mathbb {N}$, daraus folgt $f=g$ was die Eindeutigkeit zeigt.

 

Mit diesem Hilfssatz ist es einfach zu zeigen, dass es höchstens eine Möglichkeit gibt die Addition wie oben zu definieren. Sei also die oben definierte Addition gegeben und sei $n\in \mathbb {N}$ eine beliebige Zahl. Dann definiert

$f_{n}:\mathbb {N} \ \rightarrow \ \mathbb {N}$ mit $f_{n}(x):=n+x$ eine Abbildung für die gilt:

$f_{n}(1)=n+1=s(n)$ und $f_{n}(s(x))=n+s(x)=s(n+x)=s(f_{n}(x))$.

Mit dem Hilfssatz folgt, dass es für jedes $n\in \mathbb {N}$ höchstens eine solche Abbildung $f_{n}$ gibt. Und dies zeigt, dass die oben definierte Addition eindeutig ist, wenn es sie geben sollte.

 

2. Existenz der Addition

Zunächst zeigt man mit Hilfe des Induktionsaxioms, dass für jedes $n\in \mathbb {N}$ genau eine Abbildung mit:

$f_{n}:\mathbb {N} \ \rightarrow \ \mathbb {N}$ mit

$f_{n}(1)=s(n)$ und $f_{n}\cdot s=s\cdot f_{n}$ existiert.

Mit den Funktionen $f_{n}$ lässt sich die Addition wie folgt definieren:

$n+m:=f_{n}(m)$ für alle $n,m\in \mathbb {N}$, denn für alle $n,m\in \mathbb {N}$ gilt: $n+1=s(n)=f_{n}(1)$ und $n+s(m)=f_{n}(s(m))=s(n+m)$.

 

Hilfssatz

Für jedes $n\in \mathbb {N}$ gibt es genau eine Abbildung mit

$f_{n}:\mathbb {N} \ \rightarrow \ \mathbb {N}$ mit $f_{n}(1)=s(n)$ und $f_{n}\cdot s=s\cdot f_{n}$

 

Der Beweis erfolgt wieder mit Hilfe des Induktionsaxioms:

 

Für $n=1$ definiert man $f_{1}:\mathbb {N} \ \rightarrow \ \mathbb {N} \$ mit $f_{1}=s$.

Dann gilt: $f_{1}(1)=s(1)$ und $f_{1}\cdot s=s\cdot s=s\cdot f_{1}$

Diese Abbildung $f_{1}$ existiert und erfüllt die o. g. Bedingungen. Der Hilfssatz bei der Eindeutigkeitsaussage zeigt weiter, dass es höchstens eine solche Abbildung gibt mit $s(1)=z$.

 

Sei also ein $n\in \mathbb {N}$ vorgegeben für das gilt: $f_{n}(1)=s(n)$ und $f_{n}\cdot s=s\cdot f_{n}$.

Für eine Funktion $f_{s(n)}:=s\cdot f_{n}$ gilt:

$f_{s(n)}(1)=s\cdot f_{n}(1)=s(f_{n}(1))=s(s(n))\$ (da nach Voraussetzung $f_{n}(1)=s(n)$) und

$f_{s(n)}\cdot s=(s\cdot f_{n})\cdot s=s\cdot (f_{n}\cdot s)=s\cdot (s\cdot f_{n}))=s\cdot f_{s(n)}$.

Nach dem Hilfssatz beim Beweis der Eindeutigkeit $(z=s(n))$ gibt es höchstens eine Abbildung $f_{s(n)}$ und da nach Voraussetzung $f_{n}$ existiert, also genau eine Abbildung. Damit ist die Existenz und Eindeutigkeit der Abbildung auch für $n+1$ bewiesen und nach dem Induktionsaxiom für alle $n\in \mathbb {N}$.

Rechenregeln

Satz

Für alle $x,y,z\in \mathbb {N}$ gilt:

1. $(x+y)+z=x+(y+z)$	(Assoziativität)
2. $x+y=y+x$	(Kommutativität)
3. $(x\cdot y)\cdot z=x\cdot (y\cdot z)$	(Assoziativität)
4. $x\cdot (y+z)=(x\cdot y)+(x\cdot z)$	(Distributivität)

Beweis

Die Beweise lassen sich mit Hilfe des Induktionsaxioms führen.

Beispiel $n$-te Potenz

Durch vollständige Induktion lässt sich folgender Satz leicht zeigen:

Satz

Sei $R$ eine Menge, $f:R\times \mathbb {N} \ \rightarrow \ R$ eine Abbildung und $y$ ein Element von $R$. Dann gibt es genau eine Abbildung $g:\mathbb {N} \ \rightarrow \ R$ mit

1. $g(1)=y$ und
2. $g(n+1)=f(g(n),n)$ für alle $n\in \mathbb {N}$

Mit diesem Satz lassen sich nun einfach die Existenz und Eindeutigkeit der $n$-ten Potenz nachweisen:

Setzt man ($\mathbb {R}$ ist die Menge der reellen Zahlen)

$R=\mathbb {R} ,\ y\in \mathbb {R}$ und für

$f:\mathbb {R} \ \rightarrow \ \mathbb {N}$ die Abbildung

$f(x,n):=x\cdot y$, für $(x,y)\in R\times \mathbb {N}$ ein,

so liefert obiger Satz eine Abbildung $g$ mit

1. $g:\mathbb {N} \rightarrow \mathbb {R}$
2. $g(n):=y^{n}$
3. $g(1)=y=y^{1}$
4. $g(n+1)=f(g(n),n)=g(n)\cdot y=y^{n}\cdot y=y^{n+1}$ für alle $n$.

Ordnung

Mit Hilfe der Addition lässt sich nun sehr einfach eine weitere Struktur auf den natürlichen Zahlen nachweisen:

Definition - "natürliche" Ordnung

Für alle $x,y\in \mathbb {N}$ definiert man:

1. $x<y$ (lies: $x$ kleiner $y$) oder
   $y>x$ (lies: $y$ größer $x$)
   wenn es ein $z\in \mathbb {N}$ gibt mit $x+z=y$
    
2. $x\leq y$ (lies: $x$ kleiner-gleich $y$) oder
   $y\geq x$ (lies: $y$ größer-gleich $x$)
   wenn $x=y$ oder $x<y$.

Satz

1. Die Relation $\leq$, d. h. $\lbrace (x,y)\in \mathbb {N} \times \mathbb {N} \mid x\leq y\rbrace$ ist eine Ordnungsrelation auf $\mathbb {N}$
2. $(\mathbb {N} ,\ \leq )$ ist linear geordnet
3. Für alle $x,y,z\in \mathbb {N}$ git:
   $x\leq y\ \rightarrow \ x+z\leq y+z$ und
   $x\leq y\ \rightarrow \ x\cdot z\leq y\cdot z$.
   Die Ordnungsrelation ist also verträglich mit der Addition und Multiplikation.

Hinweise zum Beweis

Reflexivität und Antisymmetrie sind durch Rechnungen einfach nachzuweisen.

Die übrigen Beweise verwenden wieder das Induktionsaxiom. Beispielsweise kann man für den Beweis der linearen Ordnung (zu 2.) für ein vorgegebenes $x$ eine Menge
$M_{x}:=\lbrace n\in \mathbb {N} \mid x\leq n$ oder $n\leq x\rbrace$ definieren und zeigen, dass $M_{x}=\mathbb {N}$ gilt. Beim Nachweis der Antisymmetrie unterstützt folgender Hilfssatz: $\forall x,y\in \mathbb {N} :x\leq y\ \rightarrow \ x\neq y$, der ebenfalls über das Induktionsaxiom bewiesen werden kann. Die Ausführung der Beweise ist Ihnen zur Übung überlassen.

Wohlordnungssatz

$\mathbb {N}$ ist mit der natürlichen Ordnung wohlgeordnet.

Dieser Satz besagt, dass jede nichtleere Teilmenge $M$ von $\mathbb {N}$ ein kleinstes Element, $min.M$, enthält. Dieser Satz mag Ihnen reichlich überflüssig vorkommen. Bedenken Sie aber, dass für allgemeine Mengen die Aussagen Zornsches Lemma, Wohlordnungssatz und Auswahlaxiom äquivalent und von großer Tragweite sind.

Hinweise zum Beweis

Wieder wird das Induktionsaxiom verwendet, diesmal wird aber folgende Eigenschaft induktiv nachgewiesen:
"Jede Teilmenge $M_{n}$ von $\mathbb {N}$, die die Zahl $n$ enthält, besitzt ein kleinstes Element".

Für $M_{1}$ ist die Behauptung sicher richtig, da $1\in M_{1}$.

Die Behauptung gelte nun für ein $n\in \mathbb {N}$.

Zu zeigen ist, dass "jede Teilmenge $M_{n+1}$ von $\mathbb {N}$ ein kleinstes Element besitzt". Man unterscheidet zwei Fälle:

1. Fall: Für alle $x\in M_{n+1}$ gilt $n+1\leq x$ und

2. Fall: Es gibt ein $x\in M_{n+1}$ mit $x<n+1$.

Der erste Fall ist klar, für den Beweis des zweiten Falls verwendet man die Injektivität von $s$ und die Induktionsvoraussetzung.

Da jede nichtleere Teilmenge von $\mathbb {N}$ ein $n\in \mathbb {N}$ enthält ist der Satz bewiesen.

Primzahlen

Eine wichtige Teilmenge der Natürlichen Zahlen sind die Primzahlen. Primzahlen sind alle natürliche Zahlen mit genau zwei Teilern. $\mathbb {P} =\{\,2,3,5,7,11,\ldots \,\}$

Autorenliste

Bei der Erstellung diese Buches wurden bestehende Kapitel aufgeteilt. In diesem Kapitel sind Teile des aufgeteilten Kapitels Mathematik: Analysis: Anhänge: Zahlenmengen enthalten.

Dieser Artikel basiert auf dem Artikel Mathematik: Analysis: Anhänge: Zahlenmengen 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. Nov. 2007 02:40:17 UTC wiedergegeben.

Benutzer

TheAy, Edits:9 Maddog1985, Edits:3 Schildwaechter, Edits:2 Yoshee, Edits:1

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.