ETUDE SUR LES EQUIPARTITIONS DUN ENSEMBLE

Guy PHILIPPE
13 septembre 2003

www.L es-M athematiques.net

Prerequis :
On suppose connus les resultats basiques de la theorie des ensembles ZFC qui correspondent aux 2 premiers chapitres du
livre de J-L Krivine comme la trichotomie des cardinaux, a` savoir, pour les cardinaux de 2 ensembles A et B quelconques
on a soit card(A) < card(B), soit card(A) = card(B), soit card(A) > card(B) o`u card(A) 6 card(B) veut dire
quil existe une injection de A dans B. La relation 6 dans la collection des cardinaux (ce nest pas un ensemble) est
trivialement reflexive,transitive et elle est antisymetrique grace au theor`eme de Cantor-Bernstein (voir la preuve dans la
banque dexercices du site) ; on dira que cest une relation dordre dans la collection des cardinaux et cet ordre est total
en vertu de la trichotomie.
Un autre resultat basique (difficile) sera utilise frequemment a` savoir card(E n ) = card(E) si E est INFINI et n un entier
non nul. Penser aux cas particuliers NxN qui est e quipotent a` N ou RxR qui est e quipotent a` R que lon peut prouver
directement ou a` la courbe de Peano.
On rappelle que laddition et la multiplication de 2 cardinaux sont ainsi definies : card(A) + card(B) S
=le cardinal
de la reunion de 2 ensembles disjoints e quipotents respectivement a` A et B par exemple card({0}xA {1}xB) et
card(A)xcard(B) = card(AxB).
definition : on appellera e quipartition dun ensemble E 6= toute partition en parties de meme cardinal ; si ce cardinal est c on dira que cest une c-equipartition.
Il est clair que si E est fini de cardinal n les seules c-equipartitions possibles sont celles o`u c divise n et alors on
a card().c = card(E) i.e. nombre delements dune partie multiplie par nombre de parties est e gal au nombre
delements de E. On verra dans la suite que cette e galite sera encore vraie si E est un ensemble infini, on dira que
cest le principe des e quipartitions.
Theor`eme 1
Pour tout ensemble infini E et tout cardinal non nul c 6 card(E), E admet une c-equipartition.
Dans la suite le signe + entre 2 ensembles designera la reunion disjointe et on utilisera le principe de trichotomie qui
est une consequence de la theorie des ordinaux.
Remarquons que si c > card(E) alors E nadmet pas de c-equipartition sinon soit une telle c-equipartition de E, alors
pour A on aurait card(A) = c > card(E) or A E do`u on aurait card(A) 6 card(E) et ainsi la trichotomie
serait contredite.
Commencons par prouver 2 lemmes.
Lemme 1 : card(A) + card(A) = card(A) pour tout ensemble A infini
Lemme 2 : si A et B sont 2 ensembles dont lun est infini et lautre non vide alors le produit des cardinaux de A et B
est e gal au plus grand des deux.
Preuve du lemme 1. Lapplication Aa 7 (0, a) {0}xA+{1}xA est clairement injective donc card(A) 6 card({0}xA+
{1}xA) = card({0}xA) + card({1}xA) = card(A) + card(A).
De plus, si a1 et a2 sont 2 e lements distincts de A on a card(A) + card(A) = card({a1 }xA) + card({a2 }xA) =
card({a1 }xA+{a2 }xA) = card({a1 , a2 }xA) 6 card(AxA) vu que {a1 , a2 }xA AxA et donc card(A)+card(A) 6
card(A) compte tenu de card(AxA) = card(A). Finalement on a bien card(A) + card(A) = card(A).
Preuve du lemme 2. Comme card(AxB) = card(BxA) le role de A et B est symetrique, on peut donc se contenter de
la preuve dans le cas o`u on suppose B infini et A 6= .
Si card(A) 6 card(B) alors il existe une injection de A dans B do`u i(A) est e quipotent a` A et i(A) B do`u
AxB est e quipotent a` i(A)xB BxB, par suite card(i(A)xB) = card(AxB) 6 card(BxB) = card(B) et donc
card(AxB) 6 card(B).
De plus A 6= , soit a A alors lapplication Bx 7 (a, x) AxB est injective do`u card(B) 6 card(AxB) et
finalement card(A)xcard(B) = card(AxB) = card(B) = M ax(card(A), card(B)).
Si card(B) 6 card(A) alors il existe une injection i : B 7 A do`u B est e quipotent a` i(B) A et ainsi BxA est
e quipotent a` i(B)xA AxA. Par consequent card(B)xcard(A) = card(BxA) = card(i(B)xA) 6 card(AxA) =
card(A) soit card(AxB) 6 card(A).
De plus B est infini, fixons un e lement b de B. Alors lapplication Aa 7 (b, a) BxA est clairement injective et ainsi
on a card(A) 6 card(BxA) = card(AxB). Finalement on a bien card(A)xcard(B) = card(AxB) = card(A) =
M ax(card(A), card(B)).

Preuve du theor`eme 1 (cette preuve simple et e legante est due a` Labib Haddad)
Comme c 6 card(E) si H est un ensemble de cardinal c il existe une injection i : H 7 E do`u i(H) est e quipotent a` H
et si on pose F = i(H) on a F E avec card(F ) = c. De plus F 6= vu que c est non nul.
Du lemme 2 on tire card(ExF ) = M ax(card(E), card(F )) = card(E) vu que E est infini et F 6= . Donc il existe une

www.L es-M athematiques.net

bijection de ExF sur E. Or les ensembles {a}xF pour a parcourant E forment une c-equipartition de ExF transformee
par la bijection en une c-equipartition de E. CQFD.
Si un ensemble fini E admet une c-equipartition alors on a card()xc = card(E), c e tant bien sur un cardinal fini.
Mais un ensemble fini E nadmet pas toujours une c-equipartition pour tout cardinal non nul c 6 card(E). Par exemple
un ensemble ayant pour cardinal 15 nadmet pas de 4-equipartition.
Par contre un ensemble infini E, pour tout cardinal non nul c 6 card(E), admet une c-equipartition (theor`eme 1 ) et
on a encore card()xc = card(E) comme le montre le theor`eme suivant.
Theor`eme 2
E e tant un ensemble infini, c un cardinal non nul avec c 6 card(E) et une c-equipartition de E on a :
1) card()xc = card(E)
2) Si 0 < c < card(E) alors toutes les c-equipartitions sont e quipotentes a` E
Preuve du theor`eme 2
1) Comme c 6 card(E) on a dej`a vu qualors
S il existe F E tel que Card(F ) = c. Pour tout A notons A
lensemble des bijections de A dans F et  = A A . Notons que A A 6= vu que card(A) = c = card(F ).
Appliquons laxiome du choix ; soit une fonction de choix definie par P() M 7 (M )  avec (M ) M . Or
A A P() do`u (A ) A . Donc A on peut choisir la bijection (A ) A quon notera pour simplifier A . D`es lors lapplication Ex 7 (Ax , Ax (x)) xF o`u Ax designe lunique e lement de qui contient x, est
une bijection car (Ax , Ax (x)) = (Ay , Ay (y)) = Ax = Ay et Ax (x) = Ay (y) do`u Ax (x) = Ax (y) = x = y
vu que Ax est une bijection de Ax sur F . Voil`a pour linjectivite. De plus (A, b) xF posons a = 1
A (b) donc
a A et ainsi A = Aa do`u Aa (a) = A (a) = b et la surjectivite est prouvee vu que a 7 (Aa , Aa (a)) = (A, b).
Finalement on a bien E et xF qui sont e quipotents et donc card(xF ) = card(E) ou encore card()xcard(F ) =
card()xc = card(E).
2) On suppose donc que 0 < c < card(E) et que F E avec card(F ) = c. Dapr`es le 1) on sait que si est
une c-equipartition de E on a card()xcard(F ) = card(E) do`u ou F est necessairement infini et lautre nest pas
vide, on peut donc appliquer lemme 2 et ainsi card(E) = card()xcard(F ) = M ax(card(), card(F )) = card()
sinon on aurait card(E) = M ax(card(), card(F )) = card(F ) = c do`u une contradiction. On a bien prouve que pour
0 < c < card(E) toutes les c-equipartitions de E sont e quipotentes a` E.
Remarque : si c = card(E) alors il existe encore des c-equipartitions de E mais elles ne sont plus necessairement
e quipotentes a` E comme le prouve lexemple suivant avec E = N, c = card(N) et les c-equipartitions 1 = {N},
2 = {2N, 2N + 1}, 3 = {3N, 3N + 1, 3N + 2}.
On a bien demontre le principe des e quipartitions a` savoir : pour tout e quipartition dun ensemble E (fini ou
infini) en parties toutes de meme cardinal c on a card()xc = card(E) cest a` dire en langage plus image le nombre
delements dun ensemble e quipartitionne est e gal au nombre delements dune partie multiplie par le nombre de
parties. En plus si 0 < c < card(E) alors les c-equipartitions sont toutes e quipotentes deux a` deux et meme, si E est
infini, toutes e quipotentes a` E.
Comme application on va montrer que lon peut attribuer une parite aux cardinaux transfinis. Lidee de depart est que le
cardinal dun ensemble non vide FINI (i.e. un entier non nul) est pair si et seulement si cet ensemble admet une partition
en paires i.e. une 2-equipartition. il est clair quune bijection transforme une 2-equipartition en une 2-equipartition ce qui
permet de definir un cardinal transfini pair.
Definition : un cardinal fini ou infini non nul sera dit pair si et seulement si un ensemble qui le represente admet une 2e quipartition. Dans le cas contraire le cardinal sera dit impair. Il est clair que cette definition ne depend pas du representant
choisi.
theor`eme 3
Tout cardinal transfini est pair
En effet si E est un ensemble qui represente ce cardinal transfini alors E est infini et comme 0 < 2 6 card(E) dapr`es
le theor`eme 1 il admet une 2-equipartition, donc ce cardinal est bien pair.
Par consequent tout ensemble infini E admet un derangement involutif f . Il suffit de se donner une 2-equipartition et
definir f pour tout x E par f (x) = lautre e lement de la paire unique de qui contient x.
Pour me contacter

guyphilippe2@aol.com