Exercice 2
Soit E un espace vectoriel normé et soit K une partie convexe de E avec 0 ∈ K.
On pose
K ? = {f ∈ E 0 ; ∀x ∈ K, < f, x >≤ 1} et
K ?? = {y ∈ E; ∀f ∈ K ? , < f, y >≤ 1}.
Montrer que K = K ?? .
Exercice 3
L’objet de cet exercice est de montrer qu’en dimension ∞, on ne peut pas séparer
deux convexes fermés.
+∞
X
On note `1 = {x = (xn )n≥1 ⊂ IR tel que |xn | < ∞} qui muni de la norme
n=1
+∞
X
kxk1 = |xn | est un espace de Banach.
n=1
On considère les ensembles
A0 = {x = (xn )n ∈ `1 : ∀n ≥ 1, x2n = 0} et
B = {x = (xn )n ∈ `1 : ∀n ≥ 1, x2n = 2−n x2n−1 }.
1) Vérifier que A0 et B sont des sous-espaces fermés de `1 et que `1 = A0 + B.
2) Soit c = (cn )n ∈ `1 tel que ∀n ≥ 1, c2n−1 = 0 et c2n = 2−n . Vérifier que
c 6∈ A0 + B et que si A = A0 − c = {a − c, a ∈ A0 }, on a A ∩ B = ∅. Montrer
que A et B ne peuvent pas être séparés au sens large.
Exercice 4 Variante de la définition de la topologie faible
Dans tout ce qui suit E désignera un espace de Banach réel. Pour f ∈ E 0 , on dé-
finit pf (x) = |f (x)|, c’est bien une semi-norme sur E. On note P = (pf )f ∈E 0 .
Soit p ∈ P, on appelle p-boule ouverte de centre x ∈ E et de rayon r l’ensemble
B(x, r) des points y ∈ E tels que p(x − y) < r. Enfin on appelle P-boule ouverte
de centre x toute intersection finie de pi -boules ouvertes de centre x.
Définition : Une partie U de E est ouverte si ou bien U = ∅, ou bien ∀x ∈ U , il
existe une P-boule ouverte de centre x contenue dans U . On peut vérifier facile-
ment que l’on définit bien ainsi une topologie sur E.
On note (E, P) l’espace E muni de cette topologie. La topologie (E, P) s’appelle
la topologie faible sur E (par "opposition" à la topologie de la norme qui est dite
topologie forte). Elle est souvent notée σ(E, E 0 ) ou bien Ew dans la littérature.
Pour simplifier les notations, on pose E 0 = (fi )i∈I et on notera P.F.I l’ensemble
des parties finies de I. Par définition de la topologie associée à une famille de semi-
normes, les ensembles V (x, J, ε) = {y ∈ E, | < fi , x − y > | < ε, ∀i ∈ J} où
J ∈ P.F.I et ε > 0 constituent une base de voisinages (ouverts) de x dans E.
1) Montrer que si ∀x 6= 0, ∃p semi-norme telle que p(x) 6= 0 alors l’espace (E, P)
est séparé. Vérifier que la topologie faible est séparée.
2) Montrer que si la dimension de E est finie, σ(E, E 0 ) est équivalente à (E, k k)
(pour cela montrer que toute boule B(x, r) contient un V (x, J, ε)).
2/12