Can you prove that if a function’s derivative is positive for all points where the function is differentiable then it is increasing

calculusderivativesmonotone-functionsreal-analysis

I'm familiar with the proof that if the first derivative is always positive then the function is increasing which uses the Mean Value Theorem. How can it be shown that the function not being differentiable at some point does not affect this property? For example a function may have a jump discontinuity with the derivative not being defined at a point but still be increasing.

Best Answer

It may not always be the case. Consider the "fractional part" function:

$$f(x) := \{x\} := x - \lfloor x \rfloor$$

This function, in some sense, returns the "decimal part" of $x$. Hence

  • $f(1.5) = 0.5$
  • $f(\pi) = 0.14159...$

...though, for negative numbers, it returns the decimal part in the "other direction":

  • $f(-1.3) = 0.7$
  • $f(-2.1) = 0.9$

...and so on.

The graph itself looks like $y=x$ for $0 \le x < 1$, repeated over and over again:

enter image description here

Where it is differentiable, $f'$ is always positive, but clearly it is not always increasing (because of the times it jumps down).

Related Question