Lebesgue integral of a positive function on a set of positive measure

Let $E$ be a subset of $\Bbb R$ with positive Lebesgue measure, $\lambda(E)>0$. Let $f$ be a function from $\Bbb R$ to $\Bbb R$ which is positive on $E$, that is $f(x)>0$ for all $x\in E$.

Is it possible that $$\int_E f\,d\lambda=0?$$ In other words, must $$\int_E f\,d\lambda$$ be strictly positive?

• $\int_E f\,d\lambda=0 \iff f=0$ almost everywhere – iwriteonbananas Jan 28 '15 at 19:53
• you can also approximate $f$ by simple functions. On a subset of $F\subset E$ you will find that $f_k\leq f$ and $f_k\geq \varepsilon >0$ – Quickbeam2k1 Jan 28 '15 at 20:05

Since $f$ is strictly positive on $E$, we have $$E = \bigcup_{n \geq 1} E_n, \quad \mbox{ where } E_n = \left\{x \in E: f(x) > \frac{1}{n}\right\}.$$ Since $\lambda(E) > 0$ there is some $n$ for which $\lambda(E_n)$ is positive (otherwise $E$ would be the countable union of measure $0$ sets, implying $\lambda(E)=0$). We then have $$\int_E f \, d\lambda \geq \int_{E_n} f \, d\lambda > \int_{E_n} \frac1n \, d\lambda = \frac{\lambda(E_n)}{n} > 0,$$ as desired.