Espaces vectoriels norms Page 1 G. COSTANTINI http://bacamaths.

net/
ESPACES VECTORIELS NORMS DE DIMENSION FINIE
NORMES USUELLES, QUIVALENCE DES NORMES
SOMMAIRE
1. Normes sur un espace vectoriel E 2
1.1. Dfinition d'une norme. Citer l'ingalit triangulaire renverse. 2
1.2. Normes usuelles 3
1.3. Dfinition des normes quivalentes. 4
Contre-exemple dans C([0, 1], ) : fonction "triangle" de base 1/n et de hauteur n pour ||.||1 et ||.||. 4
2. Cas de la dimension finie 5
2.1. Thorme d'quivalence des normes 5
Contre-exemple : ![ 2 ] = {a + b 2 , a, b !}avec N1(a + b 2 ) = |a| + |b| et N2(a + b 2 ) = | a + b 2 | 8
2.2. Consquences : continuit des applications linaires, caractrisation des compacts etc... 9
Contre-exemple : l'application linaire P a P' est non continue sur [X] pour || . || 10
2.3. Thorme de Riesz. E est de dimension finie ssi la boule ferme unit est compacte 10
Exemple dans C([0, 1], "), n(x) = e
inx
pour || . ||. 12
Dans toute la leon, E dsigne un espace vectoriel sur un corps # = ou ". (Sauf contre-exemple particulier)
Prrequis
Entre autres prrequis lmentaires, on supposera acquis les rsultats suivants :
Tout espace vectoriel E de dimension finie (sur ou ") est isomorphe
n
.
Dfinition d'une application lipschitzienne d'un espace vectoriel norm dans un autre.
Dfinition d'une application continue d'un espace vectoriel norm dans un autre.
L'image rciproque d'un ferm par une application continue est un ferm.
Une partie F de E est ferme dans E si et seulement si toute suite d'lments de F convergeant dans E
converge dans F.
Dfinition d'une partie compacte X : toute suite d'lments de X admet une valeur d'adhrence dans X.
Un intervalle ferm born est un compact de .
Un produit fini de compacts est un compact.
Dans
n
les parties compactes sont les parties fermes bornes.
Si X est une partie ferme d'un compact A, alors X est compacte.
Toute application continue sur un compact est borne et atteint ses bornes.
SOMMAIRE
Espaces vectoriels norms Page 2 G. COSTANTINI http://bacamaths.net/
1. Normes sur un espace vectoriel E
1.1. Dfinition d'une norme
Dfinition
On appelle norme sur E toute application N de E dans telle que :
i) "x E, N(x) = 0 x = 0 (sparation)
ii) "(x, l) E #, N(lx) = |l|N(x) (homognit)
iii) "(x, y) E E, N(x + y) $ N(x) + N(y) (ingalit triangulaire)
Notation et vocabulaire : on note N(x) = ||x||
E
ou N(x) = ||x|| lorsqu'il n'y a pas d'ambigut. On appelle espace
vectoriel norm, tout couple (E, || . ||) o || . || est une norme sur E.
Remarques :
D'aprs ii) avec l = 0, il vient N(0) = 0.
La condition "x E, N(x) % 0 serait superflue dans la dfinition : d'aprs iii) et ce qui prcde on a :
"x E : 0 $ N(0) $ N(x - x) $ N(x) + N(-x) $ N(x) + |-1|N(x) $ 2N(x), d'o N(x) % 0
Si la proprit i) (sparation), n'est pas vrifie, on dit que N est une semi-norme.
Contrairement aux espaces euclidiens, deux vecteurs non lis peuvent raliser "l'galit" triangulaire.
Considrer, dans
n
, x = (1, 1, 0, ... , 0) et y = (1, 0, ..., 0) avec la norme ||x|| =
{ } 1;...;
sup
i
i n
x

.
On a alors ||x|| = ||y|| = 1, ||x + y|| = 2, donc ||x|| + ||y|| = ||x + y|| et pourtant x et y ne sont pas (positivement)
lis.
Une proprit utile : ingalit triangulaire renverse
"(x, y) E E | ||x|| - ||y|| | $ ||x - y||
Cette proprit est importante, elle permettra d'affirmer que toute norme N est continue sur E.
(Pour dmontrer la proprit, on crit x = (x - y) + y et y = (y - x) + x puis on utilise l'ingalit triangulaire)
Norme sur un sous-espace vectoriel : si F est un sous-espace vectoriel de E, la restriction de N F est
videmment une norme sur F appele norme induite.
Distance associe une norme :
partir de toute norme N sur E, on peut construire une distance d par :
d : E E
(x, y) a N(x - y)
Ainsi tout espace vectoriel norm est un espace mtrique et la norme N engendre une topologie sur E.
Noter qu'il existe des distances ne dcoulant pas d'une norme, comme par exemple, la distance discrte :
d(x, y) =
0 si
1 si
x y
x y
=

En effet, l'application N obtenue en posant N(x) = d(x, 0) ne vrifie pas l'axiome d'homognit.
L'application d ainsi dfinie vrifie alors les 3 proprits :
1) "(x, y) E E, d(x, y) = d(y, x)
2) d(x, y) = 0 x = y
3) "(x, y, z) E
3
, d(x, z) $ d(x, y) + d(y, z)
Ce qui en fait bien une distance.
Espaces vectoriels norms Page 3 G. COSTANTINI http://bacamaths.net/
1.2. Normes usuelles
On montre que les applications ci-dessous sont des normes :
i) E = ou " : x a|x|
ii) E =
n
ou "
n

, x = (x
1
, ... , x
n
)
n
, p ]0 ; +[ : x a||x||
p
=
1
1
p
n
p
i
i
x
=

(surtout pour p = 1 ou 2)
iii) E =
n
ou "
n
, x = (x
1
, ... , x
n
)
n
: x a ||x||

=
{ } 1;...;
sup
i
i n
x

.
iv) Norme d'une application linaire continue u C(E, F) o (E, || . ||
E
) et (F, || . ||
F
) sont deux espaces
vectoriels norms de dimension finie :
u a||u|| =
(0,1)
sup ( )
F
x B
u x

o B( , ) 0 1 dsigne la boule ferme unit : B( , ) 0 1 = {x E tels que ||x||

E
$ 1}
Note : une application linaire u (E, F) est continue sur E si et seulement si :
$M tel que "x E : ||u(x)||
F
$ M||x||
E
v) E =
n
[X] , P = a X
i
i
i
n
=

0

n
[X] : P a||P|| =
{ } 0;...;
sup
i
i n
a

.
Preuve :
i) vident
ii) Toutes les conditions de la dfinition se dmontrent aisment sauf l'ingalit triangulaire, qui est l'ingalit
de Minkowski qui se dmontre de faon technique l'aide de la convexit (non triviale) de la fonction
homogne suivante : x a
1
1
p
n
p
i
i
x
=

(voir leon sur la convexit)

iii) Ingalit triangulaire pour || . ||

. Soit (x, y)
n
de coordonnes x = (x
1
, ..., x
n
) et y = (y
1
, ..., y
n
).
On a (ingalit triangulaire classique sur ) :
"i 1, n!, |x
i
+ y
i
| $ |x
i
| + |y
i
| $
{ } 1;...;
sup
i
i n
x

+
{ } 1;...;
sup
i
i n
y

En particulier, pour l'indice i tel que |x

i
+ y
i
| soit maximal :
{ } 1;...;
sup
i i
i n
x y

+ $
{ } 1;...;
sup
i
i n
x

+
{ } 1;...;
sup
i
i n
y

D'o : ||x + y||

$ ||x||

+ ||y||

iv) Ingalit triangulaire pour || . || sur (E, F). Soient u, v (E, F).
Comme || . ||
F
est une norme sur F, on a :
"x E, ||(u + v)(x)||
F
$ ||u(x)||
F
+ ||v(x)||
F
En particulier :
"x B( , ) 0 1 , ||(u + v)(x)||
F
$ ||u(x)||
F
+ ||v(x)||
F
$
(0,1)
sup ( )
F
x B
u x

+
(0,1)
sup ( )
F
x B
v x

Et en passant la borne suprieure pour x B( , ) 0 1 , il vient :

(0,1)
sup ( )( )
F
x B
u v x

+ $
(0,1)
sup ( )
F
x B
u x

+
(0,1)
sup ( )
F
x B
v x

Espaces vectoriels norms Page 4 G. COSTANTINI http://bacamaths.net/

D'o : ||u + v|| $ ||u|| + ||v||
v) Ingalit triangulaire pour || . || sur
n
[X].
Soient P, Q
n
[X], P = a X
i
i
i
n
=

0
et Q = b X
i
i
i
n
=

0
On a (ingalit triangulaire classique sur ) :
"i 0, n!, |a
i
+ b
i
| $ |a
i
| + |b
i
| $
{ } 0;...;
sup
i
i n
a

+
{ } 0;...;
sup
i
i n
b

En particulier, pour l'indice i tel que |a

i
+ b
i
| soit maximal :
{ } 0;...;
sup
i i
i n
a b

+ $
{ } 0;...;
sup
i
i n
a

+
{ } 0;...;
sup
i
i n
b

D'o : ||P + Q|| $ ||P|| + ||Q||

1.3. Normes quivalentes
Dfinition
Deux normes N
1
et N
2
sur E sont dites quivalentes si :
$(l, m)
( )

+
*
2
tels que : "x E, lN
1
(x) $ N
2
(x) $ mN
1
(x)
On note alors N
1
~ N
2
sur E. La relation ainsi dfinie est bien une relation d'quivalence :
On a N
1
~ N
1
en choisissant l = m = 1 d'o la rflexivit.
Si lN
1
(x) $ N
2
(x) $ mN
1
(x) alors
1
m
N
2
(x) $ N
1
(x) $
1
l
N
2
(x) d'o la symtrie.
Si lN
1
(x) $ N
2
(x) $ mN
1
(x) et l'N
2
(x) $ N
3
(x) $ m'N
2
(x) alors ll'N
1
(x) $ N
3
(x) $ mm'N
1
(x)
D'o la transitivit.
Remarques :
deux normes N
1
et N
2
sur E sont quivalentes si et seulement si l'application Id : (E, N
1
) (E, N
2
) est
bicontinue (ou encore "si l'identit est un homomorphisme").
deux normes N
1
et N
2
sont non quivalentes si et seulement si il existe une suite (x
n
) d'lments de E telle
que la suite
2
1
( )
( )
n
n
N x
N x



ne soit pas borne.
Exemple : sur
n
, les normes || . ||
1
, || . ||
2
et || . ||

sont quivalentes.
En effet on montre sans difficults que :
"x
n
, ||x||

$ ||x||
1
$ n||x||

et ||x||

$ ||x||
2
$ n ||x||

Espaces vectoriels norms Page 5 G. COSTANTINI http://bacamaths.net/

Contre-exemple : sur E = C([0 ; 1], ), on considre les normes || . ||
1
et || . ||

dfinies par :
||||
1
=

1
0
d ) ( t t et ||||

= ) ( sup
] 1 ; 0 [
t
t

On considre la suite (
n
) d'lments de E dfinie par :
n
(x) =
1 2
1
si 0 ;
0 si ; 1
n
n
n x n x
x

- +

.
On a : ||
n
||

= ) ( sup
] 1 ; 0 [
t
n
t

= n et ||
n
||
1
=

1
0
d ) ( t t
n
=
1
2
D'o :
1
n
n

= 2n
n

+
Donc il n'existe pas de rel M tel que : "n &, ||
n
||

$ M||
n
||
1
Donc les normes || . ||
1
et || . ||

ne sont pas quivalentes.

2. Cas de la dimension finie.
Dans tout ce paragraphe, E dsigne un espace vectoriel norm sur # ( = ou ").
2.1. quivalence des normes
L'intrt du thorme suivant est que, en dimension finie, on n'aura plus prciser quelle est la norme utilise
dans les diverses proprits topologiques (telles que la continuit ou la compacit).
Thorme
Soit E un e.v.n. sur ou !.
Si E est dimension finie, alors toutes les normes sur E sont quivalentes.
Soit (e
1
, ..., e
n
) une base de E et N une norme quelconque sur E. Munissons E de la norme || . ||

:
Rappelons que pour x = x e
i i
i
n
=

1
, on a : ||x||

=
{ } 1;...;
sup
i
i n
x

Lemme
Si E est de dimension finie, alors toute norme N est une application continue de (E, || . ||

) dans (, | . |).
Preuve du lemme :
Nous allons montrer que l'application N est lipschitzienne.
Soit x E, on a : N(x) = N x e
i i
i
n
=

1
D'aprs l'ingalit triangulaire et l'homognit de la norme N, on a :
N x e
i i
i
n
=

1
$
1
( )
n
i i
i
x N e
=

$ N e
i
i
n
( )
=

1
||x||

Posons M = N e
i
i
n
( )
=

1
. (M > 0 car, les e
i
tant non nuls, on a N(e
i
) 0).
n
1
n
1
0
Attention !
Ce thorme est faux si le corps de
base n'est pas complet !
Espaces vectoriels norms Page 6 G. COSTANTINI http://bacamaths.net/
D'o : N(x) $ M ||x||

On peut donc crire : $M > 0 tel que : "(x, y) E

2
, N(x - y) $ M ||x - y||

Or, d'aprs l'ingalit triangulaire renverse :

|N(x) - N(y)| $ N(x - y)
On peut donc crire : $M > 0 tel que : "(x, y) E
2
, |N(x) - N(y)| $ M ||x - y||

Ce qui signifie que l'application N : (E, || . ||

) (, | . |) est M-lipschitzienne donc continue (sur E).

Dmonstration du thorme :
Premier cas : E est un e.v.n. sur .
Comme, E est de dimension finie, il est isomorphe
n
.
Il suffit donc de dmontrer le thorme dans le cas o E =
n
.
On va montrer que N est quivalente || . ||

. Considrons la sphre unit S pour || . ||

:
S = {x
n
tels que ||x||

= 1} = {x
n
tels que
{ } 1;...;
sup
i
i n
x

= 1} [ ; ] -
=

1 1
1 i
n
L'ensemble P = [ ; ] -
=

1 1
1 i
n
est un compact de
n
: en effet, l'intervalle [-1 ; 1] est un compact de . De
plus, un produit fini d'espaces compacts est compact donc P = [ ; ] -
=

1 1
1 i
n
est un compact
n
.
S est borne dans
n
(puisque contenue dans la boule ferme unit pour || . ||

)
S est ferme dans
n
: en effet, l'application :
n
, x a||x||

est continue (d'aprs le lemme) donc

l'image rciproque d'un ferm est un ferm. Or, S =
-1
({1}) et le singleton {1} est un ferm de (, |.|), donc
S est ferme dans
n
.
Bilan : S est ferme et contenue dans le compact P donc S est compacte dans
n
.
On sait que N est continue sur
n
donc N est continue sur le compact S.
Donc l'application N est borne et atteint ses bornes sur S :
$(m, M)
( )

+
2
tels que "x S : m $ N(x) $ M
Mais N atteint ses bornes, donc pour un certain x
0
S : N(x
0
) = m
Or, x
0
0 (car x
0
S) donc N(x
0
) 0 et m > 0.
Donc : $(m, M)
( )

+
*
2
tels que "x S : m $ N(x) $ M
Il ne reste plus qu' tendre le rsultat ci-dessus
n
:
Soit x
n
\ {0}. Posons x' =
|| ||
x
x

.
Il est clair qu'ainsi x' S donc on a : m $ N(x') $ M
Or, N(x') = N
|| ||
x
x




=
1
|| || x

N(x)
D'o : m||x||

$ N(x) $ M||x||

Espaces vectoriels norms Page 7 G. COSTANTINI http://bacamaths.net/

Enfin, cette double ingalit est toujours vraie si x = 0.
On a donc dmontr que N et || . ||

sont quivalentes sur

n
. Donc, par transitivit, toutes les normes sont
quivalentes sur
n
.
Deuxime cas : E est un e.v.n. sur !.
On se ramne au cas prcdent en identifiant "
n

2n
. Cette identification est explique ci-dessous.
Dj, on muni
2n
de la norme || . ||

et "
n
de la norme || . ||

. On dfinit l'application par :

:
2n
"
n
(x
1
, y
1
, x
2
, y
2
, ..., x
n
, y
n
) a(x
1
+ iy
1
, x
2
+ iy
2
, ... , x
n
+ iy
n
)
Montrons que est un isomorphisme d'e.v.n. (i.e. est linaire, bijective et bicontinue)
La linarit est vidente (dcoule de celle des applications Re et Im)
La bijectivit aussi (car "z ", $!(x, y)
2
tel que z = x + iy)
Continuit de .
On montre que est continue en 0 :
Soit e
+
*
. Pour tout (x
1
, y
1
, x
2
, y
2
, ..., x
n
, y
n
)
2n
, on a :
||(x
1
, y
1
, x
2
, y
2
, ..., x
n
, y
n
)||

= ||(x
1
+ iy
1
, x
2
+ iy
2
, ... , x
n
+ iy
n
)||

$
1
max
k n $ $
{|x
k
+ iy
k
|}
Or, pour tout k 1, n! :
|x
k
+ iy
k
| $ |x
k
| + |y
k
| $ 2
1
max
j n $ $
{|x
j
| ; |y
j
|} $ 2 ||(x
1
, y
1
, x
2
, y
2
, ..., x
n
, y
n
)||

Donc : ||(x
1
, y
1
, x
2
, y
2
, ..., x
n
, y
n
)||

$ 2 ||(x
1
, y
1
, x
2
, y
2
, ..., x
n
, y
n
)||

Il suffit donc de choisir h $

2
e
pour assurer :
||(x
1
, y
1
, x
2
, y
2
, ..., x
n
, y
n
)||

$ h ||(x
1
, y
1
, x
2
, y
2
, ..., x
n
, y
n
)||

$ e
Donc est continue en 0, et par linarit, continue sur
2n
.
Continuit de
-1
.
Mme type de raisonnement que ci-dessus. Cela dcoule des ingalits :
||
-1
(x
1
+ iy
1
, x
2
+ iy
2
, ... , x
n
+ iy
n
)||

= ||(x
1
, y
1
, x
2
, y
2
, ..., x
n
, y
n
)||

=
1
max
j n $ $
{|x
j
| ; |y
j
|}
Or, pour tout j 1, n! : |x
j
| $ |x
j
+ iy
j
| et |y
j
| $ |x
j
+ iy
j
|
Donc : ||
-1
(x
1
+ iy
1
, x
2
+ iy
2
, ... , x
n
+ iy
n
)||

$
1
max
k n $ $
{|x
k
+ iy
k
|}
C'est--dire : ||
-1
(x
1
+ iy
1
, x
2
+ iy
2
, ... , x
n
+ iy
n
)||

$ ||(x
1
+ iy
1
, x
2
+ iy
2
, ... , x
n
+ iy
n
)||

On en dduit que
-1
est continue en 0, et par linarit, continue sur "
n
.
Cette identification entre les e.v.n. "
n
et
2n
tant faite, on peut lgitimement ramener le cas complexe au cas
rel.
Espaces vectoriels norms Page 8 G. COSTANTINI http://bacamaths.net/
Contre-exemple : normes non quivalentes en dimension finie.
On considre : E = ![ 2 ] = {a + b 2 o a, b !}
On vrifie facilement que E est un !-espace vectoriel de dimension 2. (E est sous-ensemble non vide de
2
, ses lments
sont "stables" par addition et par multiplication par un rationnel, ce qui justifie que E un e.v. (en tant que s.e.v. de
2
). Enfin, on montre que E est
isomorphe !
2
(considrer l'application j : !
2
E, (a, b) a a + b 2 . j est clairement surjective. De plus, j est injective car 2 est
irrationnel). On a donc dim
!
E = 2)
On considre, sur E, les deux applications suivantes :
N
1
: E et N
2
: E
a + b 2 a|a| + |b| a + b 2 a| a + b 2 |
Vrifions que ce sont des normes :
Sparation :
N
1
(a + b 2 ) = 0 |a| + |b| = 0 a = b = 0
N
2
(a + b 2 ) = 0 | a + b 2 | = 0
2 irrationnel
a = b = 0
Homognit :
"l !, N
1
(l(a + b 2 )) = N
1
(la + lb 2 ) = |la| + |lb| = |l| N
1
(a + b 2 )
N
2
(l(a + b 2 )) = |l( a + b 2 )| = |l| N
2
(a + b 2 )
Ingalit triangulaire :
N
1
(a + b 2 + a' + b' 2 ) $ |a + a'| + |b + b'| $ |a| + |a'| + |b| + |b'| $ N
1
(a + b 2 ) + N
1
(a' + b' 2 )
N
2
(a + b 2 + a' + b' 2 ) $ |a + a' + b 2 + b' 2 | $ |a + b 2 | + |a' + b' 2 | $ N
2
(a + b 2 ) + N
2
(a' + b' 2 )
Donc N
1
et N
2
sont bien des normes sur E.
Montrons que N
1
et N
2
ne sont pas quivalentes :
Il suffit de considrer la suite (u
n
) dfinie par :
u
n
=
( )
1 2
n
-
La formule du binme fait apparatre deux suites (a
n
) et (b
n
) d'entiers telles que :
u
n
= a
n
- b
n
2
On montre facilement que la suite (v
n
) dfinie par v
n
=
( )
1 2
n
+ vrifie :
v
n
= a
n
+ b
n
2
En consquence la suite (a
n
) vrifie : a
n
=
2
n n
u v +
Et puisque lim
n+
u
n
= 0 (car 1 - 2 ]-1, 1[) et lim
n+
v
n
= + (1 + 2 > 1), la suite (a
n
) diverge vers +.
Or, on a N
1
(u
n
) = |a
n
| + |b
n
| donc : la suite (N
1
(u
n
)) diverge vers +
Et N
2
(u
n
) = |1 - 2 |
n
donc : la suite (N
2
(u
n
)) converge vers 0
La suite
1
2
( )
( )
n
n
N u
N u



n'est donc pas borne. Donc les normes N
1
et N
2
ne sont pas quivalentes.
Espaces vectoriels norms Page 9 G. COSTANTINI http://bacamaths.net/
2.2. Quelques consquences du thorme :
Proposition
Soit E un espace vectoriel de dimension finie n sur un corps #.
1) Soit F un espace vectoriel norm (de dimension quelconque) sur le mme corps # que E. Alors :
toute application linaire de E dans F est continue.
2) Une partie X de E est compacte si et seulement si X est ferme borne.
3) E est complet (toute suite de Cauchy d'lments de E converge dans E)
4) Tout sous-espace vectoriel F de E est ferm.
Preuve :
1) Soit (e
i
)

une base de E. Munissons E et F de leur || . ||
1
respective. On a :
tant linaire : "x E : ||(x)||
1
=
1 1
n
i i
i
x e
=

=
1 1
( )
n
i i
i
x e
=

D'aprs l'ingalit triangulaire :

1 1
( )
n
i i
i
x e
=

$
1
1
( )
n
i i
i
x e
=

Et en posant M =
{ }
{ }
1
1;...;
sup ( )
i
i n
e

, il vient :
1
1
( )
n
i i
i
x e
=

$ M
1
n
i
i
x
=

D'o finalement : "x E, ||(x)||

1
$ M ||x||
1
.
D'o : "(x, y) E
2
: ||(x -y)||
1
$ M ||x - y||
1
Et comme est linaire : "(x, y) E
2
: ||(x) -(y)||
1
$ M ||x - y||
1
Donc est M-lipschitzienne sur E donc continue sur E relativement || . ||
1
donc relativement toute norme
d'aprs le thorme.
2) Supposons X compacte dans E.
Montrons que X est ferme :
Soit (x
n
) une suite d'lments de E convergeant vers y E. Comme X est compacte, la suite (x
n
) admet une
valeur d'adhrence l X. Mais comme (x
n
) converge, l = y, donc y X. D'o X est ferme.
Montrons que X est borne.
Si X n'tait pas borne, on aurait : (quelque soit la norme choisie)
"A , $x X tel que ||x|| % A
En particulier, on peut construire une suite (x
n
) d'lments de X telle que :
"n N, ||x
n
|| % n
Un telle suite n'admet pas de valeur d'adhrence, ce qui contredirait le fait que X est compacte.
Donc X est borne.
Rciproquement, supposons X ferme borne dans E.
Soit f une application linaire bijective de E dans
n
. Comme f est une application linaire entre espaces
vectoriels de dimension finie, elle est continue (d'aprs 1)) donc f(X) est ferme borne dans
n
donc compact
de
n
. Comme f
-1
est galement continue, on en dduit que X est compact dans E.
Espaces vectoriels norms Page 10 G. COSTANTINI http://bacamaths.net/
3) Soit (u
n
) une suite de Cauchy dans E. Comme (u
n
) est borne, il existe un rel r > 0 tel que la boule ferme
B (0, r) contienne {u
n
, n &}. Or, B (0, r) est compacte (puisque ferme borne). Donc toute suite de B (0, r)
admet une valeur d'adhrence. Or, toute suite de Cauchy qui admet une valeur d'adhrence converge. Donc (u
n
)
converge, et comme B (0, r) est ferme, (u
n
) converge dans B (0, r) donc dans E. Donc E est complet.
Remarque : un espace vectoriel norm de dimension finie (donc complet) s'appelle un espace de Banach.
4) Comme F est dimension finie, il est complet (d'aprs3)). Montrons qu'alors F est ferm :
Soit (x
n
) une suite d'lments de F convergeant vers un lment l de E. Puisque (x
n
) converge, elle est de
Cauchy et comme F est complet, (x
n
) converge dans F, donc l F et par suite F est ferm.
Contre-exemple : il existe, en dimension infinie, des applications linaires non continues.
Considrons l'espace vectoriel E = [X] (qui est de dimension infinie) muni de la norme || . ||

et l'application
linaire de drivation j :
j : [X] [X]
P a P'
Considrons la suite (P
n
) dfinie sur &
*
, par : P
n
=
1
n
X
n
On a, d'une part : ||P
n
||

=
1
n
n

0
Et d'autre part : ||j(P
n
)||

= ||X
n-1
||

= 1
Ainsi, la suite (P
n
) converge vers 0 pour la norme || . ||

tandis que la suite (j(P

n
)) ne converge pas vers 0.
On en dduit que j n'est pas continue en 0. (Et comme j est linaire, j n'est continue en aucun point de E)
2.3. Caractrisation de la dimension finie par une proprit topologique
Thorme de Riesz
Soit (E, N) un espace vectoriel norm. Alors :
E est de dimension finie La boule ferme unit B (0, 1) est compacte
Dmonstration :
Preuve de "" :
Supposons E de dimension finie.
Comme la boule ferme B (0, 1) est ferme (image rciproque du ferm [0, 1] par l'application norme qui est
continue, puisque E est de dimension finie) et borne (clair) donc elle est compacte.
Preuve de "" :
Lemme 1
Soit (E, N) un espace norm.
Soit F un sous-espace vectoriel de E, de dimension finie.
On note d la distance induite par N.
Alors : "a E, $b F, N(a - b) = d(a, F)
On rappelle que :
d(a, F) = inf { ( )}
x F
N a x

-
(Cette borne infrieure existe bien car
l'application a : F , x a N(a - x) est
continue car F est de dimension finie)
Intuitivement, que montre ce contre-exemple ?
On sait que la drive du polynme nul, c'est
le polynme nul. Or, il existe des polynmes
trs "proches" du polynme nul (pour la
norme || . ||) dont la drive n'est pas "proche"
du polynme nul. L'opration de drivation
n'est donc pas continue pour la norme || . ||.
Espaces vectoriels norms Page 11 G. COSTANTINI http://bacamaths.net/
Dmonstration du lemme 1 :
Comme F est de dimension finie, F est ferm dans E.
Soit a E.
Si a F, on choisit b = a.
Si a F, alors F tant ferm, a F . Donc : d(a, F) > 0
D'aprs les proprits de la borne infrieure, il existe une suite (b
n
)
d'lments de F telle que N(a - b
n
)
n

d(a, F) :
"e
+
*
, $n
0
&, "n &, (n % n
0
|N(a - b
n
) - d(a, F)| $ e)
En particulier avec e = 1 :
$n
0
&, "n &, (n % n
0
N(a - b
n
) $ 1 + d(a, F))
Mais d'aprs l'ingalit triangulaire renverse :
|N(a) - N(b
n
)| $ N(a - b
n
)
D'o : $n
0
&, "n &, (n % n
0
|N(b
n
) - N(a)| $ 1 + d(a, F) 0 $ N(b
n
) $ N(a) + 1 + d(a, F))
La suite (b
n
) est donc borne dans un espace de dimension finie. D'aprs le thorme de Bolzano-Weierstrass,
on peut en extraire une sous-suite (b
s(n)
) convergeant vers un certain lment b.
Et comme F est ferm, b F.
On a vu que : N(a - b
n
)
n

d(a, F)
Donc, on a galement : N(a - b
s(n)
)
n

d(a, F)
Et par continuit de N : N(a - b) = d(a, F)
Lemme 2
Soit (E, N) un espace norm de dimension infinie
Soit F un sous-espace vectoriel de E, de dimension finie.
On note d la distance induite par N.
Alors : $x B (0, 1), d(x, F) = 1
Dmonstration :
Soit a E \ F.
D'aprs le lemme 1 : $b F, N(a - b) = d(a, F)
Comme a E \ F, d(a, F) est non nul. Posons :
x =
( )
a b
N a b
-
-
Il est clair que x B (0, 1).
D'une part, comme 0 F, on a :
d(x, F) $ d(x, 0) $ N(x) $ 1 (1)
D'autre part, pour tout y F, on peut crire :
x - y =
( )
a v
N a b
-
-
o v = b + N(a - b)y F
Ainsi : N(x - y) =
( )
( )
N a v
N a b
-
-
=
( , )
( , )
d a v
d a F
% 1 car v F
E
d(a, F)
a
F
Espaces vectoriels norms Page 12 G. COSTANTINI http://bacamaths.net/
Par passage la borne infrieure, on obtient :
d(x, F) % 1 (2)
D'aprs (1) et (2), on dduit : d(x, F) = 1
Ce qui prouve le lemme 2.
Venons-en maintenant la dmonstration de l'implication "" . Raisonnons par contraposition.
Supposons E de dimension infinie.
Soit e
1
B (0, 1). On pose F
1
= Vect(e
1
).
Alors, il existe e
2
B (0, 1) tel que d(e
2
, F
1
) = 1. Puis, on pose F
2
= Vect(e
1
, e
2
).
Alors, il existe e
3
B (0, 1) tel que d(e
3
, F
2
) = 1. Puis, on pose F
3
= Vect(e
1
, e
2
, e
2
).
Et ainsi de suite.
Comme E est de dimension infinie, on construit ainsi une suite infinie (e
n
) telle que :
"(i, j), (i j N(e
i
- e
j
) % 1)
Il sera donc impossible d'en extraire une sous-suite convergente.
Donc B (0, 1) n'est pas compacte.
On conclut par contraposition.
On dispose donc d'un "critre" pour savoir si un espace vectoriel norm est de dimension infinie :
Exemple : E = C([0, 2p], ") muni de la norme de la convergence uniforme :
" E, ||||

=
[0, 2 ]
sup ( )
x
x
p

On considre la suite (
n
) de fonctions de E dfinies par
n
(x) = e
inx
.
On a |
n
| = 1, donc les
n
sont lments de B (0, 1).
Or ||
n
-
p
||

=
[0, 2 ]
sup
nx px
x p
-
i i
e e = 2 car :
e e
i i nx px
- = e e e
i i i
n p
x
n p
x
n p
x
+

-
-

2 2 2
= 2 cos
n p
x
-

2
e
i
n p
x
+

2
Donc
nx px
-
i i
e e = 2 cos
n p
x
-

2
et ,(particulariser x = 0),
[0, 2 ]
sup
nx px
x p
-
i i
e e = 2.
Comme on a ||
n
-
p
||

= 2, il est impossible d'extraire une sous-suite de (

n
) qui converge pour || . ||

, donc
B (0, 1) n'est pas compacte et E est de dimension infinie.