2
Maintenant soit Fferm´e. Montrer que:
iv) L’homomorphisme canonique π:E→E/Fd´efinie par π(x) = [x] est continue, surjectif et
ouvert. On a ||π||op = 1 si F6=E.
v) (E/F,|| · ||Q) est une espace de Banach si et seulement si Eest complet.
Exercice 6
a) Montrer que si Fest un sous espace ferm´e et Gun sous espace de dimension finie de l’espace
vectoriel norm´e E, alors F+Gest un sous espace ferm´e de E.
b) Montrer qu’un hyperplan d’un espace norm´e est soit ferm´e soit partout dense.
Exercice 7
Soient Eun espace norm´e sur K=Rou C,x1,· · · , xn∈Edes vecteurs lin´eairement ind´ependants
et a1,· · · , an∈K. Montrer qu’il existe une application lin´eaire continue f:E→Ktelle que
f(xk) = akpour tout k∈ {1,· · · , n}.
Exercice 8
Soit `∞l’espace des suites a= (an) r´eelles ou complexes born´ees muni avec la norme du supre-
mum ||a||∞= supn|an|et soit `pl’espace des suites a= (an) telles que ||a||p= (Pn|an|p)1/p <
∞, 1 ≤p < ∞.
Soit c(respectivement c0) le sous espace vectoriel norm´e de l∞form´e par les suites r´eelles
convergentes (respectivement de limite 0). Montrer que:
(a) l∞est un espace de Banach non s´eparable.
(b) cest un espace de Banach s´eparable et c0un hyperplan ferm´e de c.
(c) l1est un espace de Banach s´eparable et un sous espace vectoriel, mais pas un sous espace
norm´e, de l∞.
(d) l2est isomorphe isom´etrique `a l’un de ses hyperplans ferm´es.
(e) D´eterminer explicitement la norme-quotient dans l’espace `∞/c0.
Exercice 9
Montrer que:
(a) le dual topologique de l1est isomorphe isom´etrique l∞.
(b) le dual topologique de c0est isomorphe isom´etrique l1.
Exercice 10
Soit Eun espace norm´e et E∗son dual topologique. Montrer que la s´eparabilit´e de E∗entraine
celle de Emais que la r´eciproque n’est plus vraie.
Exercice 11
D´emontrer que sur `∞
Ril existe une forme lin´eaire continue Ltelle que pour tout ´el´ement
x= (ξk)∈`∞
Ron a lim inf ξk≤L(x)≤lim sup ξket que Lest invariante par translation; i.e.
L(ξ1, ξ2, . . .) = L(ξ2, ξ3, . . .).
Indication On consid`ere le sous espace
F={x= (ξk)∈`∞
R|f(x) := limn
1
n(ξ1+ξ2+. . . +ξn) existe }
et la forme lin´eaire x7→ f(x) d´efinie sur F.
Exercice 12
Montrer que chaque norme compl`ete sur C([0,1]) pour laquelle les ensembles {f∈C([0,1]) :
f(x0) = 0},x0∈[0,1], sont ferm´es, est ´equivalente `a la norme du supremum.