3
$\begingroup$

What does it mean to say a function is differentiable with respect to the lebesgue measure almost everywhere. A definition would be helpfull.

Do I need to learn about the Radon Nikodym derivative to understand this.

Thanks

2 Answers 2

1

After some thought and since I didn't really get any satisfactory answers. This is what I make of the statement.

The definition of differentiation in the statement is taken in the usual sense (the standard defintion from calculus, for some reason I thought the statement was referring to some new definition of differentiation!). So the statemtnt simply says, The set of points at which the function is not differentiable is a null set w.r.t. the lebesgue measure.

So the statement would have been clearer I think if the author had written

$f$ is differentiable almost everywhere with respect to the lebesgue measure ... I think thats right!!

So no new definition of differentiation, phew! just some confusing terminology.

  • 0
    @aukie: Thanks for your appreciation. The last sentence of your post indicates that you did not understand the wiki page I referred to, so let me try to rephrase it. First, in dimension $\ge 2$, Lebesgue theorem deals with limits along very general subsets (not only balls or products). Second, even in dimension $1$, a striking feature of Lebesgue theorem is that, for any integrable function $f$, the set of points where a primitive of $f$ has no derivative cannot be *large*, irrespective of the regularity of $f$. At the time, mathematicians were stunned by this result, but you know better...2011-02-20
  • 3
    @Didier Piau ... I find comments such as "but you know better" and "I wonder what part of your question is not covered" condesending... I didn't ask the question to be mocked. I get it you are intelligent! thats brilliant. Regarding the wiki link, I dont think it clearly explains the meaning of the statement. Ofcourse the Lebesgue Differentiation Theorem is impressive. As far as I understand it in the one dimensional case, it seems to be generalising the fundamental theorem of calculus. But I didnt ask when the primitive of a function is differentiable a.e.2011-02-20
  • 0
    @aukie Wow! Somebody might want to cool down here... In case you are stil interested in mathematical facts, let me recapitulate: the statement *a function is differentiable with respect to the [L]ebesgue measure almost everywhere* means nothing unless translated as Lebesgue differentiation theorem, whose statement is: *Every integrable function is such that any of its primitives is differentiable everywhere except on a set whose Lebesgue measure is zero*. .../...2011-02-20
  • 0
    .../... Thus my answer to your post, indicating that Lebesgue differentiation theorem was the way to put some sense in an otherwise ill-formed statement. In this context, what do you think of the first sentence of your aswer to your own post? Note that two different objects are involved here, an integrable function, often denoted by $f$, and its integrals on various subsets, and that nowhere in your post nor in your answer is mentioned the difference between $f$, about which some hypothesis is made (integrability), and its integrals, about which a conclusion is reached .../...2011-02-20
  • 0
    .../... (almost everywhere differentiability). Note also that in higher dimensions, the definition of differentiability itself is a part of the statement of the theorem and that you mention nowhere in your question that you are interested in the 1D setting only (if this is indeed the case). So, if we leave aside your inflammatory (and unfounded) accusations, where does all this leave us? With a badly formulated question, to which a constructive answer was nevertheless proposed, answer which you met less than charitably, answering yourself your post (!). .../...2011-02-20
  • 0
    .../... To find *condescending* a suggestion that the OP indicate *what part of the question is not covered* by a link provided in an answer is... well, peculiar. If you wander a little bit on this site, you will see that questions answered by their OP are seldom and that answers beginning by the declaration that *[the OP] didn't get any satisfactory answers* are even more seldom. .../...2011-02-20
  • 0
    .../... More usual is the OP reformulating the question, hence beginning a process of mutual enlightement (here, to provide a source where you found the expression in your title, and to explain whether you were interested in the 1D or in the multi-dimensional case, would both seem mandatory). But, on this also, it seems that you know better.2011-02-20
  • 0
    @Didier Piau ... If you dont mind I would like to start again with you. Can I ask you when a statement like "a function $F$ is differentiable wrt the lebesgue measure", is made does this mean, 1) as I mentioned in my "attempted" and not accepted answer. or 2) does it imply that a density $f$ exists such that $F(x)=\int _a^xf(t)dt$, and that the derivative $F'(x):=f(x)$ exists almost everywhere, (where note the derivative of $F$ is defined as $F'(x):=f(x)$ and not by the limit definition of calculus). I've read a statment in the literature and I want to know what it means.2011-02-20
1

I wonder what part of your question is not covered by this page.

  • 0
    The part of whether one needs to know about the Radon-Nikodym derivative first is only answered implicitly in that Radon-Nikodym doesn't show up there. But I think Radon-Nikodym is rather easy compared to Vitali's covering lemma.2011-02-19
  • 0
    To clarify things, can you provide a definition for what it means to say "$f$ is differentiable with respect to the lebesgue measure almost everywhere" I could not infer this from the wiki page. Your help without the sarcastic & patronising remarks would be appreciated.2011-02-20
  • 0
    @Theo: You make a good point and I think I agree with it.2011-02-20
  • 0
    @aukie See my comments appended to your reply to your own post.2011-02-20