Forum de mathématiques - Bibm@th.net
Vous n'êtes pas identifié(e).
- Contributions : Récentes | Sans réponse
- Accueil
- » Entraide (supérieur)
- » Injection continue
- » Répondre
Répondre
Résumé de la discussion (messages les plus récents en premier)
- tina
- 18-11-2016 20:10:57
Ah merci beaucoup pour l'explication Comme ça je ne n'oublirai pas. Super merci beaucoup
- Yassine
- 18-11-2016 19:59:20
Non.
S'il faut 1M€ pour être riche et 100M€ pour être super riche (condition plus forte), alors l'ensemble des super riches est inclus dans celui des riches !
Le terme "plus fort" ne veut pas dire "plus vaste". On rend un ensemble plus vaste en affaiblissant les conditions requises pour y appartenir.
- tina
- 18-11-2016 18:38:50
C'est justement le fait que [tex]L^1[/tex] soit plus fort qui fait qu'à chque fois je dis que c'est [tex]L^1_{loc}[/tex] qui est contenue dans [tex]L^1[/tex]
- Yassine
- 18-11-2016 17:58:50
Non.
Ici, le suffixe 'loc' signifie que la fonction est localement intégrable. C'est à dire, que sa restriction à un compact $K \in \Omega$ est intégrable. Alors que $L^1$ signifie qu'elle est intégrable sur $\Omega$, ce qui est plus fort. Par exemple, $x^2$ est localement intégrable sur $\mathbb{R}$ mais elle n'est pas intégrable sur $\mathbb{R}$ (son intégrale diverge).
- tina
- 18-11-2016 17:20:50
Ca me parait bizare que [tex]L^p[/tex] soit inclus dans [tex]L^1_{loc}[/tex], en tant normal, d'après l'appélation, lelocal est inclus dans le [tex]L^p[/tex]. En général on ce dit qe c'est le local qui est inclus et pas le local qui contient. Comment on peut savoir?
- Yassine
- 18-11-2016 17:04:59
On a $L^p(\Omega) \subset L^p_{loc}(\Omega)$.
Donc, $\displaystyle L^1_{loc}(\Omega) \hookrightarrow \mathcal{D'} \Rightarrow L^1(\Omega) \hookrightarrow \mathcal{D'}$.
- tina
- 18-11-2016 16:52:18
D'où on peut déduire l'injection de [tex]L^1[/tex] dans [tex]\mathcal{D}'?[/tex] S'il vous plaît.
- Yassine
- 18-11-2016 15:18:04
Non, c'est vrai.
- tina
- 18-11-2016 10:58:05
Voilà, je lis dans un cours qu'on a aussi
[tex]
L^1(\Omega) \hookrightarrow \mathcal{D'}
[/tex]
et tous les espaces [tex]L^p[/tex] sont des espaces de [tex]\mathcal{D}'[/tex] C'est faux?
- Yassine
- 18-11-2016 10:52:32
Bonjour,
Première option : $\displaystyle L^1_{loc}(\Omega)$.
- tina
- 18-11-2016 10:11:08
Bonjour,
c'est une question un peu bête, mais voilà. Est-ce que c'est [tex]L^1_{loc}(\Omega)[/tex] qui s'injecte continûment dans [tex]\mathcal{D}'(\Omega)[/tex], ou bien c'est
[tex]L^1(\Omega)[/tex] qui s'injecte continûment dans [tex]\mathcal{D}'(\Omega)[/tex]?
Je vous remercie pour votre aide.