Stepanov theorem

This category corresponds roughly to MSC {{{id}}} {{{title}}}; see {{{id}}} at MathSciNet and {{{id}}} at zbMATH.

A theorem proved by Stepanov about the differentiability of Lipschitz functions .

Theorem Let $E\subset \mathbb R^m$ be measurable and $f: E \to \mathbb R^n$ a measurable function. Then $f$ is a.e. differentiable on the set \[ \left\{x\in E: \limsup_{y\to x} \frac{|f(x)-f(y)|}{|x-y|} < \infty \right\}\, . \]

For a proof see Theorem 3.1.9 of  . Stepanov's theorem can be easily concluded from Rademacher's theorem. This is classically done through Lebesgue's density theorem, cf. Theorem 1 in Density of a set, but there is a an elementary derivation by Maly, see  . The measurability assumption can be dropped.

References

	L.C. Evans, R.F. Gariepy, "Measure theory and fine properties of functions" Studies in Advanced Mathematics. CRC Press, Boca Raton, FL, 1992. MR1158660 Template:ZBL
	H. Federer, "Geometric measure theory". Volume 153 of Die Grundlehren der mathematischen Wissenschaften. Springer-Verlag New York Inc., New York, 1969. MR0257325 Template:ZBL
	J. Maly, A simple proof of the Stepanov theorem on differentiability almost everywhere. Exposition. Math. 17 (1999), no. 1, 59–61. MR1687460