Sur un théorème concernant les fonctions au carré sommable. (Q2596053)

Verf. gibt in der vorliegenden Note einen Beweis des folgenden Satzes, auf den er durch Untersuchungen über den Hilbertschen Raum geführt worden ist: Es sei \(f(x)\) eine fast überall auf \(\langle 0,1\rangle\) definierte, quadratisch integrierbare, komplexe Funktion. Dann gibt es auf \(\langle 0,1\rangle\) eine Menge vom Maße Eins von der Beschaffenheit, daß für jedes \(x_{0}\) aus dieser Menge \[ \lim_{n\to\infty }\frac{1}{x_n^{\prime\prime}-x_n^\prime}\int\limits_{x_n^\prime }^{x_n^{\prime\prime}}|\,f(x)-f(x_0)\,|^2\,dx=0 \] gilt, wenn die Folgen \(x_n^{\prime\prime}\) und \(x_{n}^\prime\) nur den Bedingungen genügen: \[ 0\leqq x_n^\prime<x_0<x_n^{\prime \prime }\leqq 1,\;\;\;x_n^\prime \to x_0, x_n^{\prime \prime }\to x_0. \] Beim Beweise operiert Verf. mit dem Vitalischen Überdeckungsgesetz. - Für eine stetige Funktion \(f(x)\) mit beschränkten Derivierten gilt auf Grund der L'Hospitalschen Regel für jedes \(x_0\in(0,1)\): \[ \lim_{n\to\infty }\frac{1}{(x_n^{\prime \prime }-x_n^\prime )^2}\int\limits_{x_n^\prime }^{x_n^{\prime \prime }}|\,f(x)-f(x_0)\,|^2\,dx=0. \] (IV 3 B.)