Sul cambiamento della variabile di integrazione nell' integrale di Lebesgue. (Q1465558)

Es handelt sich um den Satz: Ist in \((x_0,X)\) die Funktion \(f(x)\) meßbar und beschränkt, ist \(\varphi (t)\) in \((t_0, T)\) totalstetig und \(x_0 \leqq \varphi (t) \leqq X,\) so gilt \[ (1)\quad \int_{\varphi(t_0)}^{\varphi(t)} f(x) dx =\int_{t_0}^t f(\varphi(t))\varphi'(t)dt, \] wo unter \(\varphi'(t)\) irgendeine Derivierte von \(\varphi (t)\) verstanden ist. Dieser von De la Vallée Poussin aufgestellte Satz (American M. S. Trans. 1915; F. d. M. 45, 441 (JFM 45.0441.*)) wird in vorliegender Arbeit mit einem neuen Beweise versehen, der gewisse Bedenken vermeidet, die der Verf. gegen den de la Vallée Poussinschen Beweis vorbringt. Zum Schluß\ zeigt der Verf., daß\ für die Gültigkeit der Gleichung (1) notwendig und hinreichend die Summierbaskeit von \(f (\varphi (t)) \varphi'(t)\) ist. Eine weitergehende Behauptung de la Vallée Poussins, nämlich, daß\ die Totalstetigkeit von \[ \int_{\varphi(t_0)}^{\varphi(t)} f(x) dx \] gleichfalls hinreichend sei, erwähnt der Verf., ohne sie zu beweisen. Es ist wohl der Hinweis erlaubt, daß\ schon 1918 Carathéodory in seinem Buche über reelle Funktionen (s. F. d. M. 46, 376 (JFM 46.0376.*). 1916-18) in \S\S,496-499 einen Beweis des de la Vallée Poussinschen Satzes gibt und sogar die oben erwähnte weitergehende Aussage beweist (\S\,499, Satz 4).