Téléchargez comme PDF, TXT ou lisez en ligne sur Scribd
Télécharger au format pdf ou txt
Vous êtes sur la page 1/ 2
L3 de math.
- Ensemble triadique de Cantor 1
Pour un intervalle [a; b], notons T ([a; b]) = [a; b] \ a + 3 (b a); b 1 (b a) lopration qui consiste vider [a; b] 3 de son tiers milieu.
[a; b]
T ([a; b])
a + 1 (b a) 3
2 a + 3 (b a)
On dnit par rcurrence la suite de compacts emboits (Kn )nN par :
2n
K0 = [0; 1]
et si
Kn =
2n
[an,k , bn,k ] alors Kn+1 =
k=1
2n+1
T ([an,k , bn,k ]) = k=1
o pour chaque n N, (an,k )1k2n est croissante et bn,k = an,k +
[an+1,k , bn+1,k ] k=1
1 3n .
K0 0
1 3
K1 0
1 32
2 3
1 3
2 3
1 32
K2 0
2 32
2 3
2 3
2 32
K3 Lensemble triadique de Cantor est lintersection K =
Kn . Cest un compact de [0; 1] (intersection de compacts).
nN
En voici une description :
1. Notons tout dabord que K contient le bord Kn de chaque Kn , n N. Ainsi : E :=
{an,k , bn,k } K.
Kn = nN 1k2n
nN
2. On montre par une rcurrence lmentaire que
n
E= nN
Comme
1 = 3n
in+1
i=1
i 1 i , + : (1 , . . . , n ) {0; 2}n . 3i 3n i=1 3i
2 , on peut aussi dcrire E comme tant lensemble des rels qui scrivent sous la forme : 3i
i o (i )iN est une suite de {0, 2} constante partir dun certain rang, les points an,k correspondant 3i iN la constante 0, les points bn,k la constante 2. n
3. De plus, K = E. En eet, E K car K est ferm et contient E, et si x K, alors pour chaque n N, x
K =0
donc x est contenu dans une unique suite de segments emboits
[0; 1] = [a0,k0 ; b0,k0 ] [a1,k1 ; b1,k1 ] [a2,k2 ; b2,k2 ] [an,kn ; bn,kn ] Les suites (an,kn )nN et (bn,kn )nN de E sont (strictement) adjacentes de limite x, ce qui prouve que x E. Daprs la description de E ci-dessus, dire que K = E se traduit par : n K est lensemble des nombres rels x = o (n )nN est une suite de {0; 2} 3n
nN
(sans restriction sur la suite cette fois).
1
On peut visualiser la suite (n )nN par le codage suivant : si x [an,kn ; bn,kn ], alors n = 0 si kn est impair et 2 si kn est pair. 0 2 2 Dans la gure ci-dessous, x = 3 + 32 + 33 + : x K0 1 :
K1 2 :
K2 3 :
K3 Proprits de lensemble de Cantor K. 1. K est compact (on la vu plus haut). 2. K nest pas dnombrable. En considrant les deux applications respectivement bijective et surjective : x= n1
K = n1
n : n N n {0, 2} 3n
K n 3n
{0; 1}N
n 2 nN
[0; 1] n1
n 2n+1
senvoie surjectivement sur [0; 1] =
n1
n n+1 2
: n N n {0, 2} .
Donc K a le cardinal de R. 3. K na aucun point isol. Tout point de K est limite de deux suites strictement adjacentes de K comme on la vu plus haut, donc ne peut-tre isol. 4. K est totalement discontinu. Soient x et y = x + h dans K, h > 0. Pour chaque n N , on note [an ; bn ] la composante connexe de Kn 2 contenant x et [an ; bn ] celle contenant y = x + h. Si 3n > h , alors on a : an x bn < an y bn Mais dans lintervalle ]bn ; an [, il y a un point qui nest pas dans K (donc x et y ne peuvent tre dans une mme composante connexe). Proprit spcique de lensemble triadique de Cantor K : K est ngligeable (il est contenu dans un ensemble de longueur arbitrairement petite). 2n
K Kn =
2n
[an,k , bn,k ]
et
([an,k , bn,k ]) =
(Kn ) :=
k=1
k=1
2 3
Pour A R, notons 1A la fonction indicatrice (ou caractristique) de A, dnie par 1A (x) = 1 si x A et 1A (x) = 0 sinon. Alors 1K = inf 1Kn . Comme K est ferm, tout point x K a un voisinage sur lequel 1K est nulle. Donc lensemble / nN
des discontinuits de 1K est contenu dans K (cest en fait K lui-mme, puisque K est totalement discontinu). Or pour chaque n N, 1Kn est en escalier, 0 1K 1Kn et : 1
lim
1Kn (x) dx = n (Kn ) = n
lim lim
2 3
= 0.
On en dduit que : Lindicatrice de lensemble triadique de Cantor est Riemann-intgrable sur [0; 1] et son intgrale est nulle. 1 Remarque. Pour passer de Kn Kn+1 on retire 2n intervalles ouverts de longueur 3n+1 . La mme construction consistant retirer cette fois 2n intervalles de longueur 1 0 avec 0 [0, 1[ conduirait un autre ensemble de Cantor 3n+1 (compact, non dnombrable, sans point isol, totalement discontinu) mais cette fois non ngligeable si 0 > 0 : 1
lim
1Kn (x) dx = n (Kn ) = n 1
lim lim
1 l0 1 l0 1 l0 2 2 2n1 n = 3 3 3
0.
Dans ce cas, lindicatrice de ce Cantor nest plus Riemann-intgrable ! Il semble pourtant naturel de dire que son intgrale est 0 . On verra quelle est Lebesgue-intgrable, dintgrale gale 0 . 2
