Sur les fonctionnelles linéaires. (Q1450808): Difference between revisions

Es sei \(A|[f]|\) ein im Felde der \textit{Baire}schen Funktionen der Klasse \(<\alpha\) definiertes, lineares Funktional, d. h. \(A\) sei distributiv, beschränkt und die obere Grenze von \(|A|\) im Felde der \(f\), die außerhalb einer Menge \(E\) verschwinden, und für die \(\operatorname{Max} |f|\leqq 1\) ist, sei eine additive Mengenfunktion. Dann wird gezeigt: Das Funktional ist stetig: \[ \lim A|[f]|= A| [\lim f]|. \] Daraus folgt: Wenn eine Folge von gleichmäßig beschränkten Funktionen \(f_1,f_2,\ldots\) der Klasse \(<\alpha\) gegen eine Funktion der Klasse \(\alpha\) konvergiert, so existiert \(\lim A |[f_n]|\) und ist endlich. \(A\) läßt sich dadurch auf alle Funktionen der Klasse \(\alpha\) ausdehnen und behält seine Eigenschaften. Man kann also rekurrierend ein für die stetigen Funktionen definiertes Funktional auf alle \textit{Baire}schen Funktionen ausdehnen. -- Hieraus ergibt sich eine Möglichkeit zum konstruktiven Aufbau des verallgemeinerten \textit{Stieltjes}schen und des \textit{Lebesgue}schen Integrals.