Lycée Louis-Le-Grand, Paris Samedi 19/09/2015

MPSI 4 – Mathématiques
A. Troesch

Devoir Surveillé 1 – Ensembles, relations

La présentation, la lisibilité, l’orthographe, la qualité de la rédaction, la clarté, la précision et la concision des raisonnements
entreront pour une part importante dans l’appréciation des copies.
Les candidats sont invités à encadrer dans la mesure du possible les résultats de leurs calculs.
L’usage de tout document et de tout matériel électronique est interdit. Notamment, les téléphones portables doivent être éteints
et rangés.
Si au cours de l’épreuve, un candidat repère ce qui lui semble être une erreur d’énoncé, il le signalera sur sa copie et poursuivra
sa composition en expliquant les raisons des initiatives qu’il sera amené à prendre

Problème – (Vers l’infini et au-delà)

Le but de ce problème est de montrer que le cardinal d’un ensemble E est le même que le cardinal de E × E lorsque
E est un ensemble infini. On rappelle que N et N × N sont de même cardinal, résultat qu’on pourra utiliser sans
démonstration.
Notre démonstration passe par la définition des ordinaux de Cantor généralisant les entiers, en rajoutant à l’ensemble
des entiers toute une série d’ordinaux infinis, et par une récurrence transfinie sur l’ensemble des ordinaux, c’est-à-
dire une récurrence allant au-delà de l’infini, donc permettant d’atteindre tous les ordinaux. Nous devons également
montrer que sous réserve de la validité de l’axiome du choix, que nous supposerons ici, tout ensemble est en bijection
avec un ordinal. Ce dernier point est une conséquence directe du théorème de Zermelo, équivalent à l’axiome du choix.
On dit que E est subpotent à F s’il existe une injection de E vers F . On dit que E et F sont équipotents s’il existe
une bijection de E sur F . On dit que E est strictement subpotent à F si E est subpotent à F , mais non équipotent,
donc s’il existe une injection de E dans F , mais pas de bijection.
On admettra que deux ensembles E et F sont équipotents si et seulement si E est subpotent à F et F est subpotent
à E (théorème de Cantor-Bernstein).

Vous êtes autorisés à admettre des résultats de certaines questions pour pouvoir les utiliser par la
suite, ainsi qu’à ne répondre que partiellement à certaines questions. Indiquez alors clairement et
honnêtement ce que vous admettez. Par ailleurs, le sujet étant très long, il n’est pas attendu que vous
terminiez le problème. Répondre à peu près correctement à 4 des 6 parties vous assurera sans doute
déjà la note maximale.

Partie I – Ensembles bien ordonnés et récurrences transfinies

On dit qu’une relation binaire R sur E est antireflexive si la relation xRx n’est vérifiée pour aucun x de E.
1. Montrer qu’une relation binaire antireflexive et transitive sur E est antisymétrique.
On rappelle qu’une relation d’ordre strict (notée <) sur E est une relation antireflexive et transitive. Elle est totale si
pour tout (x, y) de E 2 , x = y ou x < y ou y < x.
On considère dorénavant une relation d’ordre strict totale.
Un segment initial X de E est un sous-ensemble X de E tel que si y ∈ X, alors pour tout z < y, z ∈ X. On dit que
le segment initial X est propre si X 6= ∅ et X 6= E.
On note, pour tout x ∈ E, Sx = {y ∈ E | y < x}
2. (a) Montrer que si x n’est pas l’élément minimum de E, Sx est un segment initial propre de E.
(b) Montrer que si Y et Z sont deux segments initiaux de E, on a Y ⊂ Z ou Z ⊂ Y . Ainsi, la relation l’inclusion
est une relation d’ordre totale sur l’ensemble des segments initiaux de E.
Une relation de bon ordre est une relation d’ordre strict, totale, et telle que tout sous-ensemble non vide x de E admette
un élément minimum. On dira alors que E est bien ordonné. On remarquera qu’un bon ordre étant total, pour tout
couple (x, y) d’éléments d’un ensemble bien ordonné, la quantité max(x, y) est bien définie.
3. Soit E un ensemble bien ordonné. Montrer que tout segment initial Y de E est soit de la forme Y = Sx , pour
un unique x de E, soit égal à E.
Indication : Comment définir x sous forme d’un minimum ?

1
 4. (Récurrence transfinie) Soit E un ensemble bien ordonné, de minimum m. Soit pour tout x ∈ E une propriété
P(x). Montrer que si P(m) est vérifiée et si pour tout x ∈ E distinct de m,

(∀y < x, P(y)) =⇒ P(x),

alors la propriété P(x) est satisfaite pour tout x de E.

Quelle propriété retrouve-t-on ainsi pour l’ensemble bien ordonné N ?

Partie II – Comparaison de deux ensembles bien ordonnés

On montre dans cette partie qu’étant donnés deux ensembles bien ordonnés, l’un peut être considéré comme un segment
initial de l’autre. Plus précisément, si X et Y sont deux ensembles bien ordonnés, l’une au moins des deux premières
propriétés ci-dessous est vérifiée :
(i) il existe un segment initial Y1 de Y et une bijection strictement croissante f : X → Y1 ; de plus, Y1 et f sont
alors uniques ;
(ii) il existe un segment initial X1 de X et une bijection strictement croissante g : Y → X1 ; de plus, X1 et g sont
alors uniques.
(iii) Par ailleurs, si ces deux propriétés sont satisfaites simultanément, alors X1 = X, Y1 = Y et f et g sont
réciproques l’une de l’autre.
On se donne donc deux ensembles bien ordonnés X et Y .
Dans toute cette partie, la notation Sx désigne le segment initial défini tel que dans la partie I, pour l’ensemble X.
1. Justifier que si (i) est vérifié pour le segment initial Y1 et la bijection f1 , ainsi que pour le segment initial Y2 et
la bijection f2 , alors Y1 = Y2 et f1 = f2 .
Indication : on pourra considérer le minimum de l’ensemble Z = {x ∈ X | f1 (x) 6= f2 (x)}, s’il existe.
2. (a) Soit f une bijection croissante de X sur un segment initial Y1 de Y . Montrer que pour tout segment initial
X1 de X, f (X1 ) est un segment initial de Y .
(b) Dans cette question, f étant une application de X dans Y1 inclus dans Y , on note encore f la fonction de
X dans Y , obtenue en grossissant l’ensemble d’arrivée. De même pour la fonction g.
Justifier que si (i) et (ii) sont vérifiés, g ◦ f = id et en déduire (iii).
Indication : on pourra utiliser la question 1.
[
3. Soit x ∈ X. Montrer que Sy est un segment initial de X.
y<x
D’après les résultats de la partie I, cet ensemble peut donc s’écrire
[
Sy = Sy 0 ,
y<x

pour un certain y0 de X.
4. Montrer que soit Sx = Sy0 , soit Sx = Sy0 ∪ {y0 }.
Indication : Discuter suivant que y0 ∈ Sx ou non.
5. Montrer qu’en décrétant que x < X pour tout x ∈ X, on prolonge le bon ordre de X en un bon ordre sur
X ∪ {X}.
∗
6. Montrer, par récurrence transfinie sur X ∪ {X}, que pour tout x ∈ X ∪ {X}, soit il existe y 6 x et une bijection
croissante g : Y → Sy , soit il existe un segment initial Yx de Y et une bijection croissante f : Sx → Yx .
7. Conclure.

Partie III – Ordinaux

On dit qu’un ensemble X est transitif si pour tout x, x ∈ X implique x ⊂ X.
Un ordinal est un ensemble transitif α tel que la relation d’appartenance munisse α d’un bon ordre, c’est-à-dire telle
que la relation définie pour x et y dans α par (x < y si et seulement si x ∈ y) est une relation de bon ordre. On
remarquera que puisqu’une relation de bon ordre est stricte par définition, si α est un ordinal, on a nécessairement
α 6∈ α, et ceci sans avoir à faire appel à l’axiome de fondation. Cette dernière remarque n’est pas anodine, car pour
exprimer l’axiome de fondation rigoureusement, il faut avoir construit au préalable les ordinaux.

2
 1. Montrer que ∅, {∅} et {∅, {∅}} sont des ordinaux.
2. Montrer que si α est un ordinal, et si β ∈ α, alors β est un ordinal.
Indication : utiliser la transitivité de l’ensemble α pour décrire la relation d’ordre sur β en fonction de celle de
α, puis en déduire les différentes propriétés requises. Utiliser la transitivité de la relation ∈ (c’est par définition
une relation d’ordre) pour étudier la transitivité de β.
3. Soit X un ensemble transitif dont les éléments sont tous des ordinaux. On suppose que pour tout (α, β) ∈ X 2 ,
si α et β sont distincts, alors α ∈ β ou β ∈ α. Montrer que X est un ordinal.
Indication : Pour montrer l’existence du minimum d’un sous-ensemble A non vide, considérer, pour un élément
α ∈ A donné, le sous-ensemble B de l’ordinal α défini par : B = {β ∈ A | β ∈ α}.
4. En déduire que :
(a) si α est un ordinal, alors α∪{α} aussi, appelé successeur de α, et noté α+ . C’est en itérant cette construction
qu’on construit les ordinaux finis représentant les entiers de N, en commençant à 0, représenté par l’ordinal
∅;
(b) si α est un ordinal, tout segment initial β de α est un ordinal. Montrer de plus que si de plus β 6= α, alors
β ∈ α.
Indication : pour ce dernier point, considérer le minimum de α \ β.
∗
5. Soit α et β deux ordinaux, et f une bijection croissante de α sur β. Montrer que α = β et que f est l’application
identique.
Indication : considérer le minimum de {x ∈ α | f (x) 6= x}, et montrer par double inclusion que f (x0 ) = x0 .
On se souviendra que la relation d’ordre est définie par l’appartenance.
6. Montrer que pour tous ordinaux α et β, on a α ∈ β, β ∈ α ou α = β, et que une seule de ces éventualités se
produit.
Indication : cherchez une question antérieure vous permettant d’exploiter la question précédente !
7. Montrer que sur la classe des ordinaux, la relation d’appartenance vérifie les propriétés définissant un bon ordre.
8. Montrer que la classe X des ordinaux n’est pas un ensemble
Indication : on pourra montrer que sinon, X est un ordinal et aboutir à une contradiction.
Même si la classe des ordinaux n’est pas un ensemble, on ADMETTRA que les propriété de la relation d’appartenance
valident le principe de récurrence transfinie sur la classe des ordinaux. Ainsi, pour prouver qu’une certaine propriété
est vraie pour tout ordinal supérieur ou égal à α0 , il suffit de montrer qu’elle est vraie pour α0 , et que pour un ordinal
α > α0 , si la propriété est vraie pour tout ordinal β vérifiant α0 6 β < α, alors elle est vraie pour l’ordinal α. Ici, la
relation d’ordre désigne la relation d’appartenance.
∗
9. On montre dans cette question que tout ensemble bien ordonné X peut être mis en bijection croissante avec un
ordinal.
(a) À l’aide des résultats de la partie II, montrer que si ce n’est pas le cas, alors pour tout ordinal α, il existe
un unique segment initial Xα de X tel qu’il existe une bijection croissante de α sur Xα .
(b) En admettant que si les éléments d’une classe C peuvent être mis en correspondance 1 à 1 (donc bijective-
ment, mais du point de vue des classes) avec les éléments d’un ensemble E, alors C est un ensemble, et en
considérant un certain sous-ensemble de P(X), aboutir à une contradiction et conclure.

Partie IV – Ordinaux finis

On note ω le plus petit ordinal distinct de ∅ qui ne soit pas le successeur d’un ordinal α, donc tel qu’il n’existe pas
d’ordinal α tel que ω = α+ = α ∪ {α}.
On dit qu’un ordinal µ est infini si et seulement ω 6 µ et qu’il est fini sinon.
On dit qu’un ensemble E est fini s’il existe une bijection entre un ordinal fini et E.
Le but de cette partie est de justifier que le plus petit ordinal infini est équipotent à l’ensemble N usuel.
1. Montrer que ω = {α, α < ω}, c’est-à-dire ω = Sω , cette section initiale pouvant être vue dans l’ordinal ω + ,
successeur de ω.
2. Dans cette question, on suppose connue une version intuitive de N, vérifiant notamment le principe de récurrence.
On définit par récurrence des ensembles λn par λ0 = ∅, et pour tout n ∈ N∗ , λn+1 = λn ∪ {λn }.
Montrer que pour tout n ∈ N, λn est un ordinal fini. Quel est son cardinal (au sens intuitif) ?

3
 3. Montrer que {λn , n ∈ N} est un ensemble transitif.
4. En déduire que ω = {λn , n ∈ N} (on procédera par double-inclusion).
5. Conclure que ω et N sont équipotents.

Partie V – Équipotence de λ × λ et λ, lorsque λ est un ordinal infini.

Soit (E, <) un ensemble bien ordonné. On note 6 la relation d’ordre large associée à <. On définit sur E × E la
relation, que l’on note également <, définie pour tout (x, y) ∈ E × E et (x′ , y ′ ) ∈ E × E par :

′ ′
max(x, y) < max(x , y )


(x, y) < (x′ , y ′ ) ⇐⇒ ou (max(x, y) = max(x′ , y ′ ) et x < x′ )

ou (max(x, y) = max(x′ , y ′ ) et x = x′ et y < y ′ ).


1. Montrer que cela définit une relation d’ordre strict sur E × E.

2. Montrer que < est une relation de bon ordre sur E × E.
3. Montrer que si E et F sont équipotents, alors E × E et F × F également.
4. Soit λ un ordinal infini. On suppose que pour tout ordinal infini µ < λ, µ est équipotent à µ × µ.
(a) Montrer que s’il existe µ < λ équipotent à λ, alors λ et λ × λ sont équipotents.
∗
(b) On suppose que pour tout ordinal µ < λ, µ est strictement subpotent à λ. On munit λ × λ du bon ordre
défini en début de partie, à partir du bon ordre de λ. On considère alors α un ordinal et f : α → λ × λ
une bijection croissante, l’existence de α et f étant assurée par le résultat de la question III-9. Nous allons
prouver que α 6 λ. En supposant le contraire, par définition de la relation d’ordre sur les ordinaux, on a
λ ∈ α. On note alors (x0 , y0 ) = f (λ), et β = max(x0 , y0 ).
i. Justifier que β est un ordinal, que β ∈ λ, puis que β est strictement subpotent à λ.
ii. En corestreignant f , montrer que α est subpotent à β × β.
iii. Montrer que α est strictement subpotent à λ. Conclure.
∗
(c) En déduire que λ et λ × λ sont équipotents.
5. Montrer que pour tout ordinal λ, les ensembles λ et λ × λ sont équipotents.

Partie VI – Extension du résultat à tout ensemble

On rappelle qu’on admet ici la validité de l’axiome du choix. On montre sous cette hypothèse que tout ensemble peut
être muni d’un bon ordre (théorème de Zermelo), ce qui va nous permettre d’étendre le résultat de la partie précédente
à tous les ensembles.
Soit E un ensemble. On définit X l’ensemble des couples (F, <F ) formés d’un sous-ensemble F de E et d’un bon ordre
<F sur F . On définit sur X une relation 6 par :
(F, <F ) 6 (G, <G ) si et seulement si F ⊂ G, <F est la restriction sur F de <G , et si F est un segment initial de G.
1. Montrer que X est un ensemble et que 6 est une relation d’ordre sur X.
2. Montrer que X est inductif.
3. En déduire l’existence d’un bon ordre sur E.
4. Montrer que pour tout ensemble infini E, E et E × E sont équipotents.