Satz von Mazurkiewicz (Mengenlehre)

Aus testwiki
Zur Navigation springen Zur Suche springen

Der Satz von Mazurkiewicz der Mengenlehre ist ein mathematischer Lehrsatz, welcher auf den polnischen Mathematiker Stefan Mazurkiewicz zurückgeht. Sein Beweis benutzt den zermeloschen Wohlordnungssatz und setzt insofern die Gültigkeit des Auswahlaxioms voraus.

Der Satz besagt:

Es existiert in der euklidischen Ebene 𝔼2 eine Punktmenge, welche mit jeder in 𝔼2 gelegenen Geraden genau zwei Punkte gemeinsam hat.

Quellen