imported>Moraxno: /* growthexperiments-addlink-summary-summary:2|0|0 */

2025-02-25T16:38:25Z

growthexperiments-addlink-summary-summary:2|0|0

Neue Seite

Als '''induktive Mengen''' werden in der [[Mathematik]] [[Menge (Mathematik)|Mengen]] <math>M</math> bezeichnet, die die leere Menge <math>\emptyset</math> enthalten und wo für jede Menge <math>x</math> auch deren Nachfolgemenge <math>x' = x\cup\{x\}</math> enthalten ist. Das [[Unendlichkeitsaxiom]] besagt, dass es eine induktive Menge gibt.

== Definition ==
Eine Menge <math>M</math> ist genau dann eine induktive Menge, wenn sie die zwei folgenden Eigenschaften

*<math>\emptyset \in M</math>
*<math>\forall x \in M: x'\in M</math>

erfüllt, wobei <math>x':=x\cup\{x\}</math> den Nachfolger von <math>x</math> bezeichnet.

== Bedeutung in der Mathematik ==
=== Natürliche Zahlen ===
Mit Hilfe der induktiven Mengen wird in der [[Mengenlehre]] die Menge der [[natürliche Zahlen|natürlichen Zahlen]] definiert nach einer Idee von [[Richard Dedekind]]:<ref>[[Richard Dedekind]]: ''Was sind und was sollen die Zahlen?'' Vieweg, Braunschweig 1888, § 6, 71.β, reduziert per Definition 44, 37 und 17 in etwas ungewöhnlicher Terminologie mit implizit definierter Nachfolgerzahl. In freier Verbalisierung mit Verweis auf Dedekind übernommen in die [[Zermelo-Mengenlehre]].</ref>

:<math>\begin{align}
\N:=\bigcap\{x\mid x\;\text{induktiv}\}.
\end{align}</math>

Da der Schnitt von induktiven Mengen wieder induktiv ist, ist die Menge der natürlichen Zahlen die kleinste induktive Menge. <math>\N</math> besteht also aus den iterierten Nachfolgern der [[Leere Menge|leeren Menge]]:
:<math>\mathbb{N}=\{\emptyset,\emptyset',\emptyset'',\emptyset''',\ldots\}=\{0,1,2,3,\ldots\}</math>

Um die natürlichen Zahlen so definieren zu können, benötigt man zwei Axiome: Das Unendlichkeitsaxiom und das [[Aussonderungsaxiom]]: Das Unendlichkeitsaxiom stellt sicher, dass es mindestens eine induktive Menge gibt. Wenn man nun jedoch den Schnitt über alle induktiven Mengen bildet, erhält man damit die Klasse der natürlichen Zahlen. Das Aussonderungsaxiom stellt sicher, dass der Schnitt über Mengen ebenfalls eine Menge ist und dass die Klasse der Natürlichen Zahlen damit auch wirklich eine Menge ist.

Innerhalb der [[Zermelo-Fraenkel-Mengenlehre]] kann gezeigt werden, dass die so konstruierte Menge <math>\N</math> die [[Peano-Axiome]] erfüllt. <math>\N</math> fängt also den intuitiven Begriff der natürlichen Zahl mengentheoretisch exakt ein. Statt <math>x'</math> und <math>\emptyset</math> schreibt man daher wie in der Arithmetik meist <math>x+1</math> bzw. <math>0</math>.

Mithilfe der Definition über induktive Mengen lässt sich die Beweismethode der [[Vollständige Induktion|vollständigen Induktion]] rechtfertigen (daher auch der Name ''induktiv''): Soll gezeigt werden, dass alle natürlichen Zahlen eine bestimmte Eigenschaft <math>e</math> haben, so betrachte die Menge <math>E:=\{n\in\N\mid e(n)\}\subseteq\N</math>. Zeigt man nun, dass <math>e(0)</math> gilt und aus <math>e(n)</math> auch <math>e(n+1)</math> folgt, so ist <math>E</math> induktiv. Da <math>\N</math> kleinste induktive Menge ist, gilt <math>\N\subseteq E</math> und somit <math>\N= E</math>. Also hat jede natürliche Zahl die Eigenschaft <math>e</math>.

=== Transfinite Ordinalzahlen ===
Weitere induktive Mengen sind die transfiniten [[Ordinalzahl]]en, beispielsweise <math>\omega+\omega=\{0,1,2,\ldots,n,n+1,\ldots,\omega,\omega+1,\omega+2,\ldots\}</math>. Hier sind die natürlichen Zahlen als Teilmenge enthalten, jedoch ist <math>\omega</math> eine unendliche Ordinalzahl, d. h. größer als jede natürliche Zahl.

== Einzelnachweise ==
<references/>

[[Kategorie:Mengenlehre]]

Induktive Menge - Versionsgeschichte

imported>Moraxno: /* growthexperiments-addlink-summary-summary:2|0|0 */