1. D´emontrer que (`∞)∗n’est pas hom´eomorphe `a `1.
(Indication : on pourra utiliser un argument de s´eparabilit´e). En d´eduire que `1n’est pas reflexif,
puis que `∞n’est pas reflexif.
2. Donner une autre d´emonstration de la non reflexivit´e de `1:
(a) Soit f∈(`∞)∗tel que f(x) = limn→∞ xnpour toute suite x= (xn) convergente. Justifier
l’existence d’un tel f.
(b) Montrer qu’il n’y a pas α∈`1v´erifiant f(x) = P∞
k=0 αkxkpour tout x∈`∞.
(c) En d´eduire que l’injection canonique J:`1→(`1)∗∗ n’est pas surjective.
Exercice 7
1. D´emontrer que dans un e.v.n. reflexif (E, k·k), toute fonctionelle f∈E∗r´ealise la norme. Autrement
dit : ∃x0∈E,kx0kE= 1 tel que kfkE∗=|f(x0)|(et donc, dans la d´efinition de la norme kfkE∗,
le sup est aussi un max).
Retrouver par cette m´ethode que `1n’est pas reflexif.
2. D´eduire de l’exercice pr´ec´edent que l’espace de Banach C([0,1]) n’est pas reflexif.
(Indication : Consid´erer la fonctionnelle Φ = R1/2
0−R1
1/2).
3. Montrer que C1([0,1]), muni de sa norme naturelle kfk=kfk∞+kf0k∞, n’est pas reflexif.
(Indication : on pourra commencer par d´emontrer que l’espace E={f∈C1([0,1]): f(0) = 1}n’est
pas reflexif avec la norme kfkE=kf0k∞).
Remarque. La r´eciproque de la premi`ere question est vraie aussi : un th´eor`eme de James affirme qu’un
espace de Banach Eest reflexif si et seulement si toute fonctionnelle f∈E∗r´ealise la norme.
Exercice 8 D´emontrer que si Eet Fsont deux espaces vectoriels norm´es isomorphes (=lin´eairement
hom´eomorphes), alors Eest reflexif si et seulement si Fest reflexif.
D´efinition. Soit Cun convexe d’un e.v.n. On dit que x∈Cest un point extr´emal de Cs’il n’y a pas de
segment de Ccontenant xdans son int´erieur.
Exercice 9
1. Quels sont les points extr´emaux de la boule ferm´ee de cet de c0? (Comme toujours, on munit ces
espaces de la norme k·k∞).
2. D´emontrer que c0est isomorphe `a c.
3. D´emontrer que (c0,k·k∞)6' (c, k·k∞) (autrement dit, il n’y a pas d’isomorphisme isom´etrique).
On pourra utiliser les points extr´emaux.
Remarque On peut d´eduire du Th´eor`eme de Krein–Milman (voir [Rudin, Functional Analysis]), du
th´eor`eme de Banach–Alaoglu et de l’exercice pr´ec´edent que c0n’a pas de pr´edual.
De la mˆeme mani`ere, on montre que L1([0,1]) n’a pas de pr´edual.
2 Topologies faibles.
Notation. La topologie faible sur un e.v.n. Eest not´ee T(E, E∗). On note aussi Efl’espace Elorsqu’il
est muni de sa topologie faible. Sur E∗, on note T(E∗, E) la topologie faible-*.
On rappelle les r´esultats du cours suivants :
Th´eor`eme (Banach-Alaoglu). Soit Eun e.v.n. et E∗son dual topologique. La boule ferm´ee de E∗,
B={x∈E∗:kxk ≤ 1}, est compacte pour la topologie faible-*.
Th´eor`eme. Soit Eun espace de Banach. Alors Eest reflexif si et seulement si la boule B={x∈
E:kxk ≤ 1}est compacte avec la topologie faible.
Corollaire. Soit Fun e.v.n. et E=F∗. Les topologies faibles et faible-* sur Eco¨ıncident si et seulement
si Eest reflexif.
Exercice 10 Soient Eet Fdeux e.v.n. D´emontrer que L∈ L(E, F )⇒L∈ L(Ef, Ff).
2