Vous êtes sur la page 1sur 22

C HAPITRE III

ESPACES
VECTORIELS
NORMS
ans ce chapitre, tous les espaces vectoriels considrs sont des espaces vectoriels sur R ou C . Lorsquil ny aura pas

D de confusion possible, cest--dire la plupart du temps, le corps des scalaire sera not K , qui reprsente donc soit R
soit C . Lorsquun rsultat est spcifique R ou C , on prcise alors le corps utilis pour le rsultat. Naturellement, on
peut dfinir les notions introduites dans ce chapitre avec dautres corps comme par exemple dans Q . Limportant est de
disposer dune valeur absolue sur le corps. Cest une situation que nous ne considrerons nanmoins pas.

SECTION III.1

Espaces norms et espaces de


Banach
D FINITION III.1.1.
Soit E un espace vectoriel sur K . On appelle norme sur E une application x 7! kxk de E dans R + vrifiant
les proprits suivantes :
1. k x k= 0 si et seulement si x = 0 ;
2. Pour tous x 2 E et  2 K , kxk = jj kxk ;
3. Pour tous x; y 2 E , kx + y k  kxk + ky k (ingalit triangulaire).
Un espace vectoriel muni dune norme est appel un espace norm.

Remarque III.1.1. Une application x 7! kxk de E dans R+ vrifiant les proprits 2. et 3. de la dfinition ci-dessus, mais pas 1.,
sappelle une semi-norme sur E . On pourra noter que, pour une semi-norme

fx 2 E t:q: kxk = 0g
est un sous-espace vectoriel de E .

51
CHAPITRE III. ESPACES VECTORIELS NORMS

Dans toute la suite, la norme dun espace norm sera toujours note k:k, sauf mention expresse du contraire, lorsque des confusions
seront possibles.

P ROPOSITION III.1.1.
Soit E un espace norm. Lapplication

(x; y) 7! kx yk
est une distance sur E  E , et E est toujours suppos muni de la structure despace mtrique dfinie par cette
distance.

Remarque III.1.2. Si on note d(x; y ) la distance de la Proposition ci-dessus, on a d(x; 0) = kxk.


D FINITION III.1.2.
On appelle espace de Banach un espace norm complet (au sens de lespace mtrique sous-jacent).

P ROPOSITION III.1.2.
Soit E un espace norm.
1. Lapplication (x; y ) 7! x + y est uniformment continue de E  E dans E ;
2. Lapplication (; x) 7! x est continue de K  E dans E ;
3. Pour  2 K , lapplication x 7! x est uniformment continue de E dans E .

Dmonstration. Ceci est trs simple. Par exemple, pour montrer le 2. en (0 ; x0 ), on crit

x 0 x0 = ( 0 )x + 0 (x x0 )
et on conclut par lingalit triangulaire.

D FINITION III.1.3.
Soit E un espace vectoriel sur K . On dit que deux normes k:k1 et k:k2 sont quivalentes si les distances
qui leur sont associes le sont. Autrement dit, sil existe deux constantes et C strictement positives telles que,
8x 2 E , kxk2  kxk1  C kxk2 .
P ROPOSITION III.1.3.
Soient E un espace norm et F un sous-espace vectoriel de E . Alors son adhrence F est un sous-espace
vectoriel de E . F muni de la restriction de la norme de E sappelle le sous-espace norm F de E . Si E est un
Banach alors F en est un aussi, et si F est un Banach alors il est ferm dans E .

Dmonstration. Le fait que F soit un espace vectoriel rsulte aisment de la Proposition prcdente, et les autres affirmations sont
videntes.

D FINITION III.1.4.
On dit quune partie A dun espace vectoriel E est totale si lensemble des combinaisons linaires finies
dlments de A est dense dans E .

P ROPOSITION III.1.4.
n
Y
Soient Ei , 1 i  n des espaces vectoriels norms de normes respectives notes k:ki , et E = Ei
i=1
lespace vectoriel produit des Ei (au sens algbrique). Alors lapplication

(xi) 7! max
i
kxi ki
est une norme sur E dont lespace mtrique associ est lespace mtrique produit des espaces mtrique de Ei .
On lappelle lespace norm produit de Ei .

La dmonstration est immdiate.

52 Licence de Mathmatiques Pures de Bordeaux


III.1. ESPACES NORMS ET ESPACES DE BANACH

P ROPOSITION III.1.5.
Soient E un espace vectoriel norm et F1 et F2 deux sous-espaces de E tels que E soit somme directe de
F1 et F2 (ce que lon note gnralement E = F1  F2 ). Soient p1 et p2 les projections de E sur F1 et F2
respectivement (de sorte que tout x 2 E scrit de manire unique x = p1 (x) + p2 (x)). Lapplication

(y1; y2) 7! y1 + y2
de F1  F2 dans E une bijection linaire continue et cest un homomorphisme si et seulement si lune des
application pi est continue (et donc lautre aussi).

Dmonstration. Il est clair que (y1 ; y2 ) 7!y1 + y2 est continue. Dautre part si p1 est continue, p2 lest aussi et comme x 7!
(p1 (x); p2 (x)) est lapplication inverse de la prcdente, on a la conclusion recherche.
D FINITION III.1.5.
Si la condition de la Proposition prcdente est satisfaite, on dit que E est somme directe topologique de
F1 et F2 . Si F est un sous-espace vectoriel de E pour lequel il existe un sous-espace G de E tel que E soit
somme directe topologique de F et G, on dit que G est un supplmentaire topologique de F (lorsquun tel G
existe on dit aussi que F est complment dans E ).

P ROPOSITION III.1.6.
Un espace norm est connexe par arc et localement connexe par arc. De plus, un ouvert dun espace norm
est connexe si et seulement sil est connexe par arc.
Dmonstration. En effet, toute boule dun espace norm est connexe par arc car deux points peuvent tre joints par un segment de
droite qui est contenu dans la boule daprs lingalit triangulaire, et deux points de E peuvent tre joints par un segment. La seconde
2
assertion rsulte de la premire, car si O est ouvert connexe et si x O , lensemble des points de O qui peuvent tre joints x par un
arc contenu dans O est non vide (puisquil contient une boule ouverte), ouvert et ferm dans O donc gal O .

T HORME III.1.1 (Compltion dun espace norm ).


Soit E un espace norm. Alors il existe un espace de Banach E ^ et une isomtrie linaire T^ de E sur un
^
sous-espace vectoriel dense de E . De plus un tel complt de E est unique un isomorphisme isomtrique prs.

Dmonstration. Lunicit rsulte de lunicit du Thorme II.7.3, page 29, montrons lexistence. Soit E ^ un complt de lespace
mtrique E et T^ lisomtrie de E sur un sous-espace dense de E ^ . Il suffit de voir que lon peut dfinir, sur E^ , un structure despace de
Banach dfinissant la distance et telle que T^ soit linaire. Les applications
(T^(x); T^(y)) 7! T^(x + y)
de T^ (E )  T^(E ) dans E^ et
(; T^(x)) 7! T^(x)
de K  T (E ) dans E tant uniformment continues (T tant un isomtrie) daprs la Proposition II.7.12, page 28, elles se prolongent en
^ ^ ^
des applications uniformment continues de E ^ E^ dans E^ et K E^ dans E^ , et on vrifie aisment que ces applications et kx^k = d^(^0; x^)
^ une structure despace de Banach qui dfinit la distance d^ et pour laquelle T^ est linaire, ce qui termine la preuve.
dfinissent, sur E

R
Rappelons quune relation dquivalence sur un espace vectoriel est compatible avec la structure despace vectoriel E si elle est
de la forme x y R , 2
x y F o F est un sous-espace vectoriel de E . Dans ce cas lensemble quotient E= est canoniquement R
muni dune structure despace vectoriel et se note E=F .

P ROPOSITION III.1.7.
Soient E un espace norm et F un sous-espace vectoriel de E . Lapplication
x~ 7! kx~k = yinf
2F
kx + yk
est bien dfinie et est une semi-norme sur E=F . Cette semi-norme est une norme si et seulement si F est ferm.
De plus, dans ce cas, cette norme dfinit la topologie quotient de celle de E par la relation dquivalence
associe F . On parle ainsi de lespace norm quotient E=F .

Dmonstration. Il est clair que x~ 7! k k kk 2


x~ est une semi-norme et que x~ = 0 quivaut x F . Pour voir la dernire assertion, il suffit
~ = B (~x; r) est une boule ouverte dans E=F , et si  dsigne la surjection canonique de E sur E=F , alors  1 (B~ ) est
de voir que si B
un ouvert de E . Or ceci est vident puisque [
 1 (B~ ) = B (x + y; r):
y2F

Philippe Charpentier 53
CHAPITRE III. ESPACES VECTORIELS NORMS

SECTION III.2

Exemples
v !1=p
u n n
uX X
1. Rn muni de k(x1 ; : : : ; xn )k2 = t (xi )2 ou de k(x1; : : : ; xn )kp = (jxi jp ,1  p < 1, ou de k(x1; : : : ; xn )k1 =
i=1 i=1
max x , est un espace vectoriel norm complet.
1in i
Plus gnralement les espaces lp (K ) (c.f. Exemple 1, page 12) sont des espaces de Banach (c.f. Exemple 2, page 26).
B
2. Soit A un ensemble et E un espace norm. Soit (A; E ) lespace vectoriel des fonctions bornes de A dans E . Alors f 1 = kk
k k B
sup f (x) est une norme sur (A; E ) qui dfinit la distance de la convergence uniforme sur A. On note gnralement
x2A
B1 (A; E ) cet espace norm. Si A est un espace topologique, le sous-espace de B1 (A; E ) form par les fonctions continues
est not C B 1 (A; E ), si A est, par exemple, de plus compact, alors toute fonction continue est borne et on note simplement
C1 (A; E ).
3. Soient B une partie dun ensemble A et E un espace norm. Soit B (A; E ) lensemble des fonctions de A dans E qui sont
bornes sur B . Alors kf kB = sup kf (x)k est une semi-norme sur B (A; E ) et nest pas une norme en gnral.
x2B
4. Soient E1 et E2 deux espaces vectoriels norms et L 0 (E1; E2) lespace vectoriel des applications linaires de0 E1 dans E2 qui
sont bornes sur la boule B = x f 2
E1 ; t:q: x k k < 1g. Alors kf kB = sup kf (x)k est une norme sur L (E1 ; E2) car, si
x2B
kf kB = 0, pour tout x 2 E1 , il existe  > 0 tel que kxk < 1 et par suite f (x) = f (x) = 0, ce qui montre que f est nulle.
5. Soient I = [a; b un segment de R et C (I ; C ) lespace vectoriel des fonctions continues de I dans C . Alors, pour 1  p < 1,
Z b 1=p
kf kp = jf (t)j dt est une norme sur C (I ; C ).
p
a

SECTION III.3

Sries et familles sommables dans


un espace norm

SOUS-SECTION III.3.1

Sries dans un espace norm


D FINITION III.3.1.
n
X
On appelle srie dans espace norm E une suite (sn ) de la forme sn =
xk o (xn ) est une suite dans
X X k =0

E . On la note gnralement xn . On dit que la srie xn est convergente si la suite (sn ) est convergente ;
X X1
dans ce cas, la limite s de cette suite est appele la somme de la srie xn et on note s = xn ; de plus
n=0
1
X X
s sn 1 = xi sappelle le reste dordre n de la srie xn .
i=n

P ROPOSITION III.3.1.
X
Soit E un espace norm. Si la srie xn est convergente, alors, 8" > 0, il existe n0 2 N , tel que, pour
54 Licence de Mathmatiques Pures de Bordeaux
III.3. SRIES ET FAMILLES SOMMABLES DANS UN ESPACE NORM

n  n0 , et p 2 N , on a
i=
X
n+p



x
i

 ":
i=n
X
Rciproquement, si cette condition est satisfaite, et si E est complet, la srie xn est convergente (Critre de
Cauchy pour une srie).
Cest une traduction de la dfinition despace mtrique complet. La proposition suivante est immdiate :

P ROPOSITION III.3.2.
X X
Soient E un espace norm et xn et yn deux sries dans E .
1. Si xn = yn sauf au plus pour un nombre fini dindices, alors les deux sries sont soit toutes deux
convergentes soit toutes deux divergentes. X X
2. Si les deux sries sont convergentes, alors, pour  2 K , les sries xn + yn et xn sont conver-
gentes. X
3. Si xn est convergente de somme s et si (nk ) est une suite dentiers strictement croissante telle que
nkX
+1 1 X
n0 = 0, et si on pose yk = xn alors la srie yk est convergente de somme s.
n=nk

D FINITION III.3.2.
X
On dit quune srie xn dans un espace norm E est absolument convergente (ou normalement conver-
X
gente selon une terminologie plus naturelle mais non usuelle) si la srie de nombres rels positifs kxn k est
convergente.
Le critre de compltude suivant est trs souvent utile :

T HORME III.3.1.
Soit E un espace norm. Alors E est complet (i.e. un espace de Banach) si et seulement si toute srie de E
absolument convergente est convergente.
Dmonstration. En effet, il est clair, par lingalit triangulaire, que toute srie absolument convergente vrifie le critre de Cauchy et,
par suite converge si lespace est complet. Rciproquement, si cette proprit est satisfaite, et si (xn ) est une suite de Cauchy dans E ,
par rcurrence, on voit aisment quil existe une suite strictement dentiers (nk ) telle que k ,8
k;
xn xnk <2
k+1
et, en posant yk = xnk+1 xnk , on a
+p
kX
kyj k  2 k+1 ;
k
X
ce qui montre que yk est absolument convergente et donc converge par hypothse. Comme
p
X
yk = xnp+1 xn0 ;
k=0
on conclut que la suite possde une sous-suite convergente ce qui implique quelle est elle-mme convergente puisquelle est de Cauchy
(Proposition II.7.1, page 23).

P ROPOSITION III.3.3.
X
Soit xn une srie absolument convergente dans un espace de Banach E . Soit  une bijection de N sur
X 1
X X1
lui-mme. Alors la srie x(n) et absolument convergente et xn = x(n) .
n=0 n=0
1
X
Dmonstration. La srie tant absolument convergente, pour tout " > 0, il existe n0 tel que kxn k < ". Comme  est une
n=n0
1
X X
bijection, il existe m0 tel que, pour m  m0 , on a (m)  n0 et, par suite, x(n) < ", ce qui montre que x(n) est
n=m0

Philippe Charpentier 55
CHAPITRE III. ESPACES VECTORIELS NORMS

absolument convergente donc convergente. Soit alors m1 tel que m1  m0 et f1; : : : n0g  f(1); : : : (m1 )g ; alors, par ce qui

prcde, pour m m1 ,
Xm 1
X



x(n) xn <"
n=1 n=1
ce qui est la dernire assertion.

SOUS-SECTION III.3.2

Familles sommables et absolument


sommables
D FINITION III.3.3.
Soient E un espace norm et (xi )i2I une famille dlments de E . On dit que la famille (xi )i2I est som-
mable dans E sil existe s 2 E tel que, pour
tout " > 0, il existe une partie finie J de I telle que, pour toute
X
partie finie K de I contenant J ,


xi s < ". s sappelle la somme de la famille (xi )i2I .
i2K

P ROPOSITION III.3.4.
Soit (xi )i2I une famille sommable dans un espace norm E de somme s. Soit  une bijection de I . Alors la
famille (x (i) )i2I est sommable de somme s.

Dmonstration. Ceci est immdiat, car, si J est une partie finie de I vrifiant les conditions de la dfinition ci-dessus, puisque  est
f
une bijection, il existe une partie finie H de I telle que  (i); i H 2 g
J , et la conclusion sen dduit aussitt.
P ROPOSITION III.3.5.
Soit (xi )i2I une famille dans un espace de norm E . Alors si (xi )i2I est sommable dans E , pour

" > 0,
tout
X
il existe une partie finie J de I telle que, pour toute partie finie K de I telle que J \ K = ;, on a xi < ".
i2K

De plus, si E est un espace de Banach, la rciproque est vraie (critre de Cauchy pour les familles som-
mables).

n
Dmonstration. Il est clair que la condition est ncessaire. Dmontrons quelle est suffisante. Pour tout 2 N  , il existe, par hypothse
X [
une partie finie Jn de I telle que, quelque soit la partie finie K de I telle que Jn \K = ;
, on a

xi < 1=n. Posons J^n = Jj ,
X
i2K 1jn
et notons S (J^n ) lensemble des sommes de la forme xi o K est une partie finie de I contenant J^n . La diffrence de deux lments
X X i2K
de S (J^n) est de la forme xi xi o Ki , i = 1; 2, est une partie finie de I ne rencontrant pas J^n , et, par suite le diamtre
i2K1 i2K2
(S (J^n )) est infrieur 2=n. Les ensembles S (J^n ) forment donc une suite dcroissante de ferms de E dont le diamtre tend
vers zro ; alors, daprs la proprit de Cantor (Proposition II.7.5, page 24) leur intersection est exactement un point s de E dont la
construction signifie que la famille (xi )i2I est sommable de somme s.

P ROPOSITION III.3.6.
Soit (xi )i2I une famille sommable dans un espace norm E . Pour tout " > 0, la boule B (0; ") contient tous
les xi sauf au plus un nombre fini. En particulier, lensemble des i 2 I tel que xi 6= 0 est dnombrable.
Dmonstration. La premire partie de la proposition rsulte de la Proposition prcdente applique des ensembles dindices rduits
k k
un lment. La seconde en rsulte puisque les xi tels que xi > 1=n sont en nombre fini.

D FINITION III.3.4.
On dit quune famille (xi )i2I dlments dun espace norm E est absolument sommable si la famille
(kxi k)i2I est sommable.
P ROPOSITION III.3.7.
Dans un espace de Banach, toute famille absolument sommable est sommable.

56 Licence de Mathmatiques Pures de Bordeaux


III.3. SRIES ET FAMILLES SOMMABLES DANS UN ESPACE NORM

Dmonstration. En effet, si une famille est absolument sommable, elle vrifie le critre de Cauchy.

Remarque III.3.1. Nous verrons que la rciproque de cette proposition est vraie en dimension finie (Proposition III.5.6, page 68).
Mais elle est toujours fausse en dimension infinie.

P ROPOSITION III.3.8.
Soit (xi )i2I une famille sommable dans un espace de Banach E . Toute sous-famille (xiX )i2J , J  I , de
la famille (xi )i2I est sommable dans E . De plus si (Il )l2L est une partition de I et si sl = xi , la famille
i2Il
(sl )l2L est sommable de somme la somme de la famille (xi)i2I .
Soit s la somme de (xi )i2I , soit " > 0 et soit
Dmonstration. La premire assertion rsulte du critre de Cauchy, montrons la seconde.
X
J0 une partie finie de I telle que, pour toute partie finie J de I contenant J0 , s xi < ". Soit L0 la partie de L constitue des l

i2J
tels que Il \ J0 6= ;. L0 est clairement finie. Soit K une 0
partie finie de L contenant L0 . 8" > 0, 8l 2 K , il existe une partie finie Hl

X [
de Il que lon peut supposer contenir Il \ J0 telle que
sl xi < "0 . Soit H = Hl ; clairement H est finie et contient J0 ce
i2Hl l2K0
1
X X X X

qui implique s

xi < ". Comme les Il forment une partition, on a xi =  xi A, do
i2H i2H l2K i2Hl
0 1
X X X X X



s

sl


s

xi +  xi A sl
l2K i2H l2K i2Hl l2K
 " + n"0;
o n est le nombre dlments de K . Comme ceci est vrai pour tout "0 > 0, la preuve est termine.
La rciproque de cette Proposition est videment fausse (prendre par exemple la suite xn = ( 1)n et, comme partition de N ,
f g 2
N l = 2l; 2l + 1 , l N ) en gnral. Nanmoins, il y a bien sr des cas o cette rciproque est vraie. La Proposition suivante en donne
deux exemples, et la dmonstration en est laisse au lecteur :

P ROPOSITION III.3.9.
Soient (xi )i2I une famille dans un espace norm E et (Il )l2L une partition de I .
1. Si L est fini et si,
!
8l 2 L, la famille (xi )i2Il est sommable, alors la famille (xi )i2I est sommable et on a
X X X
xi = xi .
i2I l2L i2Il
2. Si pour
!
tout l 2 L! la famille (xi )i2Il est sommable et absolument sommable et si les familles
X X
kxi k et xi sont sommables, alors la famille (xi )i2I est sommable et absolument som-
i2Il l2L i2Il l2!L
X X X
mable et xi = xi .
i2I l2L i2Il

P ROPOSITION III.3.10.
n
Y
Soient Ej , 1  j  n, des espaces norms, et E =Ej leur produit (comme espace norm). Soit (xi )i2I
j =1
une famille dans E , xi = (x1i ; : : : xni ). Pour que la famille (xi )i2I soit sommable (resp. absolument sommable),
il faut et il suffit que les familles (xji )i2I , 1  j  n, le soient. De plus, si sj est la somme de la famille (xji )i2I ,
alors (sj )1j n est la somme de la famille (xi )i2I .

Dmonstration. Cest une consquence immdiate de la dfinition de la norme dans lespace produit telle quelle a t dfinie dans la
Proposition III.1.4, page 52.

La proposition suivante est immdiate :

P ROPOSITION III.3.11.
Soient (xi )i2I et (yi )i2I deux familles sommables dans un espace norm, de sommes respectives x et y et
 2 K . Alors les familles (xi + yi )i2I et (xi )i2I sont sommables de sommes respectives x + y et x.

Philippe Charpentier 57
CHAPITRE III. ESPACES VECTORIELS NORMS

SOUS-SECTION III.3.3

Sries commutativement convergentes


D FINITION III.3.5.
X
On dit quune srie xn dans un espace norm E est commutativement convergente dans E si, pour
X
toute permutation  de N , la srie x(n) est convergente.

T HORME III.3.2.
Soit (xn )n2XN une suite dans un espace norm E . Les conditions suivantes sont quivalentes :
1. La srie xn est commutativement convergente ;
2. La famille (xn )n2N est sommable.
De plus si lune de ces deux conditions est satisfaite, pour toute permutation  de N , on a
X1 X 1
xn = x(n) :
n=0 n=0

Dmonstration. Tout dabord, on voit que 2. implique 1. daprs la Proposition III.3.4, page 56 ; de plus, cette mme Proposition
montre la dernire assertion. Dmontrons que 1. entrane 2. Si la famille (xn )n2N vrifie le critre de Cauchy (Proposition III.3.5,
page 56), elle est clairement sommable ; supposons donc quelle ne vrifie pas
ce critre.
Il existe donc > 0 tel que pour toute partie
X

finie J de N , il existe une partie finie H de N ne rencontrant pas J telle que


xi . On construit alors aisment par rcurrence
i2H
X X
une suite (Hn ) de parties finies de N deux deux disjointes telles que, pour tout n,


x i


. De plus, puisque la srie xn
i2Hn
est suppose convergente, quitte retirer un nombre fini de ses termes (ce qui ne change aucunement sa nature) on peut supposer que,
k k
pour tout n, on a xn < =2 (on construit les Hn partir de parties Jn telles que Hn 
Jn+1 et J0 contient tous les termes de la

suite de normes =2) ; alors, quitte a rajouter Hn le n-ieme terme de la suite ( x n ) si ncessaire, on peut sarranger pour que les
X
Hn forment une partition de N telle que, pour tout n,


xi  =2. Posons alors Hn = fnn1 ; : : : ; nnNn g, les nnj tant rangs en
i2Hn
ordre croissant, et posons
( nX1 n )
X
In = 1 + Ni ; : : : ; Ni :
i=0 i=0

Clairement les In forment une partition de N en intervalles dentiers non vides (Nn  1 pour tout n), et, pour tout n 2 N, il existe
k 1
X
donc un unique entier k tel que n 2 Ik , cest dire n = Ni + j avec 1  j  Nk , et on pose alors (n) = nkj . Ceci dfinit bien
i=0
une bijection de N sur lui-mme. Alors

X nX1
n Ni Ni
i=0 X
X X
i=0


x(i) x(i)
=

xi  =2;
n=0
n=0
i2Hn

X
ce qui montre que la srie x(n) nest pas convergente contrairement lhypothse.

Remarque III.3.2. La Proposition ci-dessus et la Proposition III.3.6, page 56, montrent que, dans un espace norm, il y a identit
entre les familles sommables et les sries commutativement convergentes.

58 Licence de Mathmatiques Pures de Bordeaux


III.4. ESPACES DAPPLICATIONS LINAIRES ET MULTILINAIRES CONTINUES

SOUS-SECTION III.3.4

Les espaces lIp(E ) et 0(E )


D FINITION III.3.6.
Soit E un espace norm. Soit p 2 [1; +1[ ; on note lIp (E ) lespace norm des familles (xi )i2I dlments
de E telles que les familles (kxi kp )i2I soient sommables muni de la norme
!1=p
X
k(xi )i2I kp = kxi kp :
i2I
On note lI1 (E ) lespace des familles (xi )i2I dlments de E telles que sup kxi k < +1, muni de la norme
i2I
k(xi)i2I k1 = sup kxi k:
i2I
1
Enfin, on note 0 (E ) le sous-espace norm de l (E ) form des suites qui tendent vers zro.
N

Le fait que k(xi)i2I kp soit une norme (1  p < +1) rsulte de lingalit de Minkowski ((II.3.2), page 12).
P ROPOSITION III.3.12.
Si E est un espace de Banach, les espaces lIp (E ), 1  p  +1, et 0 (E ) le sont aussi.

Dmonstration. En effet, si (xn )n2N , xn = (xn p 2


voit aussitt que, pour tout i I , (xn
i )i2I , est une suite de Cauchy dans lI (E ), on X i )n2N
2
est une suite de Cauchy dans E et, donc, converge vers xi E . Comme il existe n0 tel que k k 
xi xni 0 p 1, lingalit de Min-
i2I
!1=p
X
kowski applique xi xni 0 + xni 0 sur une partie finie de I , montre que (xi )i2I appartient lIp (E ) et que kxi xni kp "
i2I
pour n assez grand ce qui termine la preuve pour les espaces lIp (E ). Pour 0 (E ), il suffit de voir que ce dernier est ferm dans lN1 (E )
ce qui est trs simple.

SECTION III.4

Espaces dapplications linaires


et multilinaires continues
SOUS-SECTION III.4.1

Applications multilinaires et linaires


continues
La proprit quasi-vidente suivante est la base de tous les rsultats concernant les applications linaires et multilinaires conti-
nues :

T HORME III.4.1.
Soient Ei , 1  i  n, et F des espaces vectoriels norms, et soit f : E1  : : :  En ! F une application
multilinaire. Les conditions suivantes sont quivalentes :
1. f est continue ;
2. f est continue en zro ;
3. Il existe a > 0 tel que, pour xi 2 Ei , 1  i  n, kf (x1 ; : : : ; xn )k  a kx1 k : : : kxn k ;
4. kf k = sup kf (x1; : : : ; xn)k < +1.
kx1 k1;:::;kxn k1

Philippe Charpentier 59
CHAPITRE III. ESPACES VECTORIELS NORMS

De plus, la borne infrieure des nombres a vrifiant le 3. est gal au kf k du 4.


L
Lapplication f 7! kf k est une norme sur lespace, not (E1 ; : : : ; En ; F ), des applications multilinaires
continues de E1  : : :  En dans F . kf k est usuellement appele la norme de f . Lorsque n = 1 et E = F on
L
note simplement (E ).
Dmonstration. La preuve est trs simple. Si f est continue, elle est en particulier continue en zro, ce qui implique quil existe r > 0
k k
tel que pour xi k k
r, on a f (x1 ; : : : ; xn ) 1, ce qui entrane le 3. (avec a = 1=r) ainsi que le 4. Inversement, il est clair que 4: et
3. sont quivalents et impliquent 2. La linarit montre par ailleurs que 2. implique 1. Lassertion supplmentaire concernant la valeur
kk kk
de f est aussi immdiate. Enfin le fait que f soit une norme est aussi vident.

Remarque III.4.1. 1. La dfinition de la norme dune application multilinaire donne ci-dessus, dpend des normes sur les es-
paces Ei et F . Mais il est clair que, si on remplace ces normes par des normes quivalentes, on obtient une norme quivalente sur
L (E1; : : : ; En ; F ).
2. Si Ei 6= f0g, pour tout i, on a aussi kf k = sup kf (x1; : : : ; xn )k.
kx1 k=1;:::;kxn k=1
On peut remarquer que ltude des espaces dapplications multilinaires continues se ramne, en gnral, celle des espaces
dapplications linaires continues en vertu de la Proposition suivante :

P ROPOSITION III.4.1.
Soient E , F et G trois espaces vectoriels norms. Pour tout u 2 L
(E; F ; G), et tout x 2 E , soit ux
lapplication linaire de F dans G dfinie par ux : y 7! u(x; y ), et soit u
~ : x 7! ux . Alors :
L L
~ 2 (E ; (F ; G)) (i.e. u~ est linaire continue) ;
1. u
2. u 7! u L
~ est une isomtrie linaire de (E; F ; G) dans (E ; (F ; G)). L L
Dmonstration. En effet, on a : ku~k = sup kux k = sup sup ku(x; y)k = kuk.
kxk1 kxk1 kyk1
Par rcurrence, on voit que les espaces norms L (E1; : : : En ; F ) et L (E1; L (E2; : : : ; L (En ; F ) : : :)) sont isomtriquement
isomorphes.

P ROPOSITION III.4.2.
Soient Ei , 1  i  n, Fj , 1  j  m, et G des espaces vectoriels norms et F lespace norm produit
des Fj (Proposition III.1.4, page 52) . Soient u 2 L L
(E1;!: : : ; En; F ) et v 2 (F1; : : : Fm ; G). Alors, pour
m
Yn
x = (x1 ; : : : ; xn ), on a kv u(x)k  kv k kukm L
kxi k . En particulier, (E ) est une algbre norme.
i=1
Dmonstration. En effet, si on pose u = (u1 ; : : : um ), et x = (x1 ; : : : xn ), on a ku(x)k = max
j
kuj (x)k, et, par suite,
n !m
Y Y
kv u(x)k = kv(u(x1; : : : xn )k  kvk kuj (x)k  kvk ku(x)km  kvk kuk m kxi k :
j i=1

P ROPOSITION III.4.3.
Soient Ei , 1  i  n, et F des espaces vectoriels norms. Si F est complet alors lespace
L L
(E1; : : : ; En; F ) lest aussi. En particulier, si E est complet, (E ) est une algbre de Banach.
Dmonstration. En effet, soit (fn ) une suite de Cauchy dans L (E1; : : : ; En ; F ). Pour tout x 2 E1  : : :  En tel que max
i
kxi k  1,
on akfp (x) fq (x)k  kfp fq k, ce qui montre que la suite (fn (x)) est de Cauchy dans F donc converge vers f (x). Le fait que
x 7! f (x) est linaire rsulta aussitt de la linarit des fn par passage la limite ; enfin, pour " > 0, si max i
kxi k  1, de la mme
manire, on a kf (x) fn (x)k  " pour n assez grand, do kf (x)k  kfn k + ", ce qui prouve que f est continue (la suite (fn ) tant
borne puisque de Cauchy) et aussi que (fn ) converge, en norme, vers f .

P ROPOSITION III.4.4.
Soient E et F deux espaces norms et f une application linaire continue de E dans F .
1. Si (xi )i2I est une famille sommable dans E , alors (f (xi ))i2I est une famille sommable dans F et
!
X X
f (xi ) = f xi :
i2I i2I
2. Si (xi )i2I est une famille absolument sommable dans E , alors (f (xi ))i2I est une famille absolument
sommable dans F .

60 Licence de Mathmatiques Pures de Bordeaux


III.4. ESPACES DAPPLICATIONS LINAIRES ET MULTILINAIRES CONTINUES

La dmonstration de cette Proposition est une consquence quasi-immdiate des dfinitions et est laisse au lecteur.

SOUS-SECTION III.4.2

Hyperplans ferms et formes linaires


continues
Rappelons que, dans un espace vectoriel E on appelle hyperplan un sous-espace vectoriel H tel que pour tout a = H , E est2
2
somme direct algbrique de H et K a. Si H est un hyperplan, tout x E scrit, de manire unique x = f (x)a + y avec f (x) K et 2
2
y H . Il en rsulte que f est une forme linaire sur E dont le noyau est H ; on dit que f (x) = 0 est lquation de H . Inversement, le
noyau de toute forme linaire est un hyperplan. La Proposition qui suit montre que lon peut lire la continuit de f sur H :

P ROPOSITION III.4.5.
Soit H un hyperplan dquation f (x) = 0 dans un espace norm E . Alors, H est ferm si et seulement si f
est continue. De plus, dans ce cas, pour tout a 2
= H , E est somme directe topologique de H et de K a.
Dmonstration. Si f est continue, H est clairement ferm. Rciproquement, supposons H ferm dquation f (x) = 0, et soit b = H 2
2
tel que f (b) = 1. Comme H est ferm, par continuit de laddition, il en est de mme de b + H , et, comme 0 = b + H , il existe r > 0
tel que B \f g ; 6 2 2
 (0; r) b + H = , ce qui implique f (x) = 1 pour x B (0; r). Soient x B (0; r) et = f (x) ; si 1, alors j j
2 j j
x= B (0; r) et f (x= ) = 1, ce qui est impossible, et ainsi, f (x) < 1, ce qui implique que f est borne donc continue (Thorme
2 2
III.4.1). Soit maintenant a = H ; on a donc une autre criture unique des lments de E x = g (x)a + y , y H , et g (x) = 0 est une
quation de H , g tant une forme linaire continue. En particulier, x 7!
g(x)a est continue de E dans K a, ce qui montre la dernire
assertion (c.f. Dfinition III.1.5, page 53).

Comme ladhrence dun sous-espace est un sous-espace (Proposition III.1.3, page 52), on a le Corollaire suivant :

C OROLLAIRE .
Dans un espace norm, un hyperplan est ou bien ferm ou bien dense.

Rappelons enfin que lon appelle hyperplan affine un translat dun hyperplan. Si H est un hyperplan affine, alors H s crit
H = H1 + a o H1 est un hyperplan ; si f (x) = 0 est une quation de H1 et si alors f (x) = f (a) est une quation de H et H est
ferm si et seulement f est continue.

SOUS-SECTION III.4.3

Les Thormes de Banach et de


Banach-Steinhaus
P ROPOSITION III.4.6.
Soient E et F deux espaces norms et u 2 L
(E ; F ). Alors, si u(E ) est non maigre (Dfinition II.1.7,
page 9) dans F , pour tout voisinage de zro V dans E , u(V ) est un voisinage de zro dans F .

Dmonstration. Soit B = B (0; r ), r > 0, telle que B + B  V et soit 2 K et que j j > 1. Clairement E est runion des ensembles
n B , n 2 N  , et, comme u(E ) est suppos non maigre, il existe n0 tel que n0 u(B ) est dintrieur non vide et, par suite, u(B ) est
aussi dintrieur non vide, ce qui entrane que 0 est un point intrieur de u(B )+ u(B ). Comme u(B )+ u(B )  u(B ) + u(B )  u(V ),
le rsultat est dmontr.

Pour noncer le Thorme de Banach, nous avons besoin dune nouvelle terminologie :

D FINITION III.4.1.
Soient E et F deux espaces topologiques et u une application de E dans F . On dit que u est ouverte si,
pour tout ouvert U de E , u(U ) est ouvert dans F .

T HORME III.4.2 (Thorme de Banach ).


Soient E un espace de Banach et F un espace norm et u 2 (E ; F ). L
1. Ou bien u(E ) est maigre (Dfinition II.1.7, page 9) dans F ou bien u(E ) =F et u est une application

Philippe Charpentier 61
CHAPITRE III. ESPACES VECTORIELS NORMS

ouverte de E dans F ;
2. Si F est complet et si u est surjective alors u est ouverte. En particulier, si E = F , si u est un isomor-
phisme algbrique, u 1 est continue (Thorme disomorphie de Banach).

Dmonstration. Le 2. est une consquence du 1. et du Thorme de Baire (Thorme II.7.1, page 25) qui dit que u(E ) = F ne peut
tre maigre dans F . Dmontrons donc le 1. Si u(E ) nest pas maigre, la Proposition prcdente dit que, pour tout r > 0, u(B (0; r ))

 (0; r ) u(B (0; r)), ce qui, par linarit, donne, pour tout
est un voisinage de zro dans F , cest--dire quil existe r > 0 tel que B
2 
x E , B (u(x); r ) u(B (x; r)). Nous utilisons maintenant le Lemme suivant :
L EMME . Soient E un espace mtrique complet, F un espace mtrique et u une application continue de E dans F . On suppose
que u possde la proprit suivante :
2 
 (u(x); r ) u(B (x; r)).
Pour tout r > 0, il existe r > 0 tel que, pour tout x E , B

 (u(x); r ) u(B (x; a)).
Alors, pour tout r > 0 et tout a > r , B
1
X
Dmonstration du Lemme. Soit (rn ) une suite de rels > 0 tels que r1 = r et rn = a. Il existe donc, pour tout n  1, n > 0 tel
n=1
que 1 = r et, 8x 2 E , B (u(x); n )  u(B (x; rn )), et on peut, bien sr, supposer nlim
!1 n = 0. Soit y 2 B (u(x); r ). On construit

alors, par rcurrence, une suite (xn ) dans E telle que x0 = x, xn 2 B  (xn 1 ; rn ) et u(xn ) 2 B (y; n+1 ) : en effet, si x1 ; : : : ; xn sont
construits, on a y 2 B (u(xn ); n+1 )  u(B (xn ; rn+1 )), donc B (y; n+2 ) \ u(B (xn ; rn+1 )) 6= ;, et il existe xn+1 2 B (xn rn+1 )
+p
nX
tel que u(xn ) 2 B (y; n+2 ), ce qui montre que la rcurrence se poursuit. Comme d(xn; xn+p )  ri , la suite (xn ) est de Cauchy
i=n
1
X
et donc converge vers z2 E , ce dernier tant suppos complet. Puisque d(x; z)  rn = a, on a z 2 B (x; a), et comme u est
n=1
continue, u(z ) = y , ce qui montre que B (u(x); r )  u(B (x; a)) et on conclut en remplaant a par a + " avec " > 0 aussi petit que
lon veut.

Fin de la dmonstration du Thorme de Banach. Grce au Lemme, nous avons B 


 (u(x); r ) u(B (x; a)) pour a > r ce qui implique
aussitt que u est ouverte. De plus, ceci appliqu x = 0 et la linarit de u montrent que u est surjective.

T HORME III.4.3 (Thorme du graphe ferm ).


Soient E et F deux espaces de Banach. Pour quune application linaire u de E dans F soit continue, il
faut et il suffit que son graphe dans lespace norm E  F soit ferm.

Dmonstration. La condition est videment ncessaire, vrifions quelle est suffisante. Comme E F est complet, le graphe G de u est
un espace de Banach. Comme lapplication (x; u(x)) 7!
x est un isomorphisme linaire continu de G sur E , le Thorme disomorphie
de Banach (Thorme III.4.2) implique que son inverse x 7!
(x; u(x)) lest aussi, do le rsultat.
T HORME III.4.4 (Thorme de Banach-Steinhaus ).
Soient E un espace de Banach, F un espace norm et (ui )i2I une famille dlments de L (E ; F ). Si, pour
tout x dans E , on a sup kui (x)k < +1, alors sup kui k + 1.
i2I i2I
Dmonstration. Daprs la Proposition II.7.7, page 25, il existe une boule B (x0 ; r ), r > 0, sur laquelle les ui sont uniformment
bornes. Par linarit, elles sont donc aussi uniformment bornes sur B (0; r ) et aussi sur B (0; 1) ce qui prouve le rsultat (Thorme
III.4.1, page 59).

SOUS-SECTION III.4.4

Le Thorme de Hahn-Banach
D FINITION III.4.2.
Soit E un espace vectoriel sur R . On dit quune fonction p de E dans R est sous-linaire si, pour tous
x; y 2 E et  > 0, on a p(x + y )  p(x) + p(y ) et p(x) = p(x).
T HORME III.4.5 (Thorme de Hahn-Banach rel ).
Soient E un espace vectoriel rel et p une fonction sous-linaire de E dans R . Soient V un sous-espace
vectoriel de E et f une forme linaire sur V telle que, pour tout x 2 V , on ait f (x)  p(x). Alors, il existe une
forme linaire f~ sur E prolongeant f telle que, pour tout x 2 E , f (x)  p(x).

62 Licence de Mathmatiques Pures de Bordeaux


III.4. ESPACES DAPPLICATIONS LINAIRES ET MULTILINAIRES CONTINUES

Dmonstration. Soit A lensemble des couples (W; gW ) o W est un sous-espace vectoriel de E contenant V et gW une forme
linaire sur W prolongeant f et vrifiant gW  A  
p. On ordonne par (W1 ; gW1 ) (W2 ; gW2 ) si W1 W2 et gW2 prolonge gW1 .
Vrifions que A B f
est inductif : si 2 g A
= (Wi ; gWi ); i I est une partie totalement ordonne de , en notant W lespace vectoriel
2
engendr par les Wi , on dfinit g forme linaire sur W en posant, pour x Wi , g (x) = gi (x), et en prolongeant ensuite par linarit
B
(ce qui est possible car est totalement ordonne) ; il est clair que (W; g ) ainsi dfinie appartient A et majore tous les lments de
B . Le Lemme de Zorn (Corollaire du Thorme A.3.2, page 108) implique alors que A possde un lment maximal (W0 ; h). Pour
2 n
conclure, il suffit de prouver que W0 = E . Supposons que cela soit faux et soit x0 E W0 et posons W = W0 + Rx0 . Comme tout
x W scrit de manire unique x = xW0 + x0 avec xW0 W0 et  R, si on pose h0 (x) = h(xW0 ) +  , R, on dfinit,
2 2 2 2
sur W , une forme linaire h0 qui prolonge h. Pour conclure une contradiction, il faut donc voir que lon peut choisir de sorte que
h0 p. Puisque p est sous-additive, on a, pour y1 et y2 dans W0 , h(y1 ) h(y2 ) p(y1 y2 ) p(y1 + x0 ) + p( y2 x0 ), ce qui
  
implique
 y2W0
sup ( h(y) p( y x0 )) inf ( h(y) + p(y + x0 )) ; (III.4.1)
y2W0
2
et on choisit compris entre le sup et linf de lingalit (III.4.1). Soit alors x = xW0 + x0 W ; si  = 0, il ny a rien prouver,
supposons donc tout dabord  > 0. Par le choix de on a, par sous-linarit de p et linarit de h,
    
h0 (x) = h(xW0 ) +   h(xW0 ) +  h xW0 + p xW0 + x0 = p(xW0 + x0 ) = p(x):
 
Si  < 0, de la mme manire on a
    
h0 (x) = h(xW0 ) + jj ( )  h(xW0 ) + jj h xW0 xW0
jj + p jj x0 = p(xW0 + x0 );

ce qui termine la dmonstration.

Dans le cas des espaces norms complexes, il faut faire un hypothse plus forte sur la fonction p :

T HORME III.4.6 (Thorme de Hahn-Banach ).


Soient p une semi-norme sur un espace vectoriel sur K , V un sous-espace vectoriel de E et f une forme
linaire

sur V vrifiant jf (y )j  p(y ), y 2 V . Alors il existe une forme linaire f~ sur E prolongeant f telle que

f~(x)  p(x), x 2 E .


Dmonstration. Si K = R, il ny a rien montrer (on notera dailleurs que lhypothse faite sur f quivaut f p), supposons donc
< = < = =
K = C . Si on crit f = f + i f , f et f sont des formes linaires relles et la C -linarit de f implique f (x) = <
f (ix) donc
< < <
f (x) = f (x) i f (ix). Le Thorme de Hahn-Banach rel entrane donc que lon peut prolonger f en une forme R-linaire g
j j
sur E telle que g (x) 2
p(x), x E . Si on pose

~ ~
f (x) = g (x) ig (ix) , f est une forme linaire complexe sur E qui prolonge
alors

< i# i# 
f . De plus, si # est tel que e f~(x) > 0, on a f~(x) = f~(e x) = g(e x) p(ei x) = p(x), ce qui termine la preuve.
i#

La forme la plus usuelle dutilisation du Thorme de Hahn-Banach est le cas dun espace norm avec une forme linaire continue :

C OROLLAIRE .
Soient E un espace norm, E1 un sous-espace de E et f une forme linaire continue sur E1 . Alors f se
prolonge en une forme linaire continue f~ sur E telle que f~ = kf k.

Les deux Thormes de Hahn-Banach peuvent scrire sous une forme gomtrique. Pour cela il nous faut tout dabord dfinir la
jauge dun ensemble convexe. Rappelons au pralable la dfinition dune partie convexe A dans un espace vectoriel E sur R : A est
convexe si pour tous points x et y de A, le segment joignant x y dans E est contenu dans A. On remarquera que cela signifie que si
et sont des rels > 0 on a A + A = ( + )A.

P ROPOSITION III.4.7.
Soient E un espace vectoriel sur R et A un sous-ensemble convexe de E contenant 0.
1. On appelle jauge de A la fonction sous-linaire pA dfinie sur E et valeurs dans [0; +1 par

pA (x) = inf f > 0; t:q: x 2 Ag:


Si, pour tout x 2 E , il existe r > 0 tel que x 2 rA (ce qui est par exemple le cas si E est un espace norm et A
contient un voisinage de zro), pA est finie (i.e. valeurs dans R + ).
2. Soit V (pA ; ) = fx 2 E; t:q: pA (x)  g (resp. W (pA ; ) = fx 2 E; t:q: pA (x) < g). Alors
W (pA ; 1)  A  V (pA 1).
3. Si E est un espace norm et si A est ouvert alors pA est continue et A = W (pA ; 1).

Philippe Charpentier 63
CHAPITRE III. ESPACES VECTORIELS NORMS

Dmonstration. Il est clair que pA (x) = pA (x), pour  > 0. Par ailleurs, si pA (x) et pA (y ) sont tous deux finis (sinon il ny a rien
2
montrer), on a x + y (pA (x) + pA (y ) + ")A, pour tout " > 0, do on dduit la sous-linarit de pA . Pour voir le 2., on note tout
 2
dabord que A V (pA ; 1) puis que si pA (x) < 1, on a x= A pour un  < 1, ce qui implique, par convexit de A, que x, qui est
8 2
sur le segment qui joint 0 x=, est aussi dans A. Enfin sous les hypothses du 3., x A, il existe  < 1 tel que x= A (A est 2
2
ouvert) ce qui montre lgalit, et, la continuit de pA est vidente car si x A, puisque A est ouvert, un voisinage de x est contenu
dans A.

T HORME III.4.7 (Thorme de Hahn-Banach (gomtrique) ).


Soient E un espace vectoriel norm sur K , A un sous-ensemble ouvert convexe non vide de E et M une
varit linaire affine (i.e. un translat dun sous-espace vectoriel) non vide ne rencontrant pas A. Alors il existe
un hyperplan affine (c.f. Sous-section III.4.2, page 61) ferm H contenant M et ne rencontrant pas A.

Dmonstration. Supposons tout dabord que le corps des scalaires est R. Quitte faire une translation, on peut supposer que 0 A et2
2
on note pA la jauge de A. Soit V lespace vectoriel engendr par M ; comme 0 = M , M est un hyperplan affine de V et il existe une et
une seule forme linaire f sur V telle que lquation de M soit f (x) = 1. Par suite,
 2
pour tout y V tel que f (y ) = 1 on a pA (y ) 1 
 2
donc f (y ) pA (y ). Si y V est tel que f (y ) = a > 0, alors f ya  
pA ya = a1 pA (y), ce qui donne f (y) pA (y). Si f (y) < 0,

lingalit prcdente est vidente puisque pA est positive, et on a donc f pA . Le Thorme de Hahn-Banach rel (Thorme III.4.5)
implique donc quil existe une forme linaire h sur E prolongeant f et telle que h  pA . Si on considre alors lhyperplan affine H
dquation h(x) = 1, on a bien M  \ ;
H , H A = , et H est ferm car, A tant ouvert non vide, il nest pas dense (Corollaire de la
Proposition III.4.5, page 61).
Supposons maintenant que le corps des scalaires est C . Comme tout espace vectoriel sur C est aussi un espace vectoriel sur R,
la premire partie de la preuve montre quil existe un hyperplan affine rel H0 contenant M et ne rencontrant pas A. Soit f (x) = 0
lquation de cet hyperplan (i.e. f est une forme linaire relle) et considrons la forme linaire complexe g dfinie sur E par g (x) =
f (x) if (ix), et notons H lhyperplan (complexe) affine dquation g(x) = 1 + i. Il est clair que H est ferm ; par ailleurs x H 2
2 \
quivaut f (x) = 1 et f (ix) = 1, cest--dire x H0 (iH0 ). Comme M = iM , la dmonstration est termine.

Ce Thorme a des consquences classiques fort utiles sur la sparation des ensembles convexes.

C OROLLAIRE 1.
Soient E un espace norm rel, A un sous-ensemble ouvert convexe non vide et B un ensemble convexe non
vide ne rencontrant pas A. Alors il existe une forme linaire continue f sur E et un rel tels que f  sur A
et f  sur B . On dit que lhyperplan affine ferm dquation f = spare A et B . De plus si B est ouvert,
lhyperplan f = spare strictement A et B cest--dire que f > sur A et f < sur B .

2
Dmonstration. En effet, lensemble C = A B est ouvert, convexe, non vide et on a 0 = C . Le Thorme de Hahn-Banach

gomtrique ci-dessus dit donc quil existe une forme linaire continue non nulle telle que f 0 sur C ce qui implique f (x) f (y ),
8 2 8 2
x A, y B . Il suffit donc de prendre = inf f (x). La dernire partie est facile : si A (ou B ) est ouvert, il ne peut rencontrer
x2A
lhyperplan f = .

C OROLLAIRE 2.
Soient E un espace norm rel, A un sous-ensemble convexe ferm non vide et K un sous-ensemble convexe
compact non vide ne rencontrant pas A. Alors il existe une forme linaire continue f sur E et un rel tels que
f > sur A et f < sur K . Autrement dit, lhyperplan affine ferm f = spare strictement A et K .
Dmonstration. En effet, daprs la Proposition II.8.16, 5., page 35, il existe une boule B = B (0; r ), r > 0, telle que A + B et K + B
ne se rencontrent pas. Comme ces ensembles sont convexes et ouverts la conclusion rsulte du Thorme.

SOUS-SECTION III.4.5

Dual dun espace norm


D FINITION III.4.3.
Soit E un espace norm. On appelle dual de E , et on note E 0 , lespace des formes linaires continues sur
E . E 0 muni de la norme des applications linaires (Thorme III.4.1, page 59) est appel lespace norme E 0 . Le
dual de lespace norm E 0 est appel le bidual de E et est not E 00 . E 00 muni de la norme comme dual de E 0 est
appel lespace norm bidual de E .

Le corollaire du Thorme de Hahn-Banach permet en particulier de prouver lexistence du dual :

64 Licence de Mathmatiques Pures de Bordeaux


III.4. ESPACES DAPPLICATIONS LINAIRES ET MULTILINAIRES CONTINUES

P ROPOSITION III.4.8.
1. Soient E un espace norm non rduit zro et x0 2 E , x0 6= 0. Il existe une forme linaire continue sur
E telle que f (x0 ) = kx0 k et kf k = 1.
2. Soient E un espace norm et E1 un sous-espace de E . Alors E1 est dense dans E si et seulement si la
seule forme linaire continue sur E nulle sur E1 est 0.
k k kk
Dmonstration. En effet, si h est la forme linaire dfinie sur K x0 par h(x0 ) =  x0 , on a h = 1 et, il suffit de prolonger, par
le Thorme de Hahn-Banach (appliqu en prenant pour semi-norme la norme de E ), cette forme tout lespace avec conservation de
6
1 = E , il existe un x0 de E qui nest pas adhrent E1 ; alors la forme linaire ' sur
la norme. Pour voir le 2., on remarque que si E

E1 K x0 dfinie par '(x + x0 ) = , est continue puisque son noyau est E1 qui est ferm (Proposition III.4.5, page 61), et, en la
prolongeant E par le Thorme de Hahn-Banach, on obtient une forme linaire continue sur E non nulle qui est identiquement nulle
sur E1 .

C OROLLAIRE .
Pour quun lment x0 dun espace vectoriel norm E soit nul, il faut et il suffit que toutes les formes
linaires continues sur E soient nulles en x0 .

P ROPOSITION III.4.9.
Soit E un espace norm. Pour tout x 2 E , posons ux (f ) = f (x), pour toute f 2 E 0 . Alors ux 2 E 00 , et,
lapplication x 7! ux est une isomtrie linaire de E dans E 00 . On dit que E est rflxif si cette isomtrie est
surjective.
Dmonstration. Comme kuxk = sup jf (x)j, la conclusion rsulte de la Proposition prcdente.
f 2E 0 ; kf k1
Nous terminons ce paragraphe par un rsultat fort utile en analyse fonctionnelle :

T HORME III.4.8 (Thorme de Banach-Alaoglu ).


Soient E un espace norm, E 0 lespace norm dual et B 0 la boule unit ferme de E 0 . Alors B 0 munie de la
topologie de la convergence simple (Exemple II.6.1, page 22) est un espace topologique compact. De plus, si E
est sparable, cet espace compact est mtrisable.

Dmonstration. Soit BE la boule unit de E . B 0 est un sous-ensemble des lensemble F des fonction de BE dans D =  f 2
j j g
K ; t:q:  1 , qui est compact pour la topologie de la convergence simple daprs le Thorme de Tychonoff (Thorme II.8.1,
page 32). Pour voir que B 0 est compact, il suffit donc de voir que cest un sous-ensemble ferm de F ; mais ceci est vident car les
fonctions f 7! f (x) sont continues sur F (c.f. Remarque II.6.1, page 22). Enfin la mtrisabilit de B 0 dans le cas o E est sparable
rsulte de la Proposition II.8.27, page 41.

SOUS-SECTION III.4.6

Duaux des espaces lIp(E ) et 0(E )


T HORME III.4.9.
Soit E un espace norm. Pour 1  p < +1, soit q 21; +1 tel que 1 + 1 = 1. Alors, lapplication
p q X
 : (fi )i2I 7! f de lIq (E 0) dans le dual de lIp(E ) dfinie par, 8x = (xi )i2I 2 lIp (E ), f (x) = fi (xi ), est une
i2I
isomtrie linaire surjective. lorsque I = N , la mme application est une isomtrie linaire surjective de lN1 (E 0)
sur le dual de 0 (E ).
Dmonstration. La preuve utilise le Lemme suivant :

L EMME . p et q tant comme ci-dessus, soient yi 2 K , 1  i  n. Alors


!1=q
X n n
X
P sup

n jxi jp =1
x i y
 i

=

jyi jq :
i=1 i=1 i=1
Dmonstration du Lemme. Ceci rsulte dune part de lingalit de Hlder ((II.3.1), page 12) et, dautre part, si yi = ri ei#i , en prenant
xi = 1 jyi jq=p ei#i ;
kykq=p
q
lorsque p est fini, et est vident pour p = + 1.

Philippe Charpentier 65
CHAPITRE III. ESPACES VECTORIELS NORMS

Dmontrons maintenant le Thorme.


Considrons tout dabord le cas des espaces lIp (E ). Tout dabord voyons que si (fi )i2I appartient lIq (E 0 ), 1 < q + , et si  1
2
x = (xi )i2I lIp (E ) alors la famille (fi (xi ))i2I est sommable : en effet, si K est une partie finie de I , lingalit de Hlder donne
!1=q !1=p
X X X
jfi(xi )j  kfi kq kxi kp ;
i2K i2K i2K

do le rsultat. De plus ceci montre que f est une forme linaire continue telle que f (fi )i2I q . k kk k
Pour conclure, il suffit de montrer que si f est une forme linaire continue sur lIp (E ) il existe (fi )i2I lIq (E 0 ) telle que 2
k
((fi)i2I ) = f avec (fi )i2I q k k k 2
f . Pour tout i I , soit Ei le sous-espace de lIp (E ) form des familles (xj )j2I telles que
6
yj = 0 si j = i. Clairement Ei sidentifie E (comme espace norm) et fjEi est une forme linaire continue fi sur E . Soit K une
2 2 k k k k
partie finie de I . Pour tout i K , soit yi E , yi = 1, tel que fi (yi ) soit un rel positif suprieur fi
X
"
#K o #K dsigne
le nombre dlments de K . Soient ai 2 R+ , 1  i  #K , tels que ai  1, et posons xa = (xai )i2I avec xai = ai yi si
p
X i2K
X X
i 2 K et xai = 0 sinon. Alors f (xa ) = ai fi (yi )  " +
ai kfi k, cest--dire ai kfi k  kf k + ". En prenant le sup sur
i2K i2K i2K
lensemble fk(ai )i2K kp  1g, daprs le Lemme, il vient k(fi )i2K kq  kf k + ". Ceci tant vrai pour tout " > 0 et toute partie finie
de I , la preuve de la premire partie du Thorme est termine.
Considrons maintenant le cas de 0 (E ). Tout dabord, on voit aussitt que si (fi )i2I 2 lI1 (E 0 ) alors ((fi )i2I ) est une forme
linaire continue sur 0 (E ) de norme k(fi )i2I k1 (en fait cest une forme linaire continue de mme norme sur lI1 (E )). Cest la
rciproque quil faut dmontrer. Soit f une forme linaire continue sur 0 (E ). Comme dans la dmonstration pour lIp (E ), nous pouvons
dfinir les formes linaires fi sur E et il faut voir que f = ((fiX
)i2I ). Si x = (xi )i2I est un lment de 0 (E ) tel que xi = 0 sauf
au plus pour un ensemble fini dindices, on a clairement f (x) = fi (xi ) = ((fi)i2I )(x). La conclusion rsulte alors du fait que
i
lensemble de ces lments est dense dans 0 (E ).

Remarque III.4.2. La dmonstration ci-dessus montre que lI1 (E 0 ) est canoniquement contenu dans le dual de lI1 (E ), mais il nest
pas, en gnral, gal lI1 (E )0 . La preuve faite pour 0 (E ) nest pas valable pour lI1 (E ) car lensemble des lments de lI1 (E )
support fini nest pas dense dans lI1 (E ) (par support de (xi )i2I , on entend lensemble des indices i I tels que xi = 0) contrairement
2 6
0 (E ).

SECTION III.5

Espaces norms de dimension


finie
SOUS-SECTION III.5.1

Structure des espaces norms de dimension


finie
P ROPOSITION III.5.1.
Sur K n muni de la norme euclidienne, toute semi-norme est continue.

kk
Dmonstration. Notons x la norme euclidienne dun lment x de K n . Il suffit de montrer quune semi-norme p sur K n est continue
en zro (la continuit en un point quelconque rsultant alors de lingalit triangulaire). Soit (ei )1in la base canonique de K n , et,
n n n !1=2
X X X
pour x 2 K n , notons x = xi ei =. On a p(x)  jxi j p(ei)  kxk p(ei )2 par lingalit de Cauchy-Schwarz, ce qui
i=1 i=1 i=1
montre le rsultat cherch.

T HORME III.5.1.
1. Sur un espace vectoriel de dimension finie, toutes les normes sont quivalentes.

66 Licence de Mathmatiques Pures de Bordeaux


III.5. ESPACES NORMS DE DIMENSION FINIE

2. Soient E un espace vectoriel norm de dimension finie et (ai )1in une base de E . Alors lapplication
n
X
u : (1 ; : : : ; n ) 7! i ai
i=1
est un isomorphisme bicontinu de K n sur E . En particulier, tout espace vectoriel norm de dimension finie est
complet et localement compact.

Dmonstration. Dmontrons tout dabord le 1. Considrons en premier le cas o lespace vectoriel est K n , et soient p et q deux normes
sur sur celui-ci. Soit S la sphre unit de K n pour la norme euclidienne. Comme p et q ne sannulent pas sur S qui est compact
(Proposition II.8.14, page 35) et sont continues daprs la Proposition prcdente, daprs la Proposition II.8.3, page 31, il existe deux
constantes 0 < A  B < +1, telles que, pour x 2 S , on a A  p(x)  B . En appliquant ceci x , x 2 E , x 6= 0, on conclut
q(x) kxk
que Aq (x)  p(x)  Bq (x), pour tout x 2 E , ce qui termine ce cas. Enfin, le cas dun espace vectoriel E quelconque est immdiat
puisque si celui-ci est isomorphe un K n par u : K n ! E (construite avec une base), alors et p u et q u, sont des normes sur K n .
Vrifions maintenant le 2. Puisque u est un isomorphisme, lingalit de Cauchy-Schwarz montre que

n n !1=2
X X
x= i ai 7! ji j2
i=1 i=1
est une norme sur E , et le 1. implique donc quil existe deux constantes 0 < A  B < +1 telles que
!1=2 !1=2
n
X Xn n
X
A ji j2 


 i a i



B ji j2 ;
i=1 i=1 E i=1
k k  ku(1 ; : : : ; n )kE  B k(1 ; : : : ; n )kK n
cest--dire A (1 ; : : : ; n ) K n ce qui signifie exactement que u est une application
linaire bijective bicontinue.

P ROPOSITION III.5.2.
Soient E un espace norm de dimension finie et F un espace norm. Toute application linaire de E dans
F est continue.
Dmonstration. En effet, si
n
u est une telle application et si (ai )1in est une base de E, puisque lapplication (1 ; : : : ; n ) 7!
X
i u(ai ) est trivialement continue, le rsultat est une consquence de la Proposition prcdente.
i=1

Remarque III.5.1. On notera que ce dernier rsultat est bien sr faux si E nest pas de dimension finie.

P ROPOSITION III.5.3.
Soient E un espace norm, V un sous-espace vectoriel ferm de E et W un sous-espace vectoriel de dimen-
sion finie de E . Alors V + W est ferm. En particulier, tout sous-espace vectoriel de dimension finie dun espace
norm est ferm (ce qui rsulte aussi bien sr de Thorme III.5.1).

Dmonstration. Par rcurrence sur la dimension de W , on voit facilement quil suffit de faire la preuve lorsque W est de dimension
2
gale 1 cest--dire lorsque W = K a, et de plus on peut supposer a = V . Alors, si f est la forme linaire sur V + W dont le noyau
est V et qui vaut 1 en a, elle est continue (sur V + W ) daprs la Proposition III.4.5, page 61. Soit alors x un point de E adhrent
V + W et soit (xn ) une suite dans V + W qui converge vers x. Si on pose xn = f (xn )a + yn , comme f est continue sur V + W donc
uniformment continue (Thorme III.4.1, page 59), (f (xn )) est une suite de Cauchy dans K qui converge donc vers . Il en rsulte
que (yn ) est aussi convergente vers y , et ce dans V puisque ce dernier est ferm, ce qui donne finalement x = a + y V + W , ce 2
qui montre que V + W est ferm.

P ROPOSITION III.5.4.
Soient E un espace norm et V un sous-espace vectoriel ferm de E de codimension finie. Alors tout
supplmentaire algbrique de V est un supplmentaire topologique.

Dmonstration. Soit W un supplmentaire algbrique de V dans E . Raisonnons par rcurrence sur la dimension de W . Si W est
de dimension 1, le rsultat est donn par la Proposition III.4.5, page 61. Supposons le rsultat montr pour les V de codimension
 n 1, et soit W un supplmentaire de V de dimension n. Posons W = W1 + W2 o W1 est de dimension 1 et W2 de dimension
n 1. La Proposition prcdente montre que V + W1 est ferm dans E et lhypothse de rcurrence dit que W2 est un supplmentaire

topologique de V + W1 cest--dire que E est homomorphe (V + W1 ) W2 . Le cas n = 1 montrant que V + W1 est isomorphe
   
V W1 , on en dduit que E est homomorphe V W1 W2 , et, comme W1 W2 est homomorphe W1 + W2 = W , E est
bien homomorphe V W . 

Philippe Charpentier 67
CHAPITRE III. ESPACES VECTORIELS NORMS

D FINITION III.5.1.
Dans un espace norm E , on appelle suite totale (resp. famille totale) toute suite (resp. famille) telle que
lespace vectoriel engendr par ses lments soit dense dans E .

P ROPOSITION III.5.5.
Soit E un espace norm.
1. Sil existe une suite totale dans E , alors E est sparable.
2. Si E est sparable, il existe une suite totale forme de vecteurs linairement indpendants.

Dmonstration. En effet, en considrant les combinaisons linaires coefficients dans Q (i.e. dans Q si K = R et de la forme + i ,
avec et dans Q si K = C ) on voit immdiatement le 1. Dans les conditions du 2., et, en supposant en plus que E est de dimension
infinie (sinon il ny a rien montrer), si (an ) est une suite dense, on construit une suite extraite (ank ) en prenant pour k1 le premier
6  
entier n tel que an = 0, puis, les ki , 1 i n, tant construit, on choisit kn+1 de sorte que akn+1 soit le plus petit entier m > kn
tel que am ne soit pas dans lespace engendr par les aki , 1  
i n, (ce qui est possible car, dans le cas contraire, E possderait
un sous-espace dense de dimension finie et comme un tel sous-espace est ferm (Proposition III.5.3, page prcdente) E serait de
dimension finie). Il est alors clair que la suite ainsi construite rpond le question.

T HORME III.5.2 (Thorme de Frdric Riesz ).


SoitE un espace norm. Les trois conditions suivantes sont quivalentes :
1. E est de dimension finie ;
2. E est localement compact ;
3. La boule unit ferme (centre en zro) de E est compacte.
4. La boule unit (centre en zro) de E est prcompacte.
 (xi ; r) forment un
5. Il existe des points xi 2 E , 1  i  n, et un rel r , 0 < r < 1, tels que les boules B
recouvrement de la boule unit B (0; 1) de E .

) )
Dmonstration. Limplication 1. 2. a t vue au Thorme III.5.1, page 66, et limplication 2. 3. rsulte du fait quune homothtie
) ) )
(non nulle) est un homomorphisme. Il est clair que 3. 4 et que 4. .5. Montrons que 5. 1. Soit B la boule unit ferme centre en
   (xi r) = xi +rB recouvrent B (car
zro de E . Par hypothse, il existe un nombre fini de points xi , 1 i n, de E tels que les boules B
B est ladhrence de B (0; 1)). Soit F le sous-espace vectoriel de E engendr par les xi . On a donc B F + rB F + rF + r2 B =
 
F + r2 B , donc, par rcurrence, B F + rn B . Soit alors x B , et posons x = yn + zn avec yn F et zn rn B ; en particulier
 2 2 2
2 \
yn 2B F , qui est une boule compacte daprs le Thorme III.5.1, et il existe donc une suite extraite (ynk ) qui converge vers
un point y de F celui-ci tant ferm (Proposition III.5.3, page prcdente). Par passage la limite, on obtient donc x = y (puisque
! 2
znk 0) ce qui donne x F et achve la preuve.

SOUS-SECTION III.5.2

Sries et familles sommables dans les espaces


norms de dimension finie
P ROPOSITION III.5.6.
Soit (xi )i2I une famille dlments dun espace norm de dimension finie sur K . Les proprits suivantes
sont quivalentes :
1. La famille (xi )i2I est absolument sommable.
2. La famille (xi )i2I est sommable.
3. Lensemble des sommes finies de xi est born.
4. Si I = N , la srie (xn )n2N est commutativement convergente.
Dmonstration. Daprs le Thorme III.5.1, page 66 et la Proposition III.3.10, page 57, on voit quil suffit de faire la dmonstration
lorsque E = K puis lorsque E = R. Les implication 1. )2. et 2. )
3. sont videntes,
X montrons donc que 3. )
1. Par hypothse, il
existe deux rels positifs et tels que, pour toute partie finie K de I on a xi . Si, pour tout xi on pose xi = x+i xi

X X i2K
avec x+
i = xi si xi  0, x+i = 0 sinon, on a x+i  et xi  , ce qui implique que les familles (x+i )i2I et (xi )i2I sont
i2K i2K
sommables, ce qui donne 1. Dans le cas o I = N , lquivalence des trois premires proprits avec la quatrime rsulte du Thorme
III.3.2, page 58.

68 Licence de Mathmatiques Pures de Bordeaux


EXERCICES

C OROLLAIRE .
Si E est de dimension finie, lI1 (E ) (Dfinition III.3.6, page 59) est lespace des familles sommables dans E
indexes sur I .

P ROPOSITION III.5.7.
P
Soit (xn )n2N une suite de nombres rels telle que la srie xn soit convergente
P
mais pas absolument
convergente. Alors, pour tout rel il existe une bijection  de N telle que la srie x (n) soit convergente de
somme .
Dmonstration. Esquissons simplement la preuve. En crivant xn = x+ nP xn , comme dans la dmonstration prcdente, lhypothse
entrane que les suites (x+ + P
n ) et (xn ) tendent vers zro et que les sries xn et xn sont divergentes. On dfinit alors la bijection
X i1
 de la manire suivante : on prend tout dabord les premiers xn , tels que xn  0, x(i) , 1  i  i1 , de sorte que x(i)  et
i=1
1 1
iX
x(i) < , ce qui est possible daprs ce qui prcde. Puis on prends les premiers xn , tels que xn < 0, x(i) , i1  i  i2 , de sorte
i=1
Xi2 iX2 1
que x(i)  et x(i) > , ce qui est encore une fois possible. Et ainsi de suite. Le fait que les suites (x+n ) et (xn ) tendent
i=1 i=1
vers zro permet alors de conclure.

Exercices
Exercice III.1.
Soit E un K - espace vectoriel norm. Montrer que :
1. Si  K2 nf g 
0 et si A E est ferm (resp. ouvert, compact, connexe) A est ferm (resp. ouvert, compact, connexe).
2. Si A est une partie quelconque de E et B est un ouvert de E , A + B est ouvert.
3. Si A et B sont deux compacts ( resp. connexes ) de E , A + B est compact ( resp. connexe ).
4. Si A est un compact de E , B un ferm de E , A + B est ferm. ( Cette proprit reste-t-elle vraie si A et B sont ferms ?) .

Exercice III.2.
 (a; r) et que toute boule ouverte
Montrer que dans un espace norm, ladhrence de toute boule ouverte B (a; r ) est la boule ferme B
est homomorphe E .

Exercice III.3.
Cet exercice est traiter sans utiliser la norme doprateur continu. Soit E = Mn (R) lensemble des matrices carres dordre n
!1
n
X 2
coefficients rels. Pour X 2 Rn , on pose kX k = Xi2 et pour A 2 E , kAkE = sup kA(X )k.
i=1 kX k=1
1. Montrer que k:kE est une norme sur E et que lon a aussi
 
kAkE = sup kA(X )k = sup kX1 k kA(X )k
kX k1 X 6=0
et pour tout X 2 R , kA(X )k  kAkE kX k et enfin, kAB kE  kAkE kB kE .
n
2. Pour A = (aij ) 2 E , on pose '(A) = max(jaij j ; 1  i; j  n). Montrer que ' et k:kE sont des normes quivalentes et que
(E; k:kE ) est complet.
P 1 n
3. Pour A 2 E , montrer que la srie A est convergente ( convention : A0 est la matrice unit).
n!
Exercice III.4. Pn
Sur lespace C [X des polynmes coefficients complexes, on pose, pour P k
= k=0 ak x ,
!1
n
X n
X 2
kP k1 = sup jak j ; kP k1 = jak j ; kP k2 = jak j2
k k=0 k=0
Montrer que lon dfinit ainsi trois normes non quivalentes et que (C [X ; k:k1 ) nest pas complet.

Philippe Charpentier 69
CHAPITRE III. ESPACES VECTORIELS NORMS

Exercice III.5.
1. Montrer que tout sous espace vectoriel strict dun espace norm est dintrieur vide. Que dire dun sous espace born ?
2. Montrer que si E est un espace de Banach de dimension infinie, sa dimension ne peut tre dnombrable.

Exercice III.6.
1. Soit f et g deux fonctions de [0; 1 dans R, f de classe C 1 et g continue. On suppose que f + f 0 = g. Exprimer f en fonction
de g ( laide dune intgrale).
2. Soit E l espace des fonctions de classe C 1 sur lintervalle [0; 1 nulles en 0. Si u 2 E , on pose kuk = ju(0)j + sup ju0 (x)j et
x2[0;1
N (u) = sup ju(x) + u0 (x)j. Dmontrer que les deux applications prcdentes sont des normes quivalentes (utiliser 1. pour
x2[0;1
lquivalence).

Exercice III.7.
Soit ! : [0; 1
R1
!
R+ une application continue. Pour toute fonction continue f sur [0; 1, valeurs dans R, on pose (f ) =
j j
0 f (x) !(x)dx.
1. Dmontrer que  est une semi-norme sur lespace C 0 ([0; 1; R).
2. Dmontrer que  est une norme si et seulement si lensemble des zros de ! est dintrieur vide.

Exercice III.8.
Les espaces lp ont t dfinis en cours.
1. Soit p et q tels que 1  p < q  +1, montrer dabord que si x = (xn ) 2 lp , alors x 2 l1 et quon a kxk1  kxkp puis que
2
x lq et quon a x q k k  kxkp .
+1
X
2. b) ! = (!n )n dsigne une suite de nombres rels strictement positifs. On pose lp (!) = fx = (xn )t:q: jxn jp !n < 1g.
n=0
+1
X 1p
Dmontrer que l (! ) est un espase vectoriel norm par lapplication x 7 ! (
p jxn j !n ) .
p
n=0
P
3. c) On suppose que la srie !n converge et que p est < q. Dmontrer que lq (!) est stictement contenu dans lp (!).
Exercice III.9.
1. Dmontrer quune famille
X
(ai )i2I de nombres rels positifs ou nuls est sommable si et seulement si lensemble des sommes
finies f ai ; J finie  I g est major.
i2J
2. Soit (xi )i2I une famille de nombres rels. Montrer que les assertions suivantes sont quivalentes : i) La famille (xi )i2I est
absolument sommable ; ii) Cette famille est sommable ; iii) Lensemble des sommes finies est born.
[
3. Soit (xi )i2I une famille de nombres complexes ; On suppose que I est une runion disjointe :I = Jl , que pour chaque
0 1 l2L
X
l 2 L, la famille (jxi j)i2Jl est sommable et que la famille  jxi jA est aussi sommable. Dmontrer que la famille (xi )i2I
i2Jl l2L
est sommable et que X XX
xi = xi :
i2I l2L i2Jl
X
4. Application. Soit (apq )(p;q)2N 2 une famille de nombres complexes ( srie double ). On suppose que les sries japq j sont
q
+1
XX X +1
XX
convergentes pour tout p et que la srie japq j est aussi convergente. Dmontrer que les sries japq j et japq j
p q=0 p q p=0
sont convergentes et que
+1 X
X +1 +1 X
X +1
apq = apq
q=0 p=0 p=0 q=0

Exercice III.10.
On considre une application f de D = fz 2 C ; jz j < Rg dans C somme dune srie entire sur D
+1
X
f (z ) = an z n :
n=0
Soit z0 un point de D . Montrer que lapplication u 7 ! f (z0 + u) est dveloppable en srie entire de la variable u et que le rayon de
convergence est au moins R z0 . j j

70 Licence de Mathmatiques Pures de Bordeaux


EXERCICES

Exercice III.11.
Ecrire le dveloppement en srie entire de la fonction f : C ! C ; f (z) = exp(exp z)).
Exercice III.12.
Soit E un espace de Banach et I un ensemble quelconque. Dmontrer que lespace lp (I; E ) est complet (p  1).
Exercice III.13.
Soit E = R[X lensemble des polynmes coeefficients rels. On dfinit kP k = sup jP (x)j.
x2[0;1
1. Dmontrer que lapplication k:k est une norme sur E . Dans les questions suivantes, E est muni de cette norme.
2. Soit un rel  0 et L lapplication de E dans R dfinie par L(P ) = P ( ). Dmontrer que L est linaire et continue si et
seulement si 2 [0; 1. Calculer la norme de L lorsque L est continue.
3. Lapplication P 7! P 0 est elle continue sur E ?

Exercice III.14.
Soit T lapplication de E
Z
= C ([0; 1; R) dans R dfinie par T (f ) = f ( ) o est un rel de lintervalle [0; 1. E est muni de la norme
1
L1 cest dire : kf k = jf (x)jdx. Montrer que T nest pas continue.
0
Exercice III.15. +1
Soit T lapplication de l1 dans R dfinie par : T (x) =
X xk . Montrer que T est linaire continue et calculer la norme de T (l1 est
n=0 k!
muni de sa norme usuelle).

Exercice III.16.
Soit u une application linaire de Rn dans lui-mme et A la matrice de u dans la base canonique de Rn . On munit Rn de la norme
kk
: 1 . Lapplication u est elle continue ? Dterminer la norme de u en fonction des coefficients de la matrice A.
Exercice III.17.
Soit E lespace des fonctions continues de [0;  dans R, muni de la norme de la convergence uniforme. On dsigne par ' un lment
fix de E et par T lapplication de E dans R dfinie par :
Z 
T (f ) = f (x)'(x)dx
0
1. Dmontrer que T est linaire continue.
2. Calculer la norme de T lorsque ' est  0.
3. Calculer la norme de T lorsque ' est la fonction x 7 ! '(x) = os x.
Exercice III.18.
Soit E = 0 muni de sa norme usuelle et soit  = (n )n une suite borne de nombres complexes telle que n 6= 0 pour tout n 2 N .
On pose T (a) = (n an )n ; a = (an ) 0 . 2
1. Dmontrer que T est une application linaire continue de 0 dans lui-mme.
2. Dterminer la norme de T .
3. Montrer que T est injective.
4. Etablir une condition ncessaire et suffisante portant sur  pour que T soit surjective.
5. Prouver que limage de T est toujours dense dans 0 .

Exercice III.19.
Soient E et F deux espaces de Banach et T une application linaire de E dans F . On suppose que pour toute forme linaire continue
y0 appartenant au dual topologique F 0 de F , lapplication y0 T est continue. Dmontrer que lapplication T est continue.

Exercice III.20.
f g
Soit E un espace norm, x1 ; : : : ; xn un systme libre de E et f 1 ; : : : ; n g une famille quelconque de scalaires. Dmontrer quil
existe une forme linaire continue sur E , telle que pour tout i; 1  i  n on ait f (xi) = i .
Exercice III.21.
Soit E un espace norm et' un lment de E 0 (le dual topologique de E ). On suppose que ' est non nulle et on dsigne par H le
noyau de '. Dmontrer que pour tout x 2 E , on a : d(x; H ) =
j'(x)j . Quel rsultat bien connu retrouve-t-on, dans le cas o E est
k'k
lespace R2 ou lespace R3 muni de la norme euclidienne ?

Philippe Charpentier 71
CHAPITRE III. ESPACES VECTORIELS NORMS

Exercice III.22.
Dmontrer que le dual toplogique de 0 (resp. lp avec 1 p < +1) sidentifie isomtriquement l1 (resp. lq o q est un rel tel que
+1
1 + 1 = 1. Indication : On constatera qu un lment x 2 (resp. lp ) est gal la somme X
0 xn en dans 0 (resp. lp ) o en est
p q n=0
llment tel que en 6 n ; puis une forme linaire T , on associera la suite (T (en))n et on dmontrera
k = 1 si k = n et 0 si k =
1
que
cette application est une isomtrie surjective. Quel est dans le raisonnement largument qui ne convient pas dans le cas de l ?

Exercice III.23. P
Soit une suite ( n ) de nombres complexes telle que la srie n n converge pour toute suite (n ) appartenant 0 . Dmontrer que la
P
n
X
srie j nj est convergente. Indication : Considrer les formes linaires Ln : 0 7 ! C dfinies par Ln ( ) = k k ; dterminer
k=0
leurs normes et conclure en utilisant lxercice prcdent et le thorme de Banach-Steinhaus.

Exercice III.24.
Soit K un entier fix et EK lespace vectoriel des polynmes coefficients complexes de degr  K . Dmontrer quil existe deux
K
X K
X Z1 XK
constantes relles et strictement positives telles que : 8P = ak xk 2 EK ; jak j2  jP (x)j2dx  jak j2.
k=0 k=0 0 k=0

Exercice III.25.
Soit k un entier et S une partie borne de C de cardinal > k . On suppose que (Pn )n est une suite de fonctions polynmes coefficients

complexes de degr k qui converge uniformment sur S vers une fonction f . Dmontrer que f est la restriction S dune fonction
polynme de degr k . 
Exercice III.26.
E et F sont deux espaces norms et T un oprateur linaire de E dans F . On dit que T est compact si limage de la boule unit ferme
de E est relativement compacte dans F .
1. Dmontrer quun oprateur compact est continu. Lidentit de E peut elle tre compacte ?
2. Dmontrer que si T est continu et si la dimension de T (E ) est finie, T est compact.
3. On suppose E complet. Dmontrer que si une suite (Tn ) doprateurs compacts converge vers un lment T dans lespace
L (E ), alors T est compact (on pourra penser la prcompacit).
4. Soit E = C ([0; 1; C ) muni de la norme de la convergence uniforme. Soit K une fonction continue de [0; 1  [0; 1 dans C et
pour f 2 E , T (f ) la fonction dfinie sur [0; 1 par
Z 1
T (f )(x) = K (x; t)f (t)dt:
0
(a) Montrer que T est une application linaire continue de E dans E .
(b) Montrer que si K est un polynme, T est compact.
(c) En utilisant le thorme de Stone-Weierstrass, montrer que T est compact.

Exercice III.27.

Soient E , F , G trois espaces norms, E ou F tant complet. On considre une application bilinaire f de E F dans G. Dmontrer
2 
que f est continue si et seulement si pour tout lment (x0 ; y0 ) E F les applications fx0 : y 7!
f (x0 ; y) et fy0 : x f (x; y0 ) 7!
sont continues (On pourra utiliser le thorme de Banach-Steinhauss).

72 Licence de Mathmatiques Pures de Bordeaux