Sugli integrali doppii. (Q1476752)

Umkehrung eines vom Verf. in denselben Sitzungsberichten (5) 16, 608-614 (F. d. M. 38, 343 (JFM 38.0343.*), 1907) ausgesprochenen Satzes. Der neue Satz lautet: Die notwendige und hinreichende Bedingung dafür, daß das Doppelintegral einer meßbaren Funktion \(f(x,y):\int_\sigma dy\int f(x,y)dx\), erstreckt über ein begrenztes und meßbares Feld \(\sigma\), als Oberflächenintegral \(\int_\sigma fd\sigma\), erstreckt auf \(\sigma\), betrachtet werden kann, besteht darin, daß das Integral \(\int_\sigma dy\int f dx\), erstreckt über ein beliebiges (meßbares) Teilgebiet \(\sigma'\) von \(\sigma\), existiert, aber dann und nur dann, wenn die folgende Bedingung erfüllt ist: 1. Es existiert das Integral \(\int_\sigma fd\sigma\), erstreckt auf \(\sigma\); weswegen nach der früheren Note des Verf. 2. auch das andere Doppelintegral \(\int_\sigma dx \int f(x,y)dy\) existiert und 3. das Oberflächenintegral und die beiden angegebenen Doppelintegrale gleich sind. In der gegenwärtigen Note erkennt der Verf. die Priorität von \textit{Torelli} für diesen Satz an (F. d. M. 40, 338 (JFM 40.0338.*), 1909) und läßt die Fassung dieses Forschers abdrucken: Eine in der Oberfläche meßbare Funktion \(f(x,y)\), für welche \(\int^x_a dy \int^y_b | f(x,y)| dy\) existiert, ist in der Oberfläche (superficialmente) integrierbar, und es gilt für sie die Beziehung: \[ \int^x_a dx\int^y_b f(x,y)dy = \int^x_a \int^y_b f(x,y)dx dy = \int^y_b dy \int^x_a f(x,y)dx. \] .