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
    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

    Identifiers