54
$\begingroup$

Let $(X,\mathcal{M},\mu)$ be a measure space and suppose $\{f_n\}$ are non-negative measurable functions decreasing pointwise to $f$. Suppose also that $\int f_1 \lt \infty$. Then $$\int_X f~d\mu = \lim_{n\to\infty}\int_X f_n~d\mu.$$

Atempt:

Since $\{f_n\}$ are decreasing, and converges pointwise to $f$, then $\{-f_n\}$ is increasing pointwise to $f$. So by the monotone convergence theorem $$ \int_X -f~d\mu = \lim_{n\to\infty}\int_X -f_n ~d\mu$$ and so $$\int_X f~d\mu = \lim_{n\to\infty}\int_X f_n~d\mu.$$

$\endgroup$
7
  • 2
    $\begingroup$ Your attempt is on the right track but is not quite right. In particular, you might think about the hypothesis $\int f_1 < \infty$ and whether you've used it. Hint: What do you know about $g_n = f_1 - f_n$? $\endgroup$
    – cardinal
    Mar 24, 2012 at 20:06
  • $\begingroup$ @cardinal: oh yes....$g_n \geq 0$...Thanks $\endgroup$
    – Kuku
    Mar 24, 2012 at 20:07
  • $\begingroup$ Yes, $g_n \geq 0$...and, what else? Davide's answer lays out the details. (+1 for showing your work.) $\endgroup$
    – cardinal
    Mar 24, 2012 at 20:08
  • 1
    $\begingroup$ Fair enough. Sorry, being a "standard" result, it sounded a bit like homework. Cheers. :) $\endgroup$
    – cardinal
    Mar 24, 2012 at 20:18
  • 4
    $\begingroup$ Why not invoking the dominated convergence theorem with dominating function $f_1$? $\endgroup$
    – Mr_3_7
    Aug 9, 2017 at 13:24

1 Answer 1

74
$\begingroup$

The problem is that $-f_n$ increases to $-f$ which is not non-negative, so we can't apply directly to $-f_n$ the monotone convergence theorem. But if we take $g_n:=f_1-f_n$, then $\{g_n\}$ is an increasing sequence of non-negative measurable functions, which converges pointwise to $f_1-f$. Monotone convergence theorem yields: $$\lim_{n\to +\infty}\int_X (f_1-f_n)d\mu=\int_X\lim_{n\to +\infty} (f_1-f_n)d\mu=\int_X f_1d\mu-\int_X fd\mu$$ so $\lim_{n\to +\infty}\int_X f_nd\mu=\int_X fd\mu$.

Note that the fact that there is an integrable function in the sequence is primordial, indeed, if you take $X$ the real line, $\mathcal M$ its Borel $\sigma$-algebra and $\mu$ the Lebesgue measure, and $f_n(x)=\begin{cases} 1&\mbox{ if }x\geq n\\\ 0&\mbox{ otherwise} \end{cases}$ the sequence $f_n $ decreases to $0$ but $\int_{\mathbb R}f_nd\lambda =+\infty$ for all $n$.

$\endgroup$
10
  • $\begingroup$ (+1) I was composing my comment simultaneously. We even managed to match notation. :) $\endgroup$
    – cardinal
    Mar 24, 2012 at 20:07
  • $\begingroup$ Thanks again...I should have thought about it more:) $\endgroup$
    – Kuku
    Mar 24, 2012 at 20:19
  • $\begingroup$ @cardinal Nice proof, yet I have a question: You say that $g_n:= f-f_n$ is an increasing sequence of function, I understand this, but why is she positive? I've thought that since $f_n$ is decreasing to f than $f_n \ge f \forall n$ but this would mean that $f-f_n$ is negative. Where is my error? I can't find it Thank you in advance if you answer :-) $\endgroup$
    – Bman72
    Jan 17, 2014 at 7:53
  • 2
    $\begingroup$ I used it with $f_1$ not $f$. $\endgroup$ Jan 17, 2014 at 10:17
  • 1
    $\begingroup$ @Ale. $f_1\geq f_n$, since $f_n$ being decreasing and hence $f_1-f_n\geq 0$ for each $n$. $\endgroup$
    – Alexander
    Jun 30, 2016 at 5:44

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.