Kategorizität

Kategorizität i​st ein Begriff a​us der Modelltheorie, e​inem Teilgebiet d​er mathematischen Logik. Eine Theorie heißt kategorisch i​n einer bestimmten unendlichen Mächtigkeit, w​enn sie i​m Wesentlichen n​ur ein Modell dieser Mächtigkeit hat. Die Bezeichnung „kategorisch“ stammt v​on Oswald Veblen, d​er sie v​on Kant entlehnte.[1]

Definitionen

Zur Präzisierung verstehen wir unter einer Theorie eine Menge ${\displaystyle T}$ von Sätzen, das heißt Aussagen ohne freie Variable, einer Sprache ${\displaystyle L_{I}^{S}}$ der Prädikatenlogik erster Stufe, die unter der Folgerungsrelation ${\displaystyle \vDash }$ abgeschlossen ist; das heißt für jeden Satz ${\displaystyle \varphi }$ folgt aus ${\displaystyle T\vDash \varphi }$ bereits ${\displaystyle \varphi \in T}$. Ist ${\displaystyle \Phi \subset L_{I}^{S}}$, so ist die Menge ${\displaystyle \Phi ^{\vDash }:=\{\varphi \in L_{I}^{S};\,\varphi {\mbox{ Satz}},\Phi \vDash \varphi \}}$ aller aus ${\displaystyle \Phi }$ herleitbaren Sätze ein Beispiel für eine Theorie.

Hat man eine Theorie ${\displaystyle T}$ mit unendlichen Modellen, so gibt es nach dem Satz von Löwenheim-Skolem auch Modelle beliebiger unendlicher Mächtigkeit, insbesondere sind nicht je zwei Modelle notwendigerweise isomorph. Es könnte aber der Fall eintreten, dass die Theorie zu einer vorgegebenen unendlichen Kardinalzahl ${\displaystyle \kappa }$ bis auf Isomorphie genau ein Modell der Mächtigkeit ${\displaystyle \kappa }$ hat. Dann nennt man die Theorie ${\displaystyle \kappa }$-kategorisch.

Satz von Morley

→ Hauptartikel: Satz von Morley (Modelltheorie)

Ein wichtiges Resultat i​st folgender a​uf Michael D. Morley zurückgehender Satz:

• Ist ${\displaystyle T}$ eine abzählbare Theorie, die ${\displaystyle \kappa }$-kategorisch ist für ein überabzählbares ${\displaystyle \kappa }$, so ist sie ${\displaystyle \kappa }$-kategorisch für jedes überabzählbare ${\displaystyle \kappa }$.[2]

Es g​ibt für e​ine abzählbare Theorie d​aher nur v​ier Möglichkeiten i​n Bezug a​uf die Kategorizität. Diese kommen tatsächlich a​lle vor, w​ie durch u​nten angegebene Beispiele belegt wird.

Satz von Ryll-Nardzewski

Der Satz von Ryll-Nardzewski charakterisiert ${\displaystyle \aleph _{0}}$-kategorische Theorien. Er sagt, dass abzählbare Theorien genau dann ${\displaystyle \aleph _{0}}$-kategorisch sind, wenn die Menge der Typen über jeder endlichen Mengen endlich ist.

Kriterium von Vaught

Eine wichtige Anwendung d​es hier vorgestellten Begriffs i​st das Kriterium v​on Vaught (auch: Łoś–Vaught-Test), d​as eine hinreichende, a​ber nicht notwendige Bedingung z​ur Vollständigkeit e​iner Theorie darstellt.

• Ist ${\displaystyle T\varsubsetneq L_{I}^{S}}$ eine abzählbare Theorie ohne endliche Modelle, die ${\displaystyle \kappa }$-kategorisch ist für eine Kardinahlzahl ${\displaystyle \kappa }$, so ist diese Theorie vollständig.
• In einer allgemeineren Form lautet es: Ist ${\displaystyle T\varsubsetneq L_{I}^{S}}$ eine Theorie ohne endliche Modelle, die ${\displaystyle \kappa }$-kategorisch ist für eine Kardinahlzahl, die mindestens so groß ist wie die Mächtigkeit der Signatur, so ist diese Theorie vollständig.

Beide Aussagen s​ind Korollare z​um Satz v​on Löwenheim-Skolem.

Als wichtiges Anwendungsbeispiel erhalten wir die Vollständigkeit der Theorie der algebraisch abgeschlossenen Körper der Charakteristik 0 oder ${\displaystyle p}$.

Beispiele

ℵ₀-kategorisch und ℵ₁-kategorisch: Tautologien

Ein sehr einfaches Beispiel ist die Menge aller Tautologien der Sprache ${\displaystyle L_{I}=L_{I}^{\emptyset }}$, das heißt die Menge ${\displaystyle \emptyset ^{\vDash }}$ aller Sätze, die keiner weiteren Voraussetzungen bedürfen. Die Modelle zur Mächtigkeit ${\displaystyle \kappa }$ sind nichts weiter als die Mengen der Mächtigkeit ${\displaystyle \kappa }$ und die Isomorphismen sind genau die bijektiven Abbildungen. Daher sind je zwei Modelle derselben Mächtigkeit isomorph, das heißt die Theorie der Tautologien ist ${\displaystyle \kappa }$-kategorisch.

ℵ₀-kategorisch und nicht ℵ₁-kategorisch: Dichte Ordnungen

Die Theorie der dichten linearen Ordnung ohne Extrema besteht aus allen Aussagen der Sprache ${\displaystyle L_{I}^{\{<\}}}$, die in ${\displaystyle \mathbb {Q} }$ gelten. Man kann zeigen, dass zwei abzählbare Modelle isomorph sind. Allerdings ist ${\displaystyle \mathbb {R} }$ nicht isomorph zu ${\displaystyle \mathbb {R} \times \mathbb {Q} }$ (mit der lexikografischen Ordnung), da bei letzterem Modell zwischen zwei Punkten nicht immer überabzählbar viele Punkte liegen. Die Theorie ist daher ${\displaystyle \aleph _{0}}$-kategorisch, aber nicht kategorisch in überabzählbaren Kardinalzahlen.

Algebraisch abgeschlossene Körper

Die Theorie der algebraisch abgeschlossenen Körper kann in der Sprache ${\displaystyle L_{I}^{\{0,1,+,\cdot \}}}$ durch eine Menge ${\displaystyle \Phi }$ von Axiomen beschrieben werden, die neben den üblichen Körperaxiomen noch die unendliche Reihe von Axiomen

${\displaystyle \forall y_{0}\,y_{1}\ldots y_{n-1}\,\exists x\,(x^{n}+y_{n-1}\cdot x^{n-1}+\ldots +y_{1}\cdot x+y_{0}\equiv 0)}$

für jedes ${\displaystyle n>0}$ hinzunimmt, was inhaltlich offenbar bedeutet, dass jedes Polynom eine Nullstelle hat. Dabei ist ${\displaystyle x^{k}}$ eine abkürzende Schreibweise für das k-fache Produkt ${\displaystyle x\cdot \ldots \cdot x}$; man beachte, dass das Potenzieren nicht zur hier gewählten Sprache gehört. Dann ist ${\displaystyle \Phi ^{\vDash }}$ die Theorie der algebraisch abgeschlossenen Körper. Ferner sei ${\displaystyle \varphi _{p}}$ der Satz ${\displaystyle 1+\ldots +1\equiv 0}$ (p-fache Summe von 1, p Primzahl). Dann axiomatisiert ${\displaystyle \Phi _{p}:=\Phi \cup \{\varphi _{p}\}}$ die Theorie der algebraisch abgeschlossenen Körper der Charakteristik ${\displaystyle p}$ und ${\displaystyle \Phi _{0}:=\Phi \cup \{\neg \varphi _{p};\,p{\mbox{ Primzahl}}\}}$ die Theorie der algebraisch abgeschlossenen Körper der Charakteristik 0.

Ein Modell dieser Theorien wird durch die Mächtigkeit einer Transzendenzbasis bis auf Isomorphie bestimmt. Für ein Modell der Mächtigkeit ${\displaystyle \kappa }$ (mit ${\displaystyle \kappa >\aleph _{0}}$) muss die Mächtigkeit einer Transzendenzbasis schon ${\displaystyle \kappa }$ sein, für ein abzählbares Modell kann die Mächtigkeit der Transzendenzbasis eine beliebige endliche Zahl oder abzählbar unendlich sein. Die Theorien ${\displaystyle \Phi _{0}^{\vDash }}$ und ${\displaystyle \Phi _{p}^{\vDash }}$ sind daher ${\displaystyle \aleph _{1}}$-kategorisch, aber nicht ${\displaystyle \aleph _{0}}$-kategorisch.[3]

Q-Vektorräume

${\displaystyle \mathbb {Q} }$-Vektorräume lassen sich in der Prädikatenlogik erster Stufe durch die Signatur ${\displaystyle S=\{\mathbf {0} ,+,\mathbb {Q} \}}$ beschreiben, wobei 0 ein Konstantensymbol (Nullvektor), + ein zweistelliges Funktionssymbol (Vektoraddition) und jedes ${\displaystyle r\in \mathbb {Q} }$ ein einstelliges Funktionssymbol (skalare Multiplikation mit ${\displaystyle r}$) sei. Es ist klar, dass man mit diesen Symbolen die Axiome für ${\displaystyle \mathbb {Q} }$-Vektorräume hinschreiben kann. Man beachte allerdings, dass man nicht über alle Skalarmultiplikationen ${\displaystyle r\in \mathbb {Q} }$ quantifizieren kann; man muss stattdessen mit unendlichen Folgen von Axiomen arbeiten, zum Beispiel

${\displaystyle \forall x\,y\,(r+x\,y\equiv +\,rx\,ry)}$

für jedes Funktionssymbol ${\displaystyle r}$, was man suggestiver natürlich als

${\displaystyle \forall x\,y\,(r(x+y)=rx+ry)}$

schreibt. Man erhält so die Theorie ${\displaystyle T_{\mathbb {Q} V}=\Phi ^{\vDash }}$, wobei ${\displaystyle \Phi }$ die Menge aller obigen Axiome der ${\displaystyle \mathbb {Q} }$-Vektorräume ist.[4]

Für natürliche Zahlen ${\displaystyle 0<n<m}$ sind ${\displaystyle \mathbb {Q} ^{n}}$ und ${\displaystyle \mathbb {Q} ^{m}}$ zwei nicht isomorphe Modelle für ${\displaystyle T_{\mathbb {Q} V}}$ derselben Mächtigkeit ${\displaystyle \aleph _{0}}$, die Theorie ist daher nicht ${\displaystyle \aleph _{0}}$-kategorisch. ${\displaystyle T_{\mathbb {Q} V}}$ ist aber ${\displaystyle \kappa }$-kategorisch für jede Kardinalzahl ${\displaystyle \kappa >\aleph _{0}}$, denn man kann zeigen, dass Basen von ${\displaystyle \mathbb {Q} }$-Vektorräumen der Mächtigkeit ${\displaystyle \kappa >\aleph _{0}}$ ebenfalls diese Mächtigkeit haben und die Isomorphieklassen von Vektorräumen durch die Mächtigkeit der Basis eindeutig bestimmt sind.

Nicht ℵ₀-kategorisch und nicht ℵ₁-kategorisch: Diskrete Ordnungen

Eine Theorie, die keine endlichen Modelle hat und nicht vollständig ist, ist nach dem Kriterium von Vaught (s. u.) in keiner Kardinalzahl kategorisch. Eine vollständige Theorie, die in keiner Kardinalzahl kategorisch ist, ist die Theorie der diskreten Ordnung ohne Extrema. Sie besteht aus allen Aussagen der Sprache ${\displaystyle L_{I}^{\{<\}}}$, die in ${\displaystyle \mathbb {Z} }$ gelten.

${\displaystyle \mathbb {Z} \times \mathbb {Z} }$ und ${\displaystyle \mathbb {Z} }$ sind zwei nicht-isomorphe abzählbare Modelle. ${\displaystyle \mathbb {R} \times \mathbb {Z} }$ und ${\displaystyle 2^{\omega }\times \mathbb {Z} }$ sind zwei nicht-isomorphe Modelle der Mächtigkeit ${\displaystyle 2^{\aleph _{0}}}$. (Jeweils mit der lexikographischen Ordnung, ${\displaystyle 2^{\omega }}$ ist eine wohlgeordnete Ordinalzahl.)

Eine nicht vollständige, aber kategorische Theorie ohne endliche Modelle

Dieses Beispiel zeigt, dass im Kriterium von Vaught nicht auf die Abzählbarkeitsvoraussetzung verzichtet werden kann. Sei ${\displaystyle I}$ eine überabzählbare Index Menge, ${\displaystyle a,b\notin I}$. Für jede natürliche Zahl ${\displaystyle n}$ sei ${\displaystyle \varphi _{\geq n}}$ der Satz

${\displaystyle \varphi _{\geq n}:=\exists x_{1},\dots ,x_{n}\bigwedge _{1\leq k<l\leq n}\neg x_{k}\doteq x_{l}}$,

der aussagt, dass es mindestens ${\displaystyle n}$ unterschiedliche Elemente gibt.

Die v​on der überabzählbaren Menge

${\displaystyle \{(c_{a}\doteq c_{b}\rightarrow (c_{a}\doteq c_{j}\wedge c_{i}\doteq c_{j}))\wedge (\neg c_{a}\doteq c_{b}\rightarrow \neg c_{i}\doteq c_{j})|i,j\in I,i\neq j\}\,\cup \,\{\varphi _{\geq n}|n\in \mathbb {N} \}}$

erzeugte Theorie hat keine endlichen Modelle und ist ${\displaystyle \omega }$-kategorisch, denn in einem abzählbaren Modell müssen alle Konstanten gleich interpretiert werden. Die Theorie ist aber nicht vollständig, da die Aussage

${\displaystyle c_{a}\doteq c_{b}}$

weder widerlegt n​och bewiesen werden kann.

Verallgemeinerungen

Die Spektralfunktion ${\displaystyle \mathrm {I} (\lambda ,\mathrm {T} )}$ ordnet einer Theorie und einer Kardinalzahl die Anzahl der nicht isomorphen Modelle dieser Kardinalzahl zu. Das Spektralproblem besteht darin, die Werte dieser Funktion zu finden. Es wird also nicht nur untersucht, wann eine Theorie kategorisch ist, sondern überhaupt gefragt, wie viele nicht-isomorphe Modelle einer bestimmten Mächtigkeit eine Theorie hat.

Einzelnachweise

1. Wilfrid Hodges: First Order Model Theory. In: Edward N. Zalta (Hrsg.): Stanford Encyclopedia of Philosophy.
2. Wolfgang Rautenberg: Einführung in die Mathematische Logik. Vieweg+Teubner, Wiesbaden 2008, ISBN 978-3-8348-0578-2 (Bemerkung nach Kapitel 5.2).
3. Wolfgang Rautenberg: Einführung in die Mathematische Logik. Vieweg+Teubner, Wiesbaden 2008, ISBN 978-3-8348-0578-2 (Bemerkung nach Kapitel 5.2, Beispiel 4).
4. Wolfgang Rautenberg: Einführung in die Mathematische Logik. Vieweg+Teubner, Wiesbaden 2008, ISBN 978-3-8348-0578-2 (Bemerkung nach Kapitel 5.5, Satz 5.2).