Définition [Cantor ]
On note l'ensemble .
On note l'ensemble
.
On note l'ensemble
...
On note l'ensemble
.
On note l'intersection des , pour
. On appelle cet ensemble ensemble triadique de Cantor.
On le munit d'une topologie en considérant la restriction de la distance usuelle à .
Figure:
Construction de l'ensemble de Cantor. Les lignes successives représentent , , , .
Proposition
L'ensemble triadique de Cantor est aussi l'ensemble des réels de dont le développement 3-adique ne comporte que des 0 ou des .
Démonstration:Cela se prouve facilement en considérant l'intersection des jusqu'à un certain rang, et en prenant la limite en l'infini.
Proposition
L'ensemble triadique de Cantor est compact.
Démonstration: est fermé, car c'est une intersection de fermés, et borné car inclus dans . Donc il est compact, comme tout fermé borné de
.
Proposition
L'ensemble triadique de Cantor est de mesure nulle et d'intérieur vide.
Démonstration: est mesurable, comme intersection dénombrable de fermé. La mesure de est inférieure à la mesure de , pour tout ; donc est de mesure nulle. est d'intérieur vide, sinon il ne serait pas de mesure nulle.
Proposition
L'ensemble triadique de Cantor est homéomorphe à
, ensemble des suites de , muni de la topologie produit de la topologie discrète sur .
Démonstration:Soit la fonction qui à une suite de associe la somme des .
Cette fonction est injective, clairement. Elle est surjective (proposition ). Voyons maintenant la continuité de ; en fait on va considérer la continuité de . Pour cela on considère l'image réciproque d'un ouvert non vide de la base d'ouverts de la topologie produit constituée des produits d'ouverts tels qu'un nombre fini d'ouverts seulement soient différents de . Il est suffisant pour que l'image réciproque de soit dans cet ouvert que les premiers chiffres soient les mêmes, et donc que la distance soit suffisamment petite.
Enfin toute fonction continue bijective d'un compact dans un séparé est un homéomorphisme (d'après le corollaire ), ce qui permet de conclure.
Proposition
L'ensemble triadique de Cantor est totalement discontinu, ce qui signifie que la composante connexe d'un point
est réduite à ce point.
Il suffit de montrer qu'étant donnés et dans , il existe deux ouverts fermés disjoints contenant l'un et l'autre . En effet ainsi la composante connexe de sera différente de la composante connexe de .
Pour cela on peut considérer indifférement comme le produit ou comme l'intersection des ; dans le premier cas il suffit de considérer le premier rang auquel les deux suites diffèrent, dans le deuxième cas, le premier chiffre dans le développement triadique pour lequel et diffèrent.
Proposition
L'ensemble triadique de Cantor ne comporte pas de point isolé.
On note qu'un ensemble parfait est un ensemble fermé et dépourvu de point isolé.
sera donc un ensemble parfait.
Démonstration:Facile, soit en considérant un ouvert de la base d'ouverts dans le cas du produit
, soit en considérant l'intersection d'une boule ouverte avec dans le cas de l'intersection des (bien entendu, une seule de ces deux preuves suffit!).
Proposition et sont les deux seuls compacts inclus dans qui vérifient
Démonstration:Il est facile de vérifier que et sont des solutions de l'équation donnée.
On considère maintenant l'ensemble des compacts non vides inclus dans , et l'application qui à un compact associe
.
Cette application associe bien un compact inclus dans à un compact inclus dans . On va considérer un compact donné, non vide, et on va montrer que tend vers pour la distance de Hausdorff.
Définition [Définition de la distance de Hausdorff]
On définit tout d'abord:
est appelé -voisinage ouvert de . Il est ouvert par la proposition .
Ensuite on note et on appelle distance de Hausdorff le réel
défini sur l'ensemble des compacts non vides d'un espace métrique donné.
Il s'agit bien d'une distance;
et
est clair
est clair
l'inégalité triangulaire se vérifie facilement
Proposition
Si est un espace métrique complet, alors l'ensemble des compacts non vides
de muni de la distance de Hausdorff est complet.
Démonstration:Soit une suite de Cauchy dans l'ensemble des compacts non vides de .
Alors il existe une suite
telle que
et donc
On considère alors l'ensemble des tels qu'il existe une suite telle
que
et admet pour valeur d'adhérence.
est fermé. En effet:
- soit dans
. Il existe suite dans tendant vers .
- est limite d'une certaine suite d'éléments tels que
. On considère
une suite extraite telle que
comme
. On définit
pour n'appartenant pas à l'ensemble des , en le choisissant de manière quelconque
dans .
Alors
Donc est valeur d'adhérence des , donc
. D'où
, et donc
est fermé. Fermé d'un complet, il est donc aussi complet.
est aussi précompact. En effet:
- Soit
.
- Il existe clairement tel que soit inclus dans
.
- pour tout dans , il existe dans tel que
.
- On peut construire sur (puisqu'il est compact) un recouvrement fini par des boules centrés sur les de rayon .
- Les boules centrées sur les de rayon recouvrent donc . On peut supprimer les inutiles, ie tels que
. Il reste les , pour, disons,
.
- On peut alors déterminer, pour tout
, un élément de à distance
de (puisqu'on a supprimé les inutiles).
- Les boules centrées sur les et de rayon montrent alors que est précompact.
Précompact et complet, est donc compact (voir théorème ).
Il convient de montrer que est non vide, ce qui sera fait en même temps que la preuve de la convergence des ci-dessous (en effet sera inclus dans
).
est limite des pour la distance de Hausdorff; pour le montrer il faut
voir que pour tout il existe un tel que pour on ait
(trivial)
: pour cela on considère dans , avec tel que
.
On considère alors
tel que
, et dans , tel que
tel que
, et dans , tel que
tel que
, et dans , tel que
...
tel que
, et dans , tel que
...
La suite des est de Cauchy, donc elle converge vers un certain ; en sommant les distances ont montre facilement que
. Pour compléter la suite des pour
, il suffit de prendre un point quelconque dans .
On peut maintenant terminer notre démonstration sur le fait que est le seul compact
non vide tel que
.
On montre facilement que est contractante de rapport pour la distance
de Hausdorff. On peut donc conclure par le théorème du point fixe; est le seul
compact non vide satisfaisant à l'équation.
Une autre propriété est le fait que pour métrique compact, est compact.
On peut utiliser le Cantor triadique pour construire une fonction continue, croissante, dérivable presque
partout, de dérivée nulle presque partout, et poutant non constante (égale à 0 en 0 et à en ).