Soit un espace vectoriel normé sur de boule unité fermée et un sous-espace vectoriel fermé de . On a montré dans le liste précédente que si ,
On va montrer qu’un evn dont la boule unité fermée est compacte est nécessairement de dimension finie. On suppose donc que est compacte.
1
Montrer que pour tout on peut trouver un nombre fini de points tels que .
2
Montrer que est de dimension finie : pour cela, considérer le sous-espace vectoriel engendré par .