On relative approximate derivatives (Q1065176)

The author, under some suitable conditions on f, obtains an extension of a theorem of \textit{S. E. Chow} [Bull. Am. Math. Soc. 54, 793-802 (1948; Zbl 0032.151)] concerning approximate derivatives of an arbitrary function f, to the approximate \(\omega\)-derivatives setting, where \(\omega\) is an increasing real function. Let \(E\subset {\mathbb{R}}\) be a bounded, \(\omega\)-measurable set, and let \(\omega A^+\), \(\omega A^-\), \(\omega A_+\), \(\omega A_-\) be the approximate \(\omega\)-derivatives of f. Then the main results of the paper are the following: (I) Let f:E\(\to {\mathbb{R}}\) be an \(\omega\)-measurable function. Then for a.e. \(x\in E\), either f is approximately \(\omega\)-derivable or else \(\omega A^+=\omega A^-=+\infty\) and \(\omega A_-=\omega A_+=-\infty.\) (II) Let f:E\(\to {\mathbb{R}}\) be an arbitrary function. Then one of the following two cases must occur, for a.e. \(x\in E:\) (a) f is approximately \(\omega\)-derivable; (b) \(\omega A^+=\omega A_-\) (finite), \(\omega A_+=-\infty\), \(\omega A^-=+\infty\); or \(\omega A_+=\omega A^-\) (finite), \(\omega A^+=+\infty\), \(\omega A_-=-\infty\).