Satz von Kurepa
# Satz von Kurepa

Der Satz von Kurepa (englisch Theorem of Kurepa) ist ein mathematischer Lehrsatz aus dem Teilgebiet der Mengenlehre. Er geht zurück auf den jugoslawischen Mathematiker Đuro Kurepa.

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 ( ${V}$ ) und $({\overline {K}})$ Gültigkeit hat:
       $(V)$  : Auf jeder Menge $X$ existiert eine lineare Ordnung $\leq$.
       $({\overline {K}})$ : Jede Antikette einer jeden teilweise geordneten Menge $(X,\leq )$ ist in einer bezüglich $\subseteq$ maximalen Antikette enthalten.

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

    Auswahlaxiom $\iff$  $({V})\land ({\overline {K}})$
