A continuous function with no unilateral derivative. (Q2596057)

\textit{A. S. Besicovitch} hat (Bull. Acad. Sci. URSS, Leningrad, (6) 19 (1925), 527-540) ein Beispiel einer geraden stetigen Funktion \(B(x)\) angegeben, für die auf \((-1, + 1)\) überall die Beziehung \(D_+B(x)<D^+B(x)\) und mithin wegen der Geradheit auch \(D_{-}B(x)<D^-B(x)\) gilt, und die infolgedessen nirgends auf \((- 1, + 1)\) eine einseitige endliche oder unendliche Ableitung besitzt. Daher werden stetige Funktionen, die nirgends eine einseitige endliche oder unendliche Ableitung besitzen, als Besicovitchsche Funktionen bezeichnet. \textit{S. Saks} hat (Fundamenta Math., Warszawa, 19 (1932), 211-219; JFM 58.0256.*-257) bewiesen, daß die Klasse dieser Funktionen im Raum aller stetigen Funktionen von erster Kategorie ist. Während \textit{E. D. Pepper} (Fundamenta Math., Warszawa, 12 (1928), 244-253; F. d. M. 54, 275) das von \textit{Besicovitch} gegebene Beispiel selbst näher untersucht und in der Beweisführung vereinfacht hat, gibt Verf. hier ein völlig neues Beispiel einer Besicovitchschen Funktion, und zwar gelingt ihm die Definition einer auf \((-1, + 1)\) geraden stetigen Funktion \(F(x)\), die dort überall die Eigenschaft \[ \liminf_{\xi \to x+}\,\biggl|\,\frac{F(\xi )-F(x)}{\xi -x}\,\biggr|<\limsup_{\xi \to x+}\,\biggl|\,\frac{F(\xi )-F(x)}{\xi -x}\,\biggr|=\infty \] besitzt. (IV 3 A.)