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.

Let $f_n, f : [a,b] \to R.$

If $f_n \to f$ uniformly then show that the lebesgue integrals are equal. ie. $\int f = lim \int f_n$

This is clearly true for continuous functions, but how do I handle the case of non-continuous functions?

share|improve this question

2 Answers 2

up vote 3 down vote accepted

Do you know how to do this argument for Riemann integrable functions? It's the same one for Lebesgue integrable functions. Hint: if $f_n \rightarrow f$ uniformly, then for all $\epsilon > 0$ and all sufficiently large $n$, $|f_n(x) - f(x)|$ is measurable and less than $\epsilon$ for all $x \in [a,b]$. What does that tell you about the Lebesgue integral $\int_{[a,b]} f_n -f$?

Note that the hypothesis that the total measure of the space be finite is essential. It is easy to construct a sequence of integrable continuous functions $f_n: [0,\infty) \rightarrow [0,\infty)$ which converges uniformly to $0$ but so that $\int_{[0,\infty)} f \rightarrow \infty$.

share|improve this answer
    
does it imply that $\int_{[a,b]} f_n -f$ is at most $(b-a)\epsilon$? –  jack Feb 28 '11 at 6:14
    
Yes, it sure does. (Precisely, it implies that the absolute value of your integral is at most $(b-a)\epsilon$, which is what you want.) –  Pete L. Clark Feb 28 '11 at 6:17
    
@PeteL.Clark What is an easy counterxample to show that the finite measure of the space is necessary? –  KitKat Nov 22 at 23:56

It follows from

$\left| \int f \, dm - \int f_n \, dm \right| \le \int \left|f - f_n\right| \, dm \le (b-a) \Vert f - f_n \Vert_\infty$

share|improve this answer

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.