Axiom der abhängigen Wahl - Axiom of dependent choice
In der Mathematik ist das Axiom der abhängigen Wahl , bezeichnet mit , eine schwache Form des Wahlaxioms ( ), die immer noch ausreicht, um den größten Teil der realen Analyse zu entwickeln . Es wurde von Paul Bernays in einem Artikel aus dem Jahr 1942 eingeführt, der untersucht, welche mengentheoretischen Axiome zur Entwicklung der Analyse erforderlich sind.
Formale Aussage
Eine homogene binäre Relation on heißt ganz, wenn für jede eine solche existiert , die wahr ist.
Das Axiom der abhängigen Wahl kann wie folgt angegeben werden: Für jeden nicht leeren Satz und jede gesamte binäre Relation auf existiert eine Sequenz in so dass
- für alle
Wenn die obige Menge auf die Menge aller reellen Zahlen beschränkt ist , dann wird das resultierende Axiom bezeichnet mit
Benutzen
Auch ohne ein solches Axiom kann man für jede beliebige mathematische Induktion verwenden, um die ersten Terme einer solchen Folge zu bilden. Das Axiom der abhängigen Wahl besagt, dass wir auf diese Weise eine ganze (abzählbar unendliche) Folge bilden können.
Das Axiom ist das Fragment , das benötigt wird, um die Existenz einer durch transfinite Rekursion von abzählbarer Länge konstruierten Sequenz zu zeigen , wenn es notwendig ist, bei jedem Schritt eine Wahl zu treffen und wenn einige dieser Wahlen nicht unabhängig von vorherigen Entscheidungen getroffen werden können.
Äquivalente Aussagen
Über Zermelo-Fraenkel Mengenlehre , entspricht dem Satz Baireschen Kategorie für eine vollständige metrische Räume.
Es ist auch äquivalent zum Löwenheim-Skolem-Theorem .
ist auch gleichbedeutend mit der Aussage, dass jeder beschnittene Baum mit Ebenen einen Zweig hat ( Beweis unten ).
Außerdem ist äquivalent zu einer abgeschwächten Form von Zorns Lemma ; speziell ist äquivalent zu der Aussage, dass jede partielle Ordnung, so dass jede wohlgeordnete Kette endlich und beschränkt ist, ein maximales Element haben muss.
Beweis, dass jeder beschnittene Baum mit ω Ebenen einen Ast hat |
---|
Sei eine ganze binäre Relation auf . Die Strategie ist , einen Baum zu definieren , auf den endlichen Sequenzen , deren benachbarten Elemente erfüllen dann eine Verzweigung durch eine unendliche Folge benachbarte Elemente , die erfüllen beginnt durch die Definition , ob für Da ist gesamte, ein beschnittenen Baum mit ist Ebene. Somit hat So eine Verzweigung , denn alles was Also bedeutet , ist wahr.
Seien Sie ein beschnittener Baum mit Ebenen. Die Strategie ist eine binäre Beziehung zu definieren , auf , so dass erzeugt eine Sequenz in die und ist eine streng monoton wachsende Funktion. Dann ist die unendliche Folge eine Verzweigung. (Dieser Beweis muss dies nur für beweisen ) Beginnen Sie mit der Definition von if ist eine anfängliche Teilsequenz von und Since ist ein beschnittener Baum mit Ebenen, ist ganz. Daher impliziert, dass es eine unendliche Folge gibt, so dass nun für einige Sei das letzte Element von Dann für alle, zu denen die Folge gehört, weil sie eine anfängliche Teilfolge von ist oder ein Daher ist ein Zweig. |
Beziehung zu anderen Axiomen
Im Gegensatz zu voll , nicht ausreicht , um zu beweisen , (gegeben ) , dass es eine nicht messbare Menge der reellen Zahlen, oder dass es eine Menge der reellen Zahlen ohne die Eigenschaft von Baire oder ohne perfekte Set - Eigenschaft . Dies folgt, weil das Solovay-Modell erfüllt und jede Menge reeller Zahlen in diesem Modell Lebesgue-messbar ist, die Baire-Eigenschaft hat und die perfekte Mengeneigenschaft hat.
Das Axiom der abhängigen Wahl impliziert das Axiom der abzählbaren Wahl und ist strikt stärker.
Anmerkungen
Verweise
- Jech, Thomas (2003). Mengenlehre (Third Millennium ed.). Springer-Verlag . ISBN 3-540-44085-2. OCLC- 174929965 . Zbl 1007.03002 .