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.

Property Value
dbo:abstract
  • 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. Le lemme de Zorn a des applications aussi bien en topologie, comme le théorème de Tychonov, qu'en analyse fonctionnelle, comme le théorème de Hahn-Banach, ou en algèbre, comme le théorème de Krull ou l'existence d'une clôture algébrique. Il doit son nom au mathématicien Max Zorn qui, dans un article de 1935, en donnait le premier un grand nombre d'applications, en redémontrant des résultats connus d'algèbre. Cependant Kazimierz Kuratowski en avait déjà publié une version en 1922, et plusieurs mathématiciens, à commencer par Felix Hausdorff en 1907, avaient introduit des principes de maximalité proches du lemme de Zorn. (fr)
  • 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. Le lemme de Zorn a des applications aussi bien en topologie, comme le théorème de Tychonov, qu'en analyse fonctionnelle, comme le théorème de Hahn-Banach, ou en algèbre, comme le théorème de Krull ou l'existence d'une clôture algébrique. Il doit son nom au mathématicien Max Zorn qui, dans un article de 1935, en donnait le premier un grand nombre d'applications, en redémontrant des résultats connus d'algèbre. Cependant Kazimierz Kuratowski en avait déjà publié une version en 1922, et plusieurs mathématiciens, à commencer par Felix Hausdorff en 1907, avaient introduit des principes de maximalité proches du lemme de Zorn. (fr)
dbo:namedAfter
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 96390 (xsd:integer)
dbo:wikiPageLength
  • 48299 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 189642755 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:année
  • 1922 (xsd:integer)
  • 1935 (xsd:integer)
  • 1970 (xsd:integer)
  • 1978 (xsd:integer)
  • 1982 (xsd:integer)
  • 1985 (xsd:integer)
  • 1997 (xsd:integer)
  • 2002 (xsd:integer)
  • 2006 (xsd:integer)
prop-fr:annéePremièreÉdition
  • 1954 (xsd:integer)
  • 1993 (xsd:integer)
prop-fr:auteur
prop-fr:collection
  • Studies in the History of Mathematics and Physical Sciences (fr)
  • Studies in the History of Mathematics and Physical Sciences (fr)
prop-fr:doi
  • 10.101600 (xsd:double)
  • 10.230700 (xsd:double)
prop-fr:fr
  • Jerry Bona (fr)
  • Jerry Bona (fr)
prop-fr:id
  • Moschovakis 2006 (fr)
  • Moschovakis 2006 (fr)
prop-fr:isbn
  • 0 (xsd:integer)
  • 978 (xsd:integer)
prop-fr:langue
  • en (fr)
  • en (fr)
prop-fr:lienAuteur
  • Serge Lang (fr)
  • Nicolas Bourbaki (fr)
  • Serge Lang (fr)
  • Nicolas Bourbaki (fr)
prop-fr:lieu
  • Amsterdam (fr)
  • New York/Berlin/Heidelberg etc. (fr)
  • Amsterdam (fr)
  • New York/Berlin/Heidelberg etc. (fr)
prop-fr:lireEnLigne
prop-fr:mois
  • février (fr)
  • février (fr)
prop-fr:nom
  • dbpedia-fr:Yiannis_Moschovakis
  • Bourbaki (fr)
  • Campbell (fr)
  • Moore (fr)
  • Rubin (fr)
  • Lang (fr)
  • Lemme de Zorn (fr)
  • Lemme de Zorn pour l'inclusion. (fr)
  • Principe de maximalité de Hausdorff. (fr)
prop-fr:numéro
  • 1 (xsd:integer)
  • 3 (xsd:integer)
prop-fr:numéroD'édition
  • 2 (xsd:integer)
  • 3 (xsd:integer)
prop-fr:numéroDansCollection
  • 8 (xsd:integer)
prop-fr:pages
  • 77 (xsd:integer)
prop-fr:pagesTotales
  • 278 (xsd:integer)
  • 914 (xsd:integer)
prop-fr:passage
  • 281 (xsd:integer)
  • 667 (xsd:integer)
  • appendix 2 (fr)
  • E.III.20, E.III.21 et fascicule de résultats E.R.29 (fr)
prop-fr:prénom
  • N. (fr)
  • Serge (fr)
  • Herman (fr)
  • Paul J. (fr)
  • Jean E. (fr)
  • Gregory H. (fr)
  • N. (fr)
  • Serge (fr)
  • Herman (fr)
  • Paul J. (fr)
  • Jean E. (fr)
  • Gregory H. (fr)
prop-fr:périodique
prop-fr:revue
prop-fr:titre
  • Algebra (fr)
  • Notes on Set Theory (fr)
  • A remark on method in transfinite algebra (fr)
  • Equivalents of the Axiom of Choice, II (fr)
  • The Origin of “Zorn's Lemma” (fr)
  • Une méthode d'élimination des nombres transfinis des raisonnements mathématiques (fr)
  • Zermelo's Axiom of Choice Its Origins, Development, and Influence (fr)
  • Éléments de mathématique, Théorie des ensembles (fr)
  • The Mathematical Import of Zermelo's Well-Ordering Theorem (fr)
  • Algebra (fr)
  • Notes on Set Theory (fr)
  • A remark on method in transfinite algebra (fr)
  • Equivalents of the Axiom of Choice, II (fr)
  • The Origin of “Zorn's Lemma” (fr)
  • Une méthode d'élimination des nombres transfinis des raisonnements mathématiques (fr)
  • Zermelo's Axiom of Choice Its Origins, Development, and Influence (fr)
  • Éléments de mathématique, Théorie des ensembles (fr)
  • The Mathematical Import of Zermelo's Well-Ordering Theorem (fr)
prop-fr:titreChapitre
  • Part I §4 : Maximal principles (fr)
  • Part I §4 : Maximal principles (fr)
prop-fr:url
prop-fr:vol
  • 3 (xsd:integer)
  • 41 (xsd:integer)
prop-fr:volume
  • 5 (xsd:integer)
prop-fr:wikiPageUsesTemplate
prop-fr:éditeur
prop-fr:énoncé
  • Si un ensemble d'ensembles, ordonné par inclusion, est tel que la réunion de toute chaîne d'éléments de est encore un élément de , alors possède un élément maximal pour l'inclusion. (fr)
  • Tout ensemble inductif admet au moins un élément maximal. (fr)
  • Tout ensemble ordonné contient une chaîne maximale pour l'inclusion. (fr)
  • Si un ensemble d'ensembles, ordonné par inclusion, est tel que la réunion de toute chaîne d'éléments de est encore un élément de , alors possède un élément maximal pour l'inclusion. (fr)
  • Tout ensemble inductif admet au moins un élément maximal. (fr)
  • Tout ensemble ordonné contient une chaîne maximale pour l'inclusion. (fr)
dct:subject
rdfs:comment
  • 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. (fr)
  • 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. (fr)
rdfs:label
  • Lemme de Zorn (fr)
  • Bổ đề Zorn (vi)
  • Lema de Zorn (ca)
  • Lema de Zorn (es)
  • Lema de Zorn (pt)
  • Lemat Kuratowskiego-Zorna (pl)
  • Lemma di Zorn (it)
  • Lemma van Zorn (nl)
  • Lemma von Zorn (de)
  • Zorns lemma (sv)
  • Лема Цорна (uk)
  • Лемма Цорна (ru)
  • ツォルンの補題 (ja)
  • Lemme de Zorn (fr)
  • Bổ đề Zorn (vi)
  • Lema de Zorn (ca)
  • Lema de Zorn (es)
  • Lema de Zorn (pt)
  • Lemat Kuratowskiego-Zorna (pl)
  • Lemma di Zorn (it)
  • Lemma van Zorn (nl)
  • Lemma von Zorn (de)
  • Zorns lemma (sv)
  • Лема Цорна (uk)
  • Лемма Цорна (ru)
  • ツォルンの補題 (ja)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of