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

Let $ f \in L_p(X, \mathcal{A}, \mu)$, $1 \leq p < \infty$, and let $\epsilon > 0$. Show that there exists a set $E_\epsilon \in \mathcal{A}$ with $\mu(E_\epsilon) < \infty$ such that if $F \in \mathcal{A}$ and $F \cap E_\epsilon = \emptyset$, then $\|f \chi_F\|_p < \epsilon$.

I was wondering if I could do the following:

$$ \int_X |f|^p = \int_{X-E_{\epsilon}}|f|^p + \int_{E_\epsilon}|f|^p \geq \int_{F}|f|^p + \int_{E_\epsilon}|f|^p $$

$$ \int_{X}|f\chi_F|^p=\int_{F}|f|^p \leq \int_X |f|^p- \int_{E_\epsilon}|f|^p < \epsilon$$

Please just point out any fallacies within my logic as I have found this chapter's exercise to be quite difficult, so any help is appreciated.

share|cite|improve this question
OK, so how do you get $\int_X |f|^p - \int_{E_{\epsilon}} |f|^p = \epsilon$ (actually you want it to be $<\epsilon$)? – Robert Israel May 6 '12 at 7:03
Oh yea typo there thanks but yea I mean that's what I want I would still want to show that. – katari May 6 '12 at 7:08
up vote 2 down vote accepted

Your estimates are fine since everything is finite, now you must exhibit the set $E_\epsilon$. For this consider $E_{\frac{1}{n}} = \{ x\in X : |f(x)|^p \geq \frac{1}{n} \}$, now prove that $g_n=|f\chi_{E_{\frac{1}{n}}}|^p$ gives a monotone increasing sequence, with $|g_n|\leq |f|^p$ and $g_n(x)\to |f(x)|^p$ everywhere in $X$

share|cite|improve this answer
Yes, I love this answer especially because I did a very similar problem in $L_1$ where I defined my $E_n$ almost analogous to yours. Thanks! – katari May 6 '12 at 17:40

Your Answer


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.