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 :
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.