5

Rudin RCA p.32 exercise 10

Let $(X,\mathfrak{M},\mu)$ be a measure space and $\mu(X)<\infty$ and $\{f_n\}$ be a sequence of bounded complex measurable functions on $X$, and $f_n\rightarrow f$ uniformly on $X$. Prove that $\lim_{n\to\infty}\int_X f_n d\mu =\int_X f d\mu$.

Is 'boundedness' essential here? Here's my argument below and please tell me where am i misunderstanding..

Fix $\epsilon>0$. Then, there exists $N\in\mathbb{N} \text{ such that } n≧N \Rightarrow |f_n - f|< \epsilon$.

Let then a sequence $\{|f_n - f|\}_{n≧N}$ is dominated by $\epsilon$ and ,by assumtion, $\int_X \epsilon d\mu <\infty$. Thus, by Lebesgue's dominated theorem, $\lim_{n\to \infty} \int_X |f_n - f| d\mu = \int_X \lim_{n\to\infty} |f_n-f| d\mu = 0$. Q.E.D.

Thank you in advance

Katlus
  • 6,593
  • How do you know that the integral exists otherwise? – SBF Jan 15 '13 at 13:08
  • @Ilya Oh right.. So the fake part is the last part. That is, [$|\int_X f_n-f d\mu|=0 \text{ implies } \int_X f_n d\mu - \int_X f d\mu =0$] is false, since it might me $\infty-\infty$. Am I right? – Katlus Jan 15 '13 at 13:15
  • Yes, of course if you know that $|f-f_n| = \sup_x |f(x)-f_n(x)|$ is less than $\epsilon$ then the difference $f-f_n$ is bounded and hence integrable. But it does not mean that $f$ and $f_n$ are integrable by themselves. – SBF Jan 15 '13 at 13:17
  • @Ilya Now i got it thank you! – Katlus Jan 15 '13 at 13:18
  • Welcome ${{{}}}$ – SBF Jan 15 '13 at 13:19
  • 3
    It seems a bit odd to use the dominated convergence theorem here . You can (and in fact did) estimate directly: if $n$ is so large that $\lVert f - f_n\rVert_\infty \leq \varepsilon$ then $\left\lvert \int f - \int f_n \right\rvert \leq \varepsilon \mu(X)$. All you need is that the difference of integrals makes sense and this is guaranteed by assuming integrability. – Martin Jan 15 '13 at 13:20

2 Answers2

2

The word bounded in the statement can be replaced by integrable. It includes a larger class of functions.

Davide Giraudo
  • 172,925
1

In order to use the LDC theorem, you must know that $\,\int\limits_Xf_nd\mu\,$ exists, and from here that boundeness in this case means $\,\{f_n\}\,$ are integrable, so

$$\int\limits_Xf_nd\mu\xrightarrow[n\to\infty]{}\int\limits_Xfd\mu$$

by LDC theorem as you correctly showed.

DonAntonio
  • 211,718
  • 17
  • 136
  • 287