Spektralfunktion (Modelltheorie)

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche

In der Modelltheorie, einem mathematischen Teilgebiet der Logik, ordnet die Spektralfunktion einer Kardinalzahl die Anzahl der nicht-isomorphen Modelle einer Theorie zu. Das Spektralproblem für eine Theorie ist, diese Werte zu finden.

Definitionen[Bearbeiten]

Ist \mathrm{T} eine Theorie, so ist \mathrm{I}(\lambda,\mathrm{T}) die Anzahl der nicht isomorphen Modelle dieser Theorie. \mathrm{Cn} ist die Klasse aller Kardinalzahlen. Die Funktion

\mathrm{Cn} \to \mathrm{Cn}
\lambda \mapsto \mathrm{I}(\lambda,\mathrm{T})

heißt Spektralfunktion. (Diese Funktion ist keine Menge, sondern eine echte Klasse)

Beispiele[Bearbeiten]

Ist \mathrm{T} die Theorie der algebraisch abgeschlossenen Körper (Algebra) einer festen Charakteristik, so ist

\mathrm{I}(\omega,\mathrm{T})= \omega

und für \lambda > \omega ist

\mathrm{I}(\lambda,\mathrm{T})= 1

Denn die Modelle werden genau durch ihren Transzendenzgrad beschrieben. Die abzählbaren Modelle sind genau die mit endlichem oder abzählbaren Transzendenzgrad, und für überabzählbare Transzendenzgrade bestimmt dieser schon die Kardinalität des Körpers.

Ist \mathrm{T} die Theorie von \Bbb Q über der Sprache \{<\} \cup \{c_q | q \in \Bbb Q\}, so gilt:

\mathrm{I}(2^\omega,\mathrm{T})= 2^{2^\omega}

Jede 2^\omega mächtige Teilmenge der irrationalen Zahlen bestimmt ein Modell dieser Theorie.

Eigenschaften[Bearbeiten]

Allgemein bedeutet

\mathrm{I}(\lambda,\mathrm{T})= 1,

dass die Theorie in dieser Kardinalzahl kategorisch ist.

Der Satz von Löwenheim-Skolem sagt für eine Theorie \mathrm{T} mit \alpha, \beta \ge |\mathrm{T}|, dass

\mathrm{I}(\alpha,\mathrm{T}) \ge 1 \Rightarrow \mathrm{I}(\beta,\mathrm{T}) \ge 1

Abschätzung[Bearbeiten]

Mit elementaren Überlegungen lässt sich zeigen, dass für eine Theorie über einer Sprache \mathrm{L} und \lambda \ge |\mathrm{L}| gilt:

\mathrm{I}(\lambda,\mathrm{T}) \le 2^\lambda

Diese Abschätzung ist die bestmögliche, für bestimmte \lambda und \mathrm{T} besteht Gleichheit.

Literatur[Bearbeiten]

  • Philipp Rothmaler: Einführung in die Modelltheorie, Spektrum Akademischer Verlag 1995, ISBN 978-3-86025-461-5