Séparabilité. Définition. On dit qu`un espace topologique (X, T ) est

Universit´e Claude Bernard Lyon I S´eparabilit´e.
Master premi`ere ann´ee : Analyse fonctionnelle
Ann´ee 2009-2010
efinition. On dit qu’un espace topologique (X, T) est eparable s’il contient une partie Aau plus
d´enombrable qui est dense dans X.
Exercice 1 (Pr´eliminaires)
(a) Soit (Ai)iIun ensemble au plus d´enombrable de parties d’un ensemble E. Montrer que si Aiest
au plus d´enombrable pour tout iI, alors la r´eunion [
iI
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},n0
et
E=Y
n0
En={0,1}N.
Exercice 2 Soit Iun ensemble fini ou d´enombrable et pour tout iI,Xiun espace topologique,
Xi6=. Consid´erons
X:= Y
iI
Xi
muni de la topologie produit. Montrer que si pour chaque iI,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)nNune suite de vecteurs de
Eet notons par Fle sous-espace vectoriel engendr´e par (xn)nN. 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:XRd´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)iIXtels 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)nNde 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)n1
de Xtel que tout ouvert Ude Xs’´ecrive comme la r´eunion d’ouverts Un.
1
(b) On suppose maintenant que (X, d) est s´eparable. En d´eduire que toute partie de E, munie de la
topologie induite, est s´eparable.
Nous allons voir dans l’exercice suivant que ce r´esultat n’est plus vrai dans un espace topologique
quelconque.
Exercice 10 Soit Bla famille des rectangles semi-ouverts du plan R2de la forme
[a, b)×[c, d) = {(x, y) : ax < b, c y < d}.
(a) Montrer que Best une base d’une topologie τsur R2.
(b) Montrer que la topologie induite τDsur la droite
D={(x, y) : x+y= 0}
est la topologie discr`ete.
(c) Montrer que (R2, τ ) est s´eparable mais que (D, τD) n’est pas s´eparable.
2
1 / 2 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !