Forum de mathématiques - Bibm@th.net

Bonjour a tous,

Je dois faire un exercice de théorie de la mesure mais je suis bloqué et j'espère que quelqu'un pourra m'aider.

L'énoncé est le suivant:
Soit [tex]f\in M^+(X,S)[/tex] une fonction mesurable, positive et bornée.
Montrez que [tex]\int f\,d\mu<\infty\Leftrightarrow\sum_{n=0}^\infty\frac{1}{2^n}\mu\left(\left\{x\in X:f(x)\geq\frac{1}{2^n}\right\}\right)<\infty[/tex].

Je peux supposer que [tex]\mu(X)=\infty[/tex].

Voici ce que j'ai jusqu'à présent:

[tex]A_n:=\left\{x\in X:f(x)\geq\frac{1}{2^n}\right\}[/tex]

([tex]\Rightarrow[/tex])

[tex]\frac{\mu(A_n)}{2^n}\leq\int_{A_n}f\,d\mu[/tex]

[tex]\sum_{n=0}^{\infty}\frac{\mu(A_n)}{2^n}\leq\sum_{n=0}^{\infty}\int_{A_n}f\,d\mu=\sum_{n=0}^{\infty}\int f\cdot\mathcal{X}_{A_n}\,d\mu=\int\sum_{n=0}^{\infty}f\cdot\mathcal{X}_{A_n}\,d\mu[/tex]

Ensuite, je voudrais dire que [tex]\int\sum_{n=0}^{\infty}f\cdot\mathcal{X}_{A_n}\,d\mu<\infty[/tex], mais je ne sais pas comment le justifier.

([tex]\Leftarrow[/tex])

[tex]\int f\,d\mu=\sum_{n=0}^\infty\int_{A_n-A_{n-1}}f\,d\mu\leq\sum_{n=1}^{\infty}\frac{\mu(A_n-A_{n-1})}{2^{n-1}}\leq\sum_{n=1}^{\infty}\frac{\mu(A_n)}{2^{n-1}}<\infty[/tex]

Si quelqu'un peut vérifier ce que j'ai fait et m'aider avec la première partie de la démo, je l'apprécierais vraiment.