Théorème de Denjoy sur la dérivée d'une fonction arbitraire par rapport à une fonction continue. (Q2580037)

Es seien \(f (x)\), \(\varphi (x)\) eindeutige, reelle, endliche, in \([0,1]\) erklärte Funktionen. Die Derivierten \(\overline{D}^{\pm}(x;f,\varphi)\), \(\underline{D}^{\pm}(x;f,\varphi)\) von \(f\) bezüglich \(\varphi\) an der Stelle \(x\) seien in üblicher Weise erklärt; z. B. \[ \overline{D}^+ = \overline{D}^+(x;f,\varphi) = \underset{x'\to x} {\overline{\lim}} \dfrac{f(x')-f(x)}{\varphi(x')-\varphi(x)}, \quad \text{ wobei } \quad \varphi(x') > \varphi(x). \] Man sage ferner: Das Paar \((f,\varphi)\) besitzt Denjoy-Eigenschaft, wenn für alle \(x\in[0,1]\), ausgenommen eine Menge \(E\) mit \(\text{mes}\, \varphi (E) = 0\), eine der folgenden vier Beziehungen richtig ist: \ \ I) \(\overline{D}^-=\overline{D}^+=+\infty\), \(\underline{D}^-=\underline{D}^+=+\infty\); \ II) \(\underline{D}^-=-\infty\), \(-\infty < \underline{D}^+=\overline{D}^-<+\infty\), \(\overline{D}^+\equiv +\infty\); III) \(\overline{D}^-=+\infty\), \(-\infty<\underline{D}^-=\overline{D}^+<+\infty\), \(\underline{D}^+=-\infty\); \,IV) \(-\infty<\underline{D}^-=\underline{D}^+=\overline{D}^-=\overline{D}^+<+\infty\). \noindent Es wird gezeigt: Damit bei gegebenem \(\varphi(x)\) alle \((f,\varphi)\) Denjoy-Eigenschaft besitzen, ist jede der beiden folgenden Bedingungen für sich notwendig und hinreichend: A) Für die Menge \(E_1\) der Unstetigkeitspunkte von \(\varphi(x)\) gilt \(\text{mes}\,\varphi(E_1) = 0\); B) die Paare \((\varphi^3, \varphi)\) und \(\left((\varphi+1)^3,\varphi\right)\) besitzen Denjoy-Eigenschaft.