Saturday, February 11, 2017

real analysis - Differentiability of the Cantor Function

I know that the Cantor function is differentiable a.e. but I want to prove it without using the theorem about monotonic functions. I have already proved that f(x)=0 for all x[0,1]C where C is the Cantor set.



But I'm not sure how to go about proving that if xC then f is not differentiable at x.



Actually, upon reflection, I think I have already proved differentiability a.e. but I would still like to know how to finish this part.



Also, the definition I am using for the function:
f:[0,1][0,1]
Let x[0,1] with ternary expansion 0.a1a2... Let N be the first nN such that an=1. If for all nN, an{0,2}, let N=.




Now define bn=an2 for all n<N and bN=1.
Then f(x)=Ni=1bn2n.

No comments:

Post a Comment

analysis - Injection, making bijection

I have injection f:AB and I want to get bijection. Can I just resting codomain to f(A)? I know that every function i...