Elementare Klasse

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

Ist $L_I^S$ eine Sprache der Logik erster Stufe und ist φ ein Satz dieser Sprache, so sei Mod^Sφ die Klasse aller S-Strukturen $\mathcal A$, die den Satz φ erfüllen, das heißt, für die ${\mathcal A}\vDash \varphi$ gilt (für den Herleitbarkeitsbegriff $\vDash$ siehe Artikel Prädikatenlogik erster Stufe). Man sagt in diesem Fall, $\mathcal A$ sei ein Modell für φ. Eine Klasse von S-Strukturen heißt elementar, wenn es einen Satz φ gibt, so dass sie mit Mod^Sφ zusammenfällt. Die Mitglieder der Klasse lassen sich also in der Prädikatenlogik erster Stufe durch den Satz φ charakterisieren^[1]

Oft reicht ein einzelner Satz zur Charakterisierung einer Klasse von Strukturen nicht aus. Für eine nicht-leere Menge Φ von Sätzen aus $L_I^S$ sei

$\mathrm{Mod}^S\Phi \quad:=\quad \bigcap_{\varphi\in\Phi} \mathrm{Mod}^S\varphi$

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 Mod^SΦ zusammenfällt, wobei das Δ an obige Durchschnittsbildung erinnern soll. Ist $\Phi = \{\varphi_1, \ldots, \varphi_n\}$ endlich, so liegt eine elementare Klasse vor, denn offenbar ist

$\mathrm{Mod}^S\{\varphi_1,\ldots, \varphi_n\} = \mathrm{Mod}^S\varphi_1\land\ldots\land \varphi_n$.

Beispiele und Sätze

Ein typisches Beispiel für eine elementare Klasse ist die Klasse aller Körper. Als Symbolmenge verwendet man $S=\{0,1,+,\cdot\}$ und als φ nimmt man einfach die Konjunktion aller Körperaxiome.

Um ein Beispiel für eine Δ-elementare Klasse anzugeben, betrachten wir wieder die Symbolmenge $S=\{0,1,+,\cdot\}$, die Konjunktion φ_K aller Körperaxiome und für jede Primzahl p den mit φ_p bezeichneten Satz $1+\ldots+1\equiv 0$, wobei auf der linken Seite p viele Einsen addiert werden. Der Satz $\varphi_K\land \varphi_p$ charakterisiert offenbar die elementare Klasse der Körper der Charakteristik p. Die unendliche Menge

$\Phi = \{\varphi_K\} \cup \{\neg \varphi_p; p\mbox{ Primzahl}\}$

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 $\Z/(p)$ 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 notwendiger Weise 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

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^[2]. Die oben definierte Elementarität entspricht dann einer endlichen Axiomatisierbarkeit.

Einzelnachweise

1. ↑ 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
2. ↑ Philipp Rothmaler: Einführung in die Modelltheorie, Spektrum Akademischer Verlag 1995, ISBN 978-3-86025-461-5, Kapitel 3.4