$f>0$ on $[0,1]$ implies $\int_0^1 f >0$

Yes, your proof is correct. The two comments on that old answer are wrong. The first comment says:

The above proof is wrong: if $f(x)>C$ then $\int_0^1 f(x) \mathbb{d}x \geq C$. Notice that the inequality becomes non-strict, because integration is just passing to the limit and limits do not preserve the strictness of inequalities.

It is generally a good rule that limits do not preserve strict inequalities. But this user in his or her comment is wrong that this holds for integrals in particular. In fact, for the Lebesgue (or Riemann!) integral, if $f > g$ on a set $A$, and both are integrable, then $\int_A f > \int_A g$.

Specifically, let $A \subseteq \mathbb{R}$ be a Lebesgue measurable set, and suppose $f, g$ are measurable, with $f(x) > g(x)$ for all $x \in A$. Then $\int_A f > \int_A g$, with just a few exceptions:

  • If $A$ has measure $0$, this won't hold.

  • If $\int_A f = -\infty$ or if $\int_A g = \infty$, this won't hold.

This covers the Riemann case as well, since Riemann integrable functions are also Lebesgue integrable. (Except for some improper Riemann integrals -- I'm not sure if it holds in the case of improper integrals or not.)

This has also been covered on mathSE a lot of times. Some examples: 1, 2, 3, 4, 5.


You are right.

Suppose $\int_0^1 f=0$.

Let $E_n=\{x \in [0,1] : f(x) > 1/n\}.$

$0=\int_0^1 f \geq \int_{E_n}f \geq \int_{E_n}(1/n)=m(E_n)(1/n)$

So $m(E_n)=0$ since $f>0 $ on $[0,1]$, $[0,1] = \cup E_n$ so $m([0,1])=0$.

Tags:

Real Analysis

Lebesgue Integral

Proof Verification

Related

Simplifying $\sum_{i=1}^n{\lfloor \frac{n}{i} \rfloor}$? If $A$ and $B$ are two matrices such that $AB=B$ and $BA=A$ then how to show that $A^2+B^2$ equals $A+B$? A topological group which is also a (not necessarily smooth) manifold is orientable Trying to prove that $H=\langle a,b:a^{3}=b^{3}=(ab)^{3}=1\rangle$ is a group of infinite order. Does there exist any surjective group homomorphism from $(\mathbb R^* , .)$ onto $(\mathbb Q^* , .)$? Is every real monic polynomial the characteristic polynomial of a real matrix? Is the series $\sqrt{1} - \sqrt{2} + \sqrt{3} - \sqrt{4} + \dots$ summable? Is $1+1 = 2$ true in any base? Proof (claimed) for Riemann hypothesis on ArXiv What is the remainder when the product of the primes between 1 and 100 is divided by 16? Why does the Chaos Game generate a fractal? Can a rectangle be tiled with $6$ smaller rectangles, such that no smaller set of those rectangles forms a rectangle?

Recent Posts