Recherches sur la structure des fonctions mesurables. I. (Q1460267)

Verf. stellt sich die Aufgabe, auch bei beliebigen meßbaren Funktionen Zusammenhängen zwischen den ``differentiellen'' Eigenschaften ``im kleinen'' und den ``integralen'' ``im großen'' nachzugehen, wie sie bei stetigen Funktionen vielfach festgestellt worden sind. In diesem ersten Teil seiner Arbeit werden insbesondere die Wachstumsverhältnisse meßbarer Funktionen untersucht. Eine Eigenschaft \(A\) einer Funktion \(f(x)\) gilt in einem Punkte \(x_0\) ``asymptotisch'', wenn ihre Gültigkeit feststeht, sobald von einer \(x\)-Menge abgesehen wird, die in \(x_0\) die Dichtigkeit Null hat. Ein grundlegender Satz von Lusin (C. R. 154, 1688, 1912) wird hier daher so formuliert: Jede meßbare Funktion ist fast überall asymptotisch stetig. Eine zweite Grundlage der Untersuchung bietet der bekannte Egoroffsche Satz (C. R. 152, 244, 1911) in folgender Fassung: Ist eine Folge meßbarer Funktionen fast überall konvergent in einer Menge positiven Maßes \(E\), so ist sie gleichmäßig konvergent in einer Teilmenge \(E'\), deren Maß beliebig nahe an \(E\) herankommt. Nebenbei gibt Verf. einen einfachen elementaren Beweis eines dritten wichtigen (Denjoy-de la Vallée Poussinschen) Satzes der Theorie : Die Dichtigkeit einer jeden meßbaren Menge ist fast überall gleich 1. Eine Funktion \(f(x)\) heißt in einem Punkte \(x_0\) ``gerichtet'', wenn ein Intervall \(x_0-\varepsilon<x<x_0+\varepsilon\) existiert, in dem \textit{beständig} die eine der drei Beziehungen gilt: \[ f(x+\delta)>f(x),\quad f(x+\delta)=f(x),\quad f(x+\delta)<f(x), \] (\(\delta > 0\)). Es gelten die folgenden Sätze: Ist eine meßbare Funktion \(f(x)\) asymptotisch gerichtet im Intervall (\(0\ldots1\)), so läßt sich in demselben eine perfekte Teilmenge \(E'\) angeben, deren Maß beliebig nahe an 1 herankommt, und die auf endlichviele Segmente verteilt ist, in deren jedem \(f(x)\) monoton ist. Die Fourierreihe einer asymptotisch gerichteten meßbaren Funktion \(f(x)\) in (\(0\ldots1\)) konvergiert gleichmäßig gegen \(f(x)\) in einer Teilmenge \(E'\), deren Maß beliebig nahe an 1 herankommt. Eine auf \(E\) asymptotisch gerichtete meßbare Funktion \(f(x)\) ist fast überall auf \(E\) asymptotisch differentiierbar. Es existieren meßbare Funktionen (ein Beispiel wird gegeben), die fast nirgends asymptotisch gerichtet und fast nirgends asymptotisch differentiierbar sind. Jede meßbare (also u. a. auch jede stetige) Funktion \(f(x)\) besitzt fast überall die folgenden Wachstumseigenschaften, und zwar jeweilig auf einer Teilmenge von der größten Dichtigkeit 1: entweder ist \(f(x)\) asymptotisch differentiierbar, oder die beiden oberen (Dinischen) Derivierten sind gleich \(+\infty\) und die beiden unteren gleich \(-\infty\).