6
$\begingroup$

I am trying to show that $\int f=0$ implies $f=0$ a.e, given that $f$ is a nonnegative measurable function.

But I search my head from what I have learn I have no any clue of solving the problem. That is why I brought it to this room with the hope that somebody will give me a hint.

Thanks

  • 0
    See http://math.stackexchange.com/questions/$1$42668/integr$a$ble-function-and-measure-space2019-02-19

2 Answers 2

8

Hint: $\{x: f(x)>0\}=\bigcup_n \{x: f(x)\geq \frac 1n\}$. So it suffices to show that $\{x: f(x)\geq\frac 1n\}$ has measure $0$.

  • 0
    The integral of $f$ over that set is $\ge 1/n$ times the measure of that set. So that integral is positive and hence $\int f$ is positive, if the measure of that set is positive.2012-05-21
2

Hint: let $A_n:=\{f(x)\geq 2^{-n}\}$. Write $0\geq \int_{A_n}f(x)d\mu\geq 2^{-n}\mu(A_n)$. What about $\mu\left(\bigcup_{n\geq 1}A_n\right)$?