Famille orthonormée maximale

Bonjour,

Dans un espace de Hilbert, toute famille orthonormée maximale (au sens de l'inclusion) est une famille totale ce qui est en fait une base hilbertienne.
Je me demande s'il y a un contre-exemple facile pour un espace préhilbertien.

J'espère que vous pourrez m'aider à en trouver un.
Merci d'avance.

Réponses

  • Si $F$ est une famille orthonormée maximale, $V$ le sous-espace engendré, alors $V^\bot=0$, donc $V^{\bot\bot} = E$.

    La différence entre le cas hilbertien et le cas général est que $V^{\bot\bot}$ n'est pas forcement l’adhérence de $V$, il peut la contenir strictement. Un contre-exemple viendra donc d'un contrexe-emple de l’égalité entre adhérence et bi-orthogonal. On peut voir un contre-exemple ici par exemple.
    Tu peux sûrement essayer de travailler à partir de ça.
  • Bonjour,

    Je m'excuse pour ma réponse tardive. Merci pour votre aide. Je pense qu'on pourrait trouver un contre-exemple facilement en se plaçant dès le début dans un espace non complet mais je n'ai pas cherché encore.
Connectez-vous ou Inscrivez-vous pour répondre.