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 x∈C 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 n∈N such that an=1. If for all n∈N, an∈{0,2}, let N=∞.
Now define bn=an2 for all n<N and bN=1.
Then f(x)=N∑i=1bn2n.
No comments:
Post a Comment