Das Riemann-Stieltjessche Integral. (Q2617057)

Die Definition des \textit{Riemann-Stieltjes}schen Integrales \(\int _a^bf(x)\,da (x)\), wobei \(f(x)\) beschränkt und die Determinante \(a(x)\) in \((a,b)\) von beschränkter Variation ist, macht nur Schwiereigkeiten bei unstetiger Determinante. Frühere Autoren (\textit{E. W. Hobson}, Theory of functions of a real variable, 1927; F. d. M. 53, 226 (JFM 53.0226.*). \textit{S. Pollard}, Quarterly Journ. 49 (1923), 74-138) machten in diesem Falle Annahmen über die gegenseitige Lage der Unstetigkeitspunkte von \(a(x)\) und \(f(x)\), um zu einer verallgemeinerten Definition zu gelangen; dem Verf. gelingt eine noch größere Verallgemeinerung durch den Verzicht auf solche Einschränkungen. Dabei gewinnt er sein verallgemeinertes \textit{Riemann-Stieltjes}sches Integral auf drei verschiedenen Wegen, wobei er die Übereinstimmung der drei so erhaltenen Definitionen nachweist: im ersten Abschnitt (Definition 5 und Satz 2) in Analogie zur \textit{Riemann-Darboux}schen Summendefinition, im zweiten Abschnitt (Satz 16) als geometrisches Maß, im dritten Abschnitt (Satz 18) in Analogie zur Definition des \textit{Lebesgue}-Integrales, wobei an Stelle der \textit{Lebesgue}schen Meßbarkeit von \(f(x)\) die \textit{Jordan}-Meßbarkeit von \(f(x)\) in Bezug auf \(a(x)\) tritt. Die übrigens Sätze enthalten Existenzbedingungen und Eigenschaften der verallgemeinerten \textit{Riemann-Stieltjes}schen Integrale; nach dem Korollar von Satz 5 genügt es zur Existenz von \(\int _a^bf(x)\,da(x)\), daß \(f(x)\) in \((a,b)\) höchstens abzählbar viel Unstetigkeitspunkte besitzt. Der Hauptsatz (11) gibt drei Bedingungen für das Zustandekommen der Grundgleichung \(\int _a^bD_{a(x)}f(x)\,da(x)=f(b)-f(a)\), wobei \(D_{a(x)}f(x)\) die Ableitung von \(f(x)\) nach \(a(x)\) bedeutet. Schließlich sei noch Satz (19) erwähnt: Hat man eine gliechmäßig beschränkte Folge \(f_n(x)\) mit \(\lim _{n\to \infty }f_n(x)=f(x)\), so erhält man aus der Existenz der Integrale \(\int _a^bf_n(x)\,da(x)\) die Existenz von \(\int _a^bf(x)\,da(x)=\lim _{n\to \infty }\int _a^bf_n(x)\,da(x)\).