Escolar Documentos
Profissional Documentos
Cultura Documentos
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
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
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
B xi
, cqfd.
i 1
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
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.
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
0 " 0; f
A x y X; d x y
$# %
f x
f y
&
'#
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
B fi
3
. Soit f un lment de A.
i 1
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
3
+
3
+
3
i
1 n 2 f xi
g xi
!
$#
3
xi
"
yk
f xi
$ B yk
6
et g xi
$ B yk
6
: 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
A
A
T
B f
T
T tant de cardinal fini, ce recouvrement de A est fini. Ceci prouve la prcompacit de A et termine la dmonstration.