On the sequence of functions. (Q2614567)

Die im Mittel konvergente Funktionenfolge \(\{f_n(x)\}\) braucht bekanntlich nicht in fast allen Punkten der abgeschlossenen Definitionsmenge \(\mathfrak M\) zu konvergieren. In Erweiterung eines von \textit{Haar} (Acta Szeged 1 (1923), 167-179; F. d. M. 49, 706 (JFM 49.0706.*)) stammenden Begriffs wird gesagt, \(\{f_n(x)\}\) konvergiere bezüglich der Funktionenfolge \(\{Q_n(x)\}\) \textit{im Mittel} gegen \(f(x)\), wenn \[ \lim_{n\to\infty}Q_n^{-1}\Bigl\{\textstyle \int\limits_{\mathfrak M} Q_n\,\bigl(|\,f_n(x)-f(x)\,|\bigr)\,dx\displaystyle\Bigr\}=0 \] gilt, wo \(Q_n(x)\) in \(0\leqq x < \infty \) eigentlich monoton wächst und \(Q_n(0)=0\) sowie \(PQ_n^2(x)\geqq Q_n(x^2)\) bei festem \(P\) für \(x\leqq \delta \) ist. Hierfür wird bewiesen: Wenn \(\sum\limits_{0}^{\infty }Q_n(x)\) bei festem \(\alpha >0\) für \(x\leqq \alpha \) existiert und \(\{f_n(x)\}\) bezüglich \(\{Q_n(x)\}\) im Mittel gegen \(f(x)\) strebt, so konvergiert \(\{f_n(x)\}\) gegen \(f(x)\) fast überall auf \(\mathfrak M\). (IV 3 D.)