c) En d´eduire que Kadmet au moins un point extr´emal.
2. Soit toujours K⊂Eun convexe compact. On note Cl’ensemble de ses points extr´emaux. On va
montrer que K= Conv(C). Supposons par l’absurde que Conv(C)6=K.
a) Montrer qu’il existe φ:E→Rune forme lin´eaire continue telle que :
Conv(C)∩ {x∈Ktq φ(x) = max
y∈Kφ(y)}=∅
b) Montrer que {x∈Ktq φ(x) = max
y∈Kφ(y)}contient un point extr´emal de Ket conclure.
3. [Difficile, utile pour la question 3. de l’exercice suivant] Montrer que le th´eor`eme est encore vrai si,
au lieu d’ˆetre norm´e, Eest simplement un espace vectoriel topologique s´epar´e et localement convexe.
[Un espace vectoriel topologique est un espace topologique muni d’une structure d’espace vectoriel
dont les lois + et .sont continues pour la topologie. Il est localement convexe si tout point admet un
syst`eme fondamental de voisinages convexes.]
Exercice 4 : le th´eor`eme de Banach-Alaoglu-Bourbaki
Soit Eun espace vectoriel norm´e. On note E0son dual topologique, c’est-`a-dire l’ensemble des formes
lin´eaires continues sur E.
On appelle topologie faible-´etoile sur E0la topologie engendr´ee par la famille d’applications φx:f∈
E0→f(x)∈R, o`u xvarie dans E.
1. Montrer que la topologie faible-´etoile est moins fine que la topologie de la norme uniforme.
2. On note Bla boule unit´e ferm´ee de E0pour la norme uniforme.
a) Montrer que, si on munit Bde la topologie faible-´etoile et F(BE(0,1),[−1; 1]) de la topologie
produit, alors l’application suivante est d’image ferm´ee et r´ealise un hom´eomorphisme sur son image :
Γ : f∈B→f|BE(0,1) ∈ F(BE(0,1),[−1; 1])
b) [Banach-Alaoglu-Bourbaki] En d´eduire que Best compact pour la topologie faible-´etoile.
3. a) Montrer que la boule unit´e ferm´ee de L1([0; 1],R) n’a pas de point extr´emal.
b) En utilisant le th´eor`eme de Krein-Milman d´emontr´e dans l’exercice pr´ec´edent, montrer qu’il n’existe
pas d’espace vectoriel norm´e dont le dual est isomorphe `a L1([0; 1],R).
Exercice 5 : le dual de l∞(N)
On note Ml’ensemble des fonctions σ:P(N)→Rtelles que :
(1) σ(A∪B) = σ(A) + σ(B) si A, B ⊂Nsont disjoints.
(2) σest born´ee.
L’ensemble Mest un espace vectoriel. On le munit de la norme ||σ|| = sup
A⊂N
|σ(A)|.
Pour toute A⊂N, on note 1A∈l∞(N) la suite telle que 1A,k = 1 si k∈Aet 1A,k = 0 sinon
1. a) Pour toute σ∈ M, montrer qu’il existe une unique application lin´eaire continue Lσ:l∞(N)→R
telle que, pour toute A⊂N:
Lσ(1A) = σ(A)
b) Montrer que l’application σ∈M→Lσ∈(l∞(N))∗est un hom´eomorphisme.
2. On appelle mesures sign´ees finies les fonctions σ:P(N)→Rqui v´erifient la propri´et´e (2) et une
propri´et´e plus forte que (1) :
(1’) σÅS
nAnã=P
nσ(An) pour toute suite (An)n∈Nde parties de Ndeux `a deux disjointes.
Montrer que l’ensemble des mesures sign´ees finies est strictement inclus dans M.
2