Note sur les fonctions absolument continues. (Q1461742)

Beweis der Sätze: I. Damit für jede totalstetige Funktion \(F\) auch die Funktion \(F(\varphi(t))\) totalstetig sei, ist notwendig und hinreichend, daß \(\varphi\) totalstetig ist und jeden Wert \(x_0\) in diskreten Punkten oder in Intervallen annimmt, deren Anzahl kleiner ist als eine geeignete, von \(x_0\) unabhängige Zahl. II. Damit für jede totalstetige Funktion \(\varphi\) auch die Funktion \(F(\varphi(t))\) totalstetig sei, ist notwendig und hinreichend, daß \(F\) der Lipschitzschen Bedingung \[ |F(x_1)-F(x_2)|\leqq M|x_1-x_2| \] (\(M\) unabhängig von \(x_1, x_2\)) genügt. III. Es werden die Funktionen \(F\) und \(\varphi\) totalstetig vorausgesetzt. Dafür, daß \(F(\varphi (t))\) totalstetig sei, ist (notwendig und) hinreichend, daß \(F(\varphi (t))\) von beschränkter Variation ist. IV. Ist \(f(x)\) summierbar, \(\varphi (t)\) stetig und monoton, und \(\int_{\varphi(a)}^{\varphi(t)} f(x)\,dx\) totalstetig, dann ist \[ \int_{\varphi(a)}^{\varphi(b)}f(x)dx=\int_a^bf(\varphi (t))\varphi'(t)\,dt. \]