Algorithmic aspects of Lipschitz functions
arXiv:1402.2429 · doi:10.3233/COM-14025
Abstract
We characterize the variation functions of computable Lipschitz functions. We show that a real z is computably random if and only if every computable Lipschitz function is differentiable at z. Beyond these principal results, we show that a real z is Schnorr random if and only if every Lipschitz function with -computable derivative is differentiable at z.
18 pages