La méthode de Perron pour l'intégrale de Denjoy. (Q2586397)

Es wird ein verallgemeinertes Perron-Integral angegeben, welches mit dem allgemeinen Denjoy-Integral äquivalent ist. Verf. führt zunächst eine verallgemeinerte Ableitung ein, welche sich wenig unterscheidet von einer von \textit{J. Ridder} (Fundam. math., Warszawa, 21 (1933), 11-19; F. d. M. \(59_{\text I}\), 274) zu gleichen Zwecken angegebenen. Gegenüber der letzteren hat, nach dem Verf., die von ihm eingeführte den Vorzug, im betrachteten Intervall \([a, b]\) überall bis auf eine abzählbare Menge eindeutig erklärt zu sein und die Stammfunktion bis auf eine additive Konstante eindeutig festzulegen. Im einzelnen handelt es sich um folgendes: Eine in \([a,b]\) stetige Funktion \(F(x)\) heiße \((D)\)-ableitbar in \([a,b]\), wenn \([a,b]\) mit abzählbar vielen perfekten Mengen \(\mathfrak P_\nu\) überdeckt werden kann derart, daß \(F(x)\) auf jedem \(\mathfrak P_\nu\) eine (eventuell auch unendliche) Ableitung \(D(F(x);\mathfrak P_\nu)\) im gewöhnlichen Sinne besitzt \((x\in\mathfrak P_\nu)\). Es gibt dann (höchstens) abzählbar viele Punkte \(x_0\) derart, daß \(x_0\in\mathfrak P_k\), \(x_0\in\mathfrak P_m\), \(k\neq m\) und \(D(F(x_0);\mathfrak P_k) \neq D(F(x_0);\mathfrak P_m)\). Die so bis auf abzählbar viele Ausnahmestellen eindeutig bestimmte Ableitung sei mit \((D)F(x)\) bezeichnet. Eine Funktion \(M (x)\) bzw. \(m(x)\) heiße eine Majorante bzw. Minorante der in \([a,b]\) definierten Funktion \(f(x)\), wenn \(M(x)\) bzw. \(m (x)\) in \([a,b]\) (stetig und) \((D)\)-ableitbar ist, ferner \(M(a) = 0\) bzw. \(m(a)=0\) und \((D) M (x)\geqq f(x)\), \((D) M (x) \neq-\infty\) bzw. \((D) m(x) \leqq f(x)\), \((D) m (x) \neq+\infty\) bis auf abzählbar viele Ausnahmestellen. Wenn für \(x=b\) die untere Grenze aller Majoranten gleich der oberen Grenze aller Minoranten ist, heiße \(f(x)\) (\(D\))-integrabel auf \([a,b]\). Jede \((D)\)-integrable Funktion ist Denjoyintegrabel im verallgemeinerten Sinne und umgekehrt. Die betrachteten Majoranten und Minoranten sind spezielle Fälle der Ridderschen. Die Beweismethode läßt sich auch auf den von \textit{Ridder} (Fundam. math., Warszawa, 21 (1933), 1-10; 22 (1934), 136-162; F. d. M. \(59_{\text{II}}\), 274; \(60_{\text{I}}\), 206) untersuchten Fall der approximativ stetigen Denjoy-Integrale übertragen.