Les-Mathematiques.net - Cours de mathématiques supérieures

A lire

Deug/Prépa

Licence

Agrégation
A télécharger

Télécharger

339 personne(s) sur le site en ce moment

E. Cartan

Les maths pour l'agreg

A lire

Articles

Math/Infos

Récréation
A télécharger

Télécharger

Théorème de Cantor-Bernstein

Théo. Sylow

Théo. Ascoli

Théo. Baire

Loi forte grd nbre

Nains magiques

Le cantor

suivant: Une distance sur les monter: Zoologie de la topologie précédent: Le compactifié d'Alexandrov Index

Le cantor

Définition [Cantor ] On note l'ensemble .
On note l'ensemble $[0,\frac13]\cup[\frac23,1]$ .
On note l'ensemble $[0,\frac19]\cup[\frac29,\frac39] \cup [\frac69,\frac79]\cup[\frac89,\frac99]$
...
On note l'ensemble $\frac13.C_{n-1} \cup (C_{n-1}+2).\frac13$ .

On note l'intersection des , pour $n\in \mathbb{N}$ . 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 , , , .
$\begin{figure}\begin{displaymath} \epsfxsize =6cm \epsfbox{cantor.eps}\end{displaymath}\end{figure}$

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. $\sqcap$ $\sqcup$

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 $\mathbb{R}$ . $\sqcap$ $\sqcup$

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. $\sqcap$ $\sqcup$

Proposition L'ensemble triadique de Cantor est homéomorphe à $\{0,1\}^\mathbb{N}$ , ensemble des suites de $\{0,1\}$ , muni de la topologie produit de la topologie discrète sur $\{0,1\}$ .

Démonstration: Soit la fonction qui à une suite de $\{0,1\}$ 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 $f^{-1}$ . 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 $\{0,1\}$ . 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. $\sqcap$ $\sqcup$

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 $\{0,1\}^n$ 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. $\sqcap$ $\sqcup$

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 $\{0,1\}^\mathbb{N}$ , 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!). $\sqcap$ $\sqcup$

Proposition et $\emptyset$ sont les deux seuls compacts inclus dans qui vérifient

$\displaystyle K.\frac13 \cup (K.\frac13+\frac23)=K$

Démonstration: Il est facile de vérifier que $\emptyset$ 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 $K.\frac13 + K.\frac13+\frac23$ .
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:

$\displaystyle V_\epsilon(A)=\{ x \vert d(x,A)<\epsilon\}$

$V_\epsilon(A)$ est appelé $\epsilon$ -voisinage ouvert de . Il est ouvert par la proposition

.
Ensuite on note

et on appelle distance de Hausdorff le réel

$\displaystyle D(A,B)=inf\{x / A \subset V_x(B) \land B \subset V_x(A)\}$

défini sur l'ensemble

des compacts

non vides d'un espace métrique

donné.
Il s'agit bien d'une distance;
$\bullet$

et $D(A,B) < \infty$ est clair
$\bullet$

$\rightarrow$

est clair
$\bullet$ 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 $\epsilon_N\rightarrow 0$ telle que

$\displaystyle \forall k,n > N D(K_k,K_n)<\epsilon_N$

et donc

$\displaystyle \forall k,n > N K_k \subset V_{\epsilon_N}(K_n)$

On considère alors

l'ensemble des

tels qu'il existe une suite

telle que $x_n \in K_n$ et

admet

pour valeur d'adhérence

est fermé. En effet:
- soit $y_\infty$ dans $\overline K$ . Il existe

suite dans

tendant vers $y_\infty$ .
-

est limite d'une certaine suite d'éléments

tels que $x_n \in K_n$ . On considère une suite extraite $x_{n_m}$ telle que $d(x_{n_m},y_m) \to 0$ comme $m\to\infty$ . On définit

pour

n'appartenant pas à l'ensemble des

, en le choisissant de manière quelconque dans

.
Alors

$\displaystyle d(x_{n_m},y_\infty)\leq d(y_m,y_\infty)+d(x_{n,m},y_m)\to 0$

Donc $y_\infty$ est valeur d'adhérence des

, donc $y_\infty\in K$ . D'où $\overline K \subset K$ , et donc

est fermé

. Fermé d'un complet

, il est donc aussi complet.

est aussi précompact. En effet: - Soit $\epsilon >0$ .
- Il existe clairement tel que soit inclus dans $V_\epsilon(K_N)$ .
- pour tout dans , il existe dans tel que $d(y,x_y) < \epsilon$ .
- On peut construire sur (puisqu'il est compact) un recouvrement fini par des boules centrés sur les de rayon $\epsilon$ .
- Les boules centrées sur les de rayon $2\epsilon$ recouvrent donc . On peut supprimer les inutiles, ie tels que $B(z_i,2\epsilon)\cap K=\emptyset$ . Il reste les , pour, disons, $i\in [1,M]$ .
- On peut alors déterminer, pour tout $i\in [1,M]$ , un élément de à distance $<2\epsilon$ de (puisqu'on a supprimé les inutiles).
- Les boules centrées sur les et de rayon $4\epsilon$ 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 $V_\epsilon(K)$ ).
est limite des pour la distance de Hausdorff; pour le montrer il faut voir que pour tout $\epsilon$ il existe un tel que pour $n\geq N$ on ait
$\bullet$ $K \subset V_\epsilon(K_n)$ (trivial)
$\bullet$ $K_n \subset V_\epsilon(K)$ : pour cela on considère dans , avec tel que $\epsilon_n \leq \epsilon$ .
On considère alors
$\bullet$ tel que $\epsilon_{n_0} \leq \epsilon/2^1$ , et $x_{n_0}$ dans $K_{n_0}$ , tel que $d(x,x_{n_0})\leq \epsilon/2^0$
$\bullet$ tel que $\epsilon_{n_1} \leq \epsilon/2^2$ , et $x_{n_1}$ dans $K_{n_1}$ , tel que $d(x_{n_0},x_{n_1})\leq \epsilon/2^1$
$\bullet$ tel que $\epsilon_{n_2} \leq \epsilon/2^3$ , et $x_{n_2}$ dans $K_{n_2}$ , tel que $d(x_{n_1},x_{n_2}\leq \epsilon/2^2$
...
$\bullet$ $n_p>n_{p-1}$ tel que $\epsilon_{n_p} \leq \epsilon/2^{p+1}$ , et dans $K_{n_p}$ , tel que $d(x_{n_{p-1}},x_{n_p})\leq \epsilon/2^p$
...
La suite des $x_{n_p}$ est de Cauchy, donc elle converge vers un certain ; en sommant les distances ont montre facilement que $d(x,y)\leq 2.\epsilon$ . Pour compléter la suite des pour $n_p \leq n \leq n_{p+1}$ , il suffit de prendre un point quelconque dans . $\sqcap$ $\sqcup$
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 $\frac13$ 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. $\sqcap$ $\sqcup$

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