Intégrale
Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
-
joanie58
- Membre Relatif
- Messages: 115
- Enregistré le: 04 Fév 2013, 21:17
-
par joanie58 » 07 Nov 2014, 21:41
Bonjour,
voici l'exercice que j'ai à faire:
Soit f une fonction non négative mesurable définie sur un ensemble mesurable avec [TEX]\mu(E)
-
barbu23
- Membre Transcendant
- Messages: 5466
- Enregistré le: 18 Fév 2007, 17:04
-
par barbu23 » 07 Nov 2014, 21:54
Bonsoir, :happy3:
Si je ne m'abuse, il faut montrer que :
 \leq \displaystyle \int_E f d \mu \leq \displaystyle \sum_{n \geq 0 } (n+1) \mu ( E_n ))
Il se peut que je dis des bêtises. mais ça peut t'aider dans ta recherche de solution.
Cordialement. :happy3:
Edit: Ay ! Je n'ai pas répondu à ta question :
joanie a écrit: Que

???
Oui. :happy3:
Je suis désolé. :hum:
-
joanie58
- Membre Relatif
- Messages: 115
- Enregistré le: 04 Fév 2013, 21:17
-
par joanie58 » 08 Nov 2014, 17:44
Voilà donc ce que j'ai fait:
(=>) Supposons que f intégrable au sens de Lebesgue =>

de plus, on a que
(propriété démontré en classe)
=> [TEX]\bigsum_{n=0}^{\infty} n \mu(E_n) \leq \bigsum_{n=0}^{\infty} \int_{E_n} f d\mu = \int_E f d\mu f intégrable au sens de lebesgue
est-ce que c'est bien?
-
Ben314
- Le Ben
- Messages: 21709
- Enregistré le: 11 Nov 2009, 21:53
-
par Ben314 » 08 Nov 2014, 19:35
Entre ça :
joanie58 a écrit:
et ça :
joanie58 a écrit:
déjà ça ne va pas :
- Soit tu t'est gouré en recopiant la définition de En et l'inégalité est stricte d'un coté et large de l'autre (et dans ce cas les En forment bien une partition de E)
- Soit tu as recopié correctement la définition de En (avec des inégalités larges des deux coté) et dans ce cas les En ne forment pas une partition de E.
Sinon, ton dernier argument
joanie58 a écrit: \leq \bigsum_{n=0}^{\infty}n \mu(E_n) < \infty)
n'est pas bon vu que
)
(qui fait parti de la somme de gauche)
n'est pas inférieur ou égal à
)
(qui fait parti de la somme de droite)
Qui n'entend qu'un son n'entend qu'une sonnerie. Signé : Sonfucius
-
barbu23
- Membre Transcendant
- Messages: 5466
- Enregistré le: 18 Fév 2007, 17:04
-
par barbu23 » 08 Nov 2014, 19:49
Tu n'as pas utilisé l'hypothèse :
 < + \infty)
. :happy3:
-
joanie58
- Membre Relatif
- Messages: 115
- Enregistré le: 04 Fév 2013, 21:17
-
par joanie58 » 09 Nov 2014, 14:28
Ben314 a écrit:Entre ça :et ça :déjà ça ne va pas :
- Soit tu t'est gouré en recopiant la définition de En et l'inégalité est stricte d'un coté et large de l'autre (et dans ce cas les En forment bien une partition de E)
tu as raison j'ai mal recopié l'énoncer...j'ai modifier l'inégalité (elle est stricte d'un coté)
est-ce que avec cette inégalité ma démonstration est bonne? comme dit barbu je n'Est pas utiliser le
 < \infty)
-
Ben314
- Le Ben
- Messages: 21709
- Enregistré le: 11 Nov 2009, 21:53
-
par Ben314 » 09 Nov 2014, 14:42
Il reste ça à régler (
indic = dernier message de Barbu)
Ben314 a écrit: joanie58 a écrit: \leq \bigsum_{n=0}^{\infty}n \mu(E_n) < \infty)
n'est pas bon vu que
)
(qui fait parti de la somme de gauche)
n'est pas inférieur ou égal à
)
(qui fait parti de la somme de droite)
+ peut être écrire pourquoi En est mesurable (bien que l'énoncé le sous-entende...)
Sinon, le reste est O.K.
Qui n'entend qu'un son n'entend qu'une sonnerie. Signé : Sonfucius
-
joanie58
- Membre Relatif
- Messages: 115
- Enregistré le: 04 Fév 2013, 21:17
-
par joanie58 » 09 Nov 2014, 15:03
Ben314 a écrit:Il reste ça à régler (indic = dernier message de Barbu)+ peut être écrire pourquoi En est mesurable (bien que l'énoncé le sous-entende...)
Sinon, le reste est O.K.
je crois que j'ai trouvé!
on a que
 = \mu(E) } \mu(E_n) < \infty \mbox{ } \forall n \in N)
donc
 \leq \bigsum_{n=1}^{\infty} n\mu(E_n) < \infty)
et comme
 < \infty)
on a donc que
)
-
joanie58
- Membre Relatif
- Messages: 115
- Enregistré le: 04 Fév 2013, 21:17
-
par joanie58 » 09 Nov 2014, 15:09
[quote="joanie58"]je crois que j'ai trouvé!
on a que
 = \mu(E) } \mu(E_n) \mu(E) = \bigsum_{n=0}^{\infty} \mu(E_n))
-
Ben314
- Le Ben
- Messages: 21709
- Enregistré le: 11 Nov 2009, 21:53
-
par Ben314 » 09 Nov 2014, 15:09
Oui, sauf que, à part la première inégalité, le reste ne sert à rien vu que cette inégalité, c'est justement celle qu tu voulait obtenir...
Qui n'entend qu'un son n'entend qu'une sonnerie. Signé : Sonfucius
-
Ben314
- Le Ben
- Messages: 21709
- Enregistré le: 11 Nov 2009, 21:53
-
par Ben314 » 09 Nov 2014, 15:10
joanie58 a écrit:dans le fond je peux simplement dire que
 = \bigsum_{n=0}^{\infty} \mu(E_n))
Oui...

Qui n'entend qu'un son n'entend qu'une sonnerie. Signé : Sonfucius
-
joanie58
- Membre Relatif
- Messages: 115
- Enregistré le: 04 Fév 2013, 21:17
-
par joanie58 » 09 Nov 2014, 15:10
oui je viens juste de m'en rendre compte! merci beaucoup pour votre aide!
Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 232 invités