Generalization of a theorem of F. Riesz. (Q1450297)

Verf. beweist den folgenden Satz: Es sei \(E\) eine meßbare Menge von Punkten \(x\) in einem Raum von beliebiger Dimension; ihr Maß sei endlich oder unendlich. Ferner sei \(\{f_n(x)\}\) eine Folge von Funktionen, die in \(E\) definiert sind, und zwar derart, daß \(|f_n(x)|^k\) für jeden Wert von \(n\) über \(E\) integrierbar ist, wobei \(k > 0\), sonst aber eine beliebige Zahl ist. Wenn die Gleichung \[ \lim\limits_{n\to\infty, n'\to\infty}\int\limits_E |f_n(x) f_{n'}(x)|^k dx = 0 \] zu Recht besteht, so gibt es eine fast in allen Punkten von \(E\) definierte Funktion \(f(x)\) mit der Eigenschaft, daß \(|f(x)|^k\) über \(E\) integrierbar ist, und die außerdem die Bedingungen \[ \lim\limits_{m\to\infty}\int\limits_E |f(x) f_m(x)|^k dx = 0 \] und \[ \int\limits_E |f(x)|^k dx = \lim\limits_{m\to\infty}\int\limits_E |f_m(x)|^k dx \] erfüllt.