Bibm@th

Forum de mathématiques - Bibm@th.net

Bienvenue dans les forums du site BibM@th, des forums où on dit Bonjour (Bonsoir), Merci, S'il vous plaît...

Vous n'êtes pas identifié(e).

Répondre

Veuillez composer votre message et l'envoyer
Nom (obligatoire)

E-mail (obligatoire)

Message (obligatoire)

Programme anti-spam : Afin de lutter contre le spam, nous vous demandons de bien vouloir répondre à la question suivante. Après inscription sur le site, vous n'aurez plus à répondre à ces questions.

Quel est le résultat de l'opération suivante (donner le résultat en chiffres)?
quatre-vingt treize moins cinquante cinq
Système anti-bot

Faites glisser le curseur de gauche à droite pour activer le bouton de confirmation.

Attention : Vous devez activer Javascript dans votre navigateur pour utiliser le système anti-bot.

Retour

Résumé de la discussion (messages les plus récents en premier)

Vincent62
03-07-2024 11:28:19

Merci Fred, c'est cette "forme" qui me manquait.

Fred
03-07-2024 06:01:01

Bonjour,

  C'est plutôt une suite de la forme $(e_{\phi(n)})$, où $\phi:\mathbb N\to\mathbb N.$ Par exemple, tu pourrais choisir pour $(f_n)$ la suite constante égale à $e_1$.
  Pour montrer que $F$ est fermé en utilisant le critère séquentiel, tu pourrais démontrer qu'une suite de $F$ qui converge est forcément stationnaire. Pour cela, tu peux calculer $\|e_n-e_m\|$ pour $n\neq m.$

F.

Vincent62
03-07-2024 00:43:21

Bonjour,

Je considère un espace de Hilbert séparable de dimension infinie et une base hilbertienne [tex](e_n)[/tex] de [tex]H[/tex].
J'ai démontré que [tex]\lim_{n\to +\infty}(x,e_n)=0[/tex] pour tout [tex]x\in H[/tex].

J'essaye de montrer que l'ensemble [tex]F=\{e_n,n\in \mathbb{N}\}[/tex] est un fermé de [tex]H[/tex].

J'ai essayé plusieures stratégies : essayer de montrer que c'est un complet de [tex]H[/tex], considérer une suite [tex](f_n)[/tex] d'éléments de F qui converge vers f et montrer qu'alors [tex]f\in F[/tex], etc.
Il me semble que c'est par le critère séquentiel que l'on peut aboutir, car on peut utiliser la continuité du produit scalaire dans les calculs.
Soit donc [tex](f_n)[/tex] une suite d'éléments de [tex]F[/tex] qui converge vers [tex]L[/tex]. Montrons que [tex]L\in F[/tex].
Je pense que c'est ici que la confusion s'intalle dans mon esprit. Une suite [tex](f_n)[/tex] d'éléments de [tex]F[/tex], c'est bien quelque chose de la forme [tex](f_n)_n=(e_n)_n[/tex] ?

Merci

Pied de page des forums