MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top
  1. To formulate Lebesgue differentiation theorem one needs a metric and a measure. Apart from the Euclidean spaces i.e. $\mathbb R^d$, the theorem holds true for homogeneous groups (e.g. Heisenberg group) and spaces of homogeneous type. (E. Stein: Harmonic Analysis; S. Krantz: Panorama of Harmonic analysis). The argument needs Hardy-Littlewood maximal inequality and that needs the ball-doubling property of the metric-measure space. But the theorem is also true for some spaces without that property (e.g hyperbolic spaces) as proved by Statnton and Tomas (1979 Proc. AMS). I am wondering if it is known by now where such a theorem is true, is there any criterion by which we can determine whether this theorem will be true in a metric-measure space or not.

  2. Wikipedia says that Lebesgue Density theorem is a weaker version of Lebesgue differentiation theorem. In fact Lebesgue Density theorem is the Lebesgue differentiation theorem for indicator functions. Is there a space where the density theorem is true but not the differentiation theorem?

share|cite|improve this question
up vote 0 down vote accepted

A standard reference on derivation theory:
Hayes & Pauc, Derivation and Martingales (Springer 1970)

(plug) there is a chapter on derivation in:
Edgar & Sucheston, Stopping Times and Directed Processes (Cambridge Univ Pr 1992)

share|cite|improve this answer

MR1800917 Heinonen, Juha. Lectures on analysis on metric spaces. Universitext. Springer-Verlag, New York, 2001. x+140 pp.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.