Bonsoir,
voilà un théorème dont je ne vois pas commencer la démo:
Citation :Théorème: (Représentation suivant une base orthonormale en dimension infinie)
Soit
un
-espace de Hilbert
séparable de dimension infinie et soit
la norme associée.
Soit
une
base orthonormale et soit pour tout entier
la forme linéaire
avec
pour tout
.
Alors la forme
-linéaire
est continue et pour tous
:
(a) la série vectorielle
converge dans
et
;
(b) la série numérique
converge dans
et
,
égalité dite de Parseval;
(c) la série numérique
converge dans
et
.
Pour la (a), déjà, je ne vois pas comment faire (sachant qu'on a montré justement avant un théorème analogue pour le cas de la dimension finie).
Merci pour votre aide.