The Lebesgue differentiation theorem revisited

Abstract

We prove a general version of the Lebesgue differentiation theorem where the averages are taken on a family of sets that may not shrink nicely to any point. These families of sets involve the unit ball and its dilated by negative integers of an expansive linear map. We also give a characterization of the Lebesgue measurable functions on R^n in terms of approximate continuity associated to an expansive linear map.