Measure zero and differentiability

[quasar987]

[SOLVED] measure zero and differentiability

Homework Statement

I proved in the preceding exercise the following characterization of measure zero:

"A subset E of R is of measure zero if and only if it has the following property:

(***) There exists a sequence J_k=]a_k,b_k[ such that every x in E belongs to an infinity of J_k and

\sum_{k=1}^{+\infty}(b_k-a_k)<+\infty"

Now the question is the following:

Let E be of null measure and {J_k} be as above. Let also f_E:\mathbb{R}\rightarrow\mathbb{R} be the increasing function defined by

f_E(x) = \sum_{k=1}^{+\infty}\lambda(]-\infty,x]\cap J_k)

Show f is not differentiable at any point of E.

Homework Equations

Differentiable iff the limit of the differential quotient exists and is bounded iff the left and right derivative are equal

The Attempt at a Solution

Let h>0 and x0 be in E. I can write the right derivative and use the additivity of measure to simplify to

D_rf_E(x_0)=\lim_{h\rightarrow 0}\frac{\sum_{k=1}^{+\infty}\lambda([x,x+h]\cap J_k)}{h}

then what? What difference does it make than x is in E? I mean, how does the fact that is belongs to an infinity of J_k comes in?

 

[EnumaElish]

Is "x + h" in J_k for some h > 0?

 

[quasar987]

Well, each J_k is open and contains x, so for every k, there is an h, call it h_k such that x + h is in J_k, yes.

 

[quasar987]

Help!