3
qui ne peuvent pas ˆetre s´epar´es par un hyperplan ferm´e. (On pourra approcher x∈`1
par (a−b) o`u a∈A,b∈Bet bn=−1
n2`a partir d’un certain rang ).
10 - Soit Eun espace norm´e r´eel. On appelle hyperplan d’appui de A⊂Eun hyperplan
Hcontenant au moins un point de Aet tel que tous les points de Asoient d’un mˆeme
cˆot´e de H.
a) Montrer que si Hest hyperplan d’appui de A , H ∩Aest contenu dans la fronti`ere
de A.
b) Si Eest un espace de Hilbert et Ala boule unit´e de E, d´eterminer les hyperplans
d’appui de A.
c) Montrer que si
◦
Aest non vide, les hyperplans d’appui de Asont ferm´es.
11 - Soit Eun espace norm´e r´eel. On d´efinit le polaire Ao(resp.oB) d’une partie Ade
E(resp.d’une partie Bde E0) par, Ao={f∈E0/ < f, x >≤1,pour tout x∈A},
(resp.oB={x∈E/ < f, x >≤1,pour tout f∈B}).
a) Quel est le polaire de la boule unit´e?
b) Montrer que le polaire d’une partie de E(resp. E0) est convexe et ferm´e.
c) Soit Aune partie convexe de Econtenant 0. Montrer `a l’aide du th´eor`eme de
Hahn-Banach g´eom´etrique que o(Ao) = ¯
A.
12 - On rappelle qu’un espace norm´e est s´eparable s’il contient une partie d´enombrable
dense.
a) Montrer qu’un espace norm´e s´eparable contient un sous-espace vectoriel d´enombrable
dense.
b) Montrer que les espaces c0et `ppour 1 ≤p < ∞sont s´eparables.
c) Montrer que `∞n’est pas s´eparable. (Consid´erer la famille des boules ouvertes
(B(χA,1))A⊂N, o`u, pour A⊂N,χAd´esigne la fonction caract´eristique de A).
d) Soit Eun espace norm´e. On suppose que son dual E0est s´eparable. Montrer que
Eest s´eparable. (Soit (fn) une suite dense dans E0, consid´erer une suite (xn) dans E
telle que kxnk= 1 , fn(xn)≥1
2kfnket montrer `a l’aide de la forme g´eom´etrique du
th´eor`eme de Hahn-Banach que (xn) est totale dans E).
13 - Soient Eun espace vectoriel r´eel, Cune partie convexe de E,fune application de
Edans R. On dit que fest convexe sur Csi,
∀x, y ∈C, t ∈]0,1[ , f(tx + (1 −t)y)≤tf(x) + (1 −t)f(y)
a) Soit Dle sous-ensemble de E×Rd´efini par, D={(x, t)∈E×R/ f(x)≤t}
(surgraphe de f). Montrer que fest convexe si et seulement si Dest un convexe de
E×R.
b) On suppose que Eest un espace vectoriel norm´e. Montrer que si fest continue, D
est ferm´e dans E×R.
c) Soit ϕune forme lin´eaire continue sur E×R(muni de la norme , k(x, t)k=kxk+|t|).
Montrer qu’il existe b∈R, v ∈E0, tels que pour tout (x, t)∈E×R, ϕ(x, t) = v(x)+bt.
d) On suppose fconvexe et continue. Soient x∈Cet > 0. En appliquant la forme
g´eom´etrique du th´eor`eme de Hahn-Banach `a Det (x, f(x)−), montrer qu’il existe
u∈E0, a ∈Rtels que, f(x)−≤u(x) + a, et pour tout y∈C, u(y) + a≤f(y).