Derivatives of type 1 (Q1090784)

Let C be the space of all continuous functions on R (R - the real line) endowed with the topology of locally uniform convergence, let \(C^*\) be the dual of C and let M be the set of all nonnegative measures in \(C^*\) with total mass one. Let \(f:R\to R\) be a bounded Lebesgue measurable function. The fact that f is a derivative of its indefinite integral at x depends on the set \(M_ x(f)\) of all limit points of a (precisely determined) subfamily of measures of M. The following statements are equivalent: (i) For any homeomorphism \(\phi:R\to R\) the indefinite integral of \(\phi \circ f\) is differentiable at x; (ii) For any continuous function \(f:R\to R\) the indefinite integral of \(\phi \circ f\) is differentiable at x; (iii) \(M_ x(f)\) contains exactly one measure. Definition: A bounded function of the first class is said to be of type k if, for any \(x\in R,\) the dimension of the linear span of \(M_ x(f)\) is at most k. Let \(f:R\to R\) be a function of type 1 and let \(x\in R.\) Then \(M_ x(f)\) contains exactly one measure \(\mu^ f_ x\). Theorem: Let \(f:R\to R\) be a function of type 1, \(S\subset R\) a \(G_{\delta}\)-set of measure zero containing \(R-A_ f\) \((A_ f\)- the set of the points at which f is approximately continuous), \(\epsilon\) a positive number and \(Y=\{y_ 1,...,y_ m\}\subset R\) a finite set such that \(dist(f(x),Y)<\epsilon /4\) for any \(x\in R.\) Then there exists a function h of type 1 such that \(A_ h\supset A_ f,| f-h| <\epsilon,\) and, for any \(x\in S,\mu^ h_ x=\sum^{m}_{i=1}a_ i(x)\epsilon_{y_ i}\) \((\epsilon_ y\) denotes the Dirac measure concentrated at y). It can be shown that there is a pseudouniformity \(\mu\) on R such that \(\mu\)-uniformly continuous functions are exactly the functions of type 1. The article has an informative character. It contains no proof.