Approximate differentiation: Jarník points
Volume 140 / 1991
Fundamenta Mathematicae 140 (1991), 87-97
DOI: 10.4064/fm-140-1-87-97
Abstract
We investigate Jarník's points for a real function f defined in ℝ, i.e. points x for which . In 1970, Berman has proved that the set J_f of all Jarník's points for a path f of the one-dimensional Brownian motion is the whole ℝ almost surely. We give a simple explicit construction of a continuous function f with J_f = ℝ. The main result of our paper says that for a typical continuous function f on [0,1] the set J_f is c-dense in [0,1].