Académique Documents
Professionnel Documents
Culture Documents
Analyse fonctionnelle
P
1. Soit x = (xn )n≥0 une suite complexe telle que la série xn yn converge pour tout
y = (yn ) ∈ `2 (N). On pose, pour k ∈ N,
k
X
Tk (y) = xn yn , y = (yn ) ∈ `2 (N).
n=0
f (x) − f (x0 )
Qx (f ) = .
x − x0
1. Le corrigé sera disponible à partir du 10 janvier 2012 à l’adresse
On se donne x∗0 ∈ BX ∗ .
a) Soit V un voisinage de x∗0 pour σ(X ∗ , X), que l’on peut toujours supposer de la
forme
1. a) Par hypothèse, la suite (TkP(y)) converge pour tout y ∈ `2 (N) vers une limite T (y),
qui est la somme de la série xn yn . D’après un corollaire du théorème de Banach-
Steinhaus (voir le cours), on conclut que T est une application linéaire continue.
b) Puisque T est linéaire continue, il existe M ≥ 0 tel que
X
xn yn ≤ M kyk`2 (N) pour tout y ∈ `2 (N).
n≥0
D’où,
k
X
|xn |2 ≤ M 2 pour tout k ∈ N,
n=0