- Auswahlaxiom
-
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, nämlich 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 besonders für unendliche Mengen interessant.
Inhaltsverzeichnis
Das Auswahlaxiom
Sei eine Menge von nichtleeren Mengen. Dann heißt eine Auswahlfunktion für , falls den Definitionsbereich hat und gilt:
wählt also aus jeder Menge in genau ein Element aus.
Das Auswahlaxiom lautet dann: Es gibt eine Auswahlfunktion für jede Menge nichtleerer Mengen.
Beispiel: Sei . Dann gilt . Die Funktion definiert durch
-
- ist eine Auswahlfunktion für .
Alternative Formulierungen
- Die Potenzmenge einer beliebigen Menge ohne die leere Menge hat eine Auswahlfunktion (Zermelo 1904).
- Sei eine Menge von paarweise disjunkten nicht leeren Mengen . Dann gibt es eine Menge , die mit jedem genau ein gemeinsames Element hat (Zermelo 1907, ZF).
Bemerkungen
Das Auswahlaxiom postuliert die Existenz einer Auswahlfunktion, gibt jedoch kein Verfahren an, wie man eine solche konstruieren könnte. Man spricht in diesem Fall von einer schwachen Existenzaussage. Beispielsweise ist es nicht allgemein möglich, für eine beliebige Menge von Teilmengen von eine Auswahlfunktion explizit anzugeben.
Für welche Fälle das Auswahlaxiom relevant ist, sei an den folgenden Beispielen verdeutlicht:
- Für eine endliche Menge 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 Intervallen reeller Zahlen ist eine Auswahlfunktion definierbar: Man wählt von jedem Intervall den Mittelpunkt aus.
- Für Mengen von beliebigen nichtleeren Teilmengen der reellen Zahlen gibt es jedoch keine offensichtliche Definition einer Auswahlfunktion. In diesem Fall ist das Auswahlaxiom relevant. Es postuliert die Existenz einer Auswahlfunktion, ohne sie anzugeben. So kann man z.B. für die Menge aller Teilmengen der reellen Zahlen keine Auswahlfunktion explizit angeben.
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 (also das „Gegenteil“) des Auswahlaxioms nicht zu einem Widerspruch führt.[2] Beide Annahmen sind also vom formalistischen Standpunkt aus akzeptabel.
Das Auswahlaxiom ist von der überwiegenden Mehrheit der Mathematiker akzeptiert. In vielen Zweigen der Mathematik, darunter auch neuere wie die 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 z. B. 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 eine unendliche Menge ist, dann haben und 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.
- Das kartesische Produkt einer nichtleeren Familie von nichtleeren Mengen ist nicht leer.
- Satz von König: Vereinfacht: Die Summe einer Folge von Kardinalzahlen ist echt kleiner als das Produkt einer Folge von größeren Kardinalzahlen.
- Jede surjektive Funktion hat ein Rechts-Inverses.
- Lemma von Teichmüller-Tukey: Ist M eine nichtleere Menge von endlichem Charakter, so gibt es 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
- Jeder Vektorraum hat eine Basis.
- Jeder Ring mit Einselement, der nicht der Nullring ist, hat ein maximales Ideal.
- Graphentheorie
- Topologie
- Satz von Tychonoff: Das Produkt kompakter Räume ist selbst kompakt.
- In der Produkt-Topologie: Der Abschluss eines Produktes von Teilmengen ist gleich dem Produkt der Abschlüsse der Teilmengen.
- Das Produkt von vollständigen uniformen Räumen ist vollständig.
Literatur
- Ernst Zermelo: Beweis, daß jede Menge wohlgeordnet werden kann. Mathematische Annalen 1904, sowie zweiter Beweis, Mathematische Annalen 1908.
- Horst Herrlich: Axiom of Choice. Springer Lecture Notes in Mathematics 1876, Springer Verlag, Berlin/Heidelberg 2006, ISBN 3-540-30989-6.
- Paul Howard, Jean E. Rubin: Consequences of the Axiom of Choice. American Mathematical Society, 1998, ISBN 0-8218-0977-6.
Einzelnachweise
- ↑ 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. 24, 1938, S. 556–557 (http://www.pnas.org/content/24/12/556.full.pdf+html).
- ↑ Paul Cohen: Set Theory and the Continuum Hypothesis. Benjamin, New York 1963.
Axiome und Axiomenschemata der Zermelo-Fraenkel-MengenlehreAxiome: Extensionalitätsaxiom | Fundierungsaxiom | Leermengenaxiom | Paarmengenaxiom | Vereinigungsaxiom | Potenzmengenaxiom | Unendlichkeitsaxiom | Auswahlaxiom
Axiomenschemata: Aussonderungsaxiom | Ersetzungsaxiom
Wikimedia Foundation.
Schlagen Sie auch in anderen Wörterbüchern nach:
Auswahlaxiom — Auswahlaxiom, Mathematik: erstmals von E. F. F. Zermelo formuliertes Axiom der Mengenlehre: Ist M eine Menge von durchschnittsfremden nichtleeren Mengen Mj, so gibt es eine Auswahlmenge A, die aus jeder der Mengen Mj genau ein … Universal-Lexikon
Lemma von Zorn — Das Lemma von Zorn, auch bekannt als Lemma von Kuratowski Zorn, ist ein Theorem der Mengenlehre, genauer gesagt, der Zermelo Fraenkel Mengenlehre, die das Auswahlaxiom einbezieht. Es ist benannt nach dem deutsch amerikanischen Mathematiker Max… … Deutsch Wikipedia
Zermelo-Fraenkel-Mengenlehre — Die Zermelo Fraenkel Mengenlehre ist eine verbreitete axiomatische Mengenlehre, die nach Ernst Zermelo und Abraham Adolf Fraenkel benannt ist. Sie ist heute Grundlage fast aller Zweige der Mathematik. Die Zermelo Fraenkel Mengenlehre ohne… … Deutsch Wikipedia
Zermelo Fraenkel — Die Zermelo Fraenkel Mengenlehre ist eine verbreitete axiomatische Mengenlehre, die nach Ernst Zermelo und Abraham Adolf Fraenkel benannt ist. Sie ist heute Grundlage fast aller Zweige der Mathematik. Die Zermelo Fraenkel Mengenlehre ohne… … Deutsch Wikipedia
Zorns Lemma — Das Lemma von Zorn, auch bekannt als Zorns Lemma, Kuratowski Zorn Lemma oder zornsches Lemma, ist ein Theorem der Mengenlehre, genauer gesagt, der Zermelo Fraenkel Mengenlehre, die das Auswahlaxiom einbezieht. Es besagt: Jede nichtleere… … Deutsch Wikipedia
Zornsches Lemma — Das Lemma von Zorn, auch bekannt als Zorns Lemma, Kuratowski Zorn Lemma oder zornsches Lemma, ist ein Theorem der Mengenlehre, genauer gesagt, der Zermelo Fraenkel Mengenlehre, die das Auswahlaxiom einbezieht. Es besagt: Jede nichtleere… … Deutsch Wikipedia
Konstruierbarkeitsaxiom — Das Konstruierbarkeitsaxiom, oft auch durch die Gleichung V = L abgekürzt, ist eine auf Kurt Gödel zurückgehende Aussage der Mengenlehre, die eine mögliche Erweiterung der Zermelo Fraenkel Mengenlehre ZF darstellt. Diese Aussage kann man nicht… … Deutsch Wikipedia
Vermutung (Mathematik) — In der Metamathematik ist eine Vermutung eine Aussage, von der nicht klar ist oder einige Zeit nicht klar war, ob sie zutrifft oder nicht. Inhaltsverzeichnis 1 Einordnung des Begriffs 2 Liste einiger Vermutungen 2.1 Heute bewiesene Vermutungen … Deutsch Wikipedia
Absteigende Kette — In der Mathematik sind Ordnungsrelationen Verallgemeinerungen der „kleiner gleich“ Beziehung. Sie erlauben es, Elemente einer Menge miteinander zu vergleichen. Eine Ordnungsrelation ist formal eine zweistellige Relation auf einer Menge M mit… … Deutsch Wikipedia
Aufsteigende Kette — In der Mathematik sind Ordnungsrelationen Verallgemeinerungen der „kleiner gleich“ Beziehung. Sie erlauben es, Elemente einer Menge miteinander zu vergleichen. Eine Ordnungsrelation ist formal eine zweistellige Relation auf einer Menge M mit… … Deutsch Wikipedia
-