# Decreasing sequence of non-negative Lebesgue measurable functions and MCT

I'm learning about measure theory, specifically the Lebesgue integral of nonnegative functions, and need help with the following problem:

Suppose that $f$ and $f_n$ are nonnegative measurable functions, that $f_n$ decreases pointwise to $f$, and that $\int_{\mathbb{R}}f_1 < \infty$. Prove that $\int_{\mathbb{R}}f = \lim\int_{\mathbb{R}}f_n$. [Hint: Consider $g_n = f_1 - f_n$]. Show with a counterexample that the assumption that $\int_{\mathbb{R}}f_1 < \infty$ is necessary.

The assumptions are (I always rewrite the problem to see if I understand it correctly):

1. $\forall x \in \mathbb{R}, f_n(x) \geq f_{n+1}(x)$.
2. $\int_{\mathbb{R}}f_1 < \infty$,that is $f_1 \in L^1(\mathbb{R})$.
3. $f_n \to f$ pointwise in $\mathbb{R}$.

My work and thoughts:

As $f_n$ is monotone non-increasing, $g_n = f_1 - f_n$ is a monotone non-decreasing sequence of non-negative Lebesgue measurable functions, i.e $0 \leq g_1 \leq g_2 \leq \cdots \leq f_1 - f$ and $\lim g_n = f_1 - f$. Therefore, by the monotone convergence theorem

$$\int_{\mathbb{R}}\lim_{n \to \infty} g_n = \int_{\mathbb{R}}(f_1 - f) = \lim_{n \to \infty}\int_{\mathbb{R}}(f_1 - f_n).$$

Because $\int_{\mathbb{R}}f_1 < \infty$ and $f_n \leq f_1$ for all $n \in \mathbb{N}$, this implies that $\int_{\mathbb{R}}f_n < \infty$ for all $n \in \mathbb{N}$.

This is where I'm stuck. I think I'm really close to the desired result. How do I continue from here? Also how do I show that the assumption that $\int_{\mathbb{R}}f_1 < \infty$ is necessary using a counterexample?

$$\int_{\mathbb{R}}f_1 - \int_{\mathbb{R}}f =\int_{\mathbb{R}}(f_1 - f) =\int_{\mathbb{R}}\lim_{n \to \infty} g_n = \lim_{n \to \infty}\int_{\mathbb{R}}(f_1 - f_n) = \int_{\mathbb{R}}f_1 - \lim_{n \to \infty}\int_{\mathbb{R}}f_n$$
Subtract $\int_{\mathbb{R}}f_1$ from both sides and you are done.
• @VonKar You can subtract $\int_{\mathbb{R}}f_1$ from both sides, because $\int_{\mathbb{R}}f_1<\infty$. Apr 18 '16 at 2:40
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "url": "https://math.stackexchange.com/questions/1746485/decreasing-sequence-of-non-negative-lebesgue-measurable-functions-and-mct", "fetch_time": 1632002811000000000, "content_mime_type": "text/html", "warc_filename": "crawl-data/CC-MAIN-2021-39/segments/1631780056578.5/warc/CC-MAIN-20210918214805-20210919004805-00316.warc.gz", "warc_record_offset": 459287044, "warc_record_length": 37938, "token_count": 766, "char_count": 2031, "score": 3.75, "int_score": 4, "crawl": "CC-MAIN-2021-39", "snapshot_type": "latest", "language": "en", "language_score": 0.7122429013252258, "file_path": "/sailhome/yjruan/project/latent-lm/data/processed/finemath-4plus/finemath-4plus/train-00010-of-00064.parquet"}