Eine Eigenschaft der fast überall nicht differenzierbaren, stetigen Funktionen. (Q572514)

Verf. gibt zunächst drei bekannte Sätze über die linken und rechten oberen und unteren Ableitungen \(D^-\), \(D_-\), \(D^+\), \(D_+\) einer Funktion \(f(x)\) an einer Stelle \(x\) an und benutzt sie zum Beweise des von ihm aufgestellten Satzes: Jede in einem Intervall \((a,b)\) stetige Funktion, die in fast allen Punkten von \((a,b)\) keine Ableitung hat, hat auf einem ``Residuel'' in \((a,b)\) gleichzeitig die extremen Ableitungen \(D^+ = D^-=+\infty\) und \(D_+ = D_- = -\infty\). Dabei versteht man unter einem Residuel in \((a, b)\) eine Menge, deren in bezug auf \((a,b)\) komplementäre Menge eine Menge erster Kategorie ist; die letztere ist nach der Definition von \textit{R. Baire} eine Menge, die die Summe einer Folge von Mengen ist, die in \((a,b)\) nirgends dicht sind. (IV 3 A.)