Functions of bounded variation in two variables. (Q2580073)

In einer Arbeit von \textit{R. L. Jeffery} (Duke math. J. 5 (1939), 753-774; F. d. M. 65, 1177) wird eine Klasse \(V_1\) von reellen Funktionen \(F(x, y)\) im Rechteck \(R= (a \leqq x \leqq b; c\leqq y \leqq d)\) folgendermaßen erklärt: \(F \in V_1\) wenn eine eindeutige reelle Funktion \(f(x, y)\) existiert und eine konvergente Folge summierbarer Funktionen \(s_n(x, y)\) mit \(f(x, y) = \lim\limits_{n\to\infty} s_n(x, y)\) und derart, daß \[ F(x, y)=\lim\limits_{n\to\infty} \int\limits_{(a,b;x,y)}s_n(x, y)dxdy \] für alle \((x, y) \in R\) mit für alle \(n\) und alle meßbaren Teilmengen \(\mathfrak{M}\) von \(R\) beschränktem \(\int\limits_{\mathfrak{M}} s_n (x, y)dxdy\). Verf. ersetzt hierin \(F(x, y)\) durch \[ F(a,b;x, y) = F (x, y) -F (x, b) - F(a, y) + F (a, b), \] erhält so eine Klasse \(V_1'\) und zeigt, daß \(V_1' = V\), wo \(V\) die Klasse aller \(F(x, y)\) mit beschränkten \(\sum\limits_\nu |F(x_\nu, y_\nu; x_\nu', y_\nu')|\), wo die \((x_\nu, y_\nu; x_\nu', y_\nu')\) beliebige, achsenparallele Rechtecke mit paarweise fremden offenen Kernen bedeuten. Läßt man in der Definition von \(V_1'\) die Beschränktheitsforderung bezüglich der Integrale fallen, so erhält man eine Klasse \(V_2'\); diese stimmt, wie Verf. zeigt, überein mit der Gesamtheit aller Funktionen von der Baireschen Klasse 0 oder 1. Weiter wird gezeigt: Es sei \(C\) die Klasse der stetigen Funktionen, welche nicht zu \(V\) gehören; dann ist \(C\subseteqq V_2'\). -- Wegen weiterer Einzelheiten bzw. Ergebnisse sei auf die Arbeit selbst verwiesen.