Sur l'approximation des fonctions continues et des fonctions sommables. (Q1829804)

Verf. hat in zwei früheren Arbeiten [Math. Ann. 69, 449--497 (1910; JFM 41.0383.01); C. R. 150, 674--677 (1910; JFM 41.0458.03)] je eine notwendige und hinreichende Bedingung angegeben dafür, daß: (A) ein System von höchstens abzählbar vielen Gleichungen \[ \int\limits_E f_k(x)\varphi(x)\,dx=c_k \qquad (k = 0,1,2,\ldots) \tag{1} \] mit Funktionen \(f_k(x)\), die sämtlich zur Klasse \(L^p\) gehören, eine zur Klasse \(L^q\) gehörende Lösung \(\varphi(x)\) besitzt, die überdies der Bedingung \[ \int_E |\varphi(x)|^q \,dx\le M^q \] genügt (\(E\) eine meßbare Menge von positivem Maß, \(p>1\), \(q=\dfrac p{p-1}\), \(M>0\)); (B) ein System von höchstens abzählbar vielen Gleichungen \[ \int_a^b f_k(x)\,da(x)=c_k \qquad (k = 0,1,2,\ldots) \tag{2} \] mit stetigen Funktionen \(f_k(x)\) eine Lösung \(a(x)\) von beschränkter Variation besitzt, deren totale Variation auf \(\langle a, b\rangle\) eine vorgeschriebene positive Zahl nicht übertrifft (die Integrale in (2) sind im Sinne von \textit{Stieltjes} zu nehmen). Aus diesen Sätzen (A) und (B) werden in der vorliegenden Arbeit in einfacher Weise zwei Sätze (C) und (D) gefolgert, von denen (C) hier genannt sei: (C) Wenn die Folge der Funktionen \(f_n(x)\), die sämtlich der Klasse \(L^p\) angehören, in der Ordnung \(p\) schwach gegen die Funktion \(f(x)\) konvergiert, so lassen sich eine natürliche Zahl \(n\) und Zahlen \(\mu_1,\mu_2,\ldots,\mu_n\) so angeben, daß das Integral \[ \int_E\left| f(x)-\sum_{k=1}^{n} \mu_kf_k(x)\right|^p\,dx \] beliebig klein wird.