Ein Mengenaxiom, das besagt, dass für jede Familie nichtleerer Mengen eine Auswahlfunktion existiert, die aus jeder Menge ein Element auswählt; oft mit AC abgekürzt und unabhängig von den Zermelo–Fraenkel-Axiomen (ZF), weshalb seine Annahme nichtkonstruktive Folgen haben kann.

Prinzip

Aus einer Sammlung nichtleerer Mengen kann man simultan je einen Repräsentanten auswählen; dies ermöglicht Konstruktionen, die in ZF allein nicht immer durch explizite Regeln oder Algorithmen ausgeführt werden können.

Demonstration

In der Praxis erlaubt AC das Bilden einer Menge von Repräsentanten aus einer beliebigen Familie (z. B. die Wahl einer Basis für jeden Vektorraum), auch wenn keine definierbare Regel die Repräsentanten einheitlich auswählt.

Fehlanwendung

AC als konstruktives Verfahren zu missverstehen ist ein Fehler: es garantiert Existenz von Auswahlfunktionen, liefert aber nicht notwendigerweise explizite Auswahlen oder Algorithmen; konstruktive Folgerungen (wie definierbare Wahl) ohne zusätzliche Annahmen zu erwarten ist inkorrekt.

Konsequenz

Führt zu vielen Standardresultaten (Tychonoffs Satz für beliebige Produkte, Existenz von Basen in Vektorräumen, Äquivalenzen mit Zorns Lemma) aber auch zu kontraintuitiven Objekten (nichtmessbare Mengen, Instanzen des Banach–Tarski-Paradoxons) im Rahmen klassischer Logik.

Umkehrung

Die Ablehnung von AC (Arbeiten in ZF ohne AC) verhindert manche Existenzbeweise und kann in bestimmten Modellen Konstruktivität und Messbarkeit wiederherstellen; viele äquivalente Sätze zu AC versagen oder müssen umformuliert werden, was die Schlüsselrolle des Axioms zeigt.

Abgrenzung

Die Aussage betrifft beliebige Familien nichtleerer Mengen; sie macht keine Angaben zur Definierbarkeit, Effektivität oder zu Kardinalitätsgrenzen der Auswahlfunktionen. In konstruktiven oder berechenbaren Einstellungen sind abgeschwächte Wahlprinzipien oder ausdrücklich gezeugte Auswahlen vorzuziehen.

Semantische Spannung

Steht im Gegensatz zu konstruktiven und berechenbaren Philosophien, die explizite Auswahlen verlangen; die Spannung zwischen der Annahme starker nichtkonstruktiver Existenz und der Bewahrung algorithmischer oder definierbarer Inhalte ist fundamental in der Mengenlehre.

Synthese

Das Auswahlaxiom ist ein Existenzpostulat, das die Auswahl aus beliebigen Familien nichtleerer Mengen ermöglicht; es ist mächtig und nichtkonstruktiv, äquivalent zu vielen klassischen Prinzipien und erzeugt sowohl übliche Theoreme als auch pathologische Objekte, wenn es uneingeschränkt angewendet wird.