Auswahlaxiom

aus Wikipedia, der freien Enzyklopädie

Das Auswahlaxiom ist ein Axiom der Zermelo-Fraenkel-Mengenlehre. Es wurde erstmals von Ernst Zermelo 1904 formuliert. Das Auswahlaxiom besagt, dass zu jeder Menge von nichtleeren Mengen eine Auswahlfunktion existiert, also eine Funktion, die jeder dieser nichtleeren Mengen ein Element derselben zuordnet und somit „auswählt“. Für endliche Mengen kann man das auch ohne dieses Axiom folgern, daher ist das Auswahlaxiom nur für unendliche Mengen interessant.

Das Auswahlaxiom

Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A} eine Menge von nichtleeren Mengen. Dann heißt eine Auswahlfunktion für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A} , falls jedem Element Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A} ein Element von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} zuordnet, das heißt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F} hat den Definitionsbereich und es gilt:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \forall X \in A: F(X) \in X.}

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F} wählt also aus jeder Menge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A} genau ein Element aus.

Das Auswahlaxiom lautet dann: Für jede Menge nichtleerer Mengen gibt es eine Auswahlfunktion.

Beispiel: Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A = \{\{0,2\},\{1,2,5,7\},\{4\}\}} . Die auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A} durch

definierte Funktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F} ist eine Auswahlfunktion für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A} .

Alternative Formulierungen

  • Die Potenzmenge einer beliebigen Menge ohne die leere Menge hat eine Auswahlfunktion (Zermelo 1904).
  • Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A} eine Menge von paarweise disjunkten nicht leeren Mengen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X_i} . Dann gibt es eine Menge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle C} , die mit jedem Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X_i} genau ein gemeinsames Element hat (Zermelo 1907, ZF).
  • Sei eine beliebige Indexmenge und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (A_i)_{i \in I}} eine Familie von nichtleeren Mengen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A_i} , dann existiert eine Funktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F} mit Definitionsbereich Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle I} , die jedem Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle i \in I} ein Element von zuordnet: Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle F(i)\in A_{i}} .

Bemerkungen

Das Auswahlaxiom postuliert die Existenz einer Auswahlfunktion. Man hat aber trotzdem kein Verfahren, wie man eine solche konstruieren könnte. Man spricht in diesem Fall von einer schwachen Existenzaussage.

Für folgende Fälle existiert eine Auswahlfunktion auch ohne das Auswahlaxiom:

  • Für eine endliche Menge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A=\{A_1,\ldots,A_n\}} von nichtleeren Mengen ist es trivial, eine Auswahlfunktion anzugeben: Man wählt von jeder Menge irgendein bestimmtes Element aus, was problemlos möglich ist. Man braucht das Auswahlaxiom hierfür nicht. Ein formaler Beweis würde Induktion über die Größe der endlichen Menge verwenden.
  • Für Mengen von nichtleeren Teilmengen der natürlichen Zahlen ist es ebenfalls problemlos möglich: Man wählt von jeder Teilmenge das kleinste Element aus. Ähnlich kann man für eine Menge von abgeschlossenen Teilmengen der reellen Zahlen eine explizite Auswahlfunktion (ohne Verwendung des Auswahlaxioms) angeben, indem man etwa aus jeder Menge das (wenn möglich positive) Element mit kleinstem Absolutbetrag wählt.
  • Selbst für Mengen von beschränkten Intervallen reeller Zahlen ist eine Auswahlfunktion definierbar: Man wählt von jedem Intervall den Mittelpunkt aus.

Für welche Fälle das Auswahlaxiom relevant ist, sei an den folgenden Beispielen verdeutlicht:

  • Man kann schon für eine allgemeine abzählbare Menge von zweielementigen Mengen in ZF (nicht ZFC, d. h. ohne das Auswahlaxiom) nicht die Existenz einer Auswahlfunktion beweisen.
  • Dasselbe gilt etwa für die Existenz einer Auswahlfunktion für die Menge aller nicht leeren Teilmengen der reellen Zahlen.

Es existieren allerdings Abschwächungen des Auswahlaxioms, die dieses nicht implizieren, aber für Fälle wie die beiden Beispiele die Existenz zeigen, beispielsweise für den ersten Fall das abzählbare Auswahlaxiom (CC, für countable Choice, auch bezeichnet mit ACω oder ACN), welches besagt, dass eine Auswahlfunktion existiert, wenn die Mengenfamilie abzählbar ist, oder auch das Axiom der abhängigen Auswahl (DC, für dependent choice).

Kurt Gödel zeigte 1938, dass das Auswahlaxiom im Rahmen der Zermelo-Fraenkel-Mengenlehre keinen Widerspruch ergibt, wenn man die Widerspruchsfreiheit aller übrigen Axiome annimmt.[1] 1963 aber zeigte Paul Cohen, dass auch die Negation des Auswahlaxioms nicht zu einem Widerspruch führt.[2] Beide Annahmen sind also vom formalistischen Standpunkt aus akzeptabel. Das Auswahlaxiom folgt, wie Waclaw Sierpinski 1947 bewies, aus der verallgemeinerten Kontinuumshypothese.[3]

Das Auswahlaxiom ist von der überwiegenden Mehrheit der Mathematiker akzeptiert. In vielen Zweigen der Mathematik, darunter auch neueren wie der Nichtstandardanalysis, führt es zu besonders ästhetischen Ergebnissen. Die Konstruktivistische Mathematik ist jedoch ein Mathematikzweig, der auf das Auswahlaxiom bewusst verzichtet. Darüber hinaus gibt es weitere Mathematiker, darunter viele der theoretischen Physik nahestehend, die das Auswahlaxiom ebenfalls nicht verwenden, insbesondere wegen kontraintuitiver Konsequenzen wie dem Banach-Tarski-Paradoxon. Dies führt zu der Fragestellung, ob sich Sätze, für deren Beweis üblicherweise das Auswahlaxiom verwendet wird, wie der Satz von Hahn-Banach, so abschwächen lassen, dass sie ohne Auswahlaxiom bewiesen werden können, aber dennoch alle wichtigen Anwendungen abdecken.

Zum Auswahlaxiom äquivalente Sätze

Setzt man die ZF-Axiome voraus, dann gibt es eine Vielzahl an wichtigen Sätzen, die zum Auswahlaxiom äquivalent sind. Die wichtigsten darunter sind das Lemma von Zorn und der Wohlordnungssatz. Zermelo führte das Auswahlaxiom ein, um den Beweis des Wohlordnungssatzes zu formalisieren. Die Namen Lemma und Satz rühren daher, dass diese Formulierungen nicht so unmittelbar einsichtig erscheinen wie das Auswahlaxiom selbst.

  • Mengenlehre
    • Wohlordnungssatz: Jede Menge kann wohlgeordnet werden.
    • Wenn Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \,A} eine unendliche Menge ist, dann haben Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \,A} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A\times A} die gleiche Kardinalität.
    • Trichotomie: Zwei Mengen haben entweder gleiche Kardinalität oder eine der beiden Mengen hat eine kleinere Kardinalität als die andere. Die Äquivalenz wurde von Friedrich Hartogs 1915 bewiesen.[4]
    • Das kartesische Produkt einer nichtleeren Familie von nichtleeren Mengen ist nicht leer.
    • Satz von König: Vereinfacht formuliert ist die Summe einer Folge von Kardinalzahlen echt kleiner als das Produkt einer Folge von größeren Kardinalzahlen.
    • Jede surjektive Funktion hat ein Rechtsinverses.
    • Lemma von Teichmüller-Tukey: Eine nichtleere Menge von endlichem Charakter hat bezüglich der Mengeninklusion ein maximales Element.
  • Ordnungstheorie
    • Lemma von Zorn: Jede nichtleere halbgeordnete Menge, in der jede Kette (d. h. jede total geordnete Teilmenge) eine obere Schranke hat, enthält mindestens ein maximales Element.
    • Hausdorffs Maximalkettensatz: In einer geordneten Menge kann jede Kette zu einer maximalen Kette erweitert werden.
    • Hausdorffs Maximalkettensatz (abgeschwächt): In einer geordneten Menge existiert mindestens eine maximale Kette.
  • Algebra
    • Jedes Erzeugendensystem eines Vektorraums Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V} enthält eine Basis von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V} .
    • Jeder Vektorraum hat eine Basis.[5]
    • Jeder Ring mit Einselement, der nicht der Nullring ist, hat ein maximales Ideal.
  • Graphentheorie
    • Jeder (unendliche) ungerichtete, zusammenhängende Graph hat einen Spannbaum.
  • Topologie

Literatur

Weblinks

Einzelnachweise

  1. ↑ Kurt Gödel: The consistency of the axiom of choice and of the generalized continuum-hypothesis. In: Proceedings of the U.S. National Academy of Sciences. Band 24, 1938, S. 556–557 (online [PDF]).
  2. ↑ Paul Cohen: Set Theory and the Continuum Hypothesis. Benjamin, New York 1963.
  3. ↑ siehe Leonard Gillman: Two classical surprises concerning the axiom of choice and the continuum hypothesis. American Mathematical Monthly, Band 109, 2002, S. 544, pdf
  4. ↑ Siehe Gillman, loc. cit.
  5. ↑ Andreas Blass, Axiomatic set theory. In: Contemporary Mathematics. Band 31, 1984 Kapitel: Existence of bases implies the axiom of choice. S. 31–33, online (englisch) pdf
Abgerufen von „https://de.wikiup.org/index.php?title=Auswahlaxiom&oldid=226369035“