Satz von Vaught (Maximalitätsprinzip)

Der Satz von Vaught ist ein Lehrsatz aus dem Gebiet der Mengenlehre, welcher auf den amerikanischen Logiker Robert Lawson Vaught (1926–2002) zurückgeht. Der Satz behandelt ein mit dem Auswahlaxiom logisch äquivalentes Maximalitätsprinzip.[1][2][3][4] Die dem Satz zugrundeliegende Fragestellung geht auf Vaughts Doktorvater Alfred Tarski zurück.[1][5]

Formulierung des Satzes

Der Satz von Vaught besagt folgendes:

Das Auswahlaxiom (AC)[6] ist logisch äquivalent mit dem folgenden Prinzip (V):

(V): Jedes Mengensystem enthält ein (bzgl. der Inklusionsrelation $\subseteq$ ) maximales „unzusammenhängendes“ Teilsystem.

Dabei nennt man ein Mengensystem „unzusammenhängend“ (englisch disjointed[1]), wenn je zwei verschiedene zu diesem Mengensystem gehörige Mengen disjunkt sind.[7]

Beweisskizze

Aus (AC) folgt (V)

Diese Implikation ergibt sich leicht als direkte Anwendung des Zornschen Lemmas unter Berücksichtigung der Tatsache, dass das Auswahlaxiom zum Zornschen Lemma äquivalent ist.

Aus (V) folgt (AC)

Eine gleichwertige Formulierungsvariante des Auswahlaxioms lautet dahingehend, dass ein beliebiges unzusammenhängendes Mengensystem ${\mathcal {A}}$ , welches aus lauter nicht-leeren Mengen besteht, stets ein Repräsentantensystem besitzt. Um dies also unter Voraussetzung von (V) zu folgern, definiert man zu einem solchen ${\mathcal {A}}$ ein zugehöriges Mengensystem ${\mathcal {B}}$ wie folgt:[1]

{\mathcal {B}}:=\{\{A,\{a\}\}:a\in A\in {\mathcal {A}}\}

.

Wegen (V) existiert ein maximales unzusammenhängendes Teilsystem ${\mathcal {M}}\subseteq {\mathcal {B}}$ . Damit definiert man nun folgende Menge

M:=\{a|\exists A\in {\mathcal {A}}:\{A,\{a\}\}\in {\mathcal {M}}\}

.

Diese Menge $M$ überschneidet sich wegen der Maximalität von ${\mathcal {M}}$ in exakt einem gemeinsamen Element mit jedem $A\in {\mathcal {A}}$ , ist also ein Repräsentantensystem für ${\mathcal {A}}$ .

Literatur

Originalarbeiten

R. L. Vaught: On the equivalence of the Axiom of Choice and a maximal principle. In: Bull. Amer. Math. Soc. Band 58, 1952, S. 66.

Monographien

Gregory H. Moore: Zermelo’s Axiom of Choice. Its Origins, Development, and Influence (= Studies in the History of Mathematics and Physical Sciences. Band 8). Springer-Verlag, Berlin [u. a.] 1982, ISBN 3-540-90670-3.
Thomas S. Jech: The Axiom of Choice (= Studies in Logic and the Foundations of Mathematics. Band 75). North-Holland Publishing Company, Amsterdam [u. a.] 1973.
Wacław Sierpiński: Cardinal and Ordinal Numbers. Panstwowe Wydawnictwo Naukowe, Warszawa 1958.

Einzelnachweise

Vaught: On the equivalence of the Axiom of Choice and a maximal principle. In: Bull. Amer. Math. Soc. Band 58, 1952, S. 66.
Moore: S. 294, 332, 374.
Jech: S. 26, 30, 193.
Sierpiński: S. 433, 482.
Moore: S. 294.
Im englischen Sprachraum wird das „Auswahlaxiom“ als „axiom of choice“ oder kurz als „AC“ bezeichnet.
Es handelt sich also, wenn alle beteiligten Mengen nicht-leer sind, um eine Partition der aus dem Mengensystem gebildeten Vereinigungsmenge.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.

[Vaught-1] Vaught: On the equivalence of the Axiom of Choice and a maximal principle. In: Bull. Amer. Math. Soc. Band 58, 1952, S. 66.

[2] Moore: S. 294, 332, 374.

[3] Jech: S. 26, 30, 193.

[4] Sierpiński: S. 433, 482.

[5] Moore: S. 294.

[6] Im englischen Sprachraum wird das „Auswahlaxiom“ als „axiom of choice“ oder kurz als „AC“ bezeichnet.

[7] Es handelt sich also, wenn alle beteiligten Mengen nicht-leer sind, um eine Partition der aus dem Mengensystem gebildeten Vereinigungsmenge.