Der Begriff elementare Klasse gehört zur Modelltheorie, einem Teilgebiet der mathematischen Logik. Es geht dabei um die Frage, wie sich Klassen von Strukturen durch Sätze der Prädikatenlogik erster Stufe charakterisieren lassen.
Definitionen Bearbeiten
Ist eine Sprache der Logik erster Stufe und ist ein Satz dieser Sprache, so sei die Klasse aller -Strukturen , die den Satz erfüllen, das heißt, für die gilt (für den Herleitbarkeitsbegriff siehe Artikel Prädikatenlogik erster Stufe). Man sagt in diesem Fall, sei ein Modell für . Eine Klasse von S-Strukturen heißt elementar, wenn es einen Satz gibt, so dass sie mit zusammenfällt. Die Mitglieder der Klasse lassen sich also in der Prädikatenlogik erster Stufe durch den Satz charakterisieren.
Oft reicht ein einzelner Satz zur Charakterisierung einer Klasse von Strukturen nicht aus. Für eine nicht-leere Menge von Sätzen aus sei
die Klasse aller S-Strukturen, die sämtliche Sätze aus erfüllen. Man nennt eine Klasse -elementar, wenn es eine nicht-leere Menge von Sätzen gibt, so dass sie mit zusammenfällt, wobei das an obige Durchschnittsbildung erinnern soll. Ist endlich, so liegt eine elementare Klasse vor, denn offenbar ist
Beispiele und Sätze Bearbeiten
Ein typisches Beispiel für eine elementare Klasse ist die Klasse aller Körper. Als Symbolmenge verwendet man und als nimmt man einfach die Konjunktion aller Körperaxiome.
Um ein Beispiel für eine -elementare Klasse anzugeben, betrachten wir wieder die Symbolmenge , die Konjunktion aller Körperaxiome und für jede Primzahl den mit bezeichneten Satz , wobei auf der linken Seite viele Einsen addiert werden. Der Satz charakterisiert offenbar die elementare Klasse der Körper der Charakteristik . Die unendliche Menge
definiert dann die Klasse aller Körper der Charakteristik 0, die daher -elementar ist. Man kann zeigen, dass diese Klasse nicht elementar ist.
Schließlich gibt es wichtige Klassen, die nicht einmal -elementar sind, so zum Beispiel die Klasse aller endlichen Körper. Die Ursache dafür ist der folgende Satz:
- Enthält eine -elementare Klasse S-Strukturen beliebig großer endlicher Mächtigkeit, so enthält sie auch unendliche S-Strukturen.
Eine -elementare Klasse, die alle endlichen Körper umfasst, enthält mit den Restklassenkörpern solche beliebig großer endlicher Mächtigkeit, und damit nach diesem Satz auch unendliche, die daher nicht zur betrachteten Klasse gehören.
Ferner gilt:
- Enthält eine -elementare Klasse eine unendliche S-Struktur, so enthält sie auch S-Strukturen beliebig großer Mächtigkeit.
Insbesondere enthalten -elementare Klassen in der Situation des letzten Satzes nicht-isomorphe Strukturen, denn isomorphe Strukturen haben notwendigerweise dieselbe Mächtigkeit. Daher kann es nicht gelingen, die Menge der natürlichen Zahlen oder den geordneten Körper der reellen Zahlen, die ja beide bis auf Isomorphie eindeutig sind, durch eine Menge von Sätzen der Prädikatenlogik erster Stufe zu charakterisieren. Diese Erkenntnis führt dann weiter zu Nichtstandardmodellen und Nichtstandardanalysis.
Axiomatisierbarkeit Bearbeiten
Man sagt, eine -elementare Klasse, die durch eine Aussagenmenge gegeben ist, sei durch axiomatisiert, und die einzelnen Sätze in heißen die Axiome der Klasse. Damit ist -elementar synonym zu axiomatisierbar. Manche Autoren unterscheiden nicht zwischen elementar und -elementar, sondern sprechen allgemein von Axiomatisierbarkeit. Die oben definierte Elementarität entspricht dann einer endlichen Axiomatisierbarkeit.
Einzelnachweise Bearbeiten
- Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas: Einführung in die mathematische Logik. Spektrum Akademischer Verlag, Heidelberg/Berlin/Oxford 1996, ISBN 3-8274-0130-5, insbesondere Kapitel VI, §3
- Philipp Rothmaler: Einführung in die Modelltheorie, Spektrum Akademischer Verlag 1995, ISBN 978-3-86025-461-5, Kapitel 3.4