Sull' integrale di Riemann e sua relazione con l'integrale di Lebesgue. (Q1465557)

Es sei \(f (P)\) eine auf der beschränkten Menge \(E\) definierte beschränkte Funktion. Unter dem oberen und unteren ``Riemannschen Integral'' von \(f (P)\) über \(E\) versteht der Verf. den Grenzwert der auf die geläufige Weise gebildeten Ober- bzw. Untersummen von \(f (x),\) wobei in jedem Elementarrechteck die obere bzw. untere Grenze von \(f (P)\) durch die Werte in denjenigen Punkten bestimmt ist, welche \(E\) angehören. (Ein Rechteck, das keine Punkte von \(E\) enthält, liefere keinen Beitrag zu diesen Summen.) Erweitert man nun \(E\) zu \(\overline E,\) indem sämtliche Punkte der Ableitung von \(E\) zu \(E\) adjungiert werden, \(\overline E\) ist abgeschlossen, so lassen sich auf \(\overline E\) wie gewöhnlich die beiden Limesfunktionen \(L(P)\) und \(l(P)\) von \(f (P)\) definieren, als Grenzwerte der oberen bzw. unteren Grenze von \(f (P)\) in \(P\) enthaltenden Quadraten von der Seitenlänge \(\delta\) für \(\delta \to 0\). Beide Funktionen \(L(P)\) und \(l(P)\) sind \((B)\) meßbar auf \(\overline E\); ihre Lebesgueschen Integrale erweisen sich als identisch mit den oben definierten Riemannschen oberen und unteren Integralen. Ist im besonderen \(f (P)\) auf \(E\) im Riemannachen Sinne integrabel (oberes Integral = unteres Integral), so läßt sich die Definition von \(f (P)\) derart auf \(\overline E\) erweitern, daß\ die so auf \(\overline E\) definierte Funktion meßbar ist und ihr Lebesguesches Integral über \(\overline E\) mit dem Riemannschen über \(E\) zusammenfällt.