Forum de mathématiques - Bibm@th.net
Vous n'êtes pas identifié(e).
- Contributions : Récentes | Sans réponse
Pages : 1
#1 16-09-2021 21:27:35
- gigot
- Invité
Plongement isométrique.
Bonsoir à tous,
Comment est ce qu'on peut injecter isométriquement $ \ell^2 ( \mathbb{N} , \mathcal{P} ( \mathbb{N} ) , \mu ) $ dans $ L^2 ( \mathbb{R} , \mathcal{B} (\mathbb{R}) , \lambda ) $ ? Et comment le montrer ?
Merci d'avance.
[Edit Fred : pas besoin de mettre des dollars si tu as mis les balises [ tex ], et réciproquement].
#3 16-09-2021 23:19:40
- gigot
- Invité
Re : Plongement isométrique.
Bonsoir Fred,
Merci pour la réponse.
J'ai réfléchi à ce problème tout à l'heure, et en regardant la page [tex]90[/tex] du pdf suivant, https://webusers.imj-prg.fr/~bernard.ma … y/lths.pdf , je me dit que peut être, pour montrer que, [tex]\ell^2 ( \mathbb{N} , \mathcal{P} ( \mathbb{N} ) , \mu )[/tex] s'injecte isométriquement dans [tex] L^2 ( \mathbb{R} , \mathcal{B} (\mathbb{R}) , \lambda )[/tex] , il suffit de montrer que le morphisme suivant, [tex]\psi \ : \ L^2 ( [0,2 \pi ] ) \to \ell^2 ( \mathbb{N} , \mathcal{P} ( \mathbb{N} ) , \mu )[/tex] défini par,[tex] \psi (f) = ( \langle f , e_n \rangle )_{ n \geq 0 } \in \ell^2 ( \mathbb{N} , \mathcal{P} ( \mathbb{N} ) , \mu )[/tex], pour tout [tex]f \in L^2 ( [0, \pi ] )[/tex], où, [tex]e_n (t) = e^{int}[/tex] , pour tout [tex]n \in \mathbb{N}[/tex], pour tout [tex]t \in [0,2 \pi ][/tex] ( [tex]\mathcal{B} = \{ \ e_n \ \}_{ n \geq 0 }[/tex], est la base hilbertienne canonique de [tex]L^2 ( [0,2 \pi ] )[/tex] ) est une bijection isométrique, et que, [tex]L^2 ( [0, 2 \pi ] )[/tex] s'injecte isométriquement dans [tex]L^2 ( \mathbb{R} )[/tex]. D'où, [tex]\ell^2 ( \mathbb{N} )[/tex] s'injecte isométriquement dans [tex]L^2 ( \mathbb{R} )[/tex] . Est ce que c'est ça ?
Maintenant, pourquoi [tex]L^2 ( [0,2 \pi ] ) = L^2 ( \mathbb{T} )[/tex] s'injecte isométriquement dans [tex]L^2 ( \mathbb{R} )[/tex] ?
Merci d'avance.
#4 16-09-2021 23:50:00
- gigot
- Invité
Re : Plongement isométrique.
[tex]L^2 ( [0,2 \pi ] ) = L^2 ( \mathbb{T} )[/tex] s'injecte isométriquement dans [tex]L^2 ( \mathbb{R} )[/tex] en définissant le morphisme, [tex]\varphi \ : \ L^2 ( [0,2 \pi ] ) \to L^2 ( \mathbb{R} )[/tex] comme suit,
[tex] \varphi (f) = f[/tex] , pour tout [tex]f \in L^2 ( [0,2 \pi ] )[/tex].
Est ce que c'est ça ?
Merci d’avance.
#5 17-09-2021 07:50:24
- Fred
- Administrateur
- Inscription : 26-09-2005
- Messages : 7 047
Re : Plongement isométrique.
Bonjour,
Oui, ta méthode fonctionne aussi, même si je ne comprends pas vraiment comment tu définis $\varphi(f)$ (a priori, $f$ est définie sur $[0,2\pi]$, et tu dois l'étendre sur $\mathbb R$). Cela dit, elle est beaucoup plus sophistiquée que ce que je propose, et ne fonctionne que dans le cas $L^2$ et $\ell^2$. Le plongement isométrique très simple que je propose fonctionne pour toutes les valeurs de $p$.
F.
Hors ligne
Pages : 1