Sur les nombres dérivés approximatifs. (Q2617072)

Für jede meßbare endliche Funktion \(x(t)\) in einem Intervall \((a,b)\) hatten \textit{Denjoy} (Annales Ecole norm. (3) 33 (1916), 127-222; F. d. M. 46, 382 (JFM 46.0382.*)) und \textit{Khintchine} (1924; F. d. M. 50, 189 (JFM 50.0189.*)), bewiesen, daß in fast allen Punkten \(t\) von \((a,b)\) einer der folgenden beiden Fälle eintritt: Entweder besitzt \(x(t)\) in \(t\) eine näherungsweise endliche Ableitung (``dérivée approximative''), oder es ist jede der beiden Zahlen \(+\infty \) und \(-\infty \) eine ``ungefähre'' rechte und linke Ableitung (``dérivée essentielle'') von \(x(t)\). Zur Erklärung: Die ``näherungsweise'' Ableitung wird gebildet über eine meßbare Menge, welche in \(t\) die Dichte Eins besitzt, die ``ungefähre'' rechte (linke) Ableitung über eine Menge, welche in \(t\) die obere rechte (linke) Dichte Eins besitzt. Verf. vervollständigt nun die Aussagen von \textit{Denjoy} und \textit{Khintchine} durch zwei weitere wichtige Feststellungen: (1) Es gibt eine im abgeschlossenen Intervall \((0,1)\) stetige Funktion, für welche fast überall nur \(+\infty \) und \(-\infty \) ungefähre Ableitungen sind, also der zweite Fall der Aussagen von \textit{Denjoy} und \textit{Khintchine} in verstärktem Maße eintritt und die endlichen Ableitungen eine ganz untergeordnete Rolle spielen. (2) Ist \(C\) der Raum aller stetigen Funktionen \(x(t)\) im Intervall \((0,1)\), so haben die \(x(t)\) bis auf eine Untermenge erster Kategorie von \(C\) folgende Eigenschaft: Sie besitzen in fast allen Punkten von \((0,1)\) jede beliebige reelle Zahl, einschließlich \(+\infty \) und \(-\infty \), als ungefähre Ableitung. Dieser überraschende Satz weist wieder einmall nach, daß die Menge der diffenezierbaren Funktionem unter den stetigen Funktionen gleichsam verschwindet.