Typical differentiability within an exceptionally small set (Q776923)

In this paper, the existence of a purely unrectifiable set in which the typical Lipschitz function has a large set of differentiability points is established. The following is the main result of this exposition. Theorem. There exists a (Borel) purely unrectifiable set \(P\subseteq [0,1]^2\) such that the typical function \(f\in\mathrm{Lip}_1([0,1]^2)\) has points of differentiability in \(P\) and moreover the set \(\mathrm{Diff}(f)\cap P\) of these points is large in the following senses (a) \(\mathrm{Diff}(f)\cap P\) has non-\(\sigma\)-finite one dimensional Hausdorff measure; (b) \(\mathrm{Diff}(f)\cap P\) projects in every direction to a set of positive Lebesgue measure, i.e., \(\mathcal L(\langle\mathrm{Diff}(f)\cap P,e \rangle)> 0\), for every \(e\in S^1\). Further aspects occasioned by these developments are also being discussed.