5
$\begingroup$

Problem

Suppose that $f:(a,b)\to\Bbb R$ is monotonic, and $D=\left\{\,x\;\big|\;f\textrm{ is not differentiable at }x\,\right\}$. Try to prove that for each $\eta>0$, $D$ could be covered by a collection (at most countable) of open intervals $\{O_n\}_{n=1}^\infty$ whose total length is smaller than $\eta$.

Motivation

I heard that it's a well-known theorem in measure theory. I wonder whether we could work without measure theory, where our tools are so elementary, just as in calculus course.

Thoughts

Let $\varphi(x)=\limsup_{\Delta x\to0}\frac{f(x+\Delta x)-f(x)}{\Delta x}-\liminf_{\Delta x\to0}\frac{f(x+\Delta x)-f(x)}{\Delta x}$, then $D=\left\{\,x\;\big|\;\varphi(x)>0\,\right\}$. Let $D_\varepsilon=\left\{\,x\;\big|\;\varphi(x)\ge\varepsilon\,\right\}$, we have $D=\bigcup_{n=1}^\infty D_{1/n}$, therefore it suffices to prove that $D_\varepsilon$ could be covered by a collection (at most countable) of open intervals whose total length is less than $\eta$, for each $\varepsilon,\eta>0$.

  • 0
    @FrankScience: You are welcome!2012-12-16

1 Answers 1

1

An elementary proof that does not employ any measure theory has been given by Riesz. An exposition of the proof can be found right at the beginning of "Functional Analysis" by Riesz and Nagy. The proof is given mainly for the case in which the function is also continuous and the extension to the full theorem only sketched.

A detailed account of how one can extend the result from the continuous to the discontinuous case is given in Rubel, Differentiability of monotonic functions 1963, Colloquium Mathematicum. The paper also references a paper (in French) by Lipinski that provides another elementary proof.

More recently, a different elementary proof has been given in Botsko, An Elementary Proof of Lebesgue's Differentiation Theorem 2003, The American Mathematical Monthly. The proof works by verifying that the set of points where the upper and lower derivative disagree has measure zero. A similiar approach is followed by Az here.

  • 0
    @FrankScience The edit should adress your concerns.2012-12-19