4
$\begingroup$

If $f(x)$ is derivable,and $f'(x)$ is Riemann integrable, the continuity point of $f'(x)$ is dense, i.e. the measure of the set of discontinuity point of the second kind is zero. I'm thinking out that is it true that for all the derivable functions, $f'(x)$ is Riemann integrable? If not,can anyone give me a counterexample?

$\endgroup$
2
  • $\begingroup$ A function can have more than one discontinuity point (and needs not have any). Do you mean "the measure of the set of discontinuity points"? $\endgroup$ – hmakholm left over Monica Apr 23 '12 at 10:03
  • $\begingroup$ @HenningMakholm Sorry,I make a mistake. $\endgroup$ – 89085731 Apr 23 '12 at 10:18
1
$\begingroup$

Assume $f$ is a function on a compact interval. A function on a compact interval is Riemann integrable if and only if it is bounded and continuous almost everywhere (the set of its points of discontinuity has measure zero, in the sense of Lebesgue measure).

Therefore what you are looking for is a function $f$ that is differentiable almost everywhere and its derivative is Lebesgue integrable but not Riemann integrable.

Take a Lebesgue set whose characteristic function is not riemann integrable. Take f to be the antiderivative of this function. Then the Lebesgue Differentiation Theorem does the rest.

$\endgroup$
2
  • 1
    $\begingroup$ You need to be a bit careful about the choice of the "a Lebesgue set": it shouldn't coincide with a Jordan measurable set up to a null set (e.g. the characteristic function of $\mathbb{Q} \cup [0,1]$ is not Riemann integrable but the derivative of its antiderivative will be). Tage e.g. a fat Cantor set to avoid such silliness. $\endgroup$ – t.b. Apr 23 '12 at 11:00
  • $\begingroup$ Of course, thank you for correcting me. $\endgroup$ – fk2012 Apr 23 '12 at 11:11

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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