Show $\int_Af(x)\,dx=0$ for every measurable subset $A$ of $[0,1]$.

Question

Let $f$ be Lebesgue-integrable on $[0,1]$. Suppose $\int_a^bf(x)\,dx=0$ for all $0\leq a\leq b\leq 1$. Show $\int_Af(x)\,dx=0$ for every measurable subset $A$ of $[0,1]$.

*Let $A$ be a measurable subset of $[0,1]$. Then $A$ can be written as the union of disjoint, countable? intervals. Since $\int_a^bf(x)\,dx=0$ for all $0\leq a\leq b\leq 1$, each integral of $f$ over each interval is $0$ so $\int_Af(x)\,dx=0$.

I'm not sure if I did it right...

You can make $[a,b]$ arbitrarily small like a Cantor set whose Lebesgue measure is 0. — Pedro Gomes, Aug 11 '17 at 20:35
My initial inclination without thinking about this much is to show that if the hypothesis holds then $f$ is $0$ almost everywhere, and then go on from there. — Michael Hardy, Aug 11 '17 at 20:41
The set of rational numbers is measurable but is not a union countably many disjoint intervals. — Michael Hardy, Aug 11 '17 at 20:41
@MichaelHardy if $f\geq 0$ or $f\leq 0$, then it would be much easier to show $f=0$, but here I'm not sure how to show that $f=0$. It does fell a little off to say that "countable..." I'm not quite sure how to prove this problem... — secondaccount, Aug 11 '17 at 20:45

fonfonx · Accepted Answer · 2017-08-11T21:32:14.577

7

The Lebesgue measure is regular, and in particular outer regular. Therefore there exists a sequence $(O_n)$ of open measurable sets containing $A$ such that $\lambda(A)=\inf \lambda(O_n)$.

Then $\displaystyle \int_A f(x)\, \mathrm{d}x=\int_{O_n} f(x)\, \mathrm{d}x - \int_{O_n - A} f(x)\, \mathrm{d}x$.

Since $O_n$ is an open set of $\mathbb{R}$, it is a countable union of open intervals and $\int_{O_n} f(x)\, \mathrm{d}x=0$. By dominated convergence you can show that $\int_{O_n - A} f(x)\, \mathrm{d}x \to 0$: use the sequence of functions $f1_{O_n-A}$ dominated by $|f|$.

edited Aug 11 '17 at 21:32

answered Aug 11 '17 at 20:43

fonfonx

4,282

what do you mean regular? – secondaccount Aug 11 '17 at 20:45
https://en.wikipedia.org/wiki/Regular_measure – fonfonx Aug 11 '17 at 20:47
What are the sequence of function bounded by? (in DCT) – secondaccount Aug 11 '17 at 20:48
$|f|$, I edited my answer – fonfonx Aug 11 '17 at 20:50

score 1 · Answer 2 · answered Aug 11 '17 at 22:41

This is a standard application of Dynkin's $\pi$-$\lambda$ Theorem.

Define $\mathcal{P}=\{(a,b]\mid0\leq a<b\leq1\}\cup\{\emptyset\}$ and $\mathcal{L}=\{A\in\mathcal{B}([0,1])\mid\int_{A}f(x)\,dx=0\}$. It is routine to verify that $\mathcal{P}$ is a $\pi$-class and $\mathcal{L}$ is a $\lambda$-class. That is:

For any $A,B\in\mathcal{P}$, we have $A\cap\mathcal{B\in\mathcal{P}}$,
$\emptyset\in\mathcal{L}$,
$A^{c}\in\mathcal{L}$ whenever $A\in\mathcal{L}$, where the complement is taken with respect to $[0,1]$,
$\cup_{i=1}^{\infty}A_{i}\in\mathcal{L}$ whenever $A_{i}\in\mathcal{L}$ and $A_{1},A_{2}\ldots$ are pairwisely disjoint.

By the given condition, we have $\mathcal{P}\subseteq\mathcal{L}$. Therefore, by Dynkin's $\pi$-$\lambda$ Theorem, we have $\sigma(\mathcal{P})\subseteq\mathcal{L}$. Note that $\sigma(\mathcal{P})=\mathcal{B}([0,1])$. Therefore, $\mathcal{L=B}([0,1])$. Q.E.D.

I forget to say, for every Lebesgue measurable set $A$, there exists a Borel set $B$ such that $m(A\Delta B)=0$. (In case if you want to prove that the proposition holds for all Lebesgue measurable subsets of [0,1] rather than Borel measurable subsets) — Danny Pak-Keung Chan, Aug 11 '17 at 22:43

Show $\int_Af(x)\,dx=0$ for every measurable subset $A$ of $[0,1]$.

2 Answers2