Théorème de Zermelo

Théorème de la théorie des ensembles

En mathématiques, le théorème de Zermelo, appelé aussi théorème du bon ordre, est un résultat de théorie des ensembles, démontré en 1904 par Ernst Zermelo, qui affirme :

Théorème de Zermelo — Tout ensemble peut être muni d'une structure de bon ordre, c'est-à-dire d'un ordre tel que toute partie non vide admette un plus petit élément.

Axiome du choix, théorème de Zermelo et lemme de Zorn modifier

Le théorème de Zermelo, l'axiome du choix et le lemme de Zorn sont équivalents :

Le théorème de Zermelo implique l'axiome du choix modifier

Soient E un ensemble bien ordonné, et P(E) l'ensemble de ses parties. Alors, on définit une fonction de choix sur P(E)\{⌀} en associant, à chaque partie non vide de E, son plus petit élément (l'existence d'une telle fonction est un des énoncés possibles de l'axiome du choix).

Le lemme de Zorn implique le théorème de Zermelo modifier

Soit E un ensemble, soit M l'ensemble des relations de bon ordre sur une partie de E. M lui-même peut être muni d'un ordre partiel : on dit qu'un bon ordre o1 est inférieur ou égal à un bon ordre o2 si o1 est un segment initial de o2. On vérifie ensuite que M muni de cette relation est un ensemble inductif. Toute chaîne de M admet un majorant (qui est même une borne supérieure) : la relation dont le graphe est la réunion des graphes des ordres de la chaîne. On vérifie que cette relation est bien une relation de bon ordre (on exploite le fait que la chaîne est ordonnée par segment initial). Donc M admet un élément maximal. Un tel élément maximal est alors un bon ordre sur tout E (on pourrait sinon le prolonger en un bon ordre successeur, ce qui contredirait la maximalité).

Le lemme de Zorn implique donc l'axiome du choix (une preuve directe, sur le même principe, en est donnée dans l'article sur le lemme de Zorn). Réciproquement :

L'axiome du choix implique le lemme de Zorn modifier

Controverses sur le théorème modifier

À la suite de la publication de Zermelo dans Mathematische Annalen, Emile Borel, dans le volume suivant de la même revue, exprime son désaccord quant à l'utilisation par Zermelo de l'axiome du choix[1]. Il en suivra cinq lettres[2] de débat entre Emile Borel, Jacques Hadamard, René Baire, et Henri Lebesgue[3].

Notes et références modifier

  1. E. Borel, « Quelques remarques sur les principes de la théorie des ensembles », Mathematische Annalen,‎ , p. 194-195 (lire en ligne)
  2. J. Hadamard, « Cinq lettres sur la théorie des ensembles », Bulletin de la S. M. F,‎ , p. 261-273 (lire en ligne)
  3. Nicolas Bourbaki, Éléments d'histoire des mathématiques (ISBN 978-3-540-33981-6), p. 53

Bibliographie modifier

  • (en) Akihiro Kanamori, « The Mathematical Import of Zermelo's Well-Ordering Theorem », Bull. Symbolic Logic, vol. 3, no 3,‎ , p. 281-311 (DOI 10.2307/421146, lire en ligne)
  • (de) E. Zermelo, « Beweis, daß jede Menge wohlgeordnet werden kann (Aus einem an Herrn Hilbert gerichteten Briefe) », Mathematische Annalen, vol. 59,‎ , p. 514-516 (lire en ligne)
  • (de) E. Zermelo, « Neuer Beweis für die Möglichkeit einer Wohlordnung », Mathematische Annalen, vol. 65,‎ , p. 107-128 (lire en ligne)