A Measure Zero Universal Differentiability Set in the Heisenberg Group

Andrea Pinamonti, Gareth Speight

We show that the Heisenberg group ${\mathbb{H}}^n$ contains a measure zero set $N$ such that every Lipschitz function $f:{\mathbb{H}}^n\to \mathbb{R}$ is Pansu differentiable at…