Intégration
Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
par legeniedesalpages » 12 Jan 2008, 21:05
Bonjour, j'ai un problème avec un point du cours:
On considère une fonction positive continue sur

et à support compact

.
Pourquoi on a pour une mesure

sur

:
[CENTER]
 dt)
.[/CENTER]
Merci pour votre aide.
-
tize
- Membre Complexe
- Messages: 2385
- Enregistré le: 16 Juin 2006, 19:52
-
par tize » 12 Jan 2008, 21:11
Salut, comprends pas, c'est une égalité vraie pour tout f ?! ou alors c'est un h à la place du f ?
par legeniedesalpages » 12 Jan 2008, 21:14
tize a écrit:Salut, comprends pas, c'est une égalité vraie pour tout f ?! ou alors c'est un h à la place du f ?
oui pardon c'était bien h à la place, je remplace.
-
tize
- Membre Complexe
- Messages: 2385
- Enregistré le: 16 Juin 2006, 19:52
-
par tize » 12 Jan 2008, 21:33
Sans être sur de rien, je cherche en même temps que toi, mais j'ai peut être une piste avec les fonctions étagées...as tu vu en cours le lemme fondamentale qui dit que toute fonction mesurable positive peut être approchées par une suite croissante de fonctions étagées ?
par legeniedesalpages » 12 Jan 2008, 21:36
tize a écrit:Sans être sur de rien, je cherche en même temps que toi, mais j'ai peut être une piste avec les fonctions étagées...as tu vu en cours le lemme fondamentale qui dit que toute fonction mesurable positive peut être approchées par une suite croissante de fonctions étagées ?
oui je l'ai vu.
par legeniedesalpages » 12 Jan 2008, 21:42
en fait ton plan c'est d'attaquer étape par étape:
fonctions simple, puis fonctions mesurables positives, puis fonctions intégrables?
-
tize
- Membre Complexe
- Messages: 2385
- Enregistré le: 16 Juin 2006, 19:52
-
par tize » 12 Jan 2008, 21:46
Oui, c'est ça, fonctions indicatrices puis fonctions étagées puis fonctions mesurables positives (c'est le cas de h)
-
BQss
- Membre Irrationnel
- Messages: 1202
- Enregistré le: 02 Nov 2006, 03:32
-
par BQss » 13 Jan 2008, 14:08
legeniedesalpages a écrit:On considère une fonction positive continue sur

et à support compact

.
Pourquoi on a pour une mesure

sur

:
[CENTER]
 dt)
.[/CENTER]
Merci pour votre aide.
salut les amis:
 dt=\Bigint_0^{||h||_{\infty}} (\ \Bigint1_{\{h>t\}}d\mu(x)) dt= <br /><br />\Bigint (\,\,\Bigint1_{\{h>t\}}1_{[0,{||h||_{\infty}}]}dt)\, d\mu(x)=\Bigint (\,\,\Bigint_0^{h(x)}dt)\, d\mu(x)=\bigint h(x) d\mu(x))
-
BQss
- Membre Irrationnel
- Messages: 1202
- Enregistré le: 02 Nov 2006, 03:32
-
par BQss » 13 Jan 2008, 14:11
ou on a pu utiliser fubini par la positivité des indicatrices et le fait que
\leq||h||_{\infty})
pour le passage de 3 à 4.
-
tize
- Membre Complexe
- Messages: 2385
- Enregistré le: 16 Juin 2006, 19:52
-
par tize » 13 Jan 2008, 14:40
Oui ça me parait bien, j'ai finalement eu la flemme de chercher, mais de toute manière c'est bien plus rapide que d'utiliser le lemme fondamentale dont je parlais. C'est surement ce que l'on attend comme réponse : utiliser Fubini...Bien Joué BQss .
par legeniedesalpages » 15 Jan 2008, 00:07
BQss a écrit:salut les amis:
 dt=\Bigint_0^{||h||_{\infty}} (\ \Bigint1_{\{h>t\}}d\mu(x)) dt= <br /><br />\Bigint (\,\,\Bigint1_{\{h>t\}}1_{[0,{||h||_{\infty}}]}dt)\, d\mu(x)=\Bigint (\,\,\Bigint_0^{h(x)}dt)\, d\mu(x)=\bigint h(x) d\mu(x))
Je ne comprends pas vraiment le passage
\, d\mu(x)=\Bigint (\,\,\Bigint_0^{h(x)}dt)\, d\mu(x))
c'est surtout cette expression: (au niveau des variables des indicatrices)
\, d\mu(x))
Je ne vois pas si c'est
 1_{[0,{||h||_{\infty}}]} (t) dt)\, d\mu(x))
ou
 1_{[0,{||h||_{\infty}}]} (x) dt)\, d\mu(x))
ou encore autre chose.
-
tize
- Membre Complexe
- Messages: 2385
- Enregistré le: 16 Juin 2006, 19:52
-
par tize » 15 Jan 2008, 12:02
Bonjour,
c'est quand tu appliques Fubini (pour faire plus simple j'enlève les

) :
dt=)
dx\)dt=)
\mathbb{1}_{\{h\geq t\}}(x)dxdt)
et c'est là qu'il faut faire attention et bien voir que
=\mathbb{1}_{\{h(x)\geq t\}}(t))
et notre calcul devient :
\mathbb{1}_{\{h(x)\geq t\}}(t)dtdx=)
}dtdx=\bigint h(x)dx)
par legeniedesalpages » 15 Jan 2008, 13:31
merci tize, je n'avais effectivement pas vu que
=\mathbb{1}_{\{h(x)\geq t\}}(t))
.
Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 14 invités