Satz von Kurepa

Der Satz von Kurepa () ist ein mathematischer Lehrsatz aus dem Teilgebiet der Mengenlehre. Er geht zurück auf den jugoslawischen Mathematiker Đuro Kurepa.<ref name="Harzheim">Harzheim: S. 52.</ref><ref name="Sierpiński">Sierpiński, S. 428</ref><ref>Oft auch unter dem Namen Đuro Kurepa genannt oder (meist im englischen Sprachraum) unter Djuro Kurepa; kyrillisch Ђуро Курепа (* 16. August 1907; † 2. November 1993) – Dura Kurepa. history.mcs.st-andrews.ac.uk</ref>

Der Satz beinhaltet eine logisch äquivalente Formulierung des Auswahlaxioms in der Sprache der Ordnungstheorie.

Formulierung des Satzes

Der Satz von Kurepa lässt sich wie folgt formulieren:<ref></ref><ref name="Harzheim" /><ref name="Sierpiński" />

Das Auswahlaxiom ist logisch äquivalent mit der Bedingung, dass jedes der beiden folgenden Prinzipien ( <math> {V} </math>  ) und  <math> (\overline{K}) </math>   Gültigkeit hat:

 <math> (V) </math>    : Auf jeder Menge   <math> X </math>   existiert eine lineare Ordnung   <math> \leq </math>.

 <math> (\overline{K}) </math>  : Jede Antikette einer jeden teilweise geordneten Menge <math>(X, \leq)</math> ist in einer bezüglich <math> \subseteq </math> maximalen Antikette enthalten.

In formelhafter Kurzdarstellung lässt sich der Satz auch so angeben:

Auswahlaxiom   <math>\iff</math>    <math> ({V}) \land (\overline{K}) </math>

Literatur

Originalarbeiten

Monographien

Einzelnachweise

<references />