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?



Lebesgue differentiation theorem beyond Euclidean spaces
A standard reference on derivation theory:  

Hayes & Pauc, *[Derivation and Martingales](http://dx.doi.org/10.1007/978-3-642-86180-2)* (Springer 1970)


(plug) there is a chapter on derivation in:  

Edgar & Sucheston, *[Stopping Times and Directed Processes](http://dx.doi.org/10.1017/CBO9780511574740)* (Cambridge Univ Pr 1992) 


