Vous êtes sur la page 1sur 5

TOPOLOGIE FAIBLE

SYLVIE BENZONI
Rappelons quune topologie sur un ensemble X est une famille de parties de X, appelees
ouverts, veriant les trois proprietes suivantes :
(1) lensemble vide et lensemble X lui-meme font partie des ouverts,
(2) toute reunion douverts est un ouvert,
(3) toute intersection nie douverts est un ouvert.
Une topologie est dautant plus ne quelle contient plus douverts. Des exemples ex-
tremes sont
la topologie grossi`ere (la moins ne !), pour laquelle seuls et X sont des ouverts,
la topologie discr`ete (la plus ne), pour laquelle toutes les parties de X sont des
ouverts.
Un exemple moins trivial de topologie est celle engendree par les boules ouvertes dans un
espace metrique : les ouverts sont alors tous les ensembles obtenus comme reunions quel-
conques dintersections nies de boules ouvertes. En particulier dans un espace vectoriel
de dimension nie, toutes les normes sont equivalentes et engendrent la meme topologie.
On dit quune topologie est separee si pour tout couple de points distincts x
1
et x
2
, il
existe des ouverts disjoints O
1
et O
2
tels que x
1
O
1
et x
2
O
2
. Une topologie despace
metrique est toujours separee (il sut de prendre pour les ouverts O
1
et O
2
des boules
ouvertes de rayon strictement inferieur `a la moitie de la distance entre x
1
et x
2
).
Denition 1 (BorelLebesgue). Dans un espace topologique separe, une partie est com-
pacte si de tout recouvrement par des ouverts on peut extraire un sous-recouvrement ni.
Avec des symboles, K X est compacte si, pour toute famille douverts (O
i
)
iI
telle que
K
iI
O
i
il existe une partie nie J de I telle que K
jJ
O
j
.
Moralite (un anglophone parlerait de rule of thumb ) : moins il y a douverts, ou
encore, moins la topologie est ne, plus il y a de compacts.
Dans les espaces metriques, les compacts sont caracterises par deux proprietes :
(1) la pre-compacite : un ensemble A est dit pre-compact (ou encore totalement borne)
si pour tout > 0, A admet un recouvrement ni par des boules de rayon ,
(2) la completude : toutes les suites de Cauchy sont convergentes.
Dans un espace vectoriel norme de dimension nie (qui est toujours ferme), un ensemble
est complet si et seulement sil est ferme, et un ensemble est totalement borne si et
seulement sil est borne (il sut de le verier pour la norme | |

, dont les boules sont


des paves). Par suite, les compacts dun espace vectoriel norme de dimension nie sont
les ensembles fermes bornes. En revanche, dans un espace vectoriel norme de dimension
innie, la boule fermee unite nest jamais compacte : cest le theor`eme de Riesz (voir par
exemple [1, p. 92]).
Date: 3 mars 2010.
1
2 SYLVIE BENZONI
1. Topologie faible
Desormais, X est un R-espace de Banach, cest-`a-dire un espace vectoriel norme complet
sur R. Il est muni de la topologie engendree par les boules ouvertes, que lon appellera
topologie forte. On va denir la topologie faible comme ayant moins douverts et on verra
quelle a plus de compacts que la topologie forte. On note X

le dual topologique de X,
cest-`a-dire lespace des formes lineaires continues sur X : cest un espace de Banach pour
la norme denie par
f = sup
x=0
f, x)
|x|
,
o` u , ) designe le crochet de dualite (cest-` a-dire que f, x) designe limage de x par la
forme lineaire f).
Denition 2. La topologie faible sur X est la topologie la moins ne telle que toutes
applications f : X R avec f X

soient continues.
Ceci est une vraie denition au sens o` u il est possible de construire la topologie
faible. En eet, celle-ci doit au minimum contenir tous les ensembles de la forme f
1
(U)
o` u U est un ouvert de R et f X

. Si lon consid`ere toutes les reunions quelconques


dintersections nies de tels ensembles, on obtient une topologie, et cest bien s ur celle qui
a le moins douverts parmi les topologies ayant les ensembles f
1
(U) comme ouverts.
La topologie faible est moins ne que la topologie forte, cest-` a-dire que tous les ouverts
faibles sont fortement ouverts, car cest le cas des ouverts faibles de la forme f
1
(U) o` u
U est un ouvert de R et f X

.
En dimension nie, la topologie faible concide avec la topologie forte. En eet, notons
(e
1
, . . . , e
n
) une base de X et (f
1
, . . . , f
n
) sa base duale. Si U est un ouvert fort, si x
0
U
il existe r > 0 tel que la boule ouverte de centre x
0
et de rayon r soit incluse dans U. Or
dapr`es linegalite triangulaire, cette boule contient louvert faible
V (x
0
) := x X ; [f
i
, x x
0
)[ < r/n, i 1, . . . , n .
Ainsi U est la reunion des ouverts faibles V (x
0
) lorsque x
0
parcourt U, cest donc un
ouvert faible.
En dimension innie en revanche, la topologie faible est strictement moins ne que la
topologie forte : une boule ouverte nest pas faiblement ouverte, voir [1, p. 37].
La topologie faible est separee. Ceci est une consequence du theor`eme de Hahn-Banach
(forme geometrique, voir [1, p. 7]): si x
1
,= x
2
il existe f X

et R tels que
f, x
1
) < < f, x
2
) .
Par suite, les ouverts faibles O
1
:= x X ; f, x) < et O
2
:= x X ; f, x) >
separent les points x
1
et x
2
.
Rappelons quon appelle voisinage dun point x tout ensemble contenant un ouvert
contenant x, et quune base de voisinages est une famille de voisinages telle que tout
ouvert contenant x contient au moins un de ces voisinages. Quel que soit x
0
X, une
base de voisinages faibles de x
0
est formee par les ouverts faibles de la forme
x X ; [f
i
, x x
0
)[ < , i I ,
o` u > 0, I est ni et f
i
X

.
On distingue la convergence dune suite pour la topologie faible en la notant (au lieu
de pour la convergence forte). Gr ace aux bases de voisinages decrites ci-dessus, on voit
que la convergence faible est caracterisee par :
x
n
x f X

, f, x
n
) f, x) .
TOPOLOGIE FAIBLE 3
La convergence forte implique la convergence faible, car
[f, x
n
) f, x)[ f |x
n
x| .
Toute suite faiblement convergente est bornee. En eet, si (x
n
)
nN
est faiblement conver-
gente, alors pour tout f X

la suite numerique (f, x


n
))
nN
est convergente donc bornee.
Gr ace au theor`eme de Banach-Steinhaus (ou principle of uniform boundedness [1,
p. 16]) applique `a T
n
: X

R deni par T
n
(f) = f, x
n
) et au corollaire du theor`eme de
Hahn-Banach selon lequel |x
n
| = T
n
, on en deduit que (x
n
)
nN
est bornee.
On a par ailleurs un resultat de convergence fort-faible : si x
n
f et f
n
f alors
f
n
, x
n
) f, x). En eet,
[f
n
, x
n
) f, x)[ [f
n
f, x
n
)[ + [f, x
n
x)[ f
n
f |x
n
| + [f, x
n
x)[
o` u chacun des termes tend vers zero par hypoth`ese.
Les fermes sont par denition les complementaires des ouverts. Par suite, les fermes
faibles sont des fermes forts. Mais la reciproque est fausse. Par exemple, la sph`ere unite
nest pas faiblement fermee en dimension innie, son adherence fermee etant la boule
fermee (voir [1, p. 37]). En revanche, les convexes fortement fermes sont faiblement fermes.
Demonstration. Si C X est convexe ferme, soient U = XC et x
0
U. Dapr`es le
theor`eme de Hahn-Banach il existe f X

et R tels que
f, x
0
) < < f, y)
pour tout y C. Alors x X ; f, x) < est un ouvert faible inclus dans U et
contenant x
0
. Ceci montre que U est faiblement ouvert, et donc que C est faiblement
ferme.
La topologie faible est interessante lorsquon connat bien X

. Cest le cas par exemple


pour L
p
() avec un ouvert de R
n
muni de la mesure de Lebesgue et p [1, +[, dont le
dual topologique sidentie avec L
p

avec 1/p+1/p

= 1 (voir le tableau 1) via le theor`eme


de representation de Riesz [1, p. 61] : pour tout f (L
p
())

il existe un unique v L
p

()
tel que, quel que soit u L
p
(),
f, u) =

vu.
Le theor`eme qui suit montre quelle est denitivement plus interessante si X est reexif,
cest-`a-dire isomorphe `a son bi-dual X

(par linjection canonique x Jx : f f, x)).


Theor`eme 1 (Kakutani). La boule fermee unite est faiblement compacte si et seulement
lespace est reexif.
Plus generalement, dans un espace reexif, les convexes fermes bornes sont faiblement
compacts, voir [1, pp. 44-46]. Ce theor`eme se demontre en passant par une topologie
encore moins ne que la topologie faible dans X

.
2. Topologie faible

Etant donne un espace de Banach X et son dual topologique X

, on peut bien entendu


denir la topologie faible sur X

. On va en fait denir une topologie encore moins ne


(strictement si X nest pas reexif).
4 SYLVIE BENZONI
Denition 3. La topologie faible sur X

est la topologie la moins ne telle que toutes


applications
Jx : X

R
f f, x)
avec x X soient continues.
La topologie faible est separee. Ceci resulte quasiment directement des denitions.
En eet, si f
1
et f
2
sont deux elements distincts de X

, il existe x X tel que f


1
, x) <
f
2
, x). En choisissant un nombre reel ]f
1
, x), f
2
, x)[, on peut prendre O
1
:= f
X

; f, x) < et O
2
:= f X

; f, x) > comme ouverts faibles separant f


1
et
f
2
.
Quel que soit f
0
X

, une base de voisinages faibles de f


0
est formee par les ouverts
faibles de la forme
f X

; [f f
0
, x
i
)[ < , i I ,
o` u > 0, I est ni et x
i
X.
La convergence faible est caracterisee par :
f
n

f x X , f
n
, x) f, x) .
La convergence forte implique la convergence faible qui elle-meme implique la conver-
gence faible .
Toute suite faible convergente est bornee. En eet, si (f
n
)
nN
est faible convergente,
alors pour tout x X la suite numerique (f
n
, x))
nN
est convergente donc bornee. Grace
au theor`eme de Banach-Steinhaus [1, p. 16] applique ` a f
n
: X R d, on en deduit que
(f
n
)
nN
est bornee.
Par ailleurs si x
n
x et f
n

f alors f
n
, x
n
) f, x). En eet,
[f
n
, x
n
) f, x)[ [f
n
f, x)[ + [f
n
, x
n
x)[ [f
n
f, x)[ +f
n
|x
n
x|
o` u chacun des termes tend vers zero par hypoth`ese.
Les fermes faibles sont par denition les complementaires des ouverts faibles . Les
fermes forts, et meme les convexes fermes, ne sont pas fermes faibles en general: si X
nest pas reexif et si X

J(X), alors lhyperplan (fortement et) faiblement ferme

nest pas faible ferme (voir [1, p. 42]). Cependant les boules fermees sont faible
fermees et meme compactes (voir [1, p. 4243]) :
Theor`eme 2 (BanachAlaoglu). La boule fermee unite est faible compacte.
Ce theor`eme intervient notamment dans la demonstration du theor`eme de Kakutani.
Ils permettent ` a eux deux dextraire des sous-suites convergentes, moyennnant quelques
precautions liees aux notions de metrisabilite et de separabilite.
3. M etrisabilit e et s eparabilit e
La notion de compacite denie par la propriete de BorelLebesgue (denition 1) est
equivalente ` a la propriete de BolzanoWeierstrass (selon laquelle toute suite bornee admet
une sous-suite convergente) seulement dans les espaces metriques. Or lespace X

muni
de la topologie faible nest pas metrisable si X est de dimension innie. Cependant, la
boule fermee unite de X

est metrisable si X est separable (cest-`a-dire admet une famille


denombrable dense): il sut (voir [1, p. 4849]) de denir la distance d par
d(f, g) =
+

n=1
2
n
[f g, x
n
)[ ,
TOPOLOGIE FAIBLE 5
o` u (x
n
)
nN
est une famille denombrable dense dans la boule fermee unite de X.
Par suite, le theor`eme de BanachAlaoglu est surtout utile lorsque X est separable (voir
[1, p. 50]) :
Corollaire 1. Si X est separable, toute suite bornee dans X

admet une sous-suite faible


convergente.
Ceci sapplique par exemple ` a X = L
1
: toute suite bornee dans L

admet une sous-


suite faible convergente.
En mati`ere de topologie faible, le theor`eme de Bolzano-Weiestrass est vrai sous lhypo-
th`ese que X soit reexif (comme dans le theor`eme de Kakutani) :
Corollaire 2. Si X est reexif, toute suite bornee dans X

admet une sous-suite faible-


ment convergente.
Attention, ceci ne sapplique pas ` a X = L
1
. La caracterisation des compacts faibles
dans L
1
est fournie (voir par exemple ` a [2, p. 274]) par le
Theor`eme 3 (Dunford-Pettis). Soient un espace mesure separable et localement com-
pact et F un sous-ensemble borne de L
1
(). Alors F est faiblement compact si et seule-
ment si
(1) pour tout > 0, il existe > 0 tel que pour tout A de mesure [A[ < , pour tout
f F on ait

A
[f[ ,
(2) pour tout > 0, il existe un compact K tel que pour tout f F on ait

\K
[f[ .
En particulier, si est de mesure nie (par exemple si est un ouvert borne de R
n
muni de la mesure de Lebesgue), le point (2) est automatiquement satisfait.
Un autre cas particulier est celui dune mesure discr`ete, cest-` a-dire celui dun espace

1
, dans lequel le point (1) est automatiquement satisfait et o` u lon voit que la compacite
faible est equivalente `a la compacite forte.
Tab. 1. Espaces L
p
() avec un ouvert de R
n
muni de la mesure de Lebesgue
espace reexif separable son dual dual de
L
1
non oui L

?
L
p
, oui oui L
p

, L
p

1 < p <
1
p
+
1
p

= 1
L

non non L
1
L
1
R ef erences
[1] Brezis, H. Analyse fonctionnelle : Theorie et applications. Masson 1983.
[2] Edwards, R. E. Functional analysis : theory and applications. Holt-Rinehart and Winston, 1965.