Satz von Marczewski-Szpilrajn

Satz von Marczewski-Szpilrajn

Der Satz von Marczewski-Szpilrajn, manchmal auch nur Satz von Szpilrajn, benannt nach dem polnischen Mathematiker Edward Marczewski, der bis 1940 den Namen Szpilrajn führte, ist ein mathematischer Satz aus der Ordnungstheorie. Er besagt, dass sich jede partielle Ordnung zu einer linearen Ordnung erweitern lässt.

Eine partielle Ordnung ist eine nicht-leere Menge X zusammen mit einer 2-stelligen Relation \prec, so dass

Die partielle Ordnung heißt linear, wenn je zwei Elemente entweder gleich sind oder in einer Ordnungsrelation stehen.

Die gewöhnliche Anordnung < auf der Menge \R der reellen Zahlen ist eine lineare Ordnung. Definiert man auf \R^2 die Ordnung

(x_1,y_1)\prec (x_2,y_2) genau dann , wenn x1 < y1 und x2 < y2,

so ist \prec eine partielle Ordnung, die nicht linear ist.

  • Satz von Marczewski-Szpilrajn[1]: Jede partielle Ordnung lässt sich zu einer linearen Ordnung erweitern.

Genauer bedeutet dies, dass es auf jeder partiell geordneten Menge (X,\prec) eine lineare Ordnung < gibt, so dass aus x\prec y stets x < y folgt. Im oben angegebenen Beispiel (\R^2,\prec) ist etwa die lexikographische Ordnung eine lineare Ordnung, die \prec fortsetzt.

Man zeigt diesen Satz zunächst mittels vollständiger Induktion für endliche Mengen und führt den allgemeinen Fall mittels des Endlichkeitssatzes auf den Fall endlicher Mengen zurück, wie im unten angegebenen Lehrbuch von Philipp Rothmaler ausgeführt wird.

Einzelnachweise

  1. Philipp Rothmaler: Einführung in die Modelltheorie, Spektrum Akademischer Verlag 1995, ISBN 978-3-86025-461-5, Satz 7.2.1

Wikimedia Foundation.

Игры ⚽ Нужна курсовая?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Edward Marczewski — (* 15. November 1907 in Warschau; † 17. Oktober 1976 in Breslau) war ein polnischer Mathematiker. Sein Nachname war bis 1940 Szpilrajn. Er war Mitglied der Warschauer Schule der Mathematik. Sein Leben und seine Arbeit nach dem Zweiten Weltkrieg… …   Deutsch Wikipedia

  • Liste mathematischer Sätze — Inhaltsverzeichnis A B C D E F G H I J K L M N O P Q R S T U V W X Y Z A Satz von Abel Ruffini: eine allgemeine Polynomgleichung vom …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”