Sur les suites convergentes des intégrales définies. (Q1460286)

Lebesgue hat 1909 bei einer Reihe von festen Funktionsklassen (\(F1 = \) summierbare Funktionen \(f(\alpha), \dots, F_5 =\) Funktionen \(f(\alpha)\) von beschränkter Schwankung) die notwendigen und hinreichenden Bedingungen für eine Funktionenfolge \(\varphi_n (\alpha)\) angegeben, für die \[ \lim_{n \to \infty} \int_a^b f(\alpha) \varphi_n(\alpha)\, d\alpha = 0 \tag{1} \] ausfällt. Der Verf. stellt und löst das gleiche Problem für zwei weitere wichtige Klassen: \(F_6 =\) im Riemannchen Sinne integrierbare Funktionen, \(F_7 =\) beschränkte Funktionen mit einer abzählbaren Menge von Unstetigkeitspunkten. Bei allen sieben erwähnten Klassen wird auch die Frage nach der Existenz einer endlichen Grenze für die linke Seite von (1) überhaupt untersucht. Ferner wird auch die Umkehrung der Resultate für (1) bei \(F_1, \dots, F_7\) gewonnen; es stellt sich heraus, daß unter den jeweiligen fraglichen Bedingungen für die \(\varphi_n (\alpha)\) die zugehörige Klasse der \(f(\alpha)\) nicht mehr erweitert werden kann. Die gesuchten Bedingungen für \(\varphi_n (\alpha)\) zu \(F_6\) lauten: 1. für jedes \(\lambda\) in \((a, b)\) ist \[ \lim_{n \to \infty} \int_a^\lambda \varphi_n (\alpha)\, d\alpha = 0; \tag{2} \] 2. zu jedem \(\varepsilon > 0\) und jeder abgeschlossenen Menge \(\delta\) von der Jordanschen Länge Null in \((a, b)\) läßt sich eine die letztere einschließende endliche Intervallfolge \(D\) derart angeben, daß man dann hat \[ \int_D |\varphi_n(\alpha)|\, d\alpha < \varepsilon. \tag{3} \] Die entsprechenden Bedingungen zu \(F_7\) sind: 1. die gleiche Bedingung (2) wie oben; 2. gleichmäßige Stetigkeit von \( \int_a^\lambda |\varphi_n (\alpha)|\, d\alpha \) als Funktionen von \(\lambda\) in \((a, b)\) für alle Werte von \(n\). Zum Schluß der Abhandlung wird das bekannte Vitalische Kriterium (Palermo Rend. 23, 137 (1907); F. d. M. 38, 338 (JFM 38.0338.*)) für die Zulässigkeit des Überganges zu \(n = \infty\) unter dem Integralzeichen von (1) für Jordansch meßbare Mengen als nicht mehr notwendig nachgewiesen.