Un théorème sur le changement de variable dans les intégrales simples. (Q1835161)

Die Funktion \(g(t)\) sei in einer Menge \(\Delta\) definiert, \(P\) eine Teilmenge von \(\Delta\), und \(k_P(t)\) die Menge der Punkte \(u\) von \(P\), für die \( g(u)=g(t)\) erfüllt ist; wenn \(k_P(t)\) nicht endlich ist, soll \(\dfrac{1}{k_P(t)}=0\) gesetzt werden. Für eine Menge \(B<g(\Delta)\) bezeichnet \(g^{-1}(B)\) die Menge der Originalpunkte von \(B\) in \(\Delta\). \(\Delta_z\) ist die Teilmenge von \(\Delta\), wo die Ableitung \(g'(t)\) verschwindet. Verf. beweist die folgenden Sätze: Ist \(g(t)\) eine im abgeschlossenen, beschränkten Intervall \(Delta\) totalstetige Funktion, \(A\) eine meßbare Teilmenge von \(\Delta\) und \(f(x)\) eine in \(g(A)\) definierte Funktion, so sind die folgenden drei Aussagen äquivalent: \ \ I. \(f(x)\) ist meßbar in \(g(A)\); \ II. \(f(g(t))\) ist meßbar in \(A - \Delta_z\); III. \(f(g(t))\dfrac{|\,g'(t)\,|}{k_A\,(t)}\) ist meßbar in \(A\). Wenn \(f(x)\) in \(g(A)\) oder \(f(g(t))\dfrac{|\,g'(t)\,|}{k_A\,(t)}\) in \(A\) summierbar ist, so gilt \[ \int\limits_{g(A)} f(x)\,dx= \int\limits_{A} f(g(t))\frac{|\,g'(t)\,|}{k_A\,(t)}\,dt. \] Ein entsprechender Satz gilt unter der Voraussetzung, daß \(g(t)\) eine im abgeschlossenen, beschränkten Intervall \(\Delta\) totalstetige Funktion, \(B\) eine meßbare Teilmenge von \(g(\varDelta)\) und \(f(x)\) eine in \(B\) definierte Funktion sei. Er entsteht aus dem vorstehenden Satz, wenn man \(A\) durch \(g^{-1}(B)-\Delta_z\) ersetzt. Als Folgerung aus diesem Satz ergibt sich eine Verallgemeinerung eines Satzes von \textit{S. Banach} [Fundam. Math. 7, 225--236 (1925; JFM 51.0199.03)].