Ricerche sulle funzioni derivate. (Q1496999)

Im Anschluß an \textit{Lebesgue}, in dessen Beweisen Verf. Lücken und Unrichtigkeiten findet, werden in der ersten Mitteilung folgende Sätze streng begründet: 1. Jede der vier Ableitungen der stetigen Funktion \(f(x)\) ist eine Funktion zweiter Klasse im Sinne \textit{Baires}, mithin meßbar im Sinne \textit{Lebesgues}; 2. Wenn die obere rechtsseitige Ableitung \(\overline u (x)\) von \(f(x)\) in \((a,b)\) beschränkt ist, so gilt die Formel \[ \int_a^b \overline u (x)dx=f(b)-f(a). \] Wenn \(\underline u(x)\), die untere rechtsseitige Ableitung von \(f(x)\), in \((a,b)\) beschränkt ist, so hat man auch \[ \int_a^b\underline u (x)dx=f(b)-f(a). \] Es ist also \[ \int_a^b\{ \overline u (x)-\underline u (x)\} dx =0, \] und hieraus folgt nach einem Theorem von \textit{Vitali}, daß \(\overline u(x)-\underline u(x)\) überall Null ist, abgesehen von einer Punktmenge vom Maße 0. Sind alle vier Ableitungen in \((a,b)\) beschränkt, so fallen sie überall zusammen, abgesehen von einer Punktmenge vom Maße 0. 3. Das unbestimmte Integral einer beschränkten meßbaren Funktion hat überall, mit Ausnahme einer Punktmenge von Maße 0, eine Derivierte, die gleich dem Integranden ist. In der zweiten Note beschäftigt sich Verf. mit den Unendlichkeitsstellen der vier Ableitungen einer stetigen Funktion. In der dritten Note wird der Fundamentalsatz der Integralrechnung für Funktionen mit nicht beschränkten Ableitungen aufgestellt. Dabei ergibt sich das folgende wichtige Resultat: Die notwendige und hinreichende Bedingung dafür, daß bezüglich einer in \((a,b)\) stetigen Funktion \(f(x)\) und irgend einer ihrer Ableitungen \(u(x)\) der Fundamentalsatz der Integralrechnung gilt, lautet so: Die Menge der Funktionswerte in einer beliebigen Punktmenge vom Maß 0 hat das Maß 0. Das Maß 0 hat ferner die Menge der Stellen, an welchen irgend eine der Ableitungen unendlich wird. Außerdem existiert in \((a,b)\) das \textit{Lebesgue}sche Integral der Ableitung.