Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Suppose $f$ is in $L^1$($\mu$). Prove that for each $\epsilon > 0$ , there exists a $\delta > 0$ so that the $\int |f|\mathrm d\mu$ < $\epsilon$ over the set $E$ whenever $\mu(E) < \delta$. This has been proved. Now, Suppose we have a sequence of non-negative integrable functions $\{f_n\}$ for which the above property is satisfied uniformly for $\epsilon$ and $\delta$, and that the measure space is finite. Suppose $\{f_n\}$ converges to $f$ a.e.

Show $f$ is in $L^1$(d$\mu$) space and $\int_X f\mathrm d\mu= \lim_{n\to \infty}\int_X f_n\mathrm d\mu$.

share|cite|improve this question
Do you know Egoroff's theorem? – Davide Giraudo May 10 '13 at 15:39
yes, but not sure how that relates to showing that f is in the $L^1$(d$\mu$) space – Real Anal May 10 '13 at 15:48
That's what I don't understand: I only modified formatting, and in your first sentence, you write Suppose $f$ is in $L^1$. In your last sentence, Show $f$ is in $L^1(\mu)$. – Davide Giraudo May 10 '13 at 15:56
I just edited the question to show it as it was presented to me. – Real Anal May 10 '13 at 16:06
I'm guessing that $L^1$(d$\mu$) is a subset of $L^1$($\mu$) and maybe i could use Egorov – Real Anal May 10 '13 at 16:12

Your Answer


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

Browse other questions tagged or ask your own question.