Der Isomorphiesatz von Dedekind, benannt nach Richard Dedekind, ist ein mathematischer Satz, der eine Eindeutigkeitsaussage über die natürlichen Zahlen, wie sie durch die Peano-Axiome definiert sind, trifft. Diese Aussage findet sich in Dedekinds klassischem Buch "Was sind und was sollen die Zahlen?" aus dem Jahre 1888 als Satz 132 in folgender Formulierung:
- Alle einfach unendlichen Systeme sind der Zahlenreihe N und folglich auch einander ähnlich.
Einfach unendliche Systeme nennt man heute Peano-Systeme, statt ähnlich sagt man heute isomorph. Die folgende Darstellung verwendet diese moderneren Begriffe und ergänzt einige logische Aspekte dieses Satzes.
Einführung Bearbeiten
Die Eigenschaften der natürlichen Zahlen sind von Giuseppe Peano axiomatisch durch die folgenden sogenannten Peano-Axiome charakterisiert worden. Ein Peano-System ist eine Menge mit folgenden Eigenschaften
- Es gibt ein Element (dieses Element spielt die Rolle der 0)
- Es gibt eine Abbildung (Nachfolgerabbildung)
- (0 ist kein Nachfolger)
- ist injektiv (verschiedene Elemente haben verschiedene Nachfolger)
- Ist eine Teilmenge mit und , so folgt (Vollständige Induktion)
Genauer bezeichnet man dieses Peano-System mit . In Klammern steht jeweils die Bedeutung der Axiome.
Daraus lässt sich die gesamte Theorie der natürlichen Zahlen aufbauen. Daher stellt sich die Frage nach der Eindeutigkeit der Peano-Systeme. Diese Frage wird positiv durch den hier zu besprechenden Isomorphiesatz von Dedekind beantwortet. Natürlich kann man durch Abänderung von Bezeichnungen mehrere Peano-Systeme erhalten, aber diese erweisen sich als im Wesentlichen gleich. Zur Präzisierung dieser Art von Eindeutigkeit muss man festlegen, wann man zwei Peano-Systeme als im Wesentlichen gleich ansehen will, und dazu dient der Begriff des Isomorphismus, der nun geklärt werden soll.
Zur Symbolisierung obiger Axiome wurden ein Konstantensymbol 0 und ein Funktionssymbol -verwendet, ein Peano-System ist also eine -Struktur mit obigen Eigenschaften. Unter einem Isomorphismus zwischen Peano-Systemen versteht man daher eine bijektive Abbildung, die diese Strukturelemente erhält, genauer:
Ein Isomorphismus zwischen zwei Peano-Systemen und ist eine bijektive Abbildung mit folgenden zwei Eigenschaften:
- .
Leicht zeigt man, dass die Umkehrabbildung dieselben Eigenschaften hat. Zwei Peano-Systeme heißen isomorph, wenn es einen Isomorphismus zwischen ihnen gibt.
Ein konkretes Peano-System lässt sich wie folgt konstruieren. Definiert man , für jede Menge die sogenannte Nachfolger-Menge und als Durchschnitt aller Mengen, die 0 und mit jedem auch enthalten, so ist ein Peano-System, das man kurz mit bezeichnet. Dies ist die in der Mengenlehre übliche Konstruktion der natürlichen Zahlen.
Formulierungen des Satzes Bearbeiten
- Je zwei Peano-Systeme sind isomorph.
Da wir mit ein konkretes Peano-System angegeben haben, können wir äquivalent umformulieren:
- Jedes Peano-System ist isomorph zu .
Bemerkungen Bearbeiten
Die oben gegebene Definition verwendet die Prädikatenlogik zweiter Stufe, denn die formale Wiedergabe des Induktionsaxioms lautet
Die Schreibweise bedeutet in jeder Interpretation, dass in der Teilmenge enthalten ist.
Hier wird also über die einstellige Relation quantifiziert, und das ist in der Prädikatenlogik erster Stufe nicht möglich. Tatsächlich gibt es zu elementar äquivalente aber nicht isomorphe Strukturen, das heißt diese und erfüllen dieselben in der Prädikatenlogik erster Stufe formulierbaren Aussagen, sind aber dennoch nicht isomorph. Solche Strukturen nennt man Nichtstandardmodelle. Nach dem Satz von Skolem gibt es sogar abzählbare Nichtstandardmodelle.
Ersetzt man also das Induktionsaxiom 5 durch die unendlich vielen Axiome
das heißt für jede -Formel der Prädikatenlogik erster Stufe mit einer freien Variable hat man ein Axiom, so erhält man die sogenannte Peano-Arithmetik. Die Existenz abzählbarer Nichtstandardmodelle zeigt also, dass der Satz von Dedekind nicht auf die Peano-Arithmetik übertragen werden kann. Dieses historisch überraschende Resultat wird plausibel, wenn man bedenkt, dass es nur abzählbar viele -Formeln gibt und man daher nur abzählbar viele Induktionsaxiome in der Peano-Arithmentik hat. Das Induktionsaxiom 5 trifft aber eine Aussage über alle Teilmengen eines Peano-Systems, und das sind überabzählbar viele, ist also formal stärker.
Wie oben erwähnt kann man die natürlichen Zahlen in der Mengenlehre konstruieren, das heißt man kann sie mit dem Symbol in der Sprache der Prädikatenlogik erster Stufe definieren und auch der Satz von Dedekind wird beweisbar. Das widerspricht nicht obigen Ausführungen zum Satz von Skolem. Letzterer bezieht sich auf Peano-Systeme in der Prädikatenlogik erster Stufe, in dieser kann man nur über die Elemente der Grundklasse quantifizieren und da gehören die Teilmengen der Grundklasse nicht dazu. In der Mengenlehre ist die Grundklasse aber das gesamte Mengenuniversum, das heißt das Induktionsaxiom lässt sich mittels Quantifizierung über die Elemente der Grundklasse beschreiben:
Dazu beachte, dass die Symbole mittels definierbar sind, auf diese könnte also auf Kosten der leichteren Lesbarkeit prinzipiell verzichtet werden, so dass es sich tatsächlich um eine -Aussage handelt. Damit ist der Beweis zum Satz von Dedekind übertragbar.
Einzelnachweise Bearbeiten
- R. Dedekind: Was sind und was sollen die Zahlen?, 1. Auflage, Vieweg, Braunschweig 1888, Satz 132
- G. Peano: Opere scelte III, S. 216, original mit Operator n+ statt σ(n)
- H.-D. Ebbinghaus, J. Flum, W. Thomas: Einführung in die mathematische Logik, Spektrum Akademischer Verlag, ISBN 3-8274-0130-5, III, Satz 7.4
- Dirk W. Hoffmann: Die Gödel’schen Unvollständigkeitssätze: Eine geführte Reise durch Kurt Gödels historischen Beweis, Springer-Verlag (2013), ISBN 3-827-43000-3, Satz 2.3: Isomorphiesatz von Dedekind
- H.-D. Ebbinghaus, J. Flum, W. Thomas: Einführung in die mathematische Logik, Spektrum Akademischer Verlag, ISBN 3-8274-0130-5, VI, Satz 4.6
- H.-D. Ebbinghaus, J. Flum, W. Thomas: Einführung in die mathematische Logik, Spektrum Akademischer Verlag, ISBN 3-8274-0130-5, Kapitel VII: Zur Tragweite der ersten Stufe
- Dirk Siefkes: Formalisieren und Beweisen: Logik für Informatiker, Springer-Verlag (2013), ISBN 3-322-85621-6, Ausführungen ab Seite 218.