Sur les intégrales de Stieltjes généralisées. (Q1833499)

Es sei \((D_x)\) ein Gebiet und \((\omega_x)\) irgendein Teilgebiet. Jedem Teilgebiet \((\omega_x)\) von \((D_x)\) sei ein Funktionswert \(U^{(\omega_x)}\) zugeordnet, über die Verf. folgendermaßen verfügt: Die Funktion \(U^{(\omega_x)}\) heißt additiv, wenn \[ U^{(\omega_x^{(1)})} \omega_x^{(1)} + U^{(\omega_x^{(2)})}\omega_x^{(2)} = U^{(\omega_x)} \omega_x, \;\text{ wobei } \;\omega_x = \omega_x^{(1)} + \omega_x^{(2)}. \] Dabei bedeutet \(\omega_x\) das Maß des Gebietes \((\omega_x)\). Die Funktion \(U^{(\omega_x)}\) ist von beschränkter Variation, wenn für jede Zerlegung von \((D_x)\) in Teilintervalle \((\omega_x^{(1)}), (\omega_x^{(2)}), \dots, (\omega_x^{(n)})\) gilt \[ \left|U^{(\omega_x^{(1)})}\right| \omega_x^{(1)} + \left|U^{(\omega_x^{(2)})}\right| \omega_x^{(2)} + \cdots + \left|U^{(\omega_x^{(n)})}\right| \omega_x^{(n)} < B, \] wobei \(B\) eine bestimmte Größe ist. Den oberen Grenzwert der linken Seite nennt man die Variation von \(U^{(\omega_x)}\) im Gebiete \((D_x)\). Die Funktion \(U^{(\omega_x)}\) sei additiv und von beschränkter Variation; sie heißt dann absolut stetig, wenn man zu jedem \(\varepsilon\) eine Zahl \(\eta\) derart finden kann, daß \[ \left|U^{(\omega_x^{(1)})}\right| \omega_x^{(1)} + \cdots + \left|U^{(\omega_x^{(k)})}\right| \omega_x^{(k)} < \varepsilon, \text{ wobei } \omega_x^{(1)} + \cdots + \omega_x^{(k)} < \eta. \] Die Funktion \(U^{(\omega_x)}\) ist eine Mengenfunktion. Betrachtet man einen Punkt \(x\) des Gebietes \((\omega_x)\) und läßt man \((\omega_x)\) gegen Null konvergieren, während es dauernd den Punkt \(x\) enthält, so kann sich \(U^{(\omega_x)}\) einem bestimmten Grenzwert nähern. Dann nennt man diesen Grenzwert den Wert der Funktion \(U^{(\omega_x)}\) im Punkte \(x\). Existiert in jedem Punkte \(x\) von \((D_x)\) dieser Grenzwert, so definiert \(U^{(\omega_x)}\) als Mengenfunktion zugleich eine Punktfunktion für das ganze Gebiet \((D_x)\). Nimmt man an, daß \(f(x)\) eine beschränkte Punktfunktion in \((D_x)\), daß \((d_x)\) ein Teil von \((D_x)\) und daß \((d_x)\) in Gebiete \[ (\omega_x^{(1)}), (\omega_x^{(2)}), \dots, (\omega_x^{(n)}) \] zerlegt ist, ferner daß \(x_i\) irgendein Punkt in \((\omega_x^{(i)})\) ist, so ist der Grenzwert der Summe \[ \sum_{i=1}^{i=n} f(x_i) U^{(\omega_x^{(i)})} \omega_x^{(i)}, \] wenn \(n\) gegen Unendlich und die \(\omega_x^{(i)}\) gleichmäßig gegen Null konvergieren, das verallgemeinerte \textit{Stieltjes}-Integral, das durch \[ \int\limits_{(d_x)} U^{(\omega_x)} f(x) \, dx \] dargestellt werden soll. Verf. untersucht die Eigenschaften dieses Integrals und leitet eine Anzahl Sätze ab.