A new definition of a Stieltjes integral. (Q5922865)

Vorausgesetzt wird, daß \(g (x)\) in \(\langle a, b \rangle\) von beschränkter Schwankung ist und \(f (x)\) nur Unstetigkeitsstellen erster Art hat. Ferner sei (das ist eine unwesentliche Einschränkung, die sich nachträglich in naheliegender Weise leicht beseitigen läßt) \(g (a + 0) = 0\), \(g (b) = 1\). Dann wird das \textit{Stieltjes}-Integral definiert durch \[ \int\limits_a^b f(x)\,dg(x) =\lim\limits_{n\to\infty} \dfrac{f(x_1)+\cdots+f(x_n)}{n}; \] dabei ist \(x_1, x_2,\ldots\) eine nur von \(g\) abhängende Zahlenfolge, für welche die relative Häufigkeit der in ein Teilintervall \(\alpha<x\leqq\beta\) fallenden Zahlen \(x_{\nu}\) den Grenzwert \(g (\beta + 0) - g (\alpha + 0)\) hat. Eine solche Zahlenfolge \(x_{\nu}\) erhält man, indem man für \(s =1, 2,\ldots\) und \(k = 1,\ldots, s\) die untere Grenze der Zahlen \(x\) bestimmt, für die \[ g(x-0)\leqq \dfrac{2k-1}{2s} \leqq g(x+0) \] ist, und die untere Grenze mit \(x_{\nu}\) bei \(\nu =\frac 12 s (s - 1) + k\) bezeichnet. -- Ist \(f (x)\) stetig, so liefert diese Definition gerade das übliche \textit{Stieltjes}-Integral. (Vgl. hierzu auch \textit{Karamata}, C. R. Acad. Sci., Paris, 182 (1926), 833-835 und 183 (1926), 726-728; F. d. M. 52, 248 (JFM 52.0248.*).)