Wohlordnung - LinkFang.de





Wohlordnung


Eine Wohlordnung einer Menge S ist eine totale Ordnung, bei der jede nichtleere Teilmenge von S ein kleinstes Element bezüglich dieser Ordnung hat. Die Menge S zusammen mit der Wohlordnung heißt eine wohlgeordnete Menge. Beide Begriffe stammen aus der Mengenlehre von Cantor.

Zum Beispiel ist die normale Anordnung der natürlichen Zahlen eine Wohlordnung, aber weder die normale Anordnung der ganzen Zahlen noch die der positiven reellen Zahlen ist eine Wohlordnung.

Ist eine Menge S wohlgeordnet, so gibt es keine unendlich lange absteigende Kette, d. h. keine unendliche Folge [math](a_i)[/math] in S, so dass für alle [math]i[/math] gilt [math]a_{i+1}\lta_i[/math]. Unter Verwendung einer schwachen Version des Auswahlaxioms (Axiom of Dependent Choice) folgt auch die Umkehrung: Wenn es in [math]S[/math] keine unendliche absteigende Kette gibt, so ist [math]S[/math] wohlgeordnet.

In einer wohlgeordneten Menge gibt es stets ein Element ohne Vorgänger, nämlich das kleinste Element von S selbst. Der Nachfolger eines Elements ist immer eindeutig bestimmt. Es kann ein größtes Element geben, das keinen Nachfolger hat. Mehrere Elemente ohne Nachfolger sind nicht möglich.

Dagegen kann es mehrere (sogar unendlich viele) Elemente ohne Vorgänger geben.

Hierfür ein Beispiel: Die natürlichen Zahlen sollen so geordnet sein, dass jede gerade Zahl „größer“ ist als jede ungerade Zahl. Untereinander sollen die geraden und die ungeraden Zahlen wie üblich geordnet sein, also in der folgenden Art:

[math] 1 \lt 3 \lt 5 \lt \cdots \lt 2 \lt 4 \lt 6 \lt \cdots [/math]

Offenbar ist dies eine wohlgeordnete Menge: Enthält eine Teilmenge irgendwelche ungeraden Zahlen, so ist die kleinste von ihnen auch „kleinste“ Zahl der Teilmenge (alle geraden Zahlen sind „größer“); enthält sie nur gerade Zahlen, so ist die kleinste aus diesen auch die „kleinste“ im Sinne der Wohlordnung, denn ungerade Zahlen, die „kleiner“ wären, sind ja nicht vorhanden. Die Ordinalzahl dieser Wohlordnung wird üblicherweise mit [math]\omega+\omega[/math] bezeichnet. Es gibt hier kein größtes Element, aber zwei Elemente ohne Vorgänger: die Eins und die Zwei.

Wenn eine Menge wohlgeordnet ist, dann kann die Technik der transfiniten Induktion genutzt werden, um zu zeigen, dass eine gegebene Aussage für alle Elemente dieser Menge zutrifft. Die vollständige Induktion ist ein Spezialfall der transfiniten Induktion.

Der Wohlordnungssatz besagt, dass jede Menge wohlgeordnet werden kann. Unter Zugrundelegung der übrigen mengentheoretischen Axiome ist dieser Satz äquivalent zum Auswahlaxiom.

Siehe auch

Literatur


Kategorien: Ordnungstheorie | Ordnungsstruktur | Mengenlehre

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Wohlordnung (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.