Über eine neue Definition des mehrdimensionalen Stieltjesschen Integrals. (Q2594151)

\textit{A. H. Copeland} (Bull. Amer. math. Soc. 43 (1937), 581-588; F.~d.~M. 63\(_{\text{I}}\), 186) hat für den Fall von Funktionen einer reellen Veränderlichen gezeigt, daß das Riemann-Stieltjes-Integral \(\int gdf(x)\) auch erklärbar ist als Limes des arithmetischen Mittels der Werte von \(g(x)\) in geeigneten, durch \(f(x)\) bestimmten Punkten \(x\). Verf. beweist entsprechendes für Funktionen zweier Variablen und deutet die Durchführung im Falle dreier Veränderlichen an. -- Des Näheren handelt es sich um folgendes: In einem Rechteck \((a, \alpha; b, \beta)\) der \(x\), \(y\)-Ebene sei eine nicht-negative, additive Intervallfunktion gegeben oder vielmehr eine, zunächst stetige, Funktion \(f(x, y)\) mit \(f(a, b)=0\); \(f(\alpha, \beta)=1\), und mit positiver zweiter Differenz: \[ f(x_2,y_2)-f(x_2,y_1)-f(x_1,y_2)+f(x_1,y_1)>0 \quad \text{für} \quad x_1<x_2, \, y_1<y_2. \] Ferner sei \(n_1=1\), \(n_{\nu}=n_{\nu-1}+\nu^2\) und es seien \(x_{\nu,\lambda}\); \(y_{\nu,\lambda,\mu}\) mit \(\lambda,\mu=1,\ldots\!,\nu\), insgesamt \(\nu^2\) Zahlenpaare (mit den Nummern \(n_{\nu-1}+1\) bis \(n_{\nu}\) versehen), welche definiert sind wie folgt: \[ f(x_{\nu,\lambda},\beta)=(2\lambda-1)2^{-1}\nu^{-1};\, f(x_{\nu,\lambda}^{\prime},y_{\nu,\lambda,\mu}) f(x_{\nu,\lambda - 1}^{\prime},y_{\nu,\lambda,\mu}) = (2\mu-1)2^{-1}\nu^{-2}, \] wobei \(x_{\nu,\lambda}^{\prime}\) bestimmt wird durch \(f(x_{\nu,\varrho}^{\prime},\beta)=\varrho \nu^{-1}\); \(\varrho=1, \ldots\!,\nu-1\). Bezeichnet man diese Zahlenpaare in geeignet gewählter Reihenfolge mit \((x_1^{\prime},y_1^{\prime})\), \((x_2^{\prime},y_2^{\prime}),\ldots\), so gilt \(\int\limits_{a,b}^{\alpha,\beta} g(x,y)\, df(x,y) = \lim\limits_{m \to \infty} \dfrac{1}{m}\left( g(x_1^{\prime},y_1^{\prime})+ \cdots + g(x_m^{\prime},y_m^{\prime}) \right)\), falls für \(g(x, y)\) das Integral linker Hand existiert. Zum Beweis dient der Hilfssatz, daß \(f(x_1,y_1)=\lim\limits_{m \to \infty} \dfrac{1}{m}h_m\), wenn \(h_m\) die Anzahl derjenigen \((x_{\tau}^{\prime},y_{\tau}^{\prime})\) unter den \((x_1^{\prime},y_1^{\prime}),\ldots \!,(x_m^{\prime},y_m^{\prime})\) bezeichnet, für welche \(a \leqq x_{\tau}^{\prime} \leqq x_1\), \(b \leqq y_{\tau}^{\prime} \leqq y_1\) ist. Der Fäll unstetiger \(f(x, y)\) wird ebenfalls einbezogen; dabei wird angenommen, daß die Unstetigkeiten auf endlich vielen einfachen Bogen liegen, deren jeder von jeder \(x\)- und jeder \(y\)-Parallelen nur in endlich vielen Punkten getroffen wird.