On the derivates of a function. (Q5909524)

Unter den Voraussetzungen: \((a) f(x)\) ist meßbar; \((b) f(x)\) ist überall endlich, werden folgende Sätze bewiesen: 1. Die Punkte, in welchen die obere rechte (linke) Derivierte \(+\infty\) ist und die untere linke (rechte) Derivierte \(-\infty\) ist, bilden eine Menge vom Maße Null. 2. Die Punkte, in welchen \(f(x)\) einen unendlichen rechten (linken) Differentialquotient hat, bilden eine Menge vom Maße Null. 3. Die Punkte, in welchen eine der oberen und eine der unteren Derivierten von \(f(x)\) endlich und ungleich sind, bilden eine Menge vom Maße Null. Wenn die Bedingung (b) durch die Bedingung: (c) \(f(x)\) ist endlich auf einer Menge vom positiven Maß, ersetzt wird, so bleiben diese drei Sätze unverändert, wenn man die Unendlichkeitspunkte von \(f(x)\) außer Acht läßt. Ist (b) durch die Bedingung: (b') \(f(x)\) ist endlich auf einer überall dichten Menge von positivem Maß, ersetzt, so bleiben die Sätze 1 und 3 unverändert; der Satz 2 ist aber durch den folgenden zu ersetzen: 2'. Die Menge der Punkte, in welchen \(f(x)\) einen unendlichen rechten (linken) Differentialquotient hat, besteht aus den Unendlichkeitspunkten von \(f(x)\) und eventuell noch aus einer Menge vom Maße 0. Diese Sätze gelten noch, wenn die Derivierten in bezug auf eine monoton wachsende Funktion genommen werden. Zu bemerken ist, daß\ die Beweise die Integrationstheorie und die \textit{Cantor}schen Zahlen nicht benutzen.