Réduction des intégrales doubles de \textit{Lebesgue}. Application à la définition des fonctions analytiques. (Q1486281)

\textit{Lebesgue} hat in seiner grundlegenden Abhandlung (Annali di Mat. (3) 7, 231-359; F. d. M. 33, 307, 1902, JFM 33.0307.02) die Doppelintegrale auf einfache, sich folgende Integrale zurückgeführt, die er obere und untere Integrale nennt. \textit{Fubini} hat in seiner Arbeit ``Sugli integrali multipli'' (Rom. Acc. L. Rend. (5) \(16_1\), 608-614; F. d. M. 38, 343, 1907, JFM 38.0343.02) gezeigt, daß die Zurückführung mittels gewöhnlicher \textit{Lebesgue}scher Integrale geschehen kann, und hat die Theorie auf die nicht beschränkten Funktionen ausgedehnt. Der Verf. des vorliegenden Aufsatzes geht nun von neuem an die Beweise dieser Sätze und präzisiert sie für den Fall positiver Funktionen. Bei der Betrachtung der \textit{Green}schen Form in der Ebene: \[ \int_C (Pdx+Qdy) = \int\int_D (Q_x' - P_y')dxdy \] spricht er folgende Sätze aus: Diese Formel besteht, ohne daß irgendeine Voraussetzung über die Existenz oder die Stetigkeit der Ableitungen gemacht wird, falls \(P\) und \(Q\) ihre derivierten Zahlen (in bezug auf \(y\) und \(x\)) in dem Gebiete \(D\) endlich und summierbar haben. -- Wenn die Teile \(P\) und \(Q\) einer endlichen und eindeutigen Funktion \(f(z) = P + Qi\) einer komplexen Variable \(x + yi\) ihre derivierten Zahlen in einem Gebiete \(D\) endlich und summierbar haben (man setzt sie nicht als beschränkt voraus), so genügt es, damit \(f (z)\) holomorph innerhalb \(D\) sei, daß die Derivierten von \(f (z)\) in der Richtung der \(x\) und der \(y\) in den Punkten, wo sie existieren, beide gleich sind, oder daß eine Ausnahme nur für eine Punktmenge vom Inhalte Null stattfindet. -- Den Beschluß macht ein besonderer Satz bezüglich des Falles, bei dem die derivierten Zahlen nicht summierbar sind. Er lautet: Es sei \(E\) die Punktmenge des Gebietes \(D\), die innerhalb eines unendlich kleinen Gebietes liegt, wo die derivierten Zahlen von \(f (z)\) nicht summierbar sind. Wenn die Unbestimmtheit der Derivierten von \(f (z)\) für die verschiedenen Richtungen um einen und denselben Punkt von \(E\) in jedem Punkte endlich von einem absoluten Betrage unterhalb einer festen Zahl \(M\) ist, so kann diese Menge \(E\) nicht vom Maße Null sein.