# Does there exist a nowhere differentiable, everywhere continous, monotone somewhere function?

Is there a nowhere differentiable but continuous everywhere function which is monotone in some small interval however small it is?

Until now I have seen only the Weierstrass function and it seems to be oscillating everywhere.

• No. Monotone on an interval implies differentiable almost everywhere on that interval.
– ocg
Mar 20, 2014 at 16:28
• @JulienGodawatta can you please post a proof of the result Mar 20, 2014 at 16:31
• @DanielFischer thank you I have not yet studied differentiation in the lebesgue context so is there some intuitive way to see it Mar 20, 2014 at 16:38
• I expect there is a more elementary argument for monotonic functions, but I don't see it at the moment, sorry. Mar 20, 2014 at 16:47
• For those interested, Rubel's 1963 paper Differentiability of monotonic functions is possibly the most elementary (in the sense of mathematical machinery used) proof I've seen. (No vitali covering theorem, for instance.) Also, Riesz/Nagy's book Functional Analysis may have a simple proof for the case when the monotone function is continuous, which is enough for the issue being discussed here, but my copy is at home and I'm elsewhere. Mar 20, 2014 at 17:13

It is well known that if $f : [a; b] \to R$ is increasing, then f is differentiable a.e., and $\int_a^bf^{'}(x)dx \le f(b)-f(a)$(see, for example,