Sur l'intégrale de Perron. (Q2590767)

Die Arbeit zerfällt in zwei Teile: Im ersten wird bewiesen: Eine in \([a, b]\) erklärte, reelle Funktion \(f(x)\) ist Perron-integrabel dann und nur dann, wenn \(f(x)\) Lebesguemeßbar ist und wenn zu \(f(x)\) mindestens eine (Perron-)Majorante und mindestens eine (Perron-)Minorante existieren. Der Nachdruck des Satzes liegt darauf, daß die Perron-Integrabilität bereits aus der Existenz \textit{einer} Majorante und Minorante erschlossen werden kann. Anderer Beweis von \textit{Marcinkiewicz}, vgl. \textit{Saks}, Theory of the integral, Warschau (1937; JFM 63.0183.*) S. 353. -- Im zweiten Teil wird, in Verschärfung eines Ergebnisses von \textit{J. Ridder} (Fundam. math., Warszawa, 22 (1934); 136-162,163-179; JFM 60.0206.*, 207), nachgewiesen, daß die Menge der (im Sinne von \textit{J. C. Burkill}, vgl. Math. Z. 34 (1931), 270-278; JFM 57.0307.*) ``approximativ stetig'' Perron-integrablen Funktionen \textit{echter} Teil der Menge der im gewöhnlichen Sinne Denjoy-integrablen Funktionen ist. (Es handelt sich um das allgemeine Denjoy-Integral.) Diese Feststellung ergibt sich aus dem in der Arbeit bewiesenen Satze: Es sei \(F(x)\) das in \([a, b]\) approximativ stetige Perron-Integral von \(f(x)\). Zu beliebigem \(\varepsilon > 0\) und beliebiger perfekter Teilmenge \(\mathfrak P\) von \([a, b]\) gibt es einen Teil \(\mathfrak Q\) von \(\mathfrak P\) von folgender Eigenschaft: Sind \([\alpha_\nu,\beta_\nu]\) (\(\nu= 1, 2,\ldots\)) die Intervalle des Komplementes von \(\mathfrak Q\), so gibt es auf jedem \([\alpha_\nu,\beta_\nu]\) eine Menge \(\mathfrak E_\nu\), so daß 1) mes\((\mathfrak E_\nu)\geqq (1- \varepsilon)(\beta_\nu-\alpha_\nu)\); 2) \(\sum\limits_{\nu=1}^\infty |F(x_\nu)-F(\alpha_\nu)|\) und \(\sum\limits_{\nu=1}^\infty |F(\beta_\nu)-F(x_\nu)|\) für jedes \(x_\nu\in\mathfrak E_\nu\), \(\nu= 1,2,\ldots\), konvergieren.