I've got the following two exercises to solve:
Consider the measure space where B denotes the Borel-sigma-algebra and the Lebesgue-measure.
Let and continuous. Show that
is differentiable and that
If is almost everywhere continuous only is then
almost everywhere as well?
Why? Prove your answer!
According to the theorem of Radon-Nikodym for then
Obviously the derivative of this is g but how can one show this in a proper way?
I also tried it this way:
but what then is x and 0? Definitely not a one-point set... cause then it was all zero.
I'd say that this is right because where
is a Lebesgue-zero set but how to show?
Could please someone help me to solve this exercise? Any hint would be appreciated.