1

Fiche Synoptique :

Dynamique des ensembles de Julia : Thorme de Fatou

La dynamique consiste s'intresser aux itrs successifs d'une valeur par une fonction rgulire : nous nous sommes intresss en particulier aux polynmes complexes de degr 2. Quand la suite des itrs reste borne, on dit que le point appartient l'ensemble de Julia rempli du polynme, ou bassin d'attraction. Le problme est de dterminer cet ensemble : je me suis intress sa nature topologique. Il est apparu assez rapidement dans nos recherches qu'un rsultat important ce sujet tait le thorme de Fatou : selon que 0 appartient ou non l'ensemble de Julia rempli, l'ensemble de Julia rempli a une nature topologique trs dirente. On peut donc grce ce thorme prvoir l'allure globale de l'ensemble de Julia rempli en s'intressant un unique point. Ayant trouv une bauche de dmonstration par Douady [1], il a fallu s'intresser la thorie des revtements pour la comprendre, ce qui a motiv l'tude de l'ouvrage [2]. La dicult tait de ramener les notions prsentes des concepts accessibles avec le programme de classe prparatoire. Dans le cas o 0 n'appartient pas l'ensemble de Julia rempli, Douady conclut en utilisant une mtrique de type transformation conforme. Cependant, malgr l'tude de [3], je n'ai pas russi m'approprier cette notion : j'ai donc admis le rsultat qui en dcoulait. La quasi-totalit de la dmonstration a donc t rendue accessible en dnissant prcisment les objets utiliss, ce qui ncessite d'acqurir la thorie mathmatique qui s'appuie dessus, et en explicitant les points jugs vidents, qui le sont rarement notre niveau. Ce rsultat peut ventuellement tre gnralis aux polynmes de degr suprieur, au moins de faon partielle, grce la gnralit des rsultats que nous avons dmontrs sur les revtements.

Dynamique des ensembles de Thorme de

Fatou

Julia :

Aymeric

Bouzy

2012
Introduction

Fatou permet de connatre la nature topologique de l'ensemble de Julia z z 2 + c. L'objectif est de dmontrer le thorme de Fatou nonc p.5. Dans les trois premires parties,
Le thorme de rempli des fonctions de la variable complexe de la forme je donne des dnitions et certains thormes utiles concernant la connexit, les revtements et prliminaires. l'indice d'un lacet par rapport un point. On trouvera en annexe la dmonstration des rsultats

Connexit
Soit

Proposition 1.

un espace topologique.

Les assertions suivantes sont quivalentes :

(i) (ii) (iii) (iv)

il n'existe pas de partition de il n'existe pas de partition de les applications continues de

X X

en deux ouverts non vides en deux ferms non vides

les ensembles ouverts et ferms de

dans

X sont X et {0, 1} sont constantes

Dnition 1.

Un espace

vriant l'une des proprits prcdentes est appel connexe.

Proposition 2. Thorme 1. Dnition 2.

voisinage

Les connexes par arcs sont connexes.

Pour toute suite dcroissante

espace mtrique,
nN

Un

(Un )nN de connexes compacts non vides d'un est connexe compacte non vide. X
est localement connexe par arcs si pour tout

Un espace

x X,

pour tout

de

x,

il existe un voisinage

de

x,

inclus dans

U,

connexe par arcs.

Revtements
Dans toute cette partie,

dsigne un entier naturel et

un espace topologique (non vide).

2.1 Revtement
Dnition 3.
existe Un revtement de muni d'une application continue

un voisinage ouvert de

B index par S , o S est un espace discret, est un espace X : X B , appele projection, telle que pour tout b B , il b tel qu'il existe un homomorphisme , dit de trivialisation

locale, rendant le diagramme suivant commutatif :

U S 1 (U ) B

Dnition 4.

Un revtement d'ordre

de

est un revtement de

index par

[|1, n|].

Lemme 1 (relvement des chemins). Soit (X, ) un revtement de B index par S . Soient b B et x 1 ({b}). Pour tout chemin c d'origine b dans B , il existe un unique chemin c d'origine x dans X tel que c = c.

2.2 Revtement trivial

Lemme 2.
 Si  Soit (X, ) un revtement de B d'ordre n. B est connexe par arcs, X possde au plus n composantes connexes Si B est connexe par arcs et X possde exactement n composantes chacune contient exactement un antcdent de chaque lment de B . Un revtement de par arcs. connexes par arcs,

Dnition 5.
continue commutatif :

trivial d'ordre

est un espace

muni d'une application

: X B

telle qu'il existe un homomorphisme

rendant le diagramme suivant

B [|1, n|] X
Les

.
un connexe par arcs, localement connexe composantes connexes par arcs,

(1 (., i))1

i n sont appeles les sections de

Lemme 3 (trivialisation d'un revtement).

par arc. Soit alors

Soit

(X, ) un revtement de B d'ordre n. Si X possde n (X, ) est un revtement trivial d'ordre n de B .

2.3 Revtement rami

Dans cette sous-partie,

dsigne un lment x de

B. n
est un espace

Dnition 6.
tion continue voisinage

Un revtement de

rami en

d'ordre

:X B ouvert de b, UX

telle que

1 ({b})

soit rduit au singleton

C, B , X

un voisinage ouvert de x, VB , VX deux deux homomorphismes tels que le diagramme suivant soit commutatif :

X muni d'une applica{x} et qu'il existe UB un voisinages ouverts de 0 dans

UX X VX z
(on dit qu'une expression de

UB B VB zn b
dans des cartes complexes est de la forme d'ordre

au voisinage de

z zn)
et telle que

(X \ {x}, )

soit un revtement de de

B \ {b}
d'ordre

n.

Lemme 4.

Soit (X, ) un revtement 1 ({b }). Pour tout chemin c de b b d'origine x dans X tel que c = c.

tel que

n rami en b. Soient b B et x t [0, 1[ , c(t) = b, il existe un unique chemin c

Indice d'un lacet par rapport un point

*

Proposition 3.
* Si

est un lacet de

entier relatif qui

exp : C C est un revtement index C , si est un relvement de , la ne dpend pas de .

par Z. 1 quantit 2i

( (1) (0)) (1) y,

est un

Dmonstration. Comme l'origine et l'extrmit du lacet sont gales,

multiple entier de De plus, si

(0)

et

dirent d'un et on conclut

2i . x, + y x
est un relvement d'origine

est un relvement d'origine

par unicit.

Dnition 7.
L'indice de

Soit

a C.

Soit

un lacet de

C \ {a}

par rapport

est

I (a) =
o

1 ( (1) (0)) 2i

exp = a. I
est continue sur

Proposition 4.

C \ ([0, 1]). C \ ([0, 1]).

Proposition 5.
Dmonstration.

est constante sur les composantes connexes par arcs de

est continue valeurs dans un ensemble discret, donc localement constante,

donc constante sur les composantes connexes par arcs de

C \ ([0, 1]).

Thorme de
Soit

Fatou
C. J = {z C | f n (z) = O(1)}

On pose

c C. f : z z2 + c

dnie sur

On dnit l'ensemble de

Julia rempli J de f par

On souhaite dmontrer le thorme suivant :

Si

Thorme 2 (de Fatou).

0 J, 0 J, /
alors alors

Si

J J

est connexe. est un Cantor.

La dnition d'un Cantor est donne page 7.

4.1 L'ensemble de Julia rempli de f est l'intersection d'une suite dcroissante de compacts
Proposition 6.
z C, |z| > R = 1+ 1 + 4|c| 2 f n (z)
n+
par

et

(|f n (z)|) est

croissante

On dnit par rcurrence la suite

(Vn )nN

V0 = BF (0, R) n N, Vn+1 = f 1 (Vn )

Proposition 7.

(Vn )nN

est une suite dcroissante de compacts et

J=
nN

Vn .

Dmonstration.


 Si

z Vn+1 , f n+1 (z)

donc

|f n (z)|

donc

z Vn

z
nN

Vn n N, |f n (z)|

RzJ

4.2 Hrdit de la connexit des Vn

Soit

n N.
Si

Proposition 8.
Soit

Vn

est connexe par arcs et

0 Vn+1 ,

alors

Vn+1

est connexe par arcs.

0 Vn+1 , f : Vn+1 Vn est un revtement rami en c d'ordre 2. x Vn+1 , montrons qu'il existe un chemin de x 0. Soit un chemin de f (x) c = f (0) dans Vn . on pose t0 = inf{t [0, 1]|(t) = c}. Par continuit de , (t0 ) = c : on peut donc rednir le stoppant t0 . Alors selon le lemme 4, il existe un chemin de x 0.
Dmonstration. Comme

en

Proposition 9.
connexe par arcs.

Si

Vn

est localement connexe par arcs et

0 Vn+1 , x.

alors

Vn+1

est localement

Dmonstration. Soit

x Vn+1 \ {0},

soit

un voisinage de

Quitte prendre un voisinage

plus petit, on peut supposer qu'il existe

un homomorphisme de trivialisation locale au-dessus

f (x). Vn tant localement connexe par arcs, on peut choisir un f (U ). On alors f 1 () f 1 (f (U )) = U + (U ). Comme est un homomorphisme de trivialisation locale au-dessus f (U ), U (U ) = ; en relevant 1 les chemins en partant de l'antcdent appartenant U , on en dduit que f () U est un voisinage connexe par arcs de x. Dans le cas x = 0, comme une expression de f au voisinage de c dans des cartes complexes est z z 2 , la proprit est immdiate.
qui est un voisinage de sous-voisinage connexe par arcs de

f (U ),

Proposition 10.
alors

C \ Vn+1

Si C \ Vn est connexe par arcs et est connexe par arcs.

0 Vn+1 ,

0 C \ Vn+1 , f : C \ Vn+1 C \ Vn est un revtement d'ordre 2. / x C \ Vn+1 . Selon le lemme de relvement des chemins, il existe un chemin de x R ou x R (l'autre antcdent de f (R) par f ). Donc comme C \ BF (0, R) C \ Vn+1 est connexe par arcs, C \ Vn+1 est connexe par arcs.
Dmonstration. Comme
Soit

de

4.3 Cas o 0 J

Dmonstration du premier point du thorme de

donc selon la proposition 8, comme arcs donc connexes. Donc selon le thorme 1, selon la proposition 7,

n N, 0 Vn , J

Fatou.

V0

est videmment connexe par arcs,

par rcurrence, les

(Vn )

sont connexes par

est connexe.

4.4 Cas o 0 J /
Proposition 11.
Dmonstration.

m N
et

tq

m, 0 Vn

et

n > m, 0 Vn . /

0J /

(Vn )nN

est une suite dcroissante.

Proposition 12.
Dmonstration.
comme arcs.

(Vm+1 , f )

est un revtement trivial de

Vm

d'ordre

2.

* V0 est videmment connexe par arcs, donc selon les propositions 8 et 9, m, 0 Vn , par rcurrence, Vm est connexe par arcs et localement connexe par

* De mme, par rcurrence, * D'aprs la proposition 11, un chemin

C \ Vm est connexe par arcs. f : C \ Vm+1 C \ Vm est un

revtement rami en

d'ordre

2.

Alors de mme que dans la dmonstration de la proposition 8, selon le lemme 4, il existe * Supposons

de R 0 dans C \ Vm+1 Vm+1 connexe par arcs. On se donne z un point de Vm+1 , alors z Vm+1 , donc en xant est un chemin de z z , et on pose = lacet issu de z .

un chemin de

z ,

Comme Soit

tel que

([0, 1]) C \ Vm+1 , I est dni sur ([0, 1]), donc y est constant (proposition exp = . En posant = ( + i), on a exp = . On a alors 2iI (0) = (1) (0) ( 1 ) + ( 1 ) (0) = (1) 2 2 = (1) (0) + (1) (0) 2i(1 + 2Z)

5).

et I (R) = 0 : absurde. Vm+1 possde donc au moins

(et donc exactement selon la proprit 2) deux composantes

connexes par arcs, et on conclut par le lemme de trivialisation des revtements.

Proposition 13.

p N, Vm+p

possde

2p

composantes connexes par arcs.

Dmonstration. La proprit est vraie pour

Supposons la proprit vraie au rang

p.

En notant

p {0, 1}. g1

et

composantes connexes par arcs respectivement associes de

g2 les sections de f , et C1 et C2 les Vm+1 , Vm+p+1 Ci est homomorphe

Vm+p par gi |Vm+p+1 Ci

donc

Vm+p+1 Ci et Vm+p ont le mme nombre de composantes connexes

par arcs.

Proposition 14

(admise)

Le diamtre (dans une mtrique dnissant la mme topologie) des

composantes connexes par arcs de

Vn

tend vers

lorsque

tend vers

+.

Remarque. A l'aide d'une mtrique du type transformation conforme (mtrique de

on peut rendre les sections de

contractantes, et le rsultat en dcoule alors immdiatement.

Poincar),

Dnition 8.

Un Cantor est un espace topologique totalement discontinu (c'est--dire dont les

composantes connexes par arcs sont des singletons), indnombrable, sans point isol.

Dmonstration du deuxime point du thorme de

[0, 1]

dans

J. n, g
est continue de

Fatou.
dans

* Soit

une fonction continue de

Alors pour tout Donc

[0, 1]

composantes connexes par arcs de

Vn ,

que l'on note

Vn , donc g Cn .

est valeurs dans une des

Cn , intersection d'une suite dcroissante de compacts dont le nN diamtre tend vers 0, donc rduite un point : g est donc constante, ce qui dmontre que
est valeurs dans est totalement discontinu.

* Pour tout point par :

P J,

on dnit l'adresse de

note

(wn , Cn )m

({0, 1} P(C))

Cm := Vm n m, si P g1 (Cn ), alors wn := 0 et Cn+1 := g1 (Cn ) sinon wn := 1 et Cn+1 := g2 (Cn ) Comme Cn est rduit un point, J est en bijection avec l'ensemble des suites (Cn )m
nN de plus, une suite

n;

(wn )m n quelconque est associe une unique suite (Cn )m n . Donc J N est en bijection avec {0, 1} , indnombrable. Soit P J , soit (w, C) l'adresse de P , soit > 0. Comme le diamtre des (Cn ) tend vers 0, on peut xer n tel que Cn BF (P, ), et Cn contient au moins un autre point de J , donc J ne contient aucun point isol.

Conclusion
L'ensemble de connexes.

donc ici une lgitimit mathmatique comme tant la carte des ensembles de

Mandelbrot dni comme tant les valeurs de c pour lesquelles 0 J trouve Julia remplis

Figure 1  ensemble de Mandelbrot

8

Les rsultats dmontrs ici peuvent tre tendus tous les polynmes de degr

par conju-

gaison avec une similitude, en s'intressant la racine du polynme driv plutt qu' dmontrer en suivant la mme trame le rsultat suivant :

0.

D'une

manire gnrale, en adoptant une dnition plus gnrale des revtements ramis, on peut

Thorme 3.

Si

est un polynme et

l'ensemble de

* si toutes les racines de * dans les autres cas,

P P

sont dans n'est

* si aucune des racines de

J , J est connexe dans J , J est un Cantor

Julia de ce polynme, Julia d'un polynme en

possde une innit de composantes connexes par arcs

On peut donc dterminer la nature topologique de l'ensemble de s'intressant uniquement un nombre ni de suites complexes.

Annexe
Le thorme suivant permet de conclure la dmonstration du premier point du thorme de Fatou :

Thorme.
mtrique,

Pour toute suite dcroissante

Un
nN

(Un )nN de connexes compacts non vides d'un espace est connexe compacte non vide. Un est compact non vide. nN en deux ferms, A et B sont donc compacts. X=

Dmonstration. On sait dj que

Soit

X A et B soient non vides. On pose f : x U0 d(x, A)d(x, B), continue, strictement positive sur A, strictement ngative sur B . D'aprs le thorme des valeurs intermdiaires, on peut ainsi xer pour tout n N un lment xn de Un tel que f (xn ) = 0 (en considrant f|Un ). U0 tant compact, on peut extraire de (xn ) une sous-suite (x(n) ) convergente, dont on note x la limite. Comme n N, (x(n) ) est valeur dans Un partir d'un certain rang, (x(n) ) converge dans Un , donc dans Un .
une partition de Supposons que Comme

(A, B)

(A, B) est une partition de X , x A ou x B , d(x, A) = 0 = d(x, B), donc x A B : absurde.

et comme

est continue,

f (x) = 0,

nN donc

Pour dmontrer le lemme de relvement des chemins, rsultat central pour l'tude des revtements, on utilise le lemme technique prliminaire suivant, qui permet, grce au thorme de Borel-Lebesgue, de ramener une tude le long d'un chemin un nombre ni d'tapes.

Dnition.
Soit

Soit

un espace topologique.

un chemin dans

et

(Ui )iS

un recouvrement de de

([0, 1])

par des ouverts,

tant de

cardinal ni. Une suite strictement croissante (t0 , ..., tp ) d'lments k [|0, p 1|], i S : ([tk , tk+1 ]) Ui .

[0, 1]

est dite admissible si :

Lemme (prliminaire).
Dmonstration. On pose
nant par * *

Il existe une suite admissible se terminant par

1.

l'ensemble des

b [0, 1]

tel qu'il existe une suite admissible se termi-

b.

0 F. [0, 1] : si (t0 , ..., tp ) est admissible, en xant i tel que (tp ) Ui , Ui tant ouvert, pour x au voisinage de tp , (t0 , ..., tp1 , x) est admissible. 1 * F est ferm dans [0, 1] : soit x [0, 1] \ F , soit i tel que (x) Ui ; (Ui ) est ouvert, donc est un voisinage de x dans [0, 1], et ne contient pas d'lment de F . [0, 1] tant connexe, on en dduit que F = [0, 1], donc 1 F . F F
est non vide car est ouvert dans

Lemme
et

(relvement des chemins)

x 1 ({b}). Pour tout x dans X tel que c = c.

Soit

(X, )

un revtement de

index par

S.

Soient

chemin

d'origine

dans

B,

il existe un unique chemin

bB c d'origine

Dmonstration. Pour tout

du revtement de

d'ordre

t [0, 1], on xe Ut n.

un voisinage ouvert de

c(t) donn par la dnition

(Ut )t[0,1]

est alors un recouvrement du compact

c ([0, 1]) par des ouverts, donc selon le thorme

de Borel-Lebesgue, on peut en extraire un sous recouvrement ni.

t1 < ... < tp et U1 , ..., Up1 tels que t1 = 0, tp = 1, t [ti , ti+1 ], c(t) Ui et Ui {Ut |t [0, 1]} Soit Hk :  ! ck chemin dans X d'origine x tel que ck = c|[0,tk ]  H1 est videmment vraie. Soit k [|1, p 1|], supposons Hk on pose y = ck (tk ), un homomorphisme de trivialisation locale au dessus de Uk , s S (y) = (c(tk ), s), et
On xe donc selon le lemme prliminaire

tel que

ck+1 :

[0, tk+1 ] t

X ck (t) si t [0, tk ] 1 (c(t), s) si t [tk , tk+1 ]

t [tk , tk+1 ], ck+1 = c(t) donc ck+1 convient. un chemin dans X d'origine x tel que = c|[0,tk+1 ] . Alors selon Hk , |[0,tk ] = ck . D'autre part, comme |[tk ,tk+1 ] est continue, le second membre tant valeurs dans une partie discrte, il est constant, donc gal s 1 donc |[tk ,tk+1 ] = (c(.), s) ce qui dmontre Hk+1 , d'o par rcurrence, Hp .
alors Soit Dans un revtement rami, pour relever les chemins ayant une extrmit au point de ramication, on utilise le lemme suivant :

(X, ) un revtement de B d'ordre n rami en b. Soient b B et x 1 ({b }). Pour tout chemin c de b b tel que t [0, 1[ , c(t) = b, il existe un unique chemin c d'origine x dans X tel que c = c.
Soit Dmonstration. On note

Lemme.

l'unique antcdent de

par

Supposons trouv un tel chemin donc

c.

Selon le lemme de relvement des chemins,

t [0, 1[ , ! ct chemin d'origine x tel que ct = c|[0,t] t [0, 1[ , c(t) = ct (t) et c(1) = x. Rciproquement, montrons que c ainsi dnie est bien continue. Soit t [0, 1]. Si t < 1, on xe s ]t, 1[. Par unicit, c|[0,s] = cs est continue en t. Si t = 1, avec les notations de la dnition des revtements ramis, comme c est d'extrmit b, on peut xer un voisinage V de 1 pour lequel c est valeurs dans UX . Alors t V, c(t) = c(t) = 1 (X ((t))n ) c B D'o comme c(t) tend vers b lorsque t tend vers 1, c(t) tend vers x lorsque t tend vers 1.
On souhaite prsent trouver une condition susante pour montrer qu'un revtement est trivial lorsque

est connexe par arcs et localement connexe par arcs. Ce lemme donne deux

proprits que vrie alors

B.
par arcs. connexes par arcs,

Lemme.
 Si 

Soit (X, ) un revtement de B d'ordre n. B est connexe par arcs, X possde au plus n composantes connexes Si B est connexe par arcs et X possde exactement n composantes chacune contient exactement un antcdent de chaque lment de B .

Dmonstration. On se donne
Soit

b B et on pose 1 ({b}) = {x1 , ..., xn } x X , montrons que x appartient l'une des composantes connexes par arcs des (xi ). On pose b = (x) B , soit un chemin de b b . En relevant successivement partir de x1 , ..., xn , on obtient n antcdents de b nots x1 , ..., xn .
10

Supposons donc les la

xi = xj . Alors par relvement de de b b, on en dduit xi = xj , (xi ) sont distincts deux deux. Il existe ainsi i tel que x = xi , et donc x composante connexe par arcs de xi .
(trivialisation d'un revtement)

appartient

Lemme
arc.

Soit

un connexe par arcs, localement connexe par

Soit (X, ) un revtement de B (X, ) est un revtement trivial Dmonstration. On note

On dnit

d'ordre d'ordre

n. Si X n de B .

possde

composantes connexes par arcs, alors

(Xi )1

i n les composantes connexes par arcs de

X.

: X x
de

B [|1, n|] ((x), i) si x Xi

Selon le lemme 2, chaque composante contient exactement un antcdent de chaque lment

B , donc est bijective. Soit x X , soit U un voisinage connexe par arcs de (x) et un homomorphisme de trivialisation locale au dessus de U . La seconde composante de est continue donc constante sur les composantes connexes par arcs 1 de (U ), donc quitte composer avec une permutation, on peut supposer que et concident 1 sur (U ), d'o est continue en x 1 (U ) et sa rciproque est continue en tous les ((x), i) Donc est un homomorphisme.
An de montrer la proposition 4, nous aurons besoin d'un rsultat de continuit du relvement des chemins, que l'on dmontre lorsque le revtement vrie une proprit de sparation : (relvement continu des chemins). Soient (B, d) et (X, d ) deux espaces mtriques tels (X, ) soit un revtement de B d'ordre n. On suppose qu'il existe > 0 tel que pour tout b B , inf{d (x, y)|x, y 1 ({b}), x = y} > Soient 0 un chemin dans B , 0 un relvement de 0 et un rel strictement positif. Il existe > 0 tel que pour tout chemin distance de 0 (c'est--dire tel que t [0, 1], d((t), 0 (t)) ), il existe un relvement de distance de 0 .

Lemme
que

3. On reprend la dmonstration du lemme de relvement des chemins : on xe les voisinages ouverts

Dmonstration. Quitte considrer 3 , on peut supposer

<

(Ut )t[0,1] de sorte qu'en notant t un homomorphisme 1 s S , t (Ut {s}) soit de diamtre infrieur 1 (possible car t est continue).
Alors, avec les mmes notations, on pose

de trivialisation locale au dessus de

Ut ,

= min
i

ti t ti+1

min d(0 (t), C \ Ui )

sont ouverts).

>0 (t1 , ..., tp )

est admissible pour et

(qui existe car les Soit et

Ui

un chemin a distance

de

0 .

Alors la suite

donc construire

de la mme manire que

0 .

De plus, montrons par rcurrence sur

: on peut i que (ti )

second sont . Or si sur

0 (ti )

sont sur la mme composante, c'est--dire que , donc par construction,

i (0 (ti ))

membre ( (t0 ) tant choisie de la sorte.) Par hypothse de rcurrence, distance au plus

i ( (ti )) ont mme (ti ) et 0 (ti )

(ti+1 )

et

0 (ti+1 )

sont distance au plus

(ti+1 )

et

0 (ti+1 )

ne sont pas sur la mme composante, en xant

l'antcdent de

0 (ti+1 )

la mme composante que

d ( (ti+1 ), 0 (ti+1 ))
d'o le rsultat.

(ti+1 ), selon l'ingalit triangulaire, d (x, 0 (ti+1 )) d (x, (ti+1 )) 2

: absurde

Remarque. Ce lemme permet de montrer que deux chemins homotopes ont des relvements homotopes sous ces conditions, et nous servira ici pour dmontrer la proposition 4.

Proposition.

est continue sur

C \ ([0, 1]).
11

a C \ ([0, 1]) et > 0. C par exp : C C vrie la proprit du lemme de relvement continu des chemins avec = : on peut donc xer tel que BF (a, ) C \ ([0, 1]) (ouvert) et pour tout b BF (a, ), il existe un relvement b de b distance d'un relvement x a de a et alors |I (b) I (a)| .
Dmonstration. Soient
Le revtement de

Bibliographie
[1 ] A.

thmatique de France (2007) [2 ] R. [3 [4 [5

Douady et J.H. Hubbard, Etude dynamique des polynmes complexes, Socit Ma-

17 mai 2012 [6 ] M.

Douady et A. Douady, Algbre et thories galoisiennes, Cassini (2005) ] K. Kuratowski, Topology, Volume 2, Academic Press (1968) ] C. Tricot, Gomtries et mesures fractales : une introduction, Ellipses (2008) ] D.E. Joyce, Julia and Mandelbrot Set Explorer, http ://aleph0.clarku.edu/ djoyce/julia/explorer.html, Lenoir, Fonctions d'une variable complexe, http ://www.scribd.com/doc/50174871/2006-

cours-uma550-variable-complexe, 17 mai 2012, 57-59

12