Vous êtes sur la page 1sur 7

Ensembles de Cantor

Jean-Marie Exbrayat et Alain Pommellet


Lyce Joffre, Montpellier, et lyce Saint-Louis, Paris
Rsum:
Construction et proprits des ensembles de Cantor

1 Parties lmentaires
2 Construction et proprits des compacts .
3 L'ensemble triadique de Cantor

1 Parties lmentaires
1.1 Vocabulaire.
Dans tout ce qui suit, par segment nous entendons segment d'intrieur non vide; une partie
lmentaire est par dfinition une runion finie et non vide de segments et l'on note l'ensemble
des parties lmentaires. Les adjectifs ouvert et ferm sont toujours relatifs la topologie de .
Soit dans . On vrifie sans peine que que est runion disjointe de segments et ce de faon
unique : ces segments sont aussi les composantes connexes de ; est bien sr compact. Un
trou de est une composante connexe borne du complmentaire de , c'est donc un
intervalle ouvert born contigu . Le nombre de trous de est le nombre de composantes
connexes de , moins un. Enfin l'ordre de , not est le nombre de composantes
connexes de .
1.2 Bissection
On fixe ici un nombre , et l'on dfinit une application de dans de la faon
suivante :
-- Lorsque est un segment de , est l'ensemble lmentaire


o


Ainsi, est le trou de . Lorsque l'ensemble est lmentaire, avec composantes
Page 1sur 7 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=80&Type=enonce&Num=0&Mode=...
connexes , est l'ensemble lmentaire


l'application est appele bissection d'ordre sur .
Le nombre de composantes connexes de est alors le double du nombre de composantes
connexes de ; en dsignant par la somme des longueurs des segments composant une
partie lmentaire on a :



2 Construction et proprits des compacts .
Dans ce qui suit, on se donne une suite quelconque valeurs dans . On dfinit
alors une suite d'ensembles lmentaires par


et l'on pose


2.1 L'essentiel.
Thorme 1 Chaque est un compact non vide, parfait, d'intrieur vide, gal sa frontire
et a la puissance du continu. La mesure de Lebesgue de est


Dmonstration
On rappelle que l'on note la mesure de Lebesgue ; pour un intervalle , est sa longueur.
est d'intrieur vide. En effet, la suite est une suite dcroissante de compacts non vides
de donc est compact et non vide. Une rcurrence facile montre alors que, pour tout entier
, l'ordre de est , et que chaque composante connexe de est un segment de longueur
. De ce fait, si est un intervalle de contenu dans , ,
Page 2sur 7 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=80&Type=enonce&Num=0&Mode=...
est contenu dans donc dans l'une de ses composantes connexes, ce qui impose :


Il en rsulte que est vide ou un singleton. Ainsi :
-- les seuls connexes non vides contenus dans sont les singletons ; est totalement
discontinu, d'intrieur vide;
-- la frontire de est .
est parfait.
Faisons encore une observation utile : Soient et l'extrmit de l'une des composantes
connexes de . Par dfinition des bissections, est aussi extrmit de l'une des composantes
de l'un des segments constituant . De l :


et donc . Donnons-nous ensuite et . Choisissons tel que
. Le point appartient donc une composante connexe de , ici de
longueur . D'aprs la remarque prcdente, les deux extrmits de sont des
lments de appartenant , ce qui montre que est un point d'accumulation
de : le ferm est parfait.
possde la puissance du continu. Classiquement, possde la puissance du
continu. Nous allons construire une bijection de sur .
A chaque suite , on associe une suite de segments telle que tout soit
une composante connexe de , l'aide de la rcurrence suivante :
-- Les composantes connexes de tant numres dans l'ordre naturel, on
pose :
si ; si
-- Les divers tant des composantes connexes de , , partant de la
nouvelle bissection nous posons
Page 3sur 7 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=80&Type=enonce&Num=0&Mode=...
si ; si .
En termes imags, aprs bissection, on choisit le segment de gauche si , et celui de
droite si . Manifestement, la suite vrifie les hypothses du thorme des segments
embots, et pour tout ; de ce fait, l'intersection est un singleton
et l'on pose :


Lemme. L'application ainsi dfinie est une bijection de sur .
est injective. Soient et des lments distincts de ; posons


Par construction des suites et on a : ( si par
convention), et donc l'tape suivante : ; a fortiori .
est surjective. Rappelons que est la runion disjointe des segments ,
. Soit .
-- Si on pose ; si on pose .
-- Ayant choisi , on dispose d'une composante connexe de telle
que ; la n-ime bissection donne et l'on pose
si ; si .
Il est clair que est un point commun tous les , donc que . Le lemme donne
immdiatement le dernier rsultat souhait :


Mesure de . Rappelons que la mesure d'un ensemble lmentaire aprs bissection de
rapport est Il vient alors, par une rcurrence immdiate,
Page 4sur 7 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=80&Type=enonce&Num=0&Mode=...


Comme la suite est dcroissante et contenue dans un ensemble de mesure finie, le rsultat
annonc suit.
Remarque. En choisissant convenablement la suite il est facile de faire en sorte que la mesure
de soit strictement positive ; on dispose ainsi d'un ferm de , parfait, totalement
discontinu, et de mesure non nulle.

3 L'ensemble triadique de Cantor
On dsigne usuellement par l'ensemble obtenu avec la suite constante .
Dans ce cas la bissection "au tiers mdian" transforme le segment en
. Ainsi, les premiers ensembles lmentaires relatifs sont
; ;
L'ensemble possde bien videmment les proprits classiques des ensembles de Cantor :
est compact, parfait, totalement discontinu et a la puissance du continu. Le rsultat suivant
prcise la structure arithmtique de . Notons que nous acceptons, dans ce qui suit, les
dveloppements triadiques impropres.
Thorme 2 Tout lment de l'ensemble triadique de Cantor s'crit d'une faon et d'une
seule comme une somme triadique , o chaque appartient ; et toute
somme de cette forme est un lment de .
Dmonstration L'unicit est un rsultat classique de la thorie du dveloppement d'un nombre
rel en base . Prouvons l'existence d'une telle reprsentation.
Les notations sont celles du thorme de structure des ensembles de Cantor ci-dessus. Soit donc
la bijection issue de dfinie au paragraphe prcdent. Il existe, et de faon unique,
une suite telle que :

Page 5sur 7 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=80&Type=enonce&Num=0&Mode=...

Il suffit alors de prouver que


Nous allons en fait montrer, par rcurrence sur , que
i) est l'extrmit gauche de ;
ii) .
Il est clair, par construction de , que i) et ii) sont vrifies pour . Supposons donc ces
deux proprits vraies pour ; crivons , avec ;
on distingue deux cas :
Premier cas. ; c'est--dire . Alors , et

Deuxime cas. ; c'est--dire . Alors
; ;
Les proprits i) et ii) sont donc dmontres, ce qui visiblement
donne le thorme : tout lment de possde un dveloppement triadique de la forme
voulue, et toute suite de correspond un lment de .
Thorme 3 Tout lment de est somme de deux lments de ; l'inclusion rciproque
tant vidente, on a


En effet, soit ; le nombre admet un dveloppement triadique o
De l, , la suite prenant ses valeurs dans . Ds
lors, il est clair que l'on peut crire comme somme de deux suites et valeurs
Page 6sur 7 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=80&Type=enonce&Num=0&Mode=...
dans ; les nombres rels et sont deux lments de
l'ensemble de Cantor tels que , comme voulu.
Remarque. Il est possible - c'est l'une des variantes usuelles de l'expos -- de montrer directement
que l'application


est une bijection, par exemple en prouvant que la description de est


L'tude plutt gomtrique que nous avons dveloppe semble cependant plus claire, et nous
servira de base pour de nombreuses avances ultrieures.

Page 7sur 7 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=80&Type=enonce&Num=0&Mode=...