Null sets and essentially smooth Lipschitz functions

In this paper we extend the notion of a Lebesgue-null set to a notion which is valid in any completely metrizable Abelian topological group. We then use this definition to introduce and study the class of essentially smooth functions. These are, roughly speaking, those Lipschitz functions which are smooth (in each direction) almost everywhere.