Théorème (F. Riesz) : Soit E un espace vectoriel normé. Alors : les boules fermées sont compactes ⇔ E est de dimension finie. D'autre part les énoncés suivant sont équivalents : (i) les fermés-bornés sont compacts; (ii) les boules fermées sont compactes; (iii) la boule unité est compacte; (iv) il existe une boule fermée de rayon r > 0 compacte. (il suffit de montrer que (iv) implique (i). Soit B(x0, r) une boule fermée compacte et F est un ensemble fermé et borné de E. Alors F est inclus dans une boule fermée B(0, R) de centre 0 et de rayon R > 0. Par l'application continue x 6 R(x – x0)/r l'image de B(x0, r) est B(0, R) donc la boule B(0, R) est compacte comme image d'un compact par une application continue (2.3, théorème 1). F étant un fermé inclus dans le compact B(0, R) c'est donc un compact). Démonstration du théorème de Riesz : Condition suffisante : résulte du 4.1 « Conséquences », les boules fermées de E étant fermées et bornées. Condition nécessaire : Lemme : soit un espace vectoriel normé et F un sous-espace vectoriel fermé de E distinct de E. Alors il existe x0 ∈ E tel que ||x0|| = 1 et ||x0 – y|| ≥ 1/2 pour tout y de F. démonstration du lemme : soit x appartenant à E – F et δ = d(x, F), distance de x à F. Si δ = 0, comme d(x, F) = Inf x − y , pour tout entier naturel non nul n, il existerait yn ∈ F tel que 0 ≤ d(x, yn) ≤ 1/n, donc la suite (yn) y∈F
tendrait vers x, d’où x ∈ F , et comme F = F (car F est fermé) on aurait x ∈ F, ce qui n’est pas. x − y0 Ainsi δ > 0 et il existe y0 ∈ F tel que d(x, y0) < 2δ. Posons x0 = . x − y0
x − y0 x − y0 − x − y0 y On a donc ||x0|| = 1 et pour tout y de F : ||y – x0|| = y − = . x − y0 x − y0
Comme y0 + ||x – y0||y ∈ F on a x − y 0 − x − y 0 y ≥ δ et ||x – y0|| < 2δ, d’où ||y – x0|| > δ/2δ = 1/2, ce qui achève la démonstration du lemme. Fin de la démonstration du théorème : supposons E de dimension infinie. Soit x1 ∈ E de norme 1. F1 = <x1> (sous- espace vectoriel engendré par x1) étant fermé et distinct de E, il existe d’après le lemme x2 ∈ E de norme 1 tel que ||x2 – y|| > 1/2, pour tout y de F1 et en particulier ||x2 – x1|| > 1/2. De même si F2 = <x1, x2> il existe x3 de norme 1 tel que ||x3 – y|| > 1/2 pour tout y de F2. Si xk est construit pour 1 ≤ k ≤ n, le sous-espace vectoriel <x1, ... , xn> est de dimension finie, fermé et distinct de E donc il existe xn+1 de norme 1 tel que ||xn+1 – y|| > 1/2 pour tout y de Fn. On construit ainsi par récurrence une suite (x p )p ≥1 de vecteurs de E de norme 1 vérifiant ||xp – xq|| > 1/2 pour p ≠ q. Par conséquent on ne peut extraire de cette suite aucune sous-suite convergente, donc la boule unité fermé de E n’est pas compacte, ce qui est contraire à l’hypothèse. Remarque : l’exercice 7 donne un exemple de boule fermée non compacte d’un espace vectoriel normé de dimension infinie.
