Théoréme de Riesz
Théoréme de Riesz
Théoréme de Riesz
Théorème de Riesz
Soient (E, k . k) un espace vectoriel normé non nul (non nécessairement de dimension finie) et d la distance associée
à k.k
d (x, Hn ) = k x − xn+1 k
x − xn+1
ii. Soit en+1 = . Justifier que en+1 ∈ B puis montrer que d (en+1 , Hn ) = 1
k x − xn+1 k
iii. Montrer que: ∀p ∈ [[0, n]] , k ep − en+1 k > 1
(c) Conclure
6. Montrer par l’absurde que la suite (en )n∈N n’admet pas de valeurs d’adhérence dans B
7. Montrer le théorème de Riesz:
Théorème
Un espace vectoriel normé est de dimension finie si et seulement si sa boule unité fermée est compacte.
Théorème de Riesz
k xn k 6 k xn − x k + k x k 6 M + k x k
y − y0
k e1 − x k = −x
k y − y0 k
k y − (y0 + k y − y0 k .x) k
=
k y − y0 k
1
Avec y0 + k y − y0 k .x ∈ H0 , alors k e1 − x k > .d (y, H0 ) = 1. On Conclut donc d (e1 , H0 ) = 1.
k y − y0 k
Finalement e0 ∈ H1 , donc ke1 − e0 k > d (e1 , H0 ) = 1
(b) i. On a Hn E puisque Hn est de dimension finie et E ne l’est pas, donc il existe x ∈ E \ Hn . Pour un
tel vecteur il existe xn+1 ∈ Hn tel que
x − xn+1
ii. Posons en+1 = . On a immédiatement k en+1 k = 1 et donc d (en+1 , Hn ) 6 1 car 0 ∈ Hn
k x − xn+1 k
De plus, pour tout h ∈ Hn , on a:
x − xn+1
k en+1 − h k = −h
k x − xn+1 k
k x − (xn+1 + k x − xn+1 k .h) k
=
k x − xn+1 k
1
Avec xn+1 + k x − xn+1 k .h ∈ Hn , alors k en+1 − h k > .d (x, Hn ) = 1. On conclut donc
k x − xn+1 k
d (en+1 , Hn ) = 1.
iii. On a bien d (en+1 , H) = 1, donc ∀i ∈ [[0, n]] , ken+1 − ei k > 1 car ei ∈ H
Théorème de Riesz
(c)
6. Si la suite (en )n∈N admet une valeur d’adhérence dans B, alors il existe une suite extraite eϕ(n) n∈N
de (en )n∈N
convergente dans B. Mais
∀(i, j) ∈ N2 , i 6= j, keϕ(i) − eϕ(j) k > 1
Donc la suite eϕ(n) n∈N n’est pas de Cauchy et, par suite, elle diverge
7. ⇒) Dans un espace vectoriel normé de dimension finie la boule unité est formée bornée, donc elle est compacte
⇐) Par contraposée, si l’espace est de dimension infinie, alors, d’après la question 5b, on peut construire une
suite de la boule unité fermée qui n’admet pas de valeurs d’adérence. Donc B n’est compacte