[SOLVED] measure zero and differentiability


by quasar987
Tags: differentiability, measure, solved
quasar987
quasar987 is online now
#1
Nov24-07, 10:40 AM
Sci Advisor
HW Helper
PF Gold
quasar987's Avatar
P: 4,768
1. The problem statement, all variables and given/known data
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 [tex]J_k=]a_k,b_k[[/tex] such that every x in E belongs to an infinity of J_k and

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

Now the question is the following:

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

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

Show f is not differentiable at any point of E.


2. Relevant equations

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

3. 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

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

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?
Phys.Org News Partner Science news on Phys.org
NASA's space station Robonaut finally getting legs
Free the seed: OSSI nurtures growing plants without patent barriers
Going nuts? Turkey looks to pistachios to heat new eco-city
EnumaElish
EnumaElish is offline
#2
Nov25-07, 09:50 PM
Sci Advisor
HW Helper
EnumaElish's Avatar
P: 2,483
Is "x + h" in J_k for some h > 0?
quasar987
quasar987 is online now
#3
Nov25-07, 10:09 PM
Sci Advisor
HW Helper
PF Gold
quasar987's Avatar
P: 4,768
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
quasar987 is online now
#4
Nov27-07, 10:24 AM
Sci Advisor
HW Helper
PF Gold
quasar987's Avatar
P: 4,768

[SOLVED] measure zero and differentiability


Help!


Register to reply

Related Discussions
[SOLVED] complete measure space Calculus & Beyond Homework 0
Differentiability on R Calculus & Beyond Homework 2
[SOLVED] The &quot;support&quot; of a measure Calculus & Beyond Homework 6
[SOLVED] Using the product measure Calculus & Beyond Homework 0
Differentiability Calculus & Beyond Homework 4