Satz von Fraïssé

Der Satz von Fraïssé, benannt nach Roland Fraïssé, ist ein Satz aus der mathematischen Logik. Ist $S$ eine endliche Symbolmenge, so charakterisiert er die elementare Äquivalenz zweier $S$-Strukturen auf rein algebraische Weise, ohne Bezug auf die Prädikatenlogik erster Stufe zu nehmen.

Endliche Isomorphie

Wir gehen von einer endlichen Symbolmenge $S$ und der zugehörigen Sprache $L_{I}^{S}$ der Prädikatenlogik erster Stufe aus. Zur angestrebten Charakterisierung benötigen wir folgende algebraische Begriffsbildungen.

Sind ${\mathcal {A}}$ und ${\mathcal {B}}$ $S$-Strukturen, so heißt eine Abbildung $h$ ein partieller Isomorphismus von ${\mathcal {A}}$ nach ${\mathcal {B}}$, wenn folgendes gilt:

• $h$ ist eine Abbildung mit Definitionsbereich $\mathrm {def} (h)\subset {\mathcal {A}}$ und Bildmenge $\mathrm {bild} (h)\subset {\mathcal {B}}$.
• $h\colon \mathrm {def} (h)\rightarrow {\mathcal {B}}$ ist injektiv.
• Ist $c\in S$ ein Konstantensymbol, so gilt:
  • Ist $c^{\mathcal {A}}\in \mathrm {def} (h)$, so ist $h(c^{\mathcal {A}})=c^{\mathcal {B}}$.
  • Ist $c^{\mathcal {B}}\in \mathrm {bild} (h)$, so ist $c^{\mathcal {A}}\in \mathrm {def} (h)$ und $h(c^{\mathcal {A}})=c^{\mathcal {B}}$.
• Ist $f\in S$ ein $n$-stelliges Funktionssymbol und sind $a_{1},\ldots ,a_{n},a\in \mathrm {def} (h)$, so gilt

$f^{\mathcal {A}}(a_{1},\ldots ,a_{n})=a\quad \Leftrightarrow \quad f^{\mathcal {B}}(h(a_{1}),\ldots ,h(a_{n}))=h(a)$.

• Ist $R\in S$ ein $n$-stelliges Relationssymbol und sind $a_{1},\ldots ,a_{n}\in \mathrm {def} (h)$, so gilt

$R^{\mathcal {A}}(a_{1},\ldots ,a_{n})\quad \Leftrightarrow \quad R^{\mathcal {B}}(h(a_{1}),\ldots ,h(a_{n}))$.

Dabei sind $c^{\mathcal {A}},f^{\mathcal {A}},R^{\mathcal {A}}$ die Interpretationen der Symbole $c,f,R$ im Modell ${\mathcal {A}}$. Man verwendet bei einem partiellen Isomorphismus auch die für Abbildungen übliche Schreibweise $h\colon {\mathcal {A}}\rightarrow {\mathcal {B}}$ und meint damit nur, dass der Definitionsbereich gemäß obiger Definition in ${\mathcal {A}}$ enthalten ist.

Ist $h\colon {\mathcal {A}}\rightarrow {\mathcal {B}}$ ein partieller Isomorphismus, so offenbar auch $h^{-1}$, wobei $\mathrm {def} (h^{-1})=\mathrm {bild} (h)$ und $\mathrm {bild} (h^{-1})=\mathrm {def} (h)$. Ist weiter $A\subset {\mathcal {A}}$ eine Teilmenge, so ist auch die Einschränkung $h|_{A}$ ein partieller Isomorphismus und es ist $\mathrm {def} (h|_{A})=\mathrm {def} (h)\cap A$.

Zwei $S$-Strukturen ${\mathcal {A}}$ und ${\mathcal {B}}$ heißen endlich isomorph, wenn es eine Folge $(I_{n})_{n\in \mathbb {N} }$ von nicht-leeren Mengen partieller Isomorphismen ${\mathcal {A}}\rightarrow {\mathcal {B}}$ gibt, so dass folgende Fortsetzungseigenschaften erfüllt sind:

• Zu jedem $h\in I_{n+1}$ und $a\in {\mathcal {A}}$ gibt es ein $g\in I_{n}$ mit $a\in \mathrm {def} (g)$ und $g|_{\mathrm {def} (h)}\,=\,h$.
• Zu jedem $h\in I_{n+1}$ und $b\in {\mathcal {B}}$ gibt es ein $g\in I_{n}$ mit $b\in \mathrm {bild} (g)$ und $g|_{\mathrm {def} (h)}\,=\,h$.

Ein partieller Isomorphismus $h\in I_{n}$ lässt sich also $n$-mal auf beliebige Elemente zu einem partiellen Isomorphismus fortsetzen, und zwar der Reihe nach zu partiellen Isomorphismen aus $I_{n-1},I_{n-2},\ldots ,I_{0}$; und für $h^{-1}$ gilt das ebenfalls.

Sind ${\mathcal {A}}$ und ${\mathcal {B}}$ zwei isomorphe Strukturen und ist $h\colon {\mathcal {A}}\rightarrow {\mathcal {B}}$ ein Isomorphismus, so sind ${\mathcal {A}}$ und ${\mathcal {B}}$ auch endlich isomorph, denn obige Definition ist mit $I_{n}=\{h\}$ für alle $n\in \mathbb {N}$ erfüllt. Die Umkehrung gilt nicht; weiter unten wird bewiesen, dass die geordnete Mengen $(\mathbb {R} ,<)$ und $(\mathbb {Q} ,<)$, die Symbolmenge ist hier $S=\{<\}$, endlich isomorph sind, sie können aber schon aus Mächtigkeitsgründen nicht isomorph sein.

Formulierung des Satzes

Mit dem Begriff der endlichen Isomorphie, der sich wohl der Symbole bedient, aber keinen weiteren Bezug zur Prädikatenlogik erster Stufe nimmt, kann man die elementare Äquivalenz zweier Strukturen in der Prädikatenlogik erster Stufe charakterisieren:

Satz von Fraïssé: Für eine endliche Symbolmenge $S$ und für zwei $S$-Strukturen ${\mathcal {A}}$ und ${\mathcal {B}}$ sind äquivalent:

• ${\mathcal {A}}$ und ${\mathcal {B}}$ sind elementar äquivalent.
• ${\mathcal {A}}$ und ${\mathcal {B}}$ sind endlich isomorph.

Anwendung

Zur Verdeutlichung der Begriffe wollen wir den Satz von Fraïssé beispielhaft auf die Theorie der dichten, linearen Ordnungen ohne Extrema anwenden. Eine geordnete Menge $(X,<)$ heißt linear geordnet, falls sich je zwei Elemente vergleichen lassen. Sie heißt dicht, falls zwischen je zwei Elementen ein drittes liegt. Ein Extremum einer Ordnung ist ein Element, das größer bzw. kleiner als jedes andere ist. Die Theorie der dichten linearen Ordnungen ohne Extrema wird daher durch die folgenden Sätze der Sprache $L_{I}^{\{<\}}$ definiert:

$\forall x\,(\neg x<x)$

$\forall x\,y\,z\,((x<y\land y<z)\rightarrow x<z)$

$\forall x\,y\,((x<y\lor y<x\lor x=y)$

$\forall x\,\exists y\,(y<x)$

$\forall x\,\exists y\,(x<y)$

$\forall x\,y\,z\,(x<y\rightarrow \exists z\,(x<z\land z<y))$.

Die ersten beiden Sätze drücken Irreflexivität und Transitivität aus. Zusammen folgt daraus die Antisymmetrie:

$\forall x\,y\,(\neg (x<y\land y<x))$

Der dritte Satz besagt, dass die Elemente linear geordnet sind. Die nächsten beiden Sätze fordern, dass es keine Extrema gibt und der letzte gibt offenbar die Definition der Dichtheit wieder. Es sei $\varphi _{d}$ die Konjunktion dieser sechs Sätze, wobei der Index d an die Dichtheitseigenschaft der Ordnung erinnern soll. Aus der dritten und sechsten Aussage folgt sofort, dass dichte Ordnungen unendlich viele Elemente enthalten.

Jeder partielle Isomorphismus $h\colon {\mathcal {A}}\rightarrow {\mathcal {B}}$ mit endlichem Definitionsbereich lässt sich zu einem weiteren partiellen Isomorphismus auf ein beliebiges Element fortsetzen. Ist etwa $\mathrm {def} (h)=\{a_{1},\ldots ,a_{n}\}$ und ist $a\in {\mathcal {A}}$ ein weiteres Element, so kann man wegen der Dichtheit von ${\mathcal {B}}$ ein Element $b\in {\mathcal {B}}$ finden, das zu $h(a_{1}),\ldots ,h(a_{n})$ in denselben Größenbeziehungen steht wie $a$ zu $a_{1},\ldots ,a_{n}$. Die Festlegung

$g(a_{i}):=h(a_{i}),\,i\in \{1,\ldots ,n\},\quad g(a)=b$

definiert dann einen partiellen Isomorphismus $g\colon {\mathcal {A}}\rightarrow {\mathcal {B}}$, der $h$ auf das Element $a$ fortsetzt. Dasselbe gilt für $h^{-1}$, da auch ${\mathcal {A}}$ dicht ist. Setzt man daher

$I_{n}:=\{h\colon {\mathcal {A}}\rightarrow {\mathcal {B}}\mid h{\mbox{ partieller Isomorphismus mit endlichem Definitionsbereich}}\}$,

so definiert $(I_{n})_{n\in \mathbb {N} }$ eine endliche Isomorphie zwischen ${\mathcal {A}}$ und ${\mathcal {B}}$. Je zwei $\{<\}$-Strukturen, die $\varphi _{d}$ erfüllen, sind also endlich isomorph. Damit ist auch die oben behauptete endliche Isomorphie zwischen $(\mathbb {R} ,<)$ und $(\mathbb {Q} ,<)$ bewiesen.

Aus dem Satz von Fraïssé folgt nun:

• Je zwei Modelle der Klasse der dichten Ordnungen sind elementar äquivalent.

Eine typische Anwendung dieser Aussage ist:

• Für jeden $\{<\}$-Satz $\psi$ gilt $\varphi _{d}\vDash \psi$ oder $\varphi _{d}\vDash \neg \psi$.

Zum Beweis sei $\varphi _{d}\nvDash \psi$, wir müssen $\varphi _{d}\vDash \neg \psi$ zeigen. Wir tun dies indirekt, indem wir annehmen, dass es ein Modell ${\mathcal {A}}$ gibt, das $\varphi _{d}$ erfüllt, aber nicht $\neg \psi$. Dann ist ${\mathcal {A}}$ eine dichte Ordnung, da es ja $\varphi _{d}$ erfüllt, die nicht $\neg \psi$ erfüllt und daher ein Modell für $\psi \,$ sein muss. Da aber alle dichten Ordnungen nach obigem elementar äquivalent sind und daher dieselben Sätze erfüllen, folgt $\psi \,$ für jedes Modell, das $\varphi _{d}$ erfüllt, das heißt, es gilt $\varphi _{d}\vDash \psi$ im Widerspruch zur gemachten Voraussetzung. Es muss daher $\varphi _{d}\vDash \neg \psi$ gelten.

Siehe auch

Ehrenfeucht-Fraïssé-Spiele: Charakterisierung der elementaren Äquivalenz mittels einer spieltheoretischen Deutung der endlichen Isomorphie.

Literatur

• 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 XII