imported>Invisigoth67: Änderungen von ~2025-51160-4 (Diskussion) auf die letzte Version von Speravir zurückgesetzt

2025-09-03T12:35:10Z

Änderungen von ~2025-51160-4 (Diskussion) auf die letzte Version von Speravir zurückgesetzt

Neue Seite

Die '''natürlichen Zahlen''' sind die grundlegenden [[Zahl]]en. Ihre Benutzung steht in direktem Zusammenhang mit der elementaren Handlung des [[Zählen]]s.
{{Zeichen|ℕ|Der [[Buchstabe mit Doppelstrich|Buchstabe N mit<br />Doppelstrich]] steht für die<br />Menge der ''natürlichen Zahlen.''|kleiner=ja}}
[[Datei:Number-systems.svg|mini|Die natürlichen Zahlen (ℕ) sind Teil der [[Ganze Zahl|ganzen Zahlen]] (ℤ), die Teil der [[Rationale Zahl|rationalen Zahlen]] (ℚ), die wiederum Teil der [[Reelle Zahl|reellen Zahlen]] (ℝ) sind.]]

Die dabei global benutzten [[Zahlzeichen]] sind

:1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13 usw.,

wobei die zugehörigen deutschsprachigen [[Zahlwort#Grundzahlwörter (Kardinalia)|Grundzahlwörter]]

: eins, zwei, drei, vier, fünf, sechs, sieben, acht, neun, zehn, elf, zwölf, dreizehn usw.

sind.

Je nach Definition kann auch die 0 ([[Null]]) zu den natürlichen Zahlen gezählt werden. Die '''[[Menge (Mathematik)|Menge]] der natürlichen Zahlen''' bildet mit der [[Addition]] und der [[Multiplikation]] zusammen eine [[mathematische Struktur]], die als [[Halbring (Algebraische Struktur)|kommutativer Halbring]] bezeichnet wird.

== Bezeichnungskonventionen ==
Für die Menge der natürlichen Zahlen wird das [[Formelzeichen]] <math>\mathbb N</math> verwendet. In der weitverbreiteten [[Zeichenkodierung]] [[Unicode]] ist das Zeichen im [[Unicodeblock Buchstabenähnliche Symbole]] zu finden und hat den [[Codepoint]] U+2115 (ℕ).

Sie umfasst entweder die positiven [[Ganze Zahl|ganzen Zahlen]] (also ohne die 0)
: <math>\N = \{1, 2, 3, \ldots\}</math>
oder die nichtnegativen ganzen Zahlen (also inklusive der 0)
: <math>\N = \{0, 1, 2, 3, \ldots\}</math>.

Beide Konventionen werden uneinheitlich verwendet. Die ältere Tradition zählt die Null nicht zu den natürlichen Zahlen (die Null wurde in Europa erst ab dem 13. Jahrhundert gebräuchlich). Diese Definition ist gängiger in mathematischen Gebieten wie der [[Zahlentheorie]], in denen die Multiplikation der natürlichen Zahlen im Vordergrund steht. In der Logik, der [[Mengenlehre]] und der [[Informatik]]<ref>Z. B. [[Edsger W. Dijkstra]]: [https://www.cs.utexas.edu/users/EWD/transcriptions/EWD08xx/EWD831.html ''Why numbering should start at zero''.] 11. August 1982.</ref> ist dagegen die Definition mit Null gebräuchlicher und vereinfacht die Darstellung. Nur mit letzterer Konvention bilden die natürlichen Zahlen mit der [[Addition]] ein [[Monoid]]. Im Zweifelsfall ist die verwendete Definition explizit zu nennen.

Für die Menge der natürlichen Zahlen ohne Null führte [[Richard Dedekind|Dedekind]] 1888 das Symbol N ein.<ref name="Dedekind">Dedekind: ''Was sind und was sollen die Zahlen?'' Braunschweig 1888.</ref> Sein Symbol wird heute oft als Buchstabe N mit [[Buchstabe mit Doppelstrich|Doppelstrich]] stilisiert (<math>\mathbb N</math> oder <math>\mathrm{I\!N}</math>). Ab 1894 gebrauchte [[Giuseppe Peano|Peano]] für die natürlichen Zahlen mit Null das Symbol N<sub>0</sub>, das heute ebenfalls stilisiert und nach Peano durch <math>\N_0:=\N\cup\{0\}</math> definiert wird.<ref>Peano: ''Opere scelte.'' II, S. 124. Definition in: Peano: ''Opere scelte.'' III, S. 225.</ref>

Wird jedoch das Symbol <math>\mathbb N</math> für die natürlichen Zahlen mit Null verwendet, dann wird die Menge der natürlichen Zahlen ohne Null mit <math>\N_+</math>, <math>\N^+</math>, <math>\N^*</math>, <math>\N_{>0}</math>, <math>\N_{1}</math> oder <math>\N\setminus\{0\}</math> bezeichnet. Die [[DIN-Norm]] 5473 „Logik und Mengenlehre; Zeichen und Begriffe“ verwendet zum Beispiel <math>\mathbb N</math> für die nichtnegativen ganzen Zahlen (also mit Null) und <math>\mathbb N^*</math> für die positiven ganzen Zahlen. Deutsche Schulbücher orientieren sich in einigen Bundesländern an dieser DIN-Norm, in anderen, z. B. in [[Bayern]], nicht.

Letztlich ist es eine Frage der [[Definition]], welche der beiden Mengen man als ''natürlicher'' ansehen und welcher man somit diese Bezeichnung als sprachliche Auszeichnung zukommen lassen will.

== Axiomatisierung ==
[[Richard Dedekind]] definierte 1888 erstmals die natürlichen Zahlen implizit durch [[Axiom]]e.<ref name="Dedekind" /> Unabhängig von ihm stellte Giuseppe Peano 1889 ein einfacheres und zugleich formal präzises Axiomensystem auf.<ref name="Peano">Peano: ''Arithmetices principia nova methodo exposita.'' Turin 1889.</ref><ref>Zur Unabhängigkeit von Dedekind siehe: Hubert Kennedy: ''The origins of modern Axiomatics.'' In: ''American Mathematical monthly.'' 79 (1972), S. 133–136. Auch in: Kennedy: ''Giuseppe Peano.'' San Francisco 2002, S. 35 f.</ref> Diese sogenannten [[Peano-Axiome]] haben sich durchgesetzt. Während sich das ursprüngliche Axiomensystem in [[Prädikatenlogik zweiter Stufe]] formalisieren lässt, wird heute oft eine schwächere Variante in Prädikatenlogik erster Stufe verwendet, die als [[Peano-Arithmetik]] bezeichnet wird.<ref>Rautenberg (2007), Kap. 11.</ref> Andere [[Axiomatisierung#Axiomatisierung in der Mathematik|Axiomatisierungen]] der natürlichen Zahlen, die mit der Peano-Arithmetik verwandt sind, sind beispielsweise die [[Robinson-Arithmetik]] und die [[Primitiv-rekursive Funktion|primitiv rekursive Arithmetik]].

Man kann die Peano-Axiome auch als Definition der natürlichen Zahlen auffassen. Eine Menge der natürlichen Zahlen ist dann eine solche Menge, die den Peano-Axiomen genügt. Wichtig ist, dass es unendlich viele solcher Mengen gibt. Jedoch verhält sich jede dieser Mengen völlig gleich, die Elemente sind lediglich anders bezeichnet. In der Mathematik sagt man, die Mengen sind [[Isomorphismus|isomorph]]. Dieses Resultat nennt man auch den Eindeutigkeitssatz von Dedekind. Dadurch hat man sich insbesondere konventionell geeinigt, „die natürlichen Zahlen“ zu sagen, obwohl es streng genommen unendlich viele solcher Mengen gibt.

Ein wenig abstrakter kann man ein „Objekt natürlicher Zahlen“ in jedem [[Topos (Mathematik)|Topos]] <math>\mathcal C</math> axiomatisieren, nämlich als ein Tripel <math>(N \in \mathcal C, z\colon 1 \to N, s\colon N \to N)</math>, für das gilt: Für jedes Objekt <math>A \in \mathcal C</math> und alle [[Morphismus|Pfeile]] <math>y\colon 1 \to A</math>, <math>r \colon A \to A</math> gibt es genau einen Pfeil <math>h\colon N \to A</math> mit <math>h \circ z = y</math> und <math>h \circ s = r \circ h</math>.<ref>{{nLab|natural+numbers+object|2=natural numbers object}}</ref>

== {{Anker|Von Neumanns Modell}}Von Neumanns Modell der natürlichen Zahlen ==
[[John von Neumann]] gab eine Möglichkeit an, die natürlichen Zahlen durch Mengen darzustellen, d. h., er beschrieb ein [[Mengenlehre|mengentheoretisches]] [[Modell (Logik)|Modell]] der natürlichen Zahlen.

: <math>\begin{alignat}{3}
0 &:= &&\quad\ \, \{\} &&= \emptyset\\
1 &:= 0' &&= \{0\} &&= \{ \emptyset \}\\
2 &:= 1' &&= \{0, 1\} &&= \{ \emptyset, \{ \emptyset \} \}\\
3 &:= 2' &&= \{0, 1, 2\} &&= \{ \emptyset, \{ \emptyset \}, \{ \emptyset, \{ \emptyset \} \} \}\\
&\vdots&& &&\\
(n+1) &:= n' &&= \{0,1,\ldots,n\} &&= n \cup \{n\}
\end{alignat}</math>

Zur Erklärung: Für das Startelement, die „0“, ist die [[leere Menge]] <math>\emptyset</math> gewählt worden. Die „1“ ist hingegen die Menge, welche die leere Menge als Element enthält. Dies sind verschiedene Mengen, denn die leere Menge „0“={} enthält kein Element, wohingegen die Menge „1“={<math>\emptyset</math>} genau ein Element enthält.

Die Nachfolgermenge ist definiert als die Vereinigung der Vorgängermenge und der Menge, die die Vorgängermenge enthält. Die Menge, die die Vorgängermenge enthält (sie ist also nicht leer), und die Vorgängermenge sind disjunkt, deshalb ist jede Nachfolgermenge von der Vorgängermenge verschieden. Hieraus ergibt sich insbesondere die [[Injektive Funktion|Injektivität]] der so definierten Nachfolgerfunktion. Somit genügt diese den Peano-Axiomen.

Die Existenz jeder einzelnen natürlichen Zahl ist [[Mengenlehre|mengentheoretisch]] schon durch recht schwache Forderungen gesichert. Für die Existenz der ''Menge aller natürlichen Zahlen'' <math>\N</math> sowie <math>\N_0</math> benötigt man jedoch in der [[Zermelo-Fraenkel-Mengenlehre]] ein eigenes Axiom, das sogenannte [[Unendlichkeitsaxiom]].

Eine Verallgemeinerung dieser Konstruktion (Wegfall des fünften Peano-Axioms bzw. Zulassung von weiteren Zahlen ohne Vorgänger) ergibt die [[Ordinalzahl]]en.

== Die natürlichen Zahlen als Teilmenge der reellen Zahlen ==
Die Einführung der natürlichen Zahlen mit Hilfe der Peano-Axiome ist eine Möglichkeit, die Theorie der natürlichen Zahlen zu begründen. Als Alternative kann man beim Körper <math>\R</math> der [[Reelle Zahl|reellen Zahlen]] axiomatisch einsteigen und die natürlichen Zahlen als Teilmenge von <math>\R</math> definieren.<ref>Martin Barner, Friedrich Flohr: ''Analysis I.'' Walter de Gruyter, Berlin 2000, ISBN 978-3-11-016779-5, S. 21–23.</ref> Dazu benötigt man zunächst den Begriff einer [[Vollständige Induktion|induktiven]] Menge.

Eine Teilmenge <math>M</math> von <math>\R</math> heißt ''induktiv'', wenn folgende Bedingungen erfüllt sind:
# <math>0</math> ist Element von <math>M</math>.
# Ist <math>x</math> Element von <math>M</math>, so ist auch <math>x+1</math> Element von <math>M</math>.

Dann ist <math>\N_0</math> der [[Menge (Mathematik)#Durchschnitt|Durchschnitt]] aller induktiven Teilmengen von <math>\R</math>.

Alternativ kann man die natürlichen Zahlen auch per Monoidmonomorphie in den Körper der reellen Zahlen einbetten. Das gilt aber nur, wenn man die 0 als Element der natürlichen Zahlen betrachtet. Es ist anzumerken, dass man die natürlichen Zahlen somit nur als eine Teilmenge der reellen Zahlen interpretiert, diese aber streng genommen keine sind. Auf die gleiche Weise bettet man die natürlichen Zahlen in andere bekannte Zahlenbereiche ein, wie zum Beispiel in die rationalen Zahlen.

Der hier übliche kanonische [[Monomorphismus]] ist folgendermaßen gegeben:

: <math>\mathbb{N} \rightarrow \mathbb{R}, \, n \mapsto n \cdot 1</math>,

wobei <math>n \cdot 1</math> hier als die ''n''-fache Addition des multiplikativ neutralen Elementes der reellen Zahlen zu verstehen ist und die reellen Zahlen als additives Monoid aufzufassen sind. Dass es sich bei obiger Abbildung um einen Homomorphismus handelt, ist unmittelbar ersichtlich; ebenso die Injektivität. Folglich lassen sich die natürlichen Zahlen mit dem Bild obiger Abbildung (und damit als Teilmenge der reellen Zahlen) identifizieren.

Völlig analog kann man sie auch beispielsweise in den Ring der ganzen Zahlen, den Körper der rationalen Zahlen oder in den [[Körper (Algebra)|Körper der komplexen Zahlen]] einbetten.

== Siehe auch ==
* [[Liste besonderer Zahlen]]
* [[Monoid]]
* [[Zahlensystem]]

== Literatur ==
* {{Literatur
|Hrsg=Fachredaktionen des Bibliographischen Instituts
|Titel=Schlag nach! 100000 Tatsachen aus allen Wissensgebieten
|TitelErg=[Red. Bearb.: Michael Matthes]
|Auflage=11., neu bearbeitete
|Verlag=[[Bibliographisches Institut]]
|Ort=Mannheim, Wien, Zürich
|Datum=1976
|ISBN=3-411-01198-X
|Seiten=15 ff.}}
* {{Literatur
|Autor=Ulf Friedrichsdorf, [[Alexander Prestel]]
|Titel=Mengenlehre für den Mathematiker
|Reihe=[[vieweg studium]] – Grundkurs Mathematik
|BandReihe=58
|Verlag=[[Friedrich Vieweg & Sohn]]
|Ort=Braunschweig, Wiesbaden
|Datum=1985
|ISBN=3-528-07258-X}}
* {{Literatur
|Autor=[[Paul R. Halmos]]
|Titel=Naive Mengenlehre
|Reihe=Moderne Mathematik in elementarer Darstellung
|BandReihe=6
|Auflage=4.
|Verlag=[[Vandenhoeck & Ruprecht]]
|Ort=Göttingen
|Datum=1976
|ISBN=3-525-40527-8}}
* {{Literatur
|Autor=A. G. Hamilton
|Titel=Numbers, sets and axioms: the apparatus of mathematics
|Verlag=[[Cambridge University Press]]
|Ort= Cambridge, London, New York, New Rochelle, Melbourne, Sydney
|Datum=1982
|ISBN=0-521-24509-5}}
* Johannes Lenhard, Michael Otte (Hrsg.): ''Einführung in die mathematische Philosophie.'' F. Meiner, Hamburg 2002, ISBN 3-7873-1602-7.
* [[Bertrand Russell]]: ''Einführung in die mathematische Philosophie.'' Drei-Masken, München 1919; F. Meiner, Hamburg 2006, ISBN 3-7873-1602-7.
* {{Literatur
|Autor=[[Wolfgang Rautenberg]]
|Titel=Messen und Zählen
|Verlag=Heldermann Verlag
|Ort=Lemgo
|Datum=2007
|ISBN=978-3-88538-118-1}}
* [[Harald Scheid]]: ''Zahlentheorie''. 2. Auflage. BI-Wiss.-Verlag, Mannheim 1994, ISBN 3-411-14842-X.
* {{Literatur
|Hrsg=Fritz Reinhardt, Heinrich Soeder
|Titel=dtv-Atlas zur Mathematik. Tafeln und Texte
|Band=Band 1: ''Grundlagen, Algebra und Geometrie''
|Auflage=8.
|Verlag=[[Deutscher Taschenbuch Verlag]]
|Ort=München
|Datum=1990
|ISBN=3-423-03007-0
|Seiten=53 ff.
|Online=[https://zbmath.org/0723.00010 Eintrag 0723.00010 in der Datenbank ''zbMATH Open'']}}

== Weblinks ==
{{Wikibooks|Mathematrix: Kompass/ Zahlendarstellungen Mengentheorie und Aussagenlogik/ Zahlenmengen|𝐌𝐀𝐓𝐄𝜇α𝖳ℝ𝑖𝑥: Mathematik für die Schule |suffix=Zahlenmengen}}
{{Wiktionary|natürliche Zahl}}

== Einzelnachweise ==
<references />

{{Normdaten|TYP=s|GND=4041357-3}}

{{SORTIERUNG:Naturliche Zahl}}
[[Kategorie:Zahl]]

Natürliche Zahl - Versionsgeschichte

imported>Invisigoth67: Änderungen von ~2025-51160-4 (Diskussion) auf die letzte Version von Speravir zurückgesetzt