Sur la convergence presque partout de fonctionnelles linéaires. (Q1450809)

Ausgangspunkt ist der Satz von \textit{Lebesgue}: Damit für eine Folge von beschränkten Funktionen \(\varphi_n\) \[ \lim_{n\to\infty}\int\limits_0^1 f(x)\varphi_n(x)dx=0 \] wird für jedes summierbare \(f(x)\), ist notwendig und hinreichend: \[ \begin{aligned} &|\varphi_n(x)|<m \;\text{für fast alle \(x\) und alle \(n\)},\\ &\lim\limits_{n\to\infty}\int\limits_0^{\alpha}\varphi_n(x)dx=0 \;\text{für alle \(\alpha\) aus \((0,1)\)}. \end{aligned} \] Aus diesem Satz folgen leicht notwendige und hinreichende Bedingungen für die Funktionen \(K_n (x,y)\), damit für jede summierbare Funktion \(f\) \[ \lim_{n\to\infty} \int_0^1 K_n(x,y)f(y)dy=0 \] wird, und zwar für \textit{jedes} \(x\). Gefragt wird nun aber nach Bedingungen, unter denen dies für fast alle \(x\) gilt. Die Fragestellung wird stark verallgemeinert, indem statt des Raumes der summierbaren Funktionen \(f(x)\) ein abstrakter Raum von Elementen \(x\) zugrunde gelegt wird, der vektoriell, metrisch und vollständig ist, und indem ferner das Integral durch ein lineares, stetiges Funktional \(U(x)\) (Funktionaltransformation) ersetzt wird (Stetigkeit im Sinne der Konvergenz ``im Maß'' verstanden), das jedem \(x\) eine in \(0\leqq t\leqq 1\) meßbare Funktion zuordnet. Als Beispiel für die erzielten allgemeinen Sätze sei angeführt: \textit{Satz II}: Wenn eine Folge von linearen, stetigen Funktionalen \(U_n(x)\) fast überall für jedes \(x\) gegen ein lineares Funktional \(U(x)\) strebt, so ist \(U(x)\) stetig. Durch Spezialisierung der Räume und Funktionale ergeben sich eine größere Reihe von Sätzen in Richtung der ursprünglichen Fragestellung; z. B: Eine Folge von Funktionen \(K_n(s,t)\) sei in \(0\leqq s, t\leqq1\) meßbar und \(|K_n(s,t)|\leqq M_n(s)\), wo \(M_n(s)\) fast überall endlich ist. Wenn fast überall für jedes \(z\) \[ \lim_{n\to\infty} \int\limits_{0}^{z} K_n(s,t)dt \] existiert und \[ \lim_{n\to\infty}\sup \int\limits_0^1 K_n(s,t) f(t) dt \] fast überall für jedes summierbare \(f\) endlich ist, so existiert \[ \lim_{n\to\infty}\int\limits_0^1 K_n(s,t)f(t)dt \] fast überall für jedes summierbare \(f\) und ist ein stetiges Funktional. -- Ist speziell fast überall für alle \(z\) \[ \lim_{n\to\infty}\int\limits_0^z K_n(s,t)dt=0, \] so ist fast überall für alle summierbaren \(f\) \[ \lim_{n\to\infty}\int_0^1 K_n(s,t)f(t)dt=0. \] Auf die Theorie der Orthogonalsysteme angewendet, liefern die allgemeinen Sätze Aussagen von folgender Art: \(\{f_n(t)\}\) sei ein vollständiges, normiertes Orthogonalsystem und \(c_i = \int\limits_0^1 f(t) f_i(t) dt\). Wenn für jede quadratisch summierbare Funktion \(f(t)\) \[ \limsup_{n\to\infty}\sum_{i=1}^{\infty}c_if_i(t) \] fast überall endlich ist, so gilt fast überall \[ \sum_{i=1}^{\infty}c_if_i(t)=f(t) \] jedes quadratisch summierbare \(f(t)\). Bemerkenswert ist noch, daß man aus den allgemeinen Sätzen auf die Existenz stetiger Funktionen schließen kann, die in einer Menge von positivem Maß keine Ableitung besitzen. (IV 3 C.)