Clôture faible d'une base orthonormée
Bonjour à tous,
Je fais face à l'exercice suivant en analyse fonctionnelle.
Soit $H$ un espace de Hilbert de dimension infinie muni d'un produit scalaire $\langle\cdot,\cdot\rangle$. Soit $B=\{e_n\}$ une base orthonormée. Soit $\overline{B}$ la clôture de $B$ pour la topologie faible.
J'ai démontré que $0\in \overline{B}$. Je dois démontrer que $\overline{B}=B\cup \{0\}$. Soit $x_0\in \overline{B}$ non-nul. On me donne l'indice de considérer le voisinage suivant de $x_0$ : $U=\{x\in H \mid \langle x-x_0,x_0\rangle < (1-\frac{1}{\sqrt{2}})\langle x_0,x_0\rangle \}$. Il est ouvert dans la topologie faible, donc $U\cap B$ est non-vide. Soit $e_n\in U\cap B$. Je veux montrer que $e_n=x_0$. Or, maintenant je ne sais plus comment procéder. J'ai l'idée de montrer en utilisant des estimations que $\langle e_n-x_0,e_n-x_0\rangle $ est nul, mais ceci ne me mène nulle part.
Toute aide serait la bienvenue.
Je fais face à l'exercice suivant en analyse fonctionnelle.
Soit $H$ un espace de Hilbert de dimension infinie muni d'un produit scalaire $\langle\cdot,\cdot\rangle$. Soit $B=\{e_n\}$ une base orthonormée. Soit $\overline{B}$ la clôture de $B$ pour la topologie faible.
J'ai démontré que $0\in \overline{B}$. Je dois démontrer que $\overline{B}=B\cup \{0\}$. Soit $x_0\in \overline{B}$ non-nul. On me donne l'indice de considérer le voisinage suivant de $x_0$ : $U=\{x\in H \mid \langle x-x_0,x_0\rangle < (1-\frac{1}{\sqrt{2}})\langle x_0,x_0\rangle \}$. Il est ouvert dans la topologie faible, donc $U\cap B$ est non-vide. Soit $e_n\in U\cap B$. Je veux montrer que $e_n=x_0$. Or, maintenant je ne sais plus comment procéder. J'ai l'idée de montrer en utilisant des estimations que $\langle e_n-x_0,e_n-x_0\rangle $ est nul, mais ceci ne me mène nulle part.
Toute aide serait la bienvenue.
Réponses
-
Si tu prends un point non nul de $H$ et une coordonnée non nulle dans la base hilbertienne, l'ensemble des points de $H$ pour lesquels cette coordonnée est non nulle est un ouvert pour la topologie faible.
-
Montrer que $U\cap B$ est fini, puis conclure.
-
Merci pour vos réponses.
JLT, pouvez-vous développer ? J'ai montré ci-dessous que $U\cap B$ est fini. (Est-ce correct ?) Pourquoi cela impliquerait que $x_0$ est dans $B$ ?
On suppose que $U\cap B$ est infini, alors $U$ contient une suite extraite $(e_{n_i})_i$ de $(e_n)_n$. Comme $|\langle x_0,e_n\rangle|\stackrel{n\to\infty}{\to} 0$ (inégalité de Bessel), on a que $|\langle x_0,e_{n_i}\rangle| \stackrel{i\to\infty}{\to} 0$ (toute suite extraite d'une suite convergente converge vers la même limite). En particulier, il existe $j$ tel que $i\geq j$ implique $|\langle x_0,e_{n_i}\rangle|<\frac{1}{\sqrt{2}}\langle x_0,x_0\rangle $.
Alors pour tout $i\geq j$, $$|\langle x_0,e_{n_i}\rangle - \langle x_0,x_0\rangle| \geq |\langle x_0,x_0\rangle|-|\langle x_0,e_{n_i}\rangle|>(1-\tfrac{1}{\sqrt{2}})\langle x_0,x_0\rangle,
$$ ce qui implique $e_{n_i}\not\in U$. -
En fait c'est plus simple que ça.
$U\cap B$ est un singleton. Si $e_n\ne e_m$ appartiennent à $U\cap B$ alors $||x_0||^2\geqslant |\langle x_0,e_n\rangle|^2 + |\langle x_0,e_m\rangle|^2 > \frac{1}{2}||x_0||^2+\frac{1}{2}||x_0||^2 = ||x_0||^2$, impossible.
Maintenant, dans un espace séparé, si un point $x_0$ est dans l'adhérence d'une partie $B$ et si un voisinage $U$ de $x_0$ est tel que $U\cap B$ est fini, alors $x_0\in B$. -
J'ai l'impression que l'indication ne fait que compliquer les choses dans ce cas, on perd son temps à se demander ce qu'il faut faire de ce $\dfrac{1}{\sqrt{2}}$... et JLT a finalement trouvé on dirait.
-
@JLT et raoul.S, merci pour vos réponses.
"Dans un espace séparé $X$, si un point $x_0$ est dans l'adhérence d'une partie $B$ et si un voisinage $U$ de $x_0$ est tel que $U\cap B$ est fini, alors $x_0\in B$."
Je n'ai jamais vu ce lemme, mais il est facile à prouver:
Soit $U\cap B=\{a_1,\ldots,a_n\}$. Comme $X$ est séparé, il existe un ouvert $V$ contenant $x_0$ tel que $V\cap (U\cap =\varnothing$. Alors, $U\cap V$ est un ouvert contenant $x_0$ tel que $(U\cap V)\cap B=\varnothing$. Ceci contredit $x_0\in \overline{B}$.
Merci, l'exercice est alors résolu.
La petite démonstration de JLT qui montre que $U\cap B$ est un singleton est jolie. Est-ce que ma démonstration ci-dessus était correcte aussi ?
La première inégalité, c'est encore l'inégalité de Bessel, $|\langle x_0,e_n|^2+|\langle x_0,e_m\rangle|^2\leq \sum_{k\geq 1} |\langle x_0,e_k\rangle|^2 \leq ||x_0||^2$. La deuxième inégalité utilise $e_n,e_m\in U$.
Le $1/\sqrt{2}$ n'est pas arbitraire : JLT l'utilise dans sa dernière inégalité : de $|\langle x_0,e_n\rangle-\langle x_0,x_0\rangle|<(1-\frac{1}{\sqrt{2}})\langle x_0,x_0\rangle$, il s'ensuit que $|\langle x_0,e_n\rangle|>\frac{1}{\sqrt{2}}\langle x_0,x_0\rangle$, d'òu $|\langle x_0,e_n\rangle|^2 > \frac{1}{2}||x_0||^2$. -
(tu)
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.2K Toutes les catégories
- 9 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 64 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 314 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 773 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres