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/142668/integrable-function-and-measure-space2012-05-21

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
    Is the measure of the set $\{x:f(x) \ge \frac {1}{n}\}$ zero?2012-05-21
  • 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)$?