# Theorem similar to dominated convergence theorem

I have the following problem:

Let $(\Omega,F,\mu)$ be a measure space and $(f_n)_{n\in\mathbb{N}}$ be a sequence of non-negative integrable functions, so that $\lim_{n\rightarrow \infty} \int f_n d\mu$ exists. We define $f:=\lim f_n$, which exists. Show f is integrable and $$\lim_{n\rightarrow\infty} \int |f_n-f|d\mu=\lim_{n\rightarrow\infty}\int f_n d\mu-\int f d\mu$$

This reminds me of the dominated convergence theorem. But this theorem needs an integrable function $g$ with $|f(x)|\leq g(x)$. Why don't we need this here? Is this even connected to this theorem? Thanks in advance.

• Thank you, I just edited it. – Tobi92sr Jun 5 '18 at 23:52
• If n is large enough, $2f_n\gt f$ implies f is integrable? – herb steinberg Jun 5 '18 at 23:57
• @herbsteinberg : I don't think it is possible to conclude $2f_n > f$ for all sufficiently large $n$. On the other hand, Fatou's lemma for nonnegative functions seems to immediately imply that $\int f <\infty$. (by the way I assume "the limit exists" means "the limit exists and is finite"). – Michael Jun 6 '18 at 2:56
• Convergence theorems tell us when $\int f_n \rightarrow \int f$, that is, they tell us when the right-hand-side of the desired equality is zero. This result is different and holds even when there are no conditions available to ensure the right-hand-side is zero. – Michael Jun 6 '18 at 4:13

You can first prove that $\int f < \infty$ by using Fatou's lemma on the nonnegative functions $f_n$.
1) Prove $\liminf_{n\rightarrow\infty} \int |f_n-f| \geq \lim_{n\rightarrow\infty} \int f_n - \int f$
2) Define $g_n(x) = \inf_{m\geq n} f_m(x)$, note that $g_n(x)\nearrow f(x)$, and use the monotone convergence theorem to prove the remaining inequality $$\limsup_{n\rightarrow\infty}\int |f_n-f| \leq \lim_{n\rightarrow\infty} \int f_n - \int f$$
• Thanks for the hints. I showed: $f$ is integrable and $1)$. But I don't see how to show $2)$ using the monotone convergence theorem. Could you elaborate? – Tobi92sr Jun 6 '18 at 18:51
• You can exploit triangle and other inequality relationships between $f_n, f, g_n$. – Michael Jun 6 '18 at 22:15