Zur Substitution der Integrale. (Q2604621)

Ein Bereich \(M\) des \(R_n(t_1,t_2,\ldots,t_n)\) werde durch \(x_i = \varphi_i(t_1,\ldots,t_n)\) (\(i=1, 2,\ldots,n\)) auf einen Bereich \(M^*\) des \(R_n(x_1, x_2,\ldots, x_n)\) eineindeutig und stetig so abgebildet, daß jeder meßbaren Punktmenge \(e\) aus \(M\) eine meßbare Menge \(e^*\) aus \(M^*\) entspricht; das Maß dieser \(e\) entsprechenden Menge \(e^*\) sei dann \(\varPhi(e) = me^*\). Dann ist \(\varPhi\) eine additive Funktion der meßbaren Mengen von \(M\) und hat fast überall in \(M\) eine Ableitung \(D_\varPhi(t)\). Ist nun \(f(x) = f(x_1, x_2, \ldots,x_n)\) in \(M^*\) \(L\)-integrierbar, so ist auch \(f(\varphi_1(t), \ldots, \varphi_n(t)) \cdot D_\varPhi(t)\) in \(M\) \(L\)-integrierbar, und es ist: \(\int\limits_e f(\varphi_1(t),\ldots, \varphi_n(t))D_\varPhi(t)\,dt=\int\limits_{e^*}f(x)\,dx\). Sind die \(\varphi_i\) stetig differenzierbar, so erhält man daraus die übliche Transformationsformel für das \(n\)-fache Integral,