Das Axiom der abhängigen Auswahl (von englisch axiom of dependent choice oder principle of dependent choice kurz DC) ist ein Axiom der Mengenlehre. Es ist eine schwache Version des Auswahlaxioms, die aber zum Beispiel in der Analysis ausreicht, um die Äquivalenz von Stetigkeit und Folgenstetigkeit zu zeigen. Aus dem Axiom folgt das abzählbare Auswahlaxiom, es ist aber schwächer als das volle Auswahlaxiom. In der deskriptiven Mengenlehre wird es manchmal als Ersatz für das Auswahlaxiom gebraucht. Es wird auch Prinzip der abhängigen Wahlen genannt.
Das Axiom wurde 1942 von Paul Bernays formuliert.
Formale Beschreibung Bearbeiten
Sei eine nichtleere Menge und eine definale Relation. Dann gibt es eine Folge in dergestalt, dass gilt.
Auch ohne abhängige Auswahl kann ein beliebig langes endliches Anfangsstück einer solchen Folge gebildet werden; die abhängige Auswahl liefert also die Aussage, dass eine unendliche Folge auf diese Weise gebildet werden kann.
Die abhängige Auswahl nur für die reellen Zahlen, also nur für , wird mit DCR bezeichnet.
Verwendung Bearbeiten
Das Axiom der abhängigen Auswahl ist ein hinreichendes Fragment des Auswahlaxioms, um eine Folge mittels abzählbarer transfiniter Rekursion zu konstruieren. Falls es notwendig ist, bei unendlich vielen Schritten eine Auswahl zu treffen, geht das ohne das Axiom eventuell nicht.
Äquivalente Aussagen Bearbeiten
In der Theorie ZF ist das Axiom der abhängigen Auswahl äquivalent zum Satz von Baire in vollständigen metrischen Räumen. Außerdem dazu, dass jeder nichtleere Baum ohne Blätter einen Zweig besitzt.
Beziehung zu anderen Axiomen Bearbeiten
Abhängige Auswahl genügt nicht, um die Existenz einer Teilmenge der reellen Zahlen nachzuweisen, die nicht messbar ist oder nicht die Baire-Eigenschaft hat. Dies ist jedoch mit dem Auswahlaxiom in seiner vollen Stärke möglich.
Das Axiom der abhängigen Auswahl impliziert das abzählbare Auswahlaxiom, die Umkehrung gilt nicht.
Wie das Auswahlaxiom ist auch das Axiom der abhängigen Auswahl unabhängig von ZF.
Einzelnachweise Bearbeiten
- Jürgen Elstrodt: Maß- und Integrationstheorie (2010) S. 98
- Charles E. Blair: The Baire category theorem implies the principle of dependent choices. In: Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 25 (1977), Nr. 10, S. 933–934.