espaces de Hilbert

[invite769a1844]

Bonsoir,

je bloque sur ce problème:

Soit un -espace préhilbertien.
On note l'espace vectoriel des suites de Cauchy de , l'espace vectoriel des suites convergeant vers .
On considère ensuite l'espace vectoriel quotient .

Je voudrais montrer que induit un produit scalaire sur .

Je pensais utiliser le produit scalaire ,

mais je n'arrive pas à montrer qu'il est bien défini, en particulier pourquoi converge dans .

Merci pour votre aide.
-----

[invite2c3ff3cc]

Salut,

J'imagine que tu as vu le complété d'un espace métrique !

Reste à montrer qu'on peut étendre le produit scalaire au complété. Le plus simple est surement d'utiliser l'équation du parallélogramme qui est diagnostique d'un produit scalaire.

[invite769a1844]

Salut,

J'imagine que tu as vu le complété d'un espace métrique !

Reste à montrer qu'on peut étendre le produit scalaire au complété. Le plus simple est surement d'utiliser l'équation du parallélogramme qui est diagnostique d'un produit scalaire.

Ah oui effectivement, ça marche nickel

Merci.

[invite769a1844]

Soit une isométrie de dans un sous-espace dense .

Prouver qu'il existe une unique isométrie telle que: .

Pour l'unicité c'est ok, mais pour l'existence je vois pas

[A voir en vidéo sur Futura]

[invite35452583]

Ce sont des espaces métriques (un peu fatal pour avoir une isométrie) donc tu peux passer par les suites :
où (x_n) est une suite d'éléments de F qui tend vers x. c'est bien défini car la suite j(x_n) est de Cauchy car j est une isométrie.
"Il n'y a plus qu'à" vérifier que l'on définit bien une isométrie.

[invite769a1844]

d'accord, j'ai compris maintenant,

merci homotopie.