Mostowski-Kollaps
# Mostowski-Kollaps

Der Mostowski-Kollaps (auch: Mostowski’scher Isomorphiesatz) ist ein Satz aus der Mengenlehre, der zuerst 1949 von dem polnischen Mathematiker Andrzej Mostowski formuliert wurde. Er ist vor allem bei der Konstruktion von Modellen ein wichtiges Hilfsmittel.

## Definition

Sei $\prec$ eine zweistellige wohlfundierte Relation auf einer Klasse $C$. Über wohlfundierte Rekursion definiere für $x\in C$ den transitiven Kollaps durch: $\pi (x)=\{\pi (z)\mid z\prec x\}$.

Für die Abbildung $\pi :C\rightarrow \pi (C)$ gilt dann:

* $x\prec y\Rightarrow \pi (x)\in \pi (y)$
* $\pi (C)$ ist eine transitive Klasse.

Ist $E$ zusätzlich extensional, das heißt, wenn aus $\{z\mid z\prec x\}=\{z\mid z\prec y\}$ schon $x=y$ für alle $x,y\in C$ folgt, so gilt darüber hinaus:

* $\pi$ ist bijektiv
* $x\prec y\Leftrightarrow \pi (x)\in \pi (y)$.

$\pi$ stellt also einen Isomorphismus zwischen den Strukturen $\langle C,\prec \rangle$ und $\langle \pi (C),\in \rangle$ dar, und $\pi (C)$ ist die einzige transitive Menge, die (mit der Relation $\in$) zu $\langle C,\prec \rangle$ isomorph ist.

## Beispiele

* Sei $C=\{1,3,5,\dots \}$ die Menge der ungeraden Zahlen, und ${\prec }={<}$ die übliche Ordnung. Dann ist $\prec$ wohlfundiert und extensional. Es gilt: $\pi (C)=\omega$ und $\pi (2n+1)=n$. Jede ungerade Zahl wird also auf die kleinste noch freie natürliche Zahl abgebildet. Daher auch der Name Kollaps.
* Ist $<$ eine Wohlordnung auf $C$, dann ist $\pi (C)$ der Ordnungstyp von $(C,<)$, also die eindeutig bestimmte Ordinalzahl, die zu $(C,<)$ ordnungsisomorph ist. Der Mostowski-Kollaps kann also als Verallgemeinerung der Ordinalzahldefinition angesehen werden.
* Sei $P$ eine partielle Ordnung, und $G\subset P$ ein Filter. Definiere die (wohlfundierte) Relation $\in _{G}$ durch: $x\in _{G}y\Leftrightarrow \exists p\in G\colon (x,p)\in y$. Ist $M$ ein abzählbares transitives Modell von ZFC und ist $G$ zusätzlich $M$-generisch, so definiert der Kollaps von $\langle M,\in _{G}\rangle$ das Modell $\langle M[G],\in \rangle$, welches eine fundamentale Rolle in der Forcing-Methode spielt.
