# Thread: integrable funtion and uniform convergence

1. ## integrable funtion and uniform convergence

Let $\displaystyle f_n$ be integrable on [0,1] for all $\displaystyle n$ and $\displaystyle f_n\rightarrow f$ uniformly. Show that $\displaystyle f$ is integrable and $\displaystyle \int f_n dx \rightarrow \int fdx$.

Since $\displaystyle f_n$ converges uniformly to $\displaystyle f$, for any $\displaystyle \epsilon >0$, there is $\displaystyle N$ such that for all $\displaystyle x$ and for all $\displaystyle n \geq N$, $\displaystyle |f-f_n|<\epsilon$. And since $\displaystyle |f|-|f_n| \leq|f-f_n|$, $\displaystyle \int |f|dx-\int |f_n|dx \leq \int |f|-|f_n|dx \leq \int |f-f_n|dx \rightarrow 0$.
So $\displaystyle \int |f| = lim \int |f_n|$.

i have a question here. i know that for each $\displaystyle n$, $\displaystyle \int |f_n| dx < \infty$ but how can i show that $\displaystyle lim \int |f_n|dx < \infty$.

help would be appreciated so much.

2. Originally Posted by PRLM
Let $\displaystyle f_n$ be integrable on [0,1] for all $\displaystyle n$ and $\displaystyle f_n\rightarrow f$ uniformly. Show that $\displaystyle f$ is integrable and $\displaystyle \int f_n dx \rightarrow \int fdx$.

Since $\displaystyle f_n$ converges uniformly to $\displaystyle f$, for any $\displaystyle \epsilon >0$, there is $\displaystyle N$ such that for all $\displaystyle x$ and for all $\displaystyle n \geq N$, $\displaystyle |f-f_n|<\epsilon$. And since $\displaystyle |f|-|f_n| \leq|f-f_n|$, $\displaystyle \int |f|dx-\int |f_n|dx \leq \int |f|-|f_n|dx \leq \int |f-f_n|dx \rightarrow 0$.
So $\displaystyle \int |f| = lim \int |f_n|$.

i have a question here. i know that for each $\displaystyle n$, $\displaystyle \int |f_n| dx < \infty$ but how can i show that $\displaystyle lim \int |f_n|dx < \infty$.

help would be appreciated so much.
can i assume that $\displaystyle f_n$ is bounded if $\displaystyle f_n$ is integrable?

3. I assume that you are working with the Riemann integral so then yes $\displaystyle f$ being integrable does mean that it is bounded.

4. To show integrability of $\displaystyle f$ you could use that $\displaystyle g:[a,b] \rightarrow \mathbb{R}$ is Riemann int. iff the set of discontinuities of $\displaystyle g$ has measure $\displaystyle 0$ (ie. this set can be covered by a countable family of sets $\displaystyle (a_{i,\epsilon },b_{i,\epsilon })_{i\in \mathbb{N} }$ such that $\displaystyle \sum_{i=0}^{\infty } (b_{i, \epsilon }-a_{i, \epsilon }) < \epsilon$) .

5. Originally Posted by Jose27
To show integrability of $\displaystyle f$ you could use that $\displaystyle g:[a,b] \rightarrow \mathbb{R}$ is Riemann int. iff the set of discontinuities of $\displaystyle g$ has measure $\displaystyle 0$ (ie. this set can be covered by a countable family of sets $\displaystyle (a_{i,\epsilon },b_{i,\epsilon })_{i\in \mathbb{N} }$ such that $\displaystyle \sum_{i=0}^{\infty } (b_{i, \epsilon }-a_{i, \epsilon }) < \epsilon$) .
I don't think this is true. Take f to be 0 on the rationals and 0 on the irrationals. Then the upper and lower Riemann sums don't agree for any partition of the interval (lets say [0,1]).

6. Originally Posted by putnam120
I don't think this is true. Take f to be 0 on the rationals and 0 on the irrationals. Then the upper and lower Riemann sums don't agree for any partition of the interval (lets say [0,1]).
I assume you meant Dirichlet's function instead of the zero constant. The problem is, Dirichlet's function is discontinous everywhere (ie. the measure of the set of discontinuities is positive)

7. Oh whoops sorry I misread what you meant. Then what about $\displaystyle f:[0,1]\to\{0,1\}$ where f is 1 on the Cantor set and 0 otherwise. Since the cantor set is uncountable you can't just cover it by intervals who's sum is small. Plus it has measure 0.

8. Originally Posted by putnam120
I assume that you are working with the Riemann integral so then yes $\displaystyle f$ being integrable does mean that it is bounded.
So if i can assume $\displaystyle f_n$ is bounded, i can find $\displaystyle M$ such that $\displaystyle |f_n| < M$ for all n, which mean $\displaystyle lim sup |f_n| < M$. So $\displaystyle \int |f|=\int lim|f_n|\leq\int limsup|f_n|<\infty$. is it correct?

9. Originally Posted by putnam120
Plus it has measure 0.
You answered yourself. To cover it the way I said remember how one constructed the set by taking intervlas of lenght $\displaystyle 3^{-n}$ (if I rememeber correctly) and then intersecting all of them so it suffices to cover a "step" for sufficiently large $\displaystyle n$.

The fact that if such a cover exists then $\displaystyle f$ is integrable is more or less easy to see.

Well, I guess you also need to have f bounded on the hypothesis, but given it's Riemann it's always implicitly assumed.

10. Originally Posted by putnam120
Oh whoops sorry I misread what you meant. Then what about $\displaystyle f:[0,1]\to\{0,1\}$ where f is 1 on the Cantor set and 0 otherwise. Since the cantor set is uncountable you can't just cover it by intervals who's sum is small. Plus it has measure 0.
or are we supposed to used the assumption that $\displaystyle f_n\rightarrow f$ uniformly to say that $\displaystyle f_n$ and $\displaystyle f$ are both bounded? because if $\displaystyle f$ is not bounded i dont think $\displaystyle f_n$ can converge uniformly to $\displaystyle f$, can it? i dont think a uniform $\displaystyle \epsilon$ can work for all $\displaystyle x$ in the domain. would you give me your thoughts on this?

11. Originally Posted by PRLM
So if i can assume $\displaystyle f_n$ is bounded, i can find $\displaystyle M$ such that $\displaystyle |f_n| < M$ for all n, which mean $\displaystyle lim sup |f_n| < M$. So $\displaystyle \int |f|=\int lim|f_n|\leq\int limsup|f_n|<\infty$. is it correct?
No, it just means that for each n we have $\displaystyle f_n\le M_n$. So then since $\displaystyle f_n\to f$ uniformly we have that $\displaystyle |f-f_N|<\epsilon\Longrightarrow |f|\le |f_N|+\epsilon\le M_N+\epsilon$. Now take $\displaystyle M=\max(M_1,M_2,\dots,M_{N-1},M_N+\epsilon)$.

Thus $\displaystyle |f|\le M$ and $\displaystyle |f_n|\le M+\epsilon$. So even though what you said initially was correct (the $\displaystyle f_n$ are uniformly bounded) you were using the wrong definition for bounded.