On the interchange of limit and Lebesgue integral for a sequence of functions. (Q572361)

\textit{R. L. Jeffery} hat sich mit einer Folge \(\{f\}\) von integrierbaren Funktionen \(f_1, f_2, \ldots\) über einer meßbaren Menge \(E\) beschäftigt (vgl. vorstehendes Referat); die Folge konvergiere gegen eine integrierbare Funktion \(F\). Wenn \[ \lim\limits_{n \to \infty} \int\limits_{E} f_n(x) \, dx = \int\limits_{E} F(x) \, dx \] ist, so bezeichnet man die Folge \(\{f\}\) als integrierbar. In der erwähnten Arbeit werden notwendige und hinreichende Bedingungen für die Gültigkeit dieser Beziehung angegeben. Verf. beweist die Notwendigkeit und das Ausreichen einer andern Bedingung dafür, die er in dem folgenden Satz formuliert: Wenn \(U(n,\delta)\) die kleinste obere Grenze und \(L(n,\delta)\) die größte untere Grenze von \(\int\limits_{e} f_n(x) \, dx\) für alle meßbaren Teilmengen \(e\) von \(E\) ist, wobei das Maß \(m(e)\) von \(e\) stets der Ungleichung \(m(e) \leqq \delta\) genügt, dann gibt es eine hinreichende und notwendige Bedingung für die Gültigkeit der Beziehung \[ \lim\limits_{n \to \infty} \int\limits_{E} f_n(x) \, dx = \int\limits_{E} F(x) \, dx, \] und diese lautet: Es gilt die Gleichung \[ \lim\limits_{\delta \to 0} \lim\limits_{n \to \infty} [U(n,\delta)+L(n,\delta)] = 0. \] (IV 3 C.)