Nonnegative derivative that is not identically zero on any interval implies increasing

Statement

On an open interval

Suppose $f$ is a function on an open interval $I$ that may be infinite in one or both directions (i..e, $I$ is of the form $\!(a,b)$, $(a,\infty )$, $(-\infty ,b)$, or $(-\infty ,\infty )$). Suppose the derivative of $f$ exists and is nonnegative everywhere on $I$, i.e., $\!f'(x)\geq 0$ for all $x\in I$. Further, suppose that there is no sub-interval of $I$ such that $f'(x)=0$ for all $x$ in the sub-interval. Then, $f$ is an increasing function on $I$, i.e.:

$x_{1},x_{2}\in I,x_{1}<x_{2}\implies f(x_{1})<f(x_{2})$

On a general interval

Suppose $f$ is a function on an interval $I$ that may be infinite in one or both directions and may be open or closed at either end. Suppose $f$ is a continuous function on all of $I$ and that the derivative of $f$ exists and is nonnegative everywhere on the interior of $I$, i.e., $\!f'(x)\geq 0$ for all $x\in I$ other than the endpoints of $I$ (if they exist). Further, suppose that there is no sub-interval of $I$ such that $f'(x)=0$ for all $x$ in the sub-interval. Then, $f$ is an increasing function on $I$, i.e.:

$x_{1},x_{2}\in I,x_{1}<x_{2}\implies f(x_{1})<f(x_{2})$

Isolated points version

Formulation and relationship between the formulations

The following is true:

The derivative is zero only at isolated points, i.e., the set of points at which the derivative is zero is a discrete subset of the reals $\implies$ The derivative is not zero on any interval

Thus, the condition of derivative not being zero on any interval can be replaced by the stronger condition that the derivative is zero only at isolated points. The resulting statement is somewhat weaker (i.e., less powerful) because it assumes a stronger hypothesis on the function. In other words, there do exist functions that satisfy the hypothesis with the not zero on any interval version and are hence increasing but where the set of points for the derivative to be zero is not a discrete subset. (See example below).

For most practical purposes, the isolated points formulation suffices.

Example to indicate the distinction

Consider the function:

$g(x):=\left\lbrace {\begin{array}{rl}|x\sin(1/x)|,&x\neq 0\\0,&x=0\\\end{array}}\right.$

$g$ is a continuous function, and we can hence define:

$f(x):=\int _{0}^{x}g(t)\,dt$

Thus, by the fundamental theorem of calculus, $\!f'=g$. Note that by definition, $g(x)\geq 0$ for all $x$, because the outer part of the composite is an absolute value function. Also, the set of points where $g(x)=0$ is $\{0\}\cup \{1/(n\pi ):n\in \mathbb {Z} \}$, which is not a discrete set (in particular, the point 0 is not an isolated point and is in fact a limit point). However, it is true that the zero set of $g$ does not contain any intervals, and hence we can still conclude that $f$ is an increasing function on all of $\mathbb {R}$.

Related facts

Similar facts

• Positive derivative implies increasing
• Zero derivative implies locally constant
• Negative derivative implies decreasing

Converse

• Increasing and differentiable implies nonnegative derivative that is not zero on any interval