5
$\begingroup$

Let $f \colon [a,b] \rightarrow \mathbb{R}$ be a continuous function on a compact interval of the real line. Suppose that $f$ is differentiable almost everywhere and that $f'(x) \geq 0$ at every point of differentiability. Is it true that $f$ is non-decreasing on [a,b]?

(If $f$ is $\textit{absolutely}$ continuous, this is certainly true, but I'm not so sure what happens if you weaken the assumption to mere continuity.)

$\endgroup$
2
  • $\begingroup$ Take whatever piece-wise differentiable and increasing function you like. No reason for it to be increasing on the whole interval. $\endgroup$
    – Ningxin
    Commented Jul 1, 2016 at 16:26
  • $\begingroup$ @Arthur True, but I don't see what that has to do with the question... $\endgroup$ Commented Jul 1, 2016 at 16:55

1 Answer 1

7
$\begingroup$

No. The Cantor-Lebesgue function $f$ is continuous, non-decreasing, non-constant, and satisfies $f'=0$ almost everywhere. It's not hard to see that $f$ is non-differentiable at every point of the Cantor set. So $g=-f$ is a counterexample to your question: $g$ is continuous, differentiable almost everywhere, satisfies $g'\ge 0$ at every point of differentiability, but $g$ is not non-decreasing.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .