Soit Fun sous espace vectoriel de Eet fune forme linéaire de Ftelle que pour tout
x∈Fon ait f(x)≤p(x). Alors il existe une forme linéaire gdéfinie sur Equi prolonge
fet telle que pour tout x∈Eon ait g(x)≤p(x).
Soit Eun espace vectoriel normé. On rappelle qu’un hyperplan affine Hest un en-
semble de la forme H={x∈E, f(x) = a}où fest une forme linéaire non nulle et
a∈R. Soient Aet Bdeux sous-ensembles de E. On dit qu’un hyperplan affine Hsépare
Aet Bsi f(A)≤a≤f(B)et que Hsépare strictement Aet Bs’il existe > 0tel que
f(A)≤a−et a+≤f(B). L’objectif de cet exercice est de montrer les théorèmes
suivants.
Théorème 2. Soient Eun R-espace vectoriel normé et Aet Bdeux sous-ensembles
convexes non vide et disjoints. On suppose de plus que Aest ouvert. Alors il existe un
hyperplan affine fermé qui sépare Aet B.
Théorème 3. Soient Eun R-espace vectoriel normé et Aet Bdeux sous-ensembles
convexes non vide et disjoints. On suppose de plus que Aest fermé et que Best compact.
Alors il existe un hyperplan affine fermé qui sépare strictement Aet B.
1. Montrer que le théoreme 1 implique le théorème de Hahn-Banach.
2. Montrer que Hest fermé si et seulement si fest continue.
3. Soit Cun convexe ouvert non vide de Econtenant 0. Pour tout x∈E, on pose
p(x) = inf c > 0,x
c∈C.
Monter que pvérifie les hypothèses du théorème 1, qu’il existe M > 0tel que
p(x)≤Mkxket que C={x, p(x)<1}.
4. Soit x0/∈C. Monter qu’il existe une forme linéaire continue ftelle que f(x)< f(x0)
pour tout x∈C.
5. En déduire le théorème 2.
6. En déduire le théorème 3.
Exercice 8. Soit Eun espace vectoriel normé.
1. Montrer que si Eest de dimension finie alors la topologie de la norme coïncide avec
la topologie faible sur E.
On suppose dorénavant que Eest de dimension infinie.
2. Montrer que tout voisinage de 0pour la topologie faible contient un sous-espace
vectoriel non trivial.
3. Existe-t-il une norme sur Equi définisse la topologie faible ?
4. Montrer que si Cest convexe alors les adhérences de Cpour la topologie faible et
pour la topologie de la norme sont les mêmes.
5. Décrire l’adhérence de la shère unité pour la topologie faible.
2