Satz von Vaught

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. Die dem Satz zugrundeliegende Fragestellung geht auf Vaughts Doktorvater Alfred Tarski zurück.

Formulierung des Satzes

Der Satz von Vaught besagt folgendes:

Das Auswahlaxiom (AC) 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“ (engl. “disjointed”), wenn je zwei verschiedene zu diesem Mengensystem gehörige Mengen disjunkt sind.

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:

${\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.