##  [Auswahlaxiom](/de/node/62386) 

 Definition

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

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

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

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

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

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

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

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

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.