feuille 1

Laboratoire de Math´ematiques
Universit´e du Luxembourg
Prof. Dr. Raymond Mortini
ann´ee acad´emique 2007-2008
Analyse fonctionnelle, S6
Exercice 0
Soient Aun anneau commutatif unitaire, Iun id´eal propre de Aet Mune partie multiplica-
tivement clos de A(i.e. f, g ∈M=⇒f·g∈M) telle que M∩I=∅.Montrer avec l’aide du
lemme de Zorn qu’il existe un id´eal premier Pde Atel que I⊆Pet P∩M=∅.
Exercice 1
Soit El’espace CR([0,1]) des fonctions continues `a valeures r´eelles sur [0,1]. Montrer que
||f||1=R1
0|f(x)|dx d´efinit une norme non-compl`ete sur E.
Exercice 2
(a) Montrer que sur chaque espace vectoriel E6={0}il existe une norme non triviale.
(b) Soit (E, || · ||) un espace de Banach de dimension infinie. Montrer qu’il existe une infinit´e
de normes || · ||ncompl`etes sur Equi ne sont pas ´equivalentes deux `a deux .
Indication: Si Best une base alg´ebrique de Eet ϕ:B→]0,∞[, on consid`ere kxkϕ:= kTϕxk, x ∈
E, o`u Tϕ:E→Eest l’endomorphisme d´efinie par: Tϕb=ϕ(b)b, ∀b∈B.
Exercice 3
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 4
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 5
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.
1

2
Exercice 6
Montrer que:
(a) le dual topologique de l1est isomorphe isom´etrique l∞.
(b) le dual topologique de c0est isomorphe isom´etrique l1.
Exercice 7
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 8
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) := limn1
n(ξ1+ξ2+. . . +ξn) existe }
et la forme lin´eaire x7→ f(x) d´efinie sur F.
Exercice 9
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.
Exercice 10
Rappelons qu’un ensemble Eest dit d´enombrable, s’il existe une injection de Edans N. Montrer
qu’une base alg´ebrique d’un espace de Banach est ou bien finie ou bien non-d´enombrable.
Exercice 11
Soit A:l∞→l∞l’application lin´eaire d´efinie par A(x1, x2,· · · )=(x1,x2
2,x3 3,· · · ), o`u (xn)∈
l∞. Montrer que:
(a) Aest injective et continue avec kAk= 1, mais An’est pas surjective.
(b) L’inverse A−1:A(l∞)→l∞n’est pas continue.
Exercice 12
Soit D:C1([0,1]) →C([0,1]) l’op´erateur diff´erentiel d´efini par Df =f0.
(a) Montrer que C1([0,1]), muni avec la norme kfk=kfk∞+kf0k∞, est un espace de Banach.
(b) Montrer que D:C1([0,1],k·k→C([0,1],k·k∞est une application lin´eaire born´ee,
donc continue. Cependant, si on regarde C1([0,1]) comme sous espace norm´e de C([0,1]), alors
Dn’est pas continue.
Exercice 13
Montrer qu’il existe une fonction continue sur [0,1] qui n’est diff´erentiable dans aucun point de
[0,1] et que l’ensemble de ces fonctions est dense et de deuxi`eme cat´egorie dans CR([0,1]).
Indication Consid´erer les ensembles
Fn={g∈C([0,1]) : ∃t0∈[0,1[: 
g(t0+h)−g(t0)
h
≤n∀havec 0 < t0+h < 1}.