2. Soit Bune partie de Xtelle que l’ensemble {f(x), x ∈B}soit born´e pour tout f∈X∗. Pour tout
b∈Bon note Tb:X∗−→ R
f7−→ f(b)
T:X−→ X∗∗
b7−→ Tb.
(a) Montrer que la famille {Tb, b ∈B}est ´equicontinue.
(b) En d´eduire que T(B) est une partie born´ee de X∗∗, puis montrer que sup|||f|||=1 |f(b)|=||b||.
(Pour montrer l’in´egalit´e ≥on pourra utiliser un corollaire du th´eor`eme de Hahn-Banach).
(c) Conclure que Best une partie born´ee de X.
(d) Une application. Montrer que si T:X→Yest un op´erateur compact, et (xn) est une suite
de Xqui converge faiblement vers 0, alors T(xn) converge (fortement) vers 0. (On remarquera
que pour tout ϕ∈Y∗, on a ϕ◦T∈X∗et on montrera que toute valeur d’adh´erence de T(xn)
est nulle.)
Exercice 13 Soit Xun espace vectoriel norm´e. Montrer que ||x|| = supT∈X∗,|||T|||=1 |T(x)|pour tout
x∈X, et que la borne sup est atteinte. En quoi ce r´esultat est-il surprenant ?
Exercice 14 Soit Xun espace localement convexe. Montrer que tout sous-espace vectoriel ferm´e de X
est ´egal `a l’intersection des hyperplans ferm´es qui le contiennent.
Exercice 15 Soit Xun espace localement convexe r´eel, Cun voisinage convexe de 0, et a /∈C. Montrer
que :
1. Si Cest ouvert, alors il existe T∈X∗tel que T(a) = 1 et |T(x)|<1 pour tout x∈C. (Utiliser
Hahn-Banach avec semi-norme dominante la fonctionnelle de Minkowski de C.)
2. Si Cest ferm´e, alors il existe T∈X∗tel que T(a)>1 et |T(x)| ≤ 1 pour tout x∈C.
3. En d´eduire que toute partie convexe ferm´ee de Xest ´egale `a l’intersection des demi-espaces ferm´es
qui la contiennent.
Exercice 16 (Hahn-Banach g´eom´etrique) Soit Xun espace localement convexe r´eel, Cune partie
convexe non vide de X, et Mun sous-espace affine de Xtel que C∩M=∅.
1. Soit G=F+Ra, o`u Fest le sous-espace vectoriel de Xtel que M=a+F(a∈X). Montrer que
pour toute forme lin´eaire Tsur Gtelle que M={x∈X, T (x)=1}, on a T(x)≤µC(x) pour tout
x∈F, o`u µCest la fonctionnelle de Minkowski de C.
2. En utilisant le th´eor`eme de Hahn-Banach, d´eduire qu’il existe un hyperplan ferm´e Hde Xpassant
par Mtel que H∩C=∅.
Exercice 17 On consid`ere l’espace de Banach L1([0,2π]) des (classes de) fonctions mesurables `a valeurs
complexes sur l’intervalle [0,2π] int´egrables pour la mesure de Lebesgue. Pour tout entier n∈Zet toute
fonction f∈L1([0,2π]) on note cn(f) = (1/√2π)R2π
0e−intf(t)dt, le n-i`eme coefficient de Fourier de f.
1. (Lemme de Riemann-Lebesgue) Montrer que limn→±∞ cn(f) = 0. (On pourra d’abord supposer f
est continument d´erivable, puis en d´eduire le r´esultat lorsque f∈L1([0,2π]).)
2. Soit C0(Z) = {(cn)∈CN|limn→±∞ cn= 0}, et ϕ:L1([0,2π]) →C0(Z) l’application lin´eaire
d´efinie par ϕ(f) = (cn(f)).
(a) Montrer que C0(Z) muni de la norme ||(cn)|| := supn∈Z|cn|est un espace de Banach.
(b) Montrer que ϕest continue et injective.
(c) Montrer que l’image de ϕest dense dans C0(Z) (Utiliser le th´eor`eme de Stone-Weierstrass.)
3. Montrer que les fonctions fn(t) = 1
2π
sin( 2n+1
2t)
sin( t
2)=1
2πPn
p=−neipt (les noyaux de Dirichlet) v´erifient
limn→∞ ||fn||1= +∞.
4. En utilisant le th´eor`eme de Banach, d´eduire que ϕn’est pas surjective.
5. Montrer que l’image de ϕest maigre dans C0(Z).
3