bonjour pouvez vous s'il vous plait m'aider a demontre ce resultat
Soit H un espace de Hilbert. Soit E une base ( ie un ensemble orthonormé maximale) pour H.
Vérifier que E a un nombre fini d'éléments si et seulement si 0 (le vecteur zéro dans H) a un
voisinage compact. (Dire que 0 a un voisinage compact signifie 0 est un point intérieur
d'un ensemble compact K ⊂ H.)
merci en avance
-----