Das Prinzip, das für jede Familie nichtleerer Mengen die Existenz einer Auswahlfunktion behauptet, die aus jeder Menge ein Element auswählt; meist mit AC abgekürzt und als Axiom unabhängig von der ZF-Mengenlehre betrachtet.

Prinzip

Für eine indeksierte Familie {X_i}_{i∈I} nichtleerer Mengen existiert eine Funktion f mit Definitionsbereich I derart, dass f(i)∈X_i für alle i gilt; dieses Auswahlprinzip erlaubt Konstruktionen und Existenzbeweise, die allgemein nichtkonstruktiv sind.

Demonstration

Mit AC lässt sich zeigen, dass jeder Vektorraum eine Basis besitzt: aus der Familie aller nichtleeren linear unabhängigen Teilmengen wählt man mittels Zorns Lemma (äquivalent zu AC) ein maximales unabhängiges System, das als Basis fungiert.

Fehlanwendung

Fälschlich anzunehmen, AC liefere kanonische oder explizite Auswahlregeln in konstruktiven Kontexten, oder AC zur Rechtfertigung abzählbarer Konstruktionen zu verwenden, wenn schwächere Formen (z. B. abzählbare Auswahl) genügen; AC in Kontexten zu nutzen, in denen seine Unabhängigkeit Eigenschaften verändert (z. B. Existenz nichtmessbarer Mengen).

Konsequenz

AC ist äquivalent zu zahlreichen wichtigen Aussagen (Zorns Lemma, Wohlordnungsaxiom) und impliziert weitreichende Existenzaussagen in Algebra, Topologie und Analysis (Hamel-Basen, Tychonoffs Satz in voller Allgemeinheit), erlaubt jedoch auch pathologische Objekte wie nichtmessbare Mengen.

Umkehrung

Die Ablehnung von AC (Arbeit in ZF) erhält konstruktive und massentheoretische Regularität, geht jedoch mit dem Verlust gewisser Existenzresultate einher; viele Sätze werden ohne ein Wahlprinzip schwächer oder sind unentscheidbar.

Abgrenzung

Gilt für beliebige Familien von Mengen in der klassischen Mengentheorie; es gibt eingeschränkte Formen (abzählbare Auswahl, abhängige Auswahl, Auswahl für Familien bestimmter Kardinalitäten), die in Konsistenzstärke strikt schwächer sind als das volle AC.

Semantische Spannung

Spannung mit konstruktiver und berechenbarer Mathematik, die nichtkonstruktive Existenz ohne explizite Regeln ablehnt; ebenso Spannung mit massentheoretischer Regularität, da AC nichtmessbare Mengen ermöglicht, weshalb Analysten oft eingeschränkte Wahlaxiome bevorzugen.

Synthese

Das Axiom der Wahl ist das globale Auswahlprinzip, das für jede Familie nichtleerer Mengen eine Auswahlfunktion garantiert; es ist zugleich mächtig und umstritten, weil es breite Existenzbeweise ermöglicht und gleichzeitig nichtkonstruktive sowie pathologische Phänomene zulässt.