1

The Cantor-Lebesgue function gives an example of a function which is increasing but whose derivative (where it exists) is $0$. But is the following true?

Let $f$ is a continuous function on a compact set, $K \subset \mathbb{R}$. Suppose $f'$ exists and $f'>0$ on a dense subset of $K$, then $f$ is increasing.

Does it make a difference if $K$ is an interval or not?

NPH
  • 417

1 Answers1

2

Minkowski's question mark function is a strictly increasing continuous function $?$ on $[0,1]$, with $?(0)=0$ and $?(1)=1$, whose derivative exists and is $0$ on the rationals. Thus $f(x) = x - ?(x)$ is a continuous function whose derivative is $+1$ on a dense subset of $[0,1]$, but $f(1) = f(0)=0$ so $f$ is not increasing.

Robert Israel
  • 470,583