A Measure Zero UDS in the Heisenberg Group

Abstract

We show that the Heisenberg group contains a measure zero set N such that every real-valued Lipschitz function is Pansu differentiable at a point of N.