Relativierung (Mengenlehre)

Im mathematischen Gebiet der Mengenlehre bedeutet Relativierung, dass man mengentheoretische Aussagen in Bezug auf eine Eigenschaft, die die insgesamt betrachteten Mengen einschränkt, betrachtet. Derartige Relativierungen spielen eine wichtige Rolle in der Modelltheorie der Mengenlehre.

Definitionen

Wir betrachten in diesem Kapitel die Mengenlehre in der Sprache der Zermelo-Fraenkel-Mengenlehre (kurz ZF), diese besteht aus <math>\in</math> für die Elementbeziehung, der Gleichheit <math>=</math> von Mengen und den üblichen logischen Symbolen <math>\neg, \land, \lor, \rightarrow, \leftrightarrow, \exists, \forall</math> sowie Variablen <math>x,y,z,\ldots</math> für Mengen. Die daraus korrekt gebildeten Formeln bzw. Aussagen sind Untersuchungsgegenstand der Mengenlehre. Alle anderen Symbole der Mengenlehre sind darauf aufbauend definierbar, so zum Beispiel die Teilmengenbeziehung

<math> x \subset y \, :\Leftrightarrow \, \forall z\, (z\in x \rightarrow z\in y)</math>

Ferner sei ein Prädikat <math>P</math> gegeben, das heißt eine mengentheoretische Aussage mit einer freien Variablen. Ist <math>x</math> eine Menge, so kann man diese an die Stelle der freien Variablen setzen, und wir schreiben einfach <math>Px</math>, wenn daraus eine auf <math>x</math> zutreffende Aussage entsteht. Ein einfaches und zugleich wichtiges Beispiel ist das Prädikat <math>z\in W</math>, wobei <math>W</math> eine gegebene Klasse oder Menge und <math>z</math> die freie Variable ist. In diesem Fall bedeutet <math>Px</math> einfach, dass <math>x</math> ein Element von <math>W</math> ist.

Wir wollen nun mengentheoretische Formeln <math>\varphi</math> bzgl. <math>P</math> relativieren, das heißt auf alle <math>x</math> mit <math>Px</math> einschränken, indem wir zu einer Formel <math>[\varphi]^P</math> übergehen, die genau diese Einschränkung vornimmt und die <math>P</math>-Relativierung von <math>\varphi</math> heißt. Wir definieren <math>[\varphi]^P</math> wie folgt über den Aufbau der Formel <math>\varphi</math> aus oben genannten Symbolen<ref>Heinz-Dieter Ebbinghaus: Einführung in die Mengenlehre, Spektrum Verlag 2003, ISBN 3-8274-1411-3, Kap X, Definition 1.1</ref>:

<math> [\neg \varphi]^P \,:=\, \neg [\varphi]^P </math>

<math> [\varphi \land \psi]^P \,:=\, [\varphi]^P \land [\psi]^P </math>

<math> [\varphi \lor \psi]^P \,:=\, [\varphi]^P \lor [\psi]^P </math>

<math> [\varphi \rightarrow \psi]^P \,:=\, [\varphi]^P \rightarrow [\psi]^P </math>

<math> [\varphi \leftrightarrow \psi]^P \,:=\, [\varphi]^P \leftrightarrow [\psi]^P </math>

<math> [\forall x\, \varphi]^P \,:=\, \forall x (Px \rightarrow [\varphi]^P) </math>

<math> [\exists x\, \varphi]^P \,:=\, \exists x (Px \land [\varphi]^P) </math>

Dabei sind <math>\varphi</math> und <math>\psi</math> mengentheoretische Formeln, die auch Parameter, das heißt weitere freie Variablen, enthalten dürfen. So sind die letzten beiden Definitionen nur für solche <math>\varphi</math> sinnvoll, die <math>x</math> als freie Variable enthalten (sollte <math>x</math> in <math>\varphi</math> auch als gebundene Variable auftreten, so ist diese entsprechend umzubenennen, diese übliche Vereinbarung wird hier stillschweigend angenommen). Wie obige Definition zeigt, sind nur die Quantoren <math>\forall</math> und <math>\exists</math> von der <math>P</math>-Relativierung betroffen, was der intuitiven Vorstellung einer Einschränkung auf <math>P</math> entgegenkommt.

Beispiel

Als Prädikat <math>P</math> nehmen wir <math>x \in W</math>, also die Zugehörigkeit zu einer Klasse <math>W</math>. Wir wollen die <math>P</math>-Relativierung auf die Formel

<math>\varphi \,=\, \forall y (y \not= z \rightarrow \exists x (x \in y))</math>

anwenden. Dies ist übrigens eine im ZF-Mengenuniversum wahre Aussage, wenn man für den Parameter <math>z</math> die leere Menge nimmt, denn es wird dann ausgesagt, dass jede von der leeren Menge verschiedene Menge ein Element enthält, aber das spielt für die folgende Relativierung keine Rolle. Das <math>y\not= z</math> ist natürlich als <math>\neg y=z</math> zu übersetzen. Als erstes müssen wir die Regel für den Allquantor anwenden und erhalten

<math>\varphi^P \,=\, \forall y (y\in W \rightarrow (\neg y= z \rightarrow \exists x (x \in y))^P)</math>

Auf den noch zu relativierenden Teil der Formel wird nun die Regel für <math>\rightarrow </math> angewendet:

<math>\varphi^P \,=\, \forall y (y\in W \rightarrow ((\neg y= z)^P \rightarrow (\exists x (x \in y))^P))</math>

Nun haben wir noch zwei zu relativierende Formelteile. Der linke Teil bereitet wegen der <math>\neg</math>-Regel keine Schwierigkeiten, der rechte Teil enthält wieder einen Quantor und ist entsprechend zu behandeln:

<math>\varphi^P \,=\, \forall y (y\in W \rightarrow (\neg y= z \rightarrow \exists x (x\in W \land (x \in y)^P)))</math>

und in einem letzten Schritt erhalten wir

<math>\varphi^P \,=\,\forall y (y\in W \rightarrow (\neg y= z \rightarrow \exists x (x\in W \land x \in y)))</math>

Abhängig von <math>W</math> muss diese Aussage nicht mehr wahr sein, selbst wenn man <math>z=\emptyset</math> wählt, denn die relativierte Aussage behauptet, dass jedes von <math>z</math> verschiedene Element aus <math>W</math> ein Element aus <math>W</math> enthält, und das hängt natürlich von <math>W</math> ab.

Mengentheoretische Symbole

Um auch Formeln relativieren zu können, die neben den oben genannten Symbolen auch sogenannte definierte Symbole wie Teilmenge <math>\subset</math>, kartesisches Produkt <math>\times</math>, Durchschnitt <math>\cap</math> und so weiter enthalten, muss man zunächst die Rückübersetzung in die Symbole der oben festgelegten Sprache vornehmen und dann relativieren. Dadurch lässt sich der Begriff <math>P</math>-Relativierung auch auf solche Formeln ausdehnen, zum Beispiel

<math>\begin{align}[] [x \subset y]^P &= [\forall (z \in x \rightarrow z \in y)]^P \\ &= \forall z ( Pz \rightarrow (z\in x \rightarrow z\in y)) \\ &= \forall z ( (Pz \land z\in x) \rightarrow z\in y), \end{align}</math>

wobei die letzte Gleichheit eine rein logische Umformung ist. Auch dieses Beispiel zeigt, dass sich Aussagen, wie hier eine Teilmengenbeziehung, bei Relativierungen durchaus ändern können. Ein weiteres Beispiel ist

<math>\begin{align}[] [x = \emptyset]^P &= [\forall z (\neg z \in x))]^P \\ &= \forall z ( Pz \rightarrow (\neg z\in x)) \\ \end{align}</math>

Ist zum Beispiel <math>W=\{\emptyset, \{\{\emptyset\}\}\}</math>, <math>P</math> das Prädikat <math>x\in W</math> und setzt man <math>z=\{\{\emptyset\}\}</math>, so sind die Aussagen <math>z\subset \emptyset</math> und <math>z=\emptyset</math> im ZF-Mengenuniversum falsch, die <math>P</math>-Relativierungen hingegen sind wahr, denn <math>z</math> enthält keine Elemente, auf die das Prädikat <math>P</math> zutrifft.

Absolutheit

Wir haben gesehen, dass sich der Wahrheitswert einer Aussage durchaus ändern kann, wenn man zu einer <math>P</math>-Relativierung übergeht. Aussagen, bei denen das nicht der Fall ist, heißen <math>P</math>-absolut. Ist <math>\varphi</math> eine Aussage mit Parametern <math>x_1,\ldots, x_n</math> (und keinen weiteren), so sagt man<ref>Heinz-Dieter Ebbinghaus: Einführung in die Mengenlehre, Spektrum Verlag 2003, ISBN 3-8274-1411-3, Kap X, Definition 1.3</ref>

<math>\varphi = \varphi(x_1,\ldots, x_n)</math> ist <math>P</math>-absolut, falls

<math>\forall x_1,\ldots, x_n: (Px_1\land\ldots\land Px_n \rightarrow (\varphi(x_1,\ldots, x_n)^P \leftrightarrow \varphi(x_1,\ldots, x_n)))</math>

das heißt, der Wahrheitswert der Aussage <math>\varphi = \varphi(x_1,\ldots, x_n)</math> bleibt bei <math>P</math>-Relativierung für alle Parameter <math>x_1,\ldots, x_n</math>, die dem Prädikat <math>P</math> genügen, erhalten. Entsprechend heißt ein Satz, das heißt eine Aussage <math>\varphi</math> ohne Parameter, <math>P</math>-absolut, wenn <math>[\varphi]^P \leftrightarrow \varphi</math>.

Für „<math>\varphi</math> ist <math>P</math>-absolut“ sagt man auch „<math>P</math> spiegelt <math>\varphi</math>“. Ein wichtiger Satz ist das sogenannte Reflexionsprinzip, nach dem jede Aussage bereits durch eine Stufe <math>V_\alpha</math> der Von-Neumann-Hierarchie gespiegelt wird, wobei hier natürlich das Prädikat „<math>z\in V_\alpha</math>“ gemeint ist.

Eine Formel heißt aufwärts absolut für eine Menge <math>P</math>, falls

<math>\forall x_1,\ldots, x_n: (Px_1\land\ldots\land Px_n \rightarrow (\varphi(x_1,\ldots, x_n)^P \rightarrow \varphi(x_1,\ldots, x_n)))</math>

und abwärts absolut, falls die umgekehrte Implikation

<math>\forall x_1,\ldots, x_n: (Px_1\land\ldots\land Px_n \rightarrow (\varphi(x_1,\ldots, x_n)\rightarrow\varphi(x_1,\ldots, x_n)^P ))</math>

gilt. Offenbar ist eine Formel genau dann absolut für eine Menge, wenn sie zugleich aufwärts und abwärts absolut ist.

Transitive Prädikate

Eine Klasse <math>P</math> heißt transitiv, falls für alle <math>x\in y\in P</math> auch <math>x\in P</math>. Die Stufen der Von-Neumann-Hierarchie sind Beispiele transitiver Mengen. Für transitive Klassen <math>P</math> lassen sich weitere Absolutheitsaussgen beweisen. Die <math>\Delta_0</math>-Formeln in der Levy-Hierarchie sind alle mengentheoretischen Formeln (der oben festgelegten Sprache), die durch folgende Regeln gebildet werden können

Jede Formel ohne Quantoren ist eine <math>\Delta_0</math>-Formel
Sind <math>\varphi</math> und <math>\psi</math> <math>\Delta_0</math>-Formeln, so auch <math>\neg\varphi, \varphi\land\psi, \varphi\lor\psi, \varphi\rightarrow\psi</math> und <math>\varphi\leftrightarrow\psi</math>.
Ist <math>\varphi</math> eine <math>\Delta_0</math>-Formel, so auch <math>\forall x(x\in y \rightarrow \varphi)</math> und <math>\exists x(x\in y \land \varphi)</math>.

Mit diesen Begriffsbildungen gilt folgender Satz<ref>Thomas Jech: Set Theory, Springer-Verlag (2003), ISBN 3-540-44085-2, Lemma 12.9</ref>:

Ein transitives Prädikat spiegelt jede <math>\Delta_0</math>-Formel.

Beispiele solcher <math>\Delta_0</math>-Formeln sind

<math>x\subset y</math>, das heißt <math>\forall z(z\in x \rightarrow z\in y)</math>
<math>x=\emptyset</math>, das heißt <math>\neg \exists z\,(z\in x)</math>
<math>x</math> ist Nachfolger von <math>y</math>, das heißt <math>x=y\cup\{y\}</math> bzw. <math>\forall z\,(z\in x \leftrightarrow (z\in y \lor z=y))</math>

Derartige Aussagen sind also <math>P</math>-absolut für jede transitive Klasse <math>P</math>. Man kann zeigen, dass Aussagen der Art „<math>x</math> ist Potenzmenge von <math>y</math>“ oder „<math>x</math> ist eine Kardinalzahl“ nicht von diesem Typ sind. Daher spielen transitive Relativierungen, das heißt Relativierungen nach transitiven Prädikaten, eine wichtige Rolle in der Modelltheorie der Mengenlehre.

Einzelnachweise