Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I am sorry for this elementary question, but i could not figure out a rigorous proof for why the Lebesgue integral of any function over a null set is zero.

Thanks for helping!

share|cite|improve this question
the other way around – leo Feb 5 '13 at 13:52
You do not have to be sorry. Elementariness is not an absolute concept :) – Gudson Chou Sep 7 '15 at 11:44
up vote 13 down vote accepted

Start with the definition. The Lebesgue integral of a simple function $s = \sum_{j=1}^n \alpha_j \ \chi_{A_j}$ is:

$$ \int_E s \,d\mu = \sum_{j=1}^n \alpha_i \ \mu(E \cap A_j) $$

If $\mu(E) = 0$, then $\mu(E \cap A_j) = 0$ for all $j$. Thus $\int_E s \,d\mu = 0$.

The Lebesgue integral of a nonnegative function $f$ is the supremum of integrals of all simple functions $s$ such that $0 \le s \le f$. Since all of these integrals are $0$, the supremum is $0$ too.

Since every real function $f$ can be written as $f = f^+ - f^-$ where $f^+$ and $f^-$ are both nonnegative, we have $\int_E f \, d\mu = 0$ too. The general result follows from the fact that every complex function $f$ can be written as $f = u + i v$ where $u$ and $v$ are real.

share|cite|improve this answer
Thanks Ayman! Got it! – Guilherme Salomé Feb 3 '13 at 18:14
@user1445572 Happy to help! – Ayman Hourieh Feb 3 '13 at 18:15
When going from $\mu(E)=0$ to $\mu(E\cap A_{j})=0$, aren't you assuming that the measure space is complete? If so, is there any way to modify the proof if $X$ is not complete? – Prism Nov 4 '13 at 2:24
@Prism No need for completeness. Since $A_j$ and $E$ are both measurable, $E \cap A_j$ is measurable too. – Ayman Hourieh Nov 4 '13 at 9:38
Ah, of course! Thank you. :) – Prism Nov 4 '13 at 9:44

Consider that $$\int_E f(x)\leq \sup|f(x)|\cdot m(E).$$ With the convention that $\infty\cdot 0=0$, we have $$\left|\int_E f(x)\right|\leq \sup|f(x)|\cdot m(E)=0.$$

share|cite|improve this answer
Why isn't the integral strictly less than zero? Could we use the infimum to get the other inequality? Thanks for helping! – Guilherme Salomé Feb 3 '13 at 18:13
@user1445572: Yes, that is one way; I just added the easier way around using the infimum. – Clayton Feb 3 '13 at 18:14
Awesome, thanks a lot! =] – Guilherme Salomé Feb 3 '13 at 18:15
A proof which rely on a convention is not very sastifying, is it ? – Lierre Jun 9 '13 at 9:25

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.