Auswahlaxiom

Das Auswahlaxiom sichert die Existenz einer Auswahlfunktion für eine beliebige Familie von nichtleeren Mengen. Diese wählt aus jeder Menge ein Element aus. Genauer:

Sei I eine beliebige Indexmenge und A_i eine Familie von nichtleeren Mengen dann existiert eine Abbildung

mit

Obwohl die Aussage dieses Axioms einleuchtend erscheint, ist sie für unendliche Mengen alles andere als trivial.

Zu beachten ist, dass es sich um eine reine Existenzaussage handelt. Es wird kein Verfahren angegeben, wie die Auswahlfunktion konstruiert werden kann.

Wohlordnungssatz

Der Wohlordnungssatz sagt aus, dass jede Menge wohlgeordnet werden kann.

Im Rahmen den axiomatischen Mengenlehre nach Zermelo-Fraenkel sind Auswahlaxiom, Wohlordnungssatz und Zornsches Lemma äquivalent.

Das Buch der Natur ist mit mathematischen Symbolen geschrieben.

Galileo Galilei

Druckansicht

Impressum: Wurzelzieher Mathepedia • Thomas Steinfeld • Dorfplatz 25 • 17237 Blankensee • Tel.: 01734332309 (Vodafone/D2) • Email: matһе@wυrzеlzιeher.de

Amazon.de empfiehlt: