Vous êtes sur la page 1sur 5

Prcompacit et thorme dAscoli

1 Introduction
Le thorme dAscoli est un profond rsultat danalyse fonctionnelle. Il nous servira illustrer la puissance du formalisme topologique sur des espaces abstraits comme
les espaces de fonctions. Afin dtablir sa dmonstration, nous introduirons la notion
despaces prcompacts. La prcompacit nous donnera un critre de compacit des
espaces complets.

2 Prcompacit
On considre dans cette partie un espace mtrique (X,d).
Dfinition On dit que la famille xi ; i  1  p  dlments de X est un -rseau
de X si X=

B xi 
o B x 
dsigne la boule ferme de centre x et de rayon .

i 1

Dfinition On dit que (X,d) est prcompact si 0 il existe un -rseau de X.


Proposition Si (X,d) est prcompact, alors pour tout sous ensemble Y de X muni
de la mtrique induite (note, par abus dcriture, d):
(Y,d) est prcompact.
(Y ,d) est prcompact.
Dmonstration
Montrons que (Y,d) est prcompact. Soit


rseau de X. En particulier, on a Y 

0 et soit xi ; i


1  p  un 2-

B xi  2
. Nommons A la sous famille

i 1

de xi ; i  1  p  des lments xi tels que B xi  2


intersecte Y. On peut crire:


Y

B xi  2
. Le problme est que les xi de A ne sont pas ncessairement

i 1

/ dans
lments de Y. Par contre, comme pour tout xi de A, B xi  2
 Y  0,
chacune de ces intersections, on peut trouver un lment yi de A tel que
B xi  2
 B yi 

La famille yi  est alors un -rseau de Y.

Montrons que (Y ,d) est prcompact si (Y,d) lest. Soit 0. Soit xi ; i  1  n 
un rseau de Y. On peut donc crire: Y 

B xi 
et donc

i 1

B xi 


i 1

Mais ceci implique que Y

B xi 
, cqfd.

i 1

Thorme On a quivalence entre:


(X,d) est compact.
(X,d) est prcompact et complet.

Dmonstration
Supposons que X est compact. Soit 0 et soit le recouvrement ouvert de X:
(B(x,))x  X . Comme X est compact, on peut en extraire un recouvrement fini
de la forme (B(xi ,))i  1      n o les xi sont des lments de X. On a ainsi prouv
lexistence dun -rseau. Dautre part, on sait que tout espace mtrique compact
est complet.
Supposons X prcompact et complet. Supposons de plus que X nest pas compact. Soit la suite de rels (n )n  IN choisie en sorte quelle soit convergente vers
0. Comme X est prcompact, il existe un 0 -rseau de X: xi ; i  1  n  . Comme
X nest pas compact, on peut trouver un recouvrement ouvert de X : Un
n  IN tel
quaucune sous famille finie de ce recouvrement ne recouvre X. En particulier, il
existe une boule B0 =B(xi ,0 ) (o xi est un lment du 0 -rseau) telle quaucune
sous famille fini de Un
n  IN ne la recouvre. On recommence le mme raisonnement au sein du sous espace prcompact B0 =B(xi ,0 ). On choisit un 1 -rseau
de B0 : y1  ym  . Ceci nous permet de construire une boule B1 =B(yk ,1 ) o
yk est un lment du 1 -rseau. La boule B1 est telle quaucune sous famille de
Un
n  IN ne la recouvre. On construit par rcurrence et par cette mthode une
suite dcroissante de boules fermes Bn
n  IN telle que Bi a pour rayon i . Aucune sous famille finie de Un
n  IN ne recouvre un lment Bi de cette suite. Par
contre, comme Bn
n  IN est une suite de sous ensemble de X dont le diamtre (
diamtre de Bk =k ) tend vers 0 et que X est complet, il existe un lment x de
X tel que  Bi  x  . x tant lment de X et Un
n  IN tant une famille dont
i 0

la runion est gale X, il existe un lment Ui de Un


n  IN tel que x  Ui . Mais
Ui est un ouvert de X. On peut donc trouver un rel strictement positif tel que
B x 
 Ui . Mais comme x est lment de chaque Bk pour k  IN et que n
n  IN
tend vers 0, on peut trouver une boule Bk de rayon suffisemment petit en sorte
quelle soit toute entire contenue dans B x 
. Cette boule Bk est tout entire
2

dans Ui et est par consquent recouvrable par une sous famille finie de Un
n  IN .
Ceci est en contradiction avec ce que nous connaissons de Bn
n  IN et prouve
que notre hypothse de dpart est fausse. Ainsi X est compact.

Ajoutons la dfinition suivante:


Dfinition On dira quun sous espace A dun espace topologique (Z,  ) est relativement compact (pour la topologie induite) si son adhrence est compact.

3 Thorme dAscoli
On considre dans cette section deux espaces mtriques (X,d) et (Y,). Nous allons travailler sur lespace  (X,Y) des applications continues de X dans Y. Nous allons
supposer que (X,d) est un espace mtrique compact. Ainsi on pourra munir  (X,Y) de
la topologie de la convergence uniforme. On notera, comme dhabitude, si f et g sont
des lments de  (X,Y),  f g  sup f x
 g x
!
. Rappelons aussi que si (Y,) est
x X

complet alors il en est de mme de  (X,Y).


Dfinition Soit A une partie de  (X,Y). On dira que A est quicontinue sur X si

0 " 0; f


A x  y  X; d x  y
$# %

f x
 f y
&
'# 

On remarque que lquicontinuit est une gnralisation de luniforme continuit.


Thorme dAscoli Soit A une partie de  (X,Y). On a quivalence entre:
A est quicontinue sur X.
A est relativement compact dans  (X,Y) muni de la topologie de la convergence
uniforme.

Dmonstration
Supposons que A est relativement compact. Montrons que A est quicontinue.
Choisissons un rel >0. Comme A est compact, on peut trouver une famille


fi

i 1     n

dlments de A tel que A

B fi  3
. Soit f un lment de A.

i 1

On cherche un rel indpendant de f  A tel que pour tout x,y  X vrifiant


d(x,y)< alors f x
 f y
!
(# . Prenons donc x et y dans X. On a, par lingalit
triangulaire, pour tout i=1,..,n:
f x
 f y
!
*) f x
 fi x
&
,+ fi x
 fi y
!
,+ fi y
 f y
&

3

De plus comme f est lment de A et que A est recouvert par des boules de
rayon 3 et de centre les fi , on peut trouver k dans 1  n  tel que f  B fk 
.
En utilisant lingalit prcdente dans le cas o i=k, on montre que
f x
 f y
!
*)

fk x
 fk y
!
,+
+


3

Les applications fi pour i  1  n  sont uniformment continues sur X car continues sur un compact. Pour tout x,y  X, on peut donc trouver un rel i tel que
d(x,y)<i % fi x
 fi y
!
$# 3. Posons
n

 inf i 
i 1

Alors si d(x,y)<, on a, pour tout i=1,..,n, fi x


 fi y
!
-# 3. Cette ingalit
est bien videmment vraie si i=k, ce qui nous prouve, en utilisant la majoration
prcdente de f x
 f y
&
que
f x
 f y
&
'#

3
+

3
+

3


Le rel est bien indpendant de f . Ainsi la famille A est quicontinue.


Supposons que A est quicontinue. Nous voulons montrer que A est compact.
Cela revient montrer que ce sous ensemble de  (X,Y) est prcompact et complet. Comme A est ferm, on sait quil est complet comme sous espace ferm
dun espace complet. Reste montrer quil est prcompact. Mais il suffit, daprs
la proposition dmontre au dbut de ce thme, de prouver que A est prcompact. Nous allons devoir dterminer, donn, une famille finie F dlments de
A tel que

A
B f 
.
f F

La difficult principale laquelle nous sommes confront est celle de caractriser


les ensembles B f 
. Autrement dit, si f est donne dans A, comment dcrire
lensemble des g  A tels que f  g
/ sup f x
 g x
&
0) . A prioris, pour
x X

trouver un tel g dans A, il faut vrifier autant dingalits quil y a de points x


dans X!!! Essayons donc de trouver des conditions plus gnriques sur g et qui
nous garantissent la majoration dsire.
Comme X est compact, il est prcompact. Comme A est quicontinue, il existe
>0 tel que d(x,y)< % f x
 f y
&
'# 3 et g x
 g y
!
1# 3. Choisissons
alors un -rseau  x1  xn  de X. Supposons que notre application vrifie
la condition suivante: Pour tout >0 et tout -rseau de X correspondant,

i

1  n 2 f xi
 g xi
!
$# 3 

Alors on peut affirmer que f  g


3# . En effet, pour tout x dans X et tout
i=1,...,n,
f x
 g x
!
1) f x
 f xi
!
,+ f xi
 g xi
!
,+ g xi
 g x
&

4

On a, pour les lments xi de et pour tout x vrifiant d(xi ,x)<: f x


 f xi
!
4#
3 et f x
 f xi
&
# 3. Ceci nous donne alors bien f  g
'# .
Formons ds lors une seconde hypothse: On se donne un /6-rseau de Y
 y j ; j  1  m  et on suppose que g vrifie :

xi


"

yk 

f xi
$ B yk  6
et g xi
$ B yk  6


Si g vrifie cette seconde hypothse alors pour tout i=1,..,n, f xi


 g xi
!
(# et
g vrifie la premire hypothse. Ceci implique que g vrifie lingalit f  g
$)
. Nous disposons maintenant dun critre utilisable pour savoir si une fonction
g de A vrifie f  g
$) . Posons
T

: 5


et si est lment de T,
A


f


A; xi

f xi
$ B xi
 6
67


Remarquons que T est de cardinal fini (card(T)=mn). Remarquons aussi que pour
tout f  A, il existe un lment de T tel que f  A . En effet, comme Y est
recouvert par des boules de rayon 6 et de centre les y j de , tout xi de pour
image par f un lment f xi
qui est contenu dans lune de ces boules, B y j  6

par exemple. On dfinit alors notre application par xi


 y j . Nous sommes
alors en mesure dcrire linclusion


A

A 

 T

Choisissons un lment f dans chaque A . Appelons B lensemble des f ainsi


choisis. B est un -rseau de A: si f est lment de A alors f et f vrifient
toutes les deux la seconde hypothse. Mais celle ci implique que f  f
1# et
donc que f  B f 
. Autrement dit A  B f 
et
A

B f 


 T

T tant de cardinal fini, ce recouvrement de A est fini. Ceci prouve la prcompacit de A et termine la dmonstration.