On the functions of Besicovitch in the space of continuous functions. (Q565454)

Verf. bezeichnet als ``\textit{Weierstraß}sche Funktion'' die stetigen Funktionen, die in keinem Punkte eine beiderseitige (endliche oder unendliche) Ableitung haben, und als ``\textit{Besicovicht}sche Funktionen'' die stetigen Funktionen, die in keinem Punkte eine einseitige (endliche oder unendliche) Ableitung besitzen. \textit{Mazurkiewicz} und \textit{Banach} (1931; F. d. M. \(57_{\text{I}}\), 305) hatten bewiesen, daß\ die Komplementärmenge der Klasse derjenigen stetigen Funktionen, die in keinem Punkte eine endliche einseitige Ableitung besitzen, im Raum \({\mathfrak C}\) aller stetigen Funktionen eine Menge erster Kategorie bildet. Dasselbe ist der Fall für die Komplementärmenge der \textit{Weierstraß}schen Funktionen. \textit{Banach} und \textit{Steinhaus} hatten das Problem gestellt, ob sich die \textit{Besicovitch}schen Funktionen ebenso verhalten. Überraschenderweise kann Verf. zeigen. daß\ dies nicht der Fall ist, daß\ vielmehr die Komplementärmenge der \textit{Besicovitch}schen Funktionen im Raume \({\mathfrak C}\) überall von zweiter Kategorie ist. Und er zeigt noch darüber hinaus -unter Verwendung einer brieflichen Mitteilung von \textit{Banach} -, daß\ die Klasse der \textit{Besicovitch}schen Funktionen von erster Kategorie in \({\mathfrak C}\) ist (da nämlich bewiesen werden kann, daß\ diese Klasse eine analytische Menge ist und deshalb die \textit{Baire}sche Eigenschaft besitzt). Das zeigt also, daß\ die Menge der \textit{Weierstraß}schen Funktionen sehr viel umfassender ist als die der \textit{Besicovitch}schen Funktionen, was zugleich erklärt, warum es viel schwieriger gewesen ist, das erste Beispiel einer Funktion der letzteren Art zu finden. Übrigens beweist Verf. gleich noch allgemeiner, daß\ jede stetige Funktion -abgese\-hen von einer Klasse von erster Kategorie in \({\mathfrak C}\) - in einer nicht-abzählbaren Punktmenge eine rechtsseitige Ableitung \(+\infty \) besitzt.