1. Soit Cun convexe de Xcontenant l’origine, et a /∈C.
(a) Montrer que si Cest ouvert, alors il existe T∈X0tel que T(x)< T (a) pour tout x∈C.
(Utiliser Hahn-Banach et la jauge de C.)
(b) Montrer que si Cest ferm´e, alors il existe T∈X0et α∈Rtels que T(x)< α < T (a) pour
tout x∈C. (Consid´erer un voisinage de 0de la forme C+B(0, r)), et utiliser (a).)
2. En d´eduire que toute partie convexe ferm´ee non vide de Xest ´egale `a l’intersection des demi-espaces
ferm´es qui la contiennent, puis que les convexes ferm´es forts de Xsont ses convexes ferm´es faibles.
3. On suppose que Xest de dimension infinie. Montrer que l’adh´erence faible de la sph`ere unit´e de
Xest ´egale `a sa boule unit´e ferm´ee.(Utiliser l’exercice 23.)
Exercice 20 (Hahn-Banach g´eom´etrique) Soit Xun R-espace vectoriel norm´e, et Aet Bdeux en-
sembles convexes, non vides et disjoints de X.
1. On suppose que Aest un ouvert de X.
(a) Montrer qu’il existe f∈X0tel que f(x)<0 pour tout x∈A−B={a−b, a ∈A, b ∈B}.
(Utiliser l’exercice 19.)
(b) En d´eduire qu’il existe α∈Rtel que f(x)≤αpour tout x∈Aet f(x)≥αpour tout x∈B.
(On dit que l’hyperplan ferm´e {x∈X, f(x) = α}s´epare Aet Bau sens large.)
2. On suppose que Aest ferm´e et B est compact.
(a) Montrer que pour tout ε > 0 assez petit les ensembles Aε=A+B(0, ε) et Bε=B+B(0, ε)
sont des convexes ouverts, non vides et disjoints.
(b) En d´eduire qu’il existe f∈X0,α∈Ret ε > 0 tels que f(x)≤α−εpour tout x∈Aet
f(x)≥α+εpour tout x∈B. (On dit que l’hyperplan ferm´e {x∈X, f(x) = α}s´epare Aet
Bau sens strict.)
Exercice 21 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).
Exercice 22 Soit Xl’espace l∞muni de la norme || · ||∞. Trouver une suite (fn) de X0telle que
||fn||∞= 1 et (fn) ne poss`ede aucune sous-suite faiblement ∗-convergente. Y-a-t-il contradiction avec le
fait que BX0(0,1] est faiblement-∗compacte ? Que peut-on en conclure sur X?
Exercice 23 Soit Xun espace vectoriel norm´e de dimension infinie.
1. Montrer que tout voisinage faible d’un point x∈Xcontient une droite affine issue de x. (Montrer
que toute intersection finie d’hyperplans de Xest non r´eduit `a {0}, et en d´eduire le r´esultat.)
2. Montrer que la boule unit´e ouverte de Xest d’int´erieur vide pour la topologie faible.
4