You are on page 1of 10

1

Application du thorme du point fixe aux fractals




Nous rappelons l'nonc du thorme du point fixe ainsi que quelques notations:

Thorme : Soit ( , ) X d , un espace mtrique complet et soit T X X : une application
strictement contractante de constante L ( 0 1) L s < , alors il existe un unique point X ee tel
que T( ) e e = . e est le point fixe de T . De plus si l'on note par T x T T T x
n
n fois
( ) ( (... ( )... )) =



l'image de x par le n-ime itr de T , on a: lim( ( ))
n
n
T x e

= pour tout x X e et la vitesse de
convergence peut tre estime par:
d T x d x T x
L
L
n
n
( , ( )) ( , ( )) e s
1
.

Si ( ) , X d est un espace mtrique et si A X c , on pose pour tout x X e ,
( ) ( ) { }
, : inf , | d x A d x a a A = e .
On note ( ) ( ), X h l'espace des sous-ensembles compacts de X muni de la distance de
Hausdorff,
{ } { } { }
, ( ), ( , ) max sup ( , ) | , sup ( , ) | A B X h A B d x A x B d y B y A e = e e .

Remarque : Lapplication ( ) , , X x d x A
+
est continue et par consquent,
{ } sup ( , ) | d x A x B e < + (resp. { } sup ( , ) | d y B y A e < +) pour tout compact B (resp. A).

Dans les lignes qui vont suivre nous allons prouver quelques propositions qui nous
permettrons d'utiliser le thorme du point fixe pour construire des fractals.

Proposition : Soit : f X X strictement contractante de constante 0 1 s < . Alors,
l'application : ( ) ( ) T X X

dfinie par ( ) ( ) T A f A

= est strictement contractante de


constante .

Dmonstration : Soient , A B deux compacts de X. Pour tout couple ( ) , a b A B e ,
( ( ), ( )) ( , ) d f a f b d a b s ; donc ( ( ), ( )) ( , ) d f a f B d a B s et par suite
{ } { } sup ( ( ), ( )) | sup ( , ) | d f a f B a A d a B a A e s e .
De la mme faon, nous obtenons : { } { } sup ( ( ), ( )) | sup ( , ) | d f b f A b B d b A b B e s e ;
donc, { } { } { }
( ( ), ( )) max sup ( , ) | , sup ( , ) | ( , ) h f A f B d a B a A d b A b B h A B s e e = .

Lemme : Pour tout , A B compacts,

{ } ( , ) max ( , ), ( , ) h A B C D h A C h B D s .


2

Dmonstration : Pour tout x A e ,
( ) { }
( , ) ( , ) sup , | ( , ) d x C D d x C d a C a A h A C s s e s et
pour tout x B e ,
( ) { }
( , ) ( , ) sup , | ( , ) d x C D d x D d b D b B h B D s s e s

; donc pour tout
x A B e , { } ( , ) max ( , ), ( , ) d x C D h A C h B D s .
En passant au sup, nous obtenons, { } { } sup ( , ) | max ( , ), ( , ) d x C D x A B h A C h B D e s .
De la mme manire on a, { } { } sup ( , ) | max ( , ), ( , ) d x A B x C D h A C h B D e s et donc
{ } ( , ) max ( , ), ( , ) . h A B C D h A C h B D s

En gnralisant la premire proposition, nous avons,

Proposition : Soient :
i
f X X , 1 i n s s des applications strictement contractantes de
constantes de contraction 0 1
i
s < . Alors l'application
,..,
1
: ( ) ( )
n
T X X

, dfinie par
,.., 1
1
( ) ( ) ... ( )
n
n
T A f A f A

= est strictement contractante de constante { }
1
max ,..,
n
= .

Dmonstration :
( )
( )
,.., ,.., 1 1
1 1
( ), ( ) ( ) ... ( ), ( ) ... ( )
n n
n n
h T A T B h f A f A f B f B

= et en appliquant
rcursivement le lemme prcdent on obtient,

( )
{ }
,.., ,.., 1 1
1 1
( ), ( ) max ( ( ), ( )),..., ( ( ), ( ))
n n
n n
h T A T B h f A f B h f A f B

s .
La proposition prcdente implique alors, ( ( ), ( )) ( , )
i i i
h f A f B h A B s pour 1 i n s s . Donc
( )
{ }
,.., ,.., 1
1 1
( ), ( ) max ,..., ( , )
n
n n
h T A T B h A B

s .

Voici prsent le corollaire sur lequel nous voulons mettre l'accent dans ces quelques lignes.

Corollaire : Soient :
n n
i
f , des applications strictement contractantes de
constantes de contraction 0 1
i
s < . Il existe un unique compact ( )
n
Ae tel que
,.., 1
1
( ) ( ) ... ( )
k
k
A T A f A f A

= = (A est l'unique point fixe de ) et pour tout
compact B, on a
,..,
1
lim ( )
m
k m
T B A

= o est limage de B par le m-ime itr de


,..,
1 k
T

.

Dmonstration : Immdiate, il suffit d'appliquer le thorme du point fixe l'espace ( )
n

qui est complet.

Avec les mmes notations du corollaire prcdent, on dit que est un codage IFS
(Iterated Function Systems) du compact A. Ce qui est surprenant, comme nous allons le voir
dans les quelques exemples qui suivent, c'est que mme si les
1
,...,
k
f f sont assez simples,
comme des homothties du plan, le compact A obtenu est dans bien des cas relativement
"compliqu".

1 i k s s
,..,
1 k
T

,..,
1
( )
m
k
T B

1
,...,
k
f f
3

En thorie, on pourrait partir d'un point x quelconque de
n
et calculer la suite de compacts
{ } ( )
,..,
1
m
k
T x

qui converge vers A. Nanmoins, en pratique, lorsqu'on travaille dans
2
ou
3
et qu'on veut reprsenter graphiquement A ce n'est pas exactement comme cela que l'on
procde. En effet le m-ime itr contiendrait
k
m points! Nous n'approfondirons pas le sujet.

Le cas 1 k = est sans intrt, on aurait { } A x = o x est le point fixe de
1
f . Avec 2 k = nous
obtenons dj des rsultats non triviaux comme le montrent les exemples qui vont suivre.

Exemples

Nous noterons
x
h

l'homothtie centre en x de rapport [0,1[ e . Nous avons donc


, ( ) ( )
n
x
y h y y x x

e = + .
x
o
sera la rotation du plan
2
de centre x et d'angle o . On
a
2
, ( ) ( )
x
y y A y x x
o
e = + o
cos sin
sin cos
A
o o
o o
| |
=
|
\ .
. Pour finir
x
t sera la translation
de vecteur x.

Exemple1 (ensemble de Cantor) : Dans
2
nous considrons les deux homothties
1/ 3 1/ 3
(0,0) (1,0)
et h h de rapport 1/3 centres en (0, 0) et (1, 0) . Le compact C obtenu et reprsent ci-
dessous s'appelle ensemble de Cantor. En regardant la figure on voit bien que
( ) ( )
1/ 3 1/ 3
(0,0) (1,0)
C h C h C = et que par suite C est bien le point fixe de l'application
1/ 3 1/ 3
(0,0) (1,0)
h h .
On peut montrer que C est non dnombrable et qu'il est de mesure de Lebesgue nulle.


Exemple2 (triangle de Sierpinsky) : Dans
2
nous considrons les trois homothties
1/ 2 1/ 2 1/ 2
(0,0) (1,0) (0.5,0.8)
, et h h h . Le point fixe obtenu s'appelle triangle de Sierpinsky.

0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1
-0.1
0
0.1
4



Exemple3 (tapis de Sierpinsky) : Dans
2
nous considrons les huit homothties
1/ 3 1/ 3 1/ 3 1/ 3 1/ 3 1/ 3 1/ 3 1/ 3
(0,0) (0,0.5) (0,1) (0.5,1) (1,1) (1,0.5) (1,0) (0.5,0)
, , , , , , et h h h h h h h h . Le point fixe obtenu s'appelle tapis de
Sierpinsky.




Un peu de rotations

Exemple4 :
Dans
2
nous considrons les deux applications,
0.2 5 / 6 0.95 / 6
(0.25,0.5) (0.25,0.5) (0.5,0.5) (0.5,0.5)
, et h h
t t
.
Nous obtenons le point fixe suivant,

5




Exemple5 : Les applications
1/ 3 1/ 3 1/ 3 / 3 1/ 3 / 3 1/ 3 / 3 1/ 3
(0,0) (1,0) (1/ 3,0) (0,0) (1/ 3,0) (0,0) (0,0) (1/ 3,0) (0,0) (0,0) ( 1/ 3,0) (1,0) (1,0)
, , , , , h h h h h h
t t t
t t t t

et
/ 3 1/ 3
( 1/ 3,0) (1,0) (1,0)
h
t
t

sont un codage IFS du compact ci-dessous.






Exemple6 :
Le compact ci-dessous,
6


est dfini comme point fixe des applications
(2,0)
A t ,
/ 2
(1,1) (0,0)
A
t
t ,
(0,0)
A
t
,
/ 2
(1, 1) (0,0)
A
t
t

o
0.5 0
0 0.3
A
| |
=
|
\ .
.

Exemple7 (courbe de Von Koch): La courbe de Von Koch est un fractal assez connu, il peut
tre obtenu par les applications
1/ 3 1/ 3 1/ 3 / 3 1/ 3 / 3
(0,0) (1,0) (1/ 3,0) (0,0) (0,0) ( 1/ 3,0) (1,0) (1,0)
, , , h h h h
t t
t t

.


7

Exemple8 (fougre fractale) : La fougre fractale constitue un autre exemple bien connu.
Elle possde le codage IFS suivant,
1 (0,1.6) 2 (0,0.44) 3 (0,1.6) 4
, , , A A A A t t t o
1
0 0
0 0.16
A
| |
=
|
\ .
,
2
0.2 0.26
0.23 0.22
A
| |
=
|
\ .
,
3
0.15 0.28
0.26 0.24
A
| |
=
|
\ .
,
4
0.85 0.04
0.04 0.85
A
| |
=
|

\ .
.

Exemple9 : Il ne faut pas croire que les fractals obtenus comme points fixes d'applications
strictement contractantes soient tous trs complexe, en effet les applications
0.5 0.5
(0,0) (1,0)
, h h sont le
codage IFS du compact [0,1] {0} de
2
. Les applications
0.6 0.6
(0,0) (1,0)
, h h sont aussi un codage
IFS de ce mme compact. Ainsi le codage IFS n'est pas unique.

Exemple10 ("ttradre de Sierpinsky"): Nous terminons cette srie d'exemples par un
fractal de
3
. Il s'agit du triangle de Sierpinsky gnralis
3
. Il est dfini par les
applications suivantes :
1/ 2 1/ 2 1/ 2 1/ 2
(0,0,0) (1,0,0) (0.5,0.86,0) (0.5,0.43,0.75 )
, , , h h h h .
Mme si d'un point de vue thorique on parle de fractals dans
n
, en pratique, lorsqu'on
passe
3
on risque de rencontrer quelques difficults pour obtenir une image soi-disant
potable. Veuillez donc excuser la qualit de celle-ci, mais l'auteur de ces quelques lignes ne
peut pas faire mieux avec la technologie dont il dispose actuellement.

8




Nous terminons ce bref expos en donnant une autre interprtation des fractals.


Nous avons vu que si
1
,...,
k
f f taient des applications strictement contractantes de
n
dans
lui-mme, de constantes
1
,.., ,
k
alors il existait un unique point fixe de
,..,
1 k
T

. C'est--dire
qu'il existe un unique compact A tel que
1
( ) ... ( )
k
A f A f A = . Nous remarquons donc que
( )
j
f A A _ pour 1.. j k = . Nous dirons qu'un compact B est invariant par
1
,...,
k
f f si
( )
j
f B B _ pour 1 j k s s . Il est donc naturel de s'intresser au plus petit compact ayant cette
proprit. Celui-ci est donn par
B
B
e
o est la famille des compacts non vides invariants
par
1
,...,
k
f f . Etant donn que Ae ,
B
B A
e
_ . Rciproquement, les compacts Be tant
invariants par
1
,...,
k
f f et non vides, on peut leur appliquer le thorme du point fixe (les B
sont compacts donc complets). Ainsi, chaque compact Be contient le point fixe de
,..,
1 n
T

qui est A. Par consquent
B
A B
e
_ et pour finir
B
A B
e
= . La conclusion de ce petit
discours est que le point fixe dfini par
1
,...,
k
f f n'est rien d'autre que le plus petit compact
invariant par les
j
f (1 j k s s ).

Programmes Matlab

Dans chaque cas, n est le nombre de points de l'image obtenue.

9

Exemple1 (ensemble de Cantor)

Nous conseillons n=1000.

function fractal(n)

X=[0;0];

hold on;
for i=1:n
p=rand;
if p<1/2
X=[1/3 0;0 1/3]*X;
else
X=[1/3 0;0 1/3]*(X-[1;0])+[1;0];
end
plot(X(1),X(2),'markersize',5,'color','b');
end
axis equal;
hold off;

Exemple2 (triangle de Sierpinsky)

Nous conseillons n=12000

function fractal(n)

X=[0;0];

hold on;
for i=1:n
p=rand;
if p<1/3
X=[1/2 0;0 1/2]*X;
elseif p<2/3
X=[1/2 0;0 1/2]*(X-[1;0])+[1;0];
else
X=[1/2 0;0 1/2]*(X-[0.5;0.8])+[0.5;0.8];
end
plot(X(1),X(2),'markersize',5,'color','b');
end
axis equal;
hold off;

Exemple4

Nous conseillons n=12000

function fractal(n)

X=[0.5;0.5];

hold on;
for i=1:n
p=rand;
if p<0.087
X=[cos(5*pi/6) -sin(5*pi/6);sin(5*pi/6) cos(5*pi/6)]*(X-
[0.25;0.5])+[0.25;0.5];
10

X=[0.2 0;0 0.2]*(X-[0.25;0.5])+[0.25;0.5];
else
X=[cos(pi/6) -sin(pi/6);sin(pi/6) cos(pi/6)]*(X-[0.5;0.5])+[0.5;0.5];
X=[0.95 0;0 0.95]*(X-[0.5;0.5])+[0.5;0.5];
end
plot(X(1),X(2),'markersize',5,'color','b');
end
axis equal;
hold off;

Exemple5

Nous conseillons n=16000

function fractal(n)

X=[0;0];
A=[1/3 0;0 1/3];
hold on;
for i=1:n
p=rand;
if p<1/7
X=A*X;
elseif p<2/7
X=A*(X-[1;0])+[1;0];
elseif p<3/7
X=A*X+[1/3;0];
elseif p<4/7
X=[cos(pi/3) -sin(pi/3);sin(pi/3) cos(pi/3)]*A*X+[1/3;0];
elseif p<5/7
X=[cos(-pi/3) -sin(-pi/3);sin(-pi/3) cos(-pi/3)]*A*X+[1/3;0];
elseif p<6/7
X=[cos(-pi/3) -sin(-pi/3);sin(-pi/3) cos(-pi/3)]*A*(X-[1;0])+[2/3;0];
else
X=[cos(pi/3) -sin(pi/3);sin(pi/3) cos(pi/3)]*A*(X-[1;0])+[2/3;0];
end
plot(X(1),X(2),'markersize',5,'color','b');
end
axis equal;
hold off;

You might also like