Fermé
Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
-
zork
- Membre Rationnel
- Messages: 979
- Enregistré le: 06 Nov 2011, 15:22
-
par zork » 22 Déc 2013, 20:39
Bonsoir,
Soit I=]a,b[ et X un sous espace vectoriel fermé de L²(I). Supposons aussi que X inclus dans
)
1) montrer que pour toute f dans
)
on a

Pour montrer cela j'ai dit que
|)
mais là j'ai un gros doute que ce soit bien cela la définition de la norme même si je résoud la question grâce à cela
2) Montrer que X est un sous espace vectoriel fermé de
)
.
J'ai essayé cela:
Soit (fn) une suite de
)
convergent vers f. Je dois donc montrer que f est dans
)
Mais comment faire cela?
merci
-
mrif
- Membre Rationnel
- Messages: 527
- Enregistré le: 18 Mar 2013, 21:26
-
par mrif » 22 Déc 2013, 21:18
zork a écrit:Bonsoir,
Soit I=]a,b[ et X un sous espace vectoriel fermé de L²(I). Supposons aussi que X inclus dans
)
1) montrer que pour toute f dans
)
on a

Pour montrer cela j'ai dit que
|)
mais là j'ai un gros doute que ce soit bien cela la définition de la norme même si je résoud la question grâce à cela
2) Montrer que X est un sous espace vectoriel fermé de
)
.
J'ai essayé cela:
Soit (fn) une suite de
)
convergent vers f. Je dois donc montrer que f est dans
)
Mais comment faire cela?
merci
Pour la question 1) la définition que tu as citée est juste.
Pour la 2) on utilise le fait que la mesure de X est finie, donc, si p <= q alors Lq est inclus dans Lp (ici q = +l'infini).
Edit: Pour la 1) Voir ma réponse plus loin.
Pour la 2) Voir réponse de
Joker62 beaucoup plus simple.
-
Joker62
- Membre Transcendant
- Messages: 5027
- Enregistré le: 24 Déc 2006, 19:29
-
par Joker62 » 22 Déc 2013, 21:27
Pour la 2), on préfère utiliser un argument plus "topologique"
La question 1) assure que l'injection canonique i : L;)(I) dans L2(I) est continue.
Si X est fermé dans L2, que dire de i^(-1)(X) ?
-
zork
- Membre Rationnel
- Messages: 979
- Enregistré le: 06 Nov 2011, 15:22
-
par zork » 22 Déc 2013, 21:45
en faite pour la 1) j'ai toujours un doute car il n'y a pas longtemps j'ai vu dans le brézis ceci:
|<C pp x})
du coup comment montrer que ces deux définitions sont équivalentes
Pour la 2)
comme i est continue alors la réciproque d'un fermé est fermé
sinon c'est quoi l'injection canonique?
-
Joker62
- Membre Transcendant
- Messages: 5027
- Enregistré le: 24 Déc 2006, 19:29
-
par Joker62 » 22 Déc 2013, 21:49
Tu as un beau sac à main.
Dans ce sac à main, tu as un petit sac plastique.
Dans ce sac plastique, tu as un téléphone.
Tu peux voir le téléphone comme un élément du sac plastique.
Mais tu peux aussi le voir comme un élément du sac à main.
Tu as appliqué l'injection canonique du sac plastique dans le sac à main

Ici :
 \longrightarrow L^2(I))
tel que
f est l'élément vu dans
)
tandis que i(f) est l'élément f vu dans
)
Donc comme X est fermé de L^2, il l'est également dans L^;) vu que l'injection est continue.
-
mrif
- Membre Rationnel
- Messages: 527
- Enregistré le: 18 Mar 2013, 21:26
-
par mrif » 22 Déc 2013, 22:51
[quote="zork"]en faite pour la 1) j'ai toujours un doute car il n'y a pas longtemps j'ai vu dans le brézis ceci:
| ||f||_{L^{\infty})
.
Integrer sur I revient à integrer sur A union B donc cela revient à une somme d'integralles dont l'une est nulle et l'autre majorable.
-
zork
- Membre Rationnel
- Messages: 979
- Enregistré le: 06 Nov 2011, 15:22
-
par zork » 26 Déc 2013, 20:33
je me permet de revenir sur ce sujet car je viens de m'apercevoir d'un truc:
si j'utilise la méthode de mrif (avec laquelle je suis d'accord) on obtient:
|^2dx<=\int_{AUB} ||f||_{L^{\infty}}^2 dx)
B est de mesure négligeable mais ici I est un intervalle donc je dois avoir la mesure de Lebesgue;

Mais comment obtenir b-a? vu que A inclus dans I=[a,b]?
-
Joker62
- Membre Transcendant
- Messages: 5027
- Enregistré le: 24 Déc 2006, 19:29
-
par Joker62 » 26 Déc 2013, 20:48
-
zork
- Membre Rationnel
- Messages: 979
- Enregistré le: 06 Nov 2011, 15:22
-
par zork » 26 Déc 2013, 20:53
j'avais fais ca au début mais

n'est pas pareil que

-
Joker62
- Membre Transcendant
- Messages: 5027
- Enregistré le: 24 Déc 2006, 19:29
-
par Joker62 » 26 Déc 2013, 22:25
On a toujours |f(x)| <= ||f||_;)
-
mrif
- Membre Rationnel
- Messages: 527
- Enregistré le: 18 Mar 2013, 21:26
-
par mrif » 26 Déc 2013, 23:24
zork a écrit:je me permet de revenir sur ce sujet car je viens de m'apercevoir d'un truc:
si j'utilise la méthode de mrif (avec laquelle je suis d'accord) on obtient:
|^2dx<=\int_{AUB} ||f||_{L^{\infty}}^2 dx)
B est de mesure négligeable mais ici I est un intervalle donc je dois avoir la mesure de Lebesgue;

Mais comment obtenir b-a? vu que A inclus dans I=[a,b]?
B est négligeable et non pas de mesure négligeable, sa mesure est nulle.
Je détaille:

La mesure de Lebesgue de B est nulle donc
 = \mu(A \cup B) = \mu(A) + \mu(B) = \mu(A))
Cela veut dire: intégrer sur I ou sur A revient au même, autrement dit la longueur du segment I est égale, au sens de Lebesgue, à la longueur de A qui n'est autre que b-a:
|^2dx= \int_{A}f^2 + \int_{B}f^2 = \int_{A}f^2 \leq \int_{A} ||f||_{L^{\infty}}^2 dx)
 = (b-a)||f||_{L^{\infty}}^2)
-
zork
- Membre Rationnel
- Messages: 979
- Enregistré le: 06 Nov 2011, 15:22
-
par zork » 27 Déc 2013, 10:51
merci c'est ok
par alavacommejetepousse » 28 Déc 2013, 17:31
J'ai bcp aimé le sac à main et le téléphone
à replacer le plus souvent possible en transposant qd on s'adresse aux garçons qui n'ont pas tous un sac à main
Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 76 invités