The total variation of \(g(x + h) - g(x)\). (Q2623054)

In der Theorie des \textit{Lebesgues}chen Integrals gilt bekanntlich der folgende Satz: Ist \(f(x)\) eine im Intervall \((a,b)\) nach \textit{Lebesgue} integrierbare Funktion, dann konvergiert \[ \int _a^b |f(x + h) - f(x)| dx \] zugleich mit \(h\) gegen Null. Dieses Integral ist die totale Variation von \(F(x+h) - F(x)\) in \((a,b)\), wobei \[ F(x) = \int ^x f(t)dt \] ist. Ist \(F(x)\) eine absolut stetige Funktion in \((a,b)\), so konvergiert die totale Variation von \(F(x+h) - F(x)\) zugleich mit \(h\) gegen Null. Die Verf. erweitern diese Untersuchungen, indem sie an Stelle von \(f(x)\) gewisse nicht absolut stetige Funktionen von beschränkter Variation setzen. Es wird zuerst eine Funktion angenommen, die in jedem Punkt eines Intervalles \((a,b)\) so definiert ist, daß sie für \(x \leqq c\) den Wert \(\alpha \) und für \(x > c\) den Wert \(\beta \) hat, wobei \( a < c < b\) ist. Aus den Ergebnissen für solche Funktionen wird dann der Satz abgeleitet: Ist \(g(x)\) eine Funktion von beschränkter Variation in \((a,b)\) und konstant in den zu einer Menge \(H\) vom Maße Null komplementären Intervallen, so gilt für fast alle Werte von \(h\): \[ \int _a^b |d[g(x+h) \;g(x)]| = \int _a^b |dg(x+h)| + \int _a^b |dg(x)|. \]