Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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

share|improve this question
    
How do you know that the integral exists otherwise? –  Ilya 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. –  Ilya Jan 15 '13 at 13:17
    
@Ilya Now i got it thank you! –  Katlus Jan 15 '13 at 13:18
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
show 1 more comment

2 Answers 2

up vote 1 down vote accepted

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

share|improve this answer
    
I want to make it clear. Is "$f$ is Lebesgue Integrable" same as saying "$f\in L^1(\mu)$"? –  Katlus Jan 15 '13 at 13:26
    
Yes, it's the definition (at least, the one I know). –  Davide Giraudo Jan 15 '13 at 13:26
add comment

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.

share|improve this answer
    
In OP LDC was applied to $f-f_n$ which is integrable. –  Ilya Jan 15 '13 at 13:19
    
Yes, I know...but in order to be ble to apply LDC to begin with it must be known $\,\int f_n\,$ exists –  DonAntonio Jan 15 '13 at 13:20
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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