Symmetric derivatives of non-measurable functions (Q1824711)

Let \(f^ s(x)\) \((\bar f^ s(x),\underline f^ s(x))\) be the usual (upper, lower) symmetric derivative of \(f: R\to R\) (R - the real line) at x. It is known the following analogy of the Denjoy-Young-Saks Theorem: For any measurable real function f and for almost every x, either \(f^ s(x)\) exists (finite) or else \(\underline{f}^ s(x)=-\infty\) and \(\bar f^ s(x)=+\infty\) [\textit{C. C. Ezzell} and \textit{J. E. Nymann}, Rev. Roum. Math. Pures Appl. 17, 237-241 (1972; Zbl 0242.26006)]. The above statement does not hold for arbitrary functions. This was shown by \textit{J. Uher} [Real Anal. Exch. 13(1987-88), 35-38 (1988)]. The present authors show that in one sense, the symmetric version of the Denjoy- Young-Saks Theorem fails in the worst possible way.