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.<ref name="Vaught">Vaught: On the equivalence of the Axiom of Choice and a maximal principle. In: Bull. Amer. Math. Soc. Band 58, 1952, S. 66. </ref><ref>Moore: S. 294, 332, 374.</ref><ref>Jech: S. 26, 30, 193.</ref><ref>Sierpiński: S. 433, 482.</ref> Die dem Satz zugrundeliegende Fragestellung geht auf Vaughts Doktorvater Alfred Tarski zurück.<ref name="Vaught" /><ref>Moore: S. 294.</ref>

Formulierung des Satzes

Der Satz von Vaught besagt folgendes:

Das Auswahlaxiom (AC)<ref>Im englischen Sprachraum wird das „Auswahlaxiom“ als „axiom of choice“ oder kurz als „AC“ bezeichnet.</ref> ist logisch äquivalent mit dem folgenden Prinzip (V):

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

Dabei nennt man ein Mengensystem „unzusammenhängend“ (<ref name="Vaught" />), wenn je zwei verschiedene zu diesem Mengensystem gehörige Mengen disjunkt sind.<ref>Es handelt sich also, wenn alle beteiligten Mengen nicht-leer sind, um eine Partition der aus dem Mengensystem gebildeten Vereinigungsmenge.</ref>

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 <math> \mathcal{A} </math>, 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 <math> \mathcal{A} </math> ein zugehöriges Mengensystem <math> \mathcal{B} </math> wie folgt:<ref name="Vaught" />

<math> \mathcal{B} := \{ \{ A, \{a\} \}: a \in A \in \mathcal{A} \} </math>.

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

<math> M := \{ a | \exists A \in \mathcal{A} : \{ A, \{a\} \} \in \mathcal{M} \} </math>.

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

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

<references />