Démonstration
Soit f'ngun suite bornée de E; alors si Best un opérateur borné la suite
B'n(x)est aussi bornée, et de la compacité de l’opérateur Ail existe une
sous suite de A(B'n(x)) qui converge, ce qui implique que AB est compact.
D’autres part si Best compact, on peut extraire de la suite B'n(x)une
sous suite convergente B'n(k)(x);et de la continuité de l’opérateur Acar il est
borné la suite A(B'n(k)(x)) converge, ce qui implique que AB est compact.
Théorème 4
Soit Eun espace normé et Fun espace de Banach, et soit fAngune suite
d’opérateurs compacts de Edans F; convergente en norme vers l’opérateur
linéaire Ade Edans F
lim
n!1 kAnAk= 0:
Alors Aet compact.
Démonstration
Soit f'ngune suite bornée de E; l’opérateur A1étant compact, on peut
extraire de la suite fA1'ngune sous suite convergente; soit f'1
ngune sous
suite de f'ngtelle que, fA1'1
ngsoit convergente.
De la même façon, on peut extraire de la suite fA2'1
ngune sous suite
convergente, car A2est compact; soit f'2
ngune sous suite de f'1
ngtelle que,
la suite fA2'2
ngsoit convergente.
Remarquons que, la suite fA1'2
ngest une sous suite de la suite conver-
gente fA1'1
ngqui à son tour convergente.
En raisonnant de la même façon, pour les opérateurs A1; A2; :::; Ap; :::, on
détermine les suites f'1
ng;f'2
ng; :::; f'p
ng; :::. Il est à remarquer que la suite
f'p
ngest une sous suite de toutes les suites qui lui précèdent et que les suites
fAk'p
ngsont convergentes pour (k= 1;2; :::; p):
Comme l’espace Yest complet, pour la compacité de l’opérateur Ail
su¢ t de montrer que la suite fA'p
ngest une suite Cauchy, alors
kA'p
nA'q
nkk A'p
nAn'p
nk+kAn'p
nAn'q
nk+kAn'q
nA'q
nk
Soit k'nk M;choisissons nde sorte que l’on a kAAnk<"
3M;
ensuite choisissons Ntel que, pour tous les p>Net q > N; on a la relation
kAn'p
nAn'q
nk<"
3car la suite fAn'p
ngest convergente.
2