Exo 19
Commencez par chercher à résoudre l'exercice par vous-même.
Si vous manquez d'idée pour débuter, consultez l'indice fourni et recommencez à chercher.
Une solution détaillée vous est ensuite proposée.
Question
Montrer que le seul sous-espace vectoriel compact d'un espace vectoriel normé
est
.
Raisonnez par l'absurde.
Toute suite de
converge évidemment dans
car tous ses termes sont égaux à
.
Donc il est évident que
est un sous-espace vectoriel compact de
.
Réciproquement, supposons qu'il existe un sous-espace vectoriel compact
.
Donc
est une partie fermée et bornée de
:
.
Or :
. Donc il existe
tel que :
.
De plus,
est un sous-espace vectoriel, donc :
.
Donc :
, donc :
.
On aboutit à une absurdité puisque l'ensemble
n'est pas borné.
Donc il n'existe pas de sous-espace vectoriel compact
.
Conclusion : Le seul sous-espace vectoriel compact d'un espace vectoriel normé
est
.