: Matemáticas: lemme de Zorn

théorie des ensembles > lemme de Zorn

lemme de Zorn

En mathématiques, le lemme de Zorn (ou théorème de Zorn, ou parfois lemme de Kuratowski-Zorn) est un théorème de la théorie des ensembles qui affirme que si un ensemble ordonné est tel que toute chaîne (sous-ensemble totalement ordonné) possède un majorant, alors il possède un élément maximal. Le lemme de Zorn est équivalent à l'axiome du choix en admettant les autres axiomes de la théorie des ensembles de Zermelo-Fraenkel. Le lemme de Zorn permet d'utiliser l'axiome du choix sans recourir à la théorie des ordinaux (ou à celle des bons ordres via le théorème de Zermelo). En effet, sous les hypothèses du lemme de Zorn, on peut obtenir un élément maximal par une définition par récurrence transfinie, la fonction itérée étant obtenue par axiome du choix. Cependant, les constructions par récurrence transfinie sont parfois plus intuitives (quoique plus longues) et plus informatives.
(Wikipedia, L'Encylopédie Libre, https://fr.wikipedia.org/wiki/Lemme_de_Zorn)

http://data.loterre.fr/ark:/67375/PSR-JRSJ6RBM-L

RDF/XML TURTLE JSON-LD Creado 3/7/23, última modificación 24/8/23

Loterre