A dichotomy of sets via typical differentiability

Abstract

We obtain a criterion for an analytic subset of a Euclidean space to contain points of differentiability of a typical Lipschitz function: namely, that it cannot be covered by countably many sets, each of which is closed and purely unrectifiable (has a zero-length intersection with every $C^1$ curve). Surprisingly, we establish that any set failing this criterion witnesses the opposite extreme of typical behaviour: in any such coverable set, a typical Lipschitz function is everywhere severely non-differentiable.

Keywords

• 26B05
• 26A16
• 28A05
• 26A21
• 03E15
• 28A75
• differentiability of Lipschitz functions
• Baire category
• purely unrectifiable
• Banach-Mazur game