Basic (Lebesgue) integration

  • Thread starter Ja4Coltrane
  • Start date
  • Tags
  • #1

Homework Statement

Let (X,m) be a measure space, f:X->[0, infinity] be measurable.

If the integral over X of f is 0, show that f=0 almost everywhere

Homework Equations

The Attempt at a Solution

Suppose that f is nonzero on A, m(A)>0.

I've reduced problem to proving that the following is impossible:

f is positive on a set of nonzero measure and
{x such that f(x)>epsilon} has zero measure for all epsilon greater than zero.

I don't know how to do that though...

Any help?
  • #2
Suppose the statement is not true- that there exist a set A, of measure greater than 0, on which f is positive. Then the integral of f over A alone is positive and, since f is never negative, the integral of f over X is not less than the integral of f over A.

Suggested for: Basic (Lebesgue) integration