Lebesgue points for Sobolev functions on metric spaces

Our main objective is to study the pointwise behaviour of Sobolev functions on a metric measure space. We prove that a Sobolev function has Lebesgue points outside a set of capacity zero if the measure is doubling. This result seems to be new even for the weighted Sobolev spaces on Euclidean spaces. The crucial ingredient of our argument is a maximal function related to discrete convolution approximations. In particular, we do not use the Besicovitch covering theorem, extension theorems or representation formulas for Sobolev functions.