Universit´e Claude Bernard Lyon I S´eparabilit´e.
Master premi`ere ann´ee : Analyse fonctionnelle
Ann´ee 2009-2010
D´efinition. On dit qu’un espace topologique (X, T) est s´eparable s’il contient une partie Aau plus
d´enombrable qui est dense dans X.
Exercice 1 (Pr´eliminaires)
(a) Soit (Ai)i∈Iun ensemble au plus d´enombrable de parties d’un ensemble E. Montrer que si Aiest
au plus d´enombrable pour tout i∈I, alors la r´eunion [
i∈I
Aiest au plus d´enombrable.
(b) Est-ce que ce r´esultat subsiste pour le produit cart´esien ? On pourra consid´erer En={0,1},n≥0
et
E=Y
n≥0
En={0,1}N.
Exercice 2 Soit Iun ensemble fini ou d´enombrable et pour tout i∈I,Xiun espace topologique,
Xi6=∅. Consid´erons
X:= Y
i∈I
Xi
muni de la topologie produit. Montrer que si pour chaque i∈I,Xiest s´eparable, alors Xest s´eparable.
Exercice 3 Soit (X, d) un espace m´etrique. Montrer que si Xest compact, alors Xest s´eparable.
Exercice 4 Soit Eun K-espace vectoriel norm´e (K=Rou C). Soit (xn)n∈Nune suite de vecteurs de
Eet notons par Fle sous-espace vectoriel engendr´e par (xn)n∈N. Supposons que Fest dense dans E.
Montrer alors que Eest s´eparable.
Exercice 5 Soit Xun espace m´etrique compact. Montrer que C(X, R) est s´eparable.
(Indication : prendre une suite (xn) dense dans Xet consid´erer l’alg`ebre engendr´ee par les fonctions
fn:X→Rd´efinies par fn(x) = d(xn, x)).
Exercice 6 Soit (X, d) un espace m´etrique. Supposons qu’il existe ε > 0, un ensemble Iinfini non
d´enombrable et (xi)i∈I⊂Xtels que
d(xi, xj)≥ε, ∀i, j ∈I, i 6=j.
Montrer que (X, d) n’est pas s´eparable.
Exercice 7
(a) Montrer que pour 1 ≤p < +∞, les espaces `pet c0sont s´eparables.
(b) En consid´erant les suites form´ees de 0 et de 1, montrer que `∞n’est pas s´eparable.
Exercice 8 Soit Eun espace vectoriel norm´e. Montrer que si Eest s´eparable et de dimension infinie,
alors il existe une suite dense (vn)n∈Nde vecteurs lin´eairement ind´ependants de E.
(Rappelons qu’une famille infinie est dite lin´eairement ind´ependante si toute sous-famille finie est lin´eairement
ind´ependante).
Exercice 9 Soit (X, d) un espace m´etrique.
(a) Montrer que les assertions suivantes sont ´equivalentes :
(i) L’espace (X, d) est s´eparable.
(ii) La topologie de Xest `a base d´enombrable, c’est-`a dire qu’il existe une suite d’ouverts (Un)n≥1
de Xtel que tout ouvert Ude Xs’´ecrive comme la r´eunion d’ouverts Un.
1