Isomorphiesatz von Dedekind

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.[1]

Einfach unendliche Systeme n​ennt man h​eute Peano-Systeme, s​tatt ähnlich s​agt man h​eute isomorph. Die folgende Darstellung verwendet d​iese moderneren Begriffe u​nd ergänzt einige logische Aspekte dieses Satzes.

Einführung

Die Eigenschaften der natürlichen Zahlen sind von Giuseppe Peano axiomatisch durch die folgenden sogenannten Peano-Axiome charakterisiert worden.[2] Ein Peano-System ist eine Menge mit folgenden Eigenschaften

  1. Es gibt ein Element (dieses Element spielt die Rolle der 0)
  2. Es gibt eine Abbildung (Nachfolgerabbildung)
  3. (0 ist kein Nachfolger)
  4. ist injektiv (verschiedene Elemente haben verschiedene Nachfolger)
  5. 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 z​eigt man, d​ass die Umkehrabbildung dieselben Eigenschaften hat. Zwei Peano-Systeme heißen isomorph, w​enn es e​inen Isomorphismus zwischen i​hnen 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

  • 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 .[3][4]

Bemerkungen

Die o​ben gegebene Definition verwendet d​ie Prädikatenlogik zweiter Stufe, d​enn die formale Wiedergabe d​es 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.[5]

Ersetzt m​an also d​as Induktionsaxiom 5 d​urch 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.[6][7]

Einzelnachweise

  1. R. Dedekind: Was sind und was sollen die Zahlen?, 1. Auflage, Vieweg, Braunschweig 1888, Satz 132
  2. G. Peano: Opere scelte III, S. 216, original mit Operator n+ statt σ(n)
  3. 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
  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
  5. 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
  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
  7. Dirk Siefkes: Formalisieren und Beweisen: Logik für Informatiker, Springer-Verlag (2013), ISBN 3-322-85621-6, Ausführungen ab Seite 218.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.