Vous êtes sur la page 1sur 2

Th´eor`eme de Riesz

Topologie des espaces vectoriels norm´es MP / L2 MIAS

Th´eor`eme 1 Pour (E, || ||) espace vectoriel norm´e, on a :

La boule ferm´ee unit´e est un compact ⇐⇒ (E, || ||) est de dimension finie.

Si E est de dimension finie, on a alors B f (0 E , 1) compact car c’est un ferm´e born´e de E . Montrons que B f (0 E , 1) E de dimension finie. On raisonne par l’absurde et on suppose E de dimension infinie. On a :

B f (0 E , 1)

x B f (0 E , 1)

B (x, 1).

Or B f (0 E , 1) est un compact donc d’apr`es la propri´et´e de Borel-Lebesgue :

(x i ) 1 i n B f (0 E , 1) n

avec B f (0 E , 1)

n

i=1

B (x i , 1)).

Soit F = Vect 1 i n (x i ). F est sous-espace vectoriel de dimension finie, c’est donc un ferm´e. Comme E est de dimension infinie, il existe x E / x F . D’o`u y F / ||x y || = d( x, F ).

On note x 0 = ||x x y y || ; x 0 B f (0 E , 1).

Or on a O E F , donc on a d(x 0 , F ) = inf F ||x 0 z || ≤ ||x 0 0 || = 1.

z

1

Or, pour z F on a :

||x 0 z || = ||

x y

||x y || z ||

1

= ||x y || .||x y − ||x y ||.z ||

1

= ||x y || .||x (y + z.||x y ||)||

d(x, F || ||x y

)

= ||x y || ||x y || = 1.

Donc on en d´eduit que z F , ||x 0 z || ≥ 1. Or on avait d´ej`a d(x 0 , F )

1 donc d(x 0 , F ) = 1. Donc 1 i n , ||x 0 x i || ≥ 1.

On a alors x 0

n

i=1

B (x i , 1).

Or on a B f (0 E , 1)

n

i=1

B (x i , 1))

Donc on en d´eduit que x 0 B f (0 E , 1) ce qui est une contradiction. Donc on a B f (0 E , 1) non compacte.

2