Proposition 8.2.3. Soient Eet Fdeux espaces de Banach et T∈ L(E,F) ; notons BE
la boule unit´e ferm´ee de E.
(i)Supposons Tcompact ; alors Test continu de BE, munie de la topologie faible,
dans Fmuni de la topologie de la norme ; en cons´equence, pour toute suite (xn)de points
de Econvergeant faiblement vers 0la suite (T(xn)) converge en norme vers 0.
(ii)Supposons Er´eflexif ; alors Test compact si et seulement si : pour toute suite
(xn)de points de Econvergeant faiblement vers 0, la suite (T(xn)) converge en norme
vers 0; de plus, l’ensemble T(BE)est compact (en norme) dans Florsque Test compact.
D´emonstration. Supposons T compact, et soit K un compact de F contenant T(BE) ;
l’identit´e, de K muni de la topologie de la norme, dans K muni de la topologie
faible est continue ; comme K est compact, c’est un hom´eomorphisme. Comme T est
continu de BEmuni de la topologie faible dans K muni de la topologie faible, il en
r´esulte que T est continu de BEfaible dans F muni de la norme. Si (xn) est une
suite qui converge faiblement vers 0 dans E, elle est born´ee dans E (lemme 5.3.1),
donc (T(xn)) tend vers 0 en norme par ce qui pr´ec`ede.
Lorsque E est r´eflexif, la boule BEest faiblement compacte, donc son ima-
ge T(BE) est faiblement compacte dans F, donc faiblement ferm´ee, donc ferm´ee ;
puisque T(BE) est relativement compacte, elle est en fait compacte. Supposons en-
core E r´eflexif et que (T(xn)) converge vers 0 en norme dans F pour toute suite (xn)
qui tend faiblement vers 0E; soit (xn) une suite dans BE; d’apr`es le th´eor`eme 5.3.5,
il existe une sous-suite (xnk) qui converge faiblement vers un point x∈BE; alors
(xnk−x) converge faiblement vers 0, donc T(xnk)−T(x) converge en norme vers
0 d’apr`es l’hypoth`ese ; on a ainsi montr´e que pour toute suite (xn)⊂BE, il existe
une sous-suite (T(xnk)) qui converge en norme, donc T est compact.
//
Dans le cas o`u l’espace de d´epart est hilbertien, on peut donner des caract´erisations plus
pr´ecises de la compacit´e.
Th´eor`eme 8.2.4. Soient Eun espace de Hilbert, Fun espace de Banach et T∈ L(E,F) ;
notons BEla boule unit´e ferm´ee de E. Les propri´et´es suivantes sont ´equivalentes :
(i)l’op´erateur Test compact de Edans F;
(ii)l’ensemble T(BE)est compact (en norme) dans F;
(iii)l’op´erateur Test continu de BE, munie de la topologie faible, dans Fmuni de la
topologie de la norme ;
(iv)pour toute suite (xn)de points de Econvergeant faiblement vers 0, la suite
(T(xn)) converge en norme vers 0;
(v)l’op´erateur Test adh´erent (en norme d’op´erateur) `a l’espace des applications
lin´eaires continues de rang fini ;
(vi)pour tout syst`eme orthonormal (en)n≥0dans Eon a limnkT(en)k= 0.
D´emonstration. Puisque E est r´eflexif, on sait que (i), (ii), (iii) et (iv) sont ´equiva-
lents. De plus, (v)⇒(i) en g´en´eral, et on sait que (iv)⇒(vi) parce que les suites
orthonorm´ees tendent faiblement vers 0 (exemples 5.3.1).
Supposons que (v) ne soit pas v´erifi´ee. Il existe alors ε > 0 tel que pour toute
application lin´eaire continue de rang fini R on ait kT−Rk> ε. Construisons alors
par r´ecurrence sur nun syst`eme orthonormal (en)n≥0tel que kT(en)k> ε pour tout
– 81 –