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) ⁿ

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 ₀ = ||x ^{x −} − ^y _{y ||} ; x ₀ ∈ B _f (0 _E , 1).

Or on a O _E ∈ F , donc on a d(x ₀ , F ) = inf _F ||x ₀ − z || ≤ ||x ₀ − 0 || = 1.

z

∈

1

Or, pour z ∈ F on a :

||x ₀ − 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 ₀ − z || ≥ 1. Or on avait d´ej`a d(x ₀ , F ) ≤

1 donc d(x ₀ , F ) = 1. Donc ∀ 1 ≤ i ≤ n , ||x ₀ − x _i || ≥ 1.

On a alors x ₀ ∈

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 ₀ ∈ B _f (0 _E , 1) ce qui est une contradiction. Donc on a B _f (0 _E , 1) non compacte.

2