Der Satz von Kurepa () ist ein mathematischer Lehrsatz aus dem Teilgebiet der Mengenlehre. Er geht zurück auf den jugoslawischen Mathematiker Đuro Kurepa.Harzheim: S. 52.Sierpiński, S. 428Oft 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
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:
Das Auswahlaxiom ist logisch äquivalent mit der Bedingung, dass jedes der beiden folgenden Prinzipien ( ) und Gültigkeit hat:
: Auf jeder Menge existiert eine lineare Ordnung . : Jede Antikette einer jeden teilweise geordneten Menge ist in einer bezüglich maximalen Antikette enthalten.
In formelhafter Kurzdarstellung lässt sich der Satz auch so angeben:
Auswahlaxiom
Literatur Originalarbeiten
Monographien
Einzelnachweise
Kurepa, Satz von