Démonstration du lemme de Zorn.
Paris 7, L3 – théorie des ensembles
(Paul Rozière)
9 septembre 2016
Soit (E , 6) un ensemble ordonné. On appelle chaîne de E un sous-ensemble totalement ordonné de
(E , 6). En particulier l’ensemble vide est une chaîne de E . Tout singleton est une chaîne de E .
On appelle segment initial de (E , 6) un sous-ensemble I de (E , 6) tel que si x ∈ I , alors {y ∈ E / y < x} ⊂ I .
Une réunion de segments initiaux est un segment initial (de même qu’une intersection mais on ne
l’utilisera pas).
On rappelle que, quand (C , 6) est un ensemble bien ordonné, pour tout segment initial I de C différent
de C , il existe un unique x ∈ C tel que I = {y ∈ C / y < x} ; il suffit de prendre pour x le plus petit élément
de l’ensemble des majorants stricts de I qui est non vide car I 6= C .
Un élément m de (E , 6) est un élément maximal s’il ne possède aucun majorant strict : ∀x ∈ E (m 6
x ⇒ m = x).
Une chaîne qui n’est strictement contenue dans aucune chaîne est appelée chaîne maximale. Si une
telle chaîne possède un majorant, celui-ci est alors un élément maximal de l’ensemble E .
Théorème 1 (Lemme de Zorn) Soit (E , 6) un ensemble ordonné dont toute chaîne possède un majorant,
alors (E , 6) possède un élément maximal.
Une idée de démonstration serait de partir d’un élément quelconque — le singleton constitué de cet
élément est alors une chaîne — puis, si celui-ci n’est pas maximal, de lui ajouter un majorant strict de
façon à former une nouvelle chaîne, et ainsi de suite.
En général ce procédé ne s’arrête pas en un nombre fini d’étapes. Supposons que l’on ait construit
de cette façon une suite de chaînes finies, chacune prolongeant la précédente en ajoutant un élément.
La chaîne de longueur n est un segment initial des chaînes de longueur supérieure. La réunion de ces
chaînes forme encore une chaîne (infinie cette fois-ci). Elle a donc un majorant et on peut l’ajouter à
celle-ci de façon à obtenir une nouvelle chaîne et recommencer. Il faut faire un choix à chaque étape
parmi les majorants stricts, et comme il peut y avoir une infinité d’étapes, on utilise l’axiome du choix.
Une chaîne ainsi construite est non seulement totalement ordonnée mais bien ordonnée, c’est-à-
dire que toute partie non vide de la chaîne possède un plus petit élément. On peut en fait démontrer un
énoncé renforcé du lemme de Zorn, dont le premier est une conséquence immédiate.
Théorème 2 (Lemme de Zorn pour les chaînes bien ordonnées) Soit (E , 6) un ensemble ordonné dont
toute chaîne bien ordonnée possède un majorant, alors (E , 6) possède un élément maximal.
La démonstration demande de préciser la construction de la chaîne maximale esquissée ci-dessus, et
de justifier qu’elle s’arrête (ce sera alors forcément sur un élément maximal). Il faudrait quelques ou-
tils supplémentaires de théorie des ensembles concernant les bons ordres (par exemple la théorie des
ordinaux) pour rendre cette démarche rigoureuse, il s’agit essentiellement, en plus de l’utilisation de
l’axiome du choix, d’un principe de définition par récurrence plus fort que celui sur les entiers (il faut
pouvoir aller « bien au delà » des entiers).
La démonstration qui suit décrit directement cette construction : la chaîne est construite par « ap-
proximations successives ». C’est une adaptation (due à Helmut Kneser) de la première démonstration
que tout ensemble peut être bien ordonné due à Ernst Zermelo en 1904.
Une démonstration différente, qui construit plutôt la chaîne par intersection, est donnée dans le
polycopié de J.L. Krivine « Logique et théorie axiomatiques ».
Une chaîne bien ordonnée maximale peut être obtenue par réunion de chaînes bien ordonnées qui se
« prolongent l’une l’autre ». Le lemme suivant donne une condition pour qu’une réunion de chaînes
bien ordonnées soit encore bien ordonnée.
Lemme 1 Soit (E , 6) un ensemble ordonné, et S un ensemble de chaînes bien ordonnées de E tel qu’étant
données deux chaînes C et D dans S , C est un segment initial de D ou D est un segment initial de C . Alors
i. tout élément de S est un segment initial de S (la réunion des chaînes de S ) ;
S
1
S est une chaîne bien ordonnée de E .
S
ii.
Démonstration.
i. Soit C ∈ S . Soit x ∈ C . Soit y ∈ S tel que y < x. Alors il existe D dans S tel que y ∈ D. Si D ⊂ C ,
S
y ∈ C . Sinon C est un segment initial de D et comme y < x, on a encore y ∈ C . On a montré que
C est un segment initial de S .
S
ii. Soit X un sous-ensemble non vide de S . Alors il existe une chaîne C de S telle que X ∩C 6= ;.
S
Soit a le plus petit élément de X ∩ C . Montrons que c’est aussi le plus petit élément de X . Soit
y ∈ X . Si y ∈ C , alors a 6 y par définition de a. Sinon, y 6∈ C , il existe D ∈ S , tel que y ∈ D.
Comme D 6⊂ C , C est un segment initial de D, et donc comme y 6∈ C , on ne peut avoir y < a, d’où
par totalité de l’ordre dans D, a 6 y.
On a montré que S est une chaîne bien ordonné par l’ordre de (E , 6).
S
On veut utiliser ce lemme pour construire une chaîne bien ordonnée maximale comme réunion de
chaînes toutes comparables par segment initial. On utilise maintenant l’axiome du choix pour définir
une fonction qui permet de prolonger de façon uniforme les chaînes bien ordonnées de (E , 6).
Lemme 2 (AC) Soit un ensemble ordonné (E , 6), alors il existe une fonction g définie sur toutes les chaînes
bien ordonnées de (E , 6) qui possèdent un majorant strict, et telle que g (C ) est un majorant strict de C .
Démonstration. Soit f une fonction de choix sur P (E )\{;}. Soit µ(C ) l’ensemble des majorants stricts
de la chaîne bien ordonnée C . Si µ(C ) 6= ;, on pose g (C ) = f (µ(C )).
Étant donnée une fontion g définie sur une partie de l’ensemble des chaînes bien ordonnées de (E , 6),
on appelle g -chaîne une chaîne bien ordonnée C de (E , 6) vérifiant
∀x ∈ C x = g ({y ∈ C / y < x}) .
Si g est une fonction telle que celle fournie par le lemme 2, c’est-à-dire définie sur toutes les chaînes
bien ordonnées strictement majorées, alors :
— g (;) est forcément défini (si E 6= ;), et appartient donc à toute g -chaîne non vide ;
— si C est une g -chaîne qui possède des majorants stricts, alors C ∪{g (C )} est encore une g -chaîne.
L’idée telle qu’exposée initialement était de construire une chaîne maximale en « itérant suffisamm-
ment » une telle fonction g , à partir de g (;). On va la réaliser en construisant une chaîne maximale
comme réunion de toutes les g -chaînes. Le lemme suivant assure que les g -chaînes se « recollent »
comme il faut, c’est-à-dire qu’un ensemble de g -chaînes satisfait les hypothèses du lemme 1.
Lemme 3 Soit (E , 6) un ensemble ordonné, g une fonction définie sur une partie de l’ensemble des chaînes
bien ordonnées de E . Alors, étant données deux g -chaînes de (E , 6), l’une est segment initial de l’autre.
Démonstration. Soient C et D deux g -chaînes. Soit S l’ensemble des chaînes bien ordonnées qui sont
des segments initiaux à la fois de C et de D. L’ensemble S est un sous-ensemble d’un ensemble bien
S
ordonné (C ou D) donc c’est une chaîne bien ordonnée. C’est un segment initial de C , ainsi que de D,
comme réunion de segments initiaux.
Si S = C ou S = D on a la conclusion du lemme. Raisonnons par l’absurde et supposons que
S S
S 6= C et S 6= D. Comme S est un segment initial strict de ces deux ensembles bien ordonnés,
S S S
il existe un élément x de C , et un élément x 0 de D tel que S = {y ∈ C / y < x} = {y ∈ D / y < x 0 }. Mais
S
comme C et D sont des g -chaînes, x = x 0 = g ( S }. La chaîne bien ordonnée S ∪ {g ( S )} est alors
S S S
un segment initial de C , ainsi que de D. Ceci contredit la définition de S .
Démonstration (lemme de Zorn). Le théorème 2 (lemme de Zorn pour les chaînes bien ordonnées) se
déduit des trois lemmes précédents.
Soit (E , 6) un ensemble ordonné dont toutes les chaînes bien ordonnées possèdent un majorant.
D’après le lemme 2 (axiome du choix), il existe une fonction g qui a toute chaîne bien ordonnée stricte-
ment majorée dans (E , 6) associe un majorant strict. l’ensemble des g -chaînes satisfait les hypothèses
du lemme 1 d’après le lemme 3. La réunion G de toutes les g -chaînes de (E , 6) est donc encore une
chaîne bien ordonnée (lemme 1 (ii)). Soit x ∈ G, alors x ∈ C pour une g -chaîne C , et par définition
x = g ({y ∈ C / y < x}). Or C est un segment initial de G (lemme 1 (i)), {y ∈ C / y < x}) = {y ∈ G / y < x},
d’où x = g ({y ∈ G / y < x}) ; G est donc une g -chaîne.
La g -chaîne bien ordonnée G ne possède pas de majorant strict, car sinon on pourrait la prolonger
en une nouvelle g -chaîne par g (G). Or, par hypothèse, G possède un majorant, qui est donc un élément
maximal.
