Théorème de Mazurkiewicz (théorie des ensembles)
Le théorème de Mazurkiewicz en théorie des ensembles énonce qu'il existe un sous-ensemble du plan affine réel qui rencontre chaque droite en exactement deux points. Sa démonstration utilise le lemme de Zorn donc suppose l'axiome du choix.
Références[modifier | modifier le code]
- (de) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en allemand intitulé « Satz von Mazurkiewicz (Mengenlehre) » (voir la liste des auteurs).
- (en) Wacław Sierpiński, Cardinal and Ordinal Numbers, Varsovie, PWN, , p. 446-448
Liens externes[modifier | modifier le code]
- (en) « Subset of the plane that intersects every line exactly twice », sur MathOverflow
- (en) Pierre-Yves Gaillard, « Mazurkiewicz's Theorem »
