Typical differentiability within an exceptionally small set (Q776923)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Typical differentiability within an exceptionally small set |
scientific article |
Statements
Typical differentiability within an exceptionally small set (English)
0 references
13 July 2020
0 references
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.
0 references
universal differentiability
0 references
Lipschitz function
0 references
unrectifiable and residual set
0 references
Lebesgue measure
0 references
0 references