Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

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

Possible Duplicate:
If $\int_0^x f \ dm$ is zero everywhere then $f$ is zero almost everywhere

If $f$ is integrable on $[a,b]$ and integral from $a$ to $x$ of $f=0$, for every $x \in [a,b]$, show that the set of all $x \in [a,b]$ for which $f(x)$ does not equal $0$ has measure $0$.

Here is what I have so far:

$\displaystyle \int_a^b f(x) \ \mathrm{d}x = 0$ means that the area under the curve of $f(x)$ from $f(a)$ to $f(b)$ is $0$. Hence all the points between $a$ and $b$ lie on the $x$-axis

share|cite|improve this question

marked as duplicate by Byron Schmuland, Jason DeVito, t.b., Nate Eldredge, Martin Sleziak Aug 7 '12 at 18:22

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

@mixedmath I don't think the statement that $f$ is non-negative is necessary. The statement as given is required to hold for all $x\in [a,b]$ – EuYu Aug 6 '12 at 19:49

Define $F(x) = \int_a^x f(t)\, dt.$ for $x\in[a,b]$. Then by your hypothesis, $F(x) = 0$, $x\in[a,b]$. The Lebesgue differentiation on the integral says that $F'(x) = f(x)$ a.e. Your conclusion flows right out of this observation.

share|cite|improve this answer

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