Über Annäherung an \textit{Lebesgue}sche Integrale durch \textit{Riemann}sche Summen. (Q1473230)

Es möge \(f(x)\) eine in dem Intervalle \(a\leqq x\leqq b\) erklärte beschränkte, im \textit{Lebesgue}schen Sinne integrierbare Funktion bezeichnen. Nach \textit{Lebesgue} kann man eine Zerlegungsfolge \[ a=x_0^{(n)}<x_1^{(n)}<\dots<x_{m_n}^{(n)}=b,\;\sigma^{(n)}=\text{Max} (x_i^{(n)}-x_i^{(n-1)})\;(i=1,\dots,m), \] des Intervalles \((a,b)\) finden, so daß nach geeigneter Wahl der Punkte \(\xi^{(n)}_i\) \((x_{i-1}^{(n)}\leqq \xi_i^{(n)}\leqq x_i^{(n)})\) die Formel gilt: \[ \int_a^bf(x)dx=\lim_{n=\infty}\sum_{i=1}^{m_n}(x_i^{(n)}- x_{i-1}^{(n)})f(\xi_i^{(n)}). \] Schon \textit{Lebesgue} wies darauf hin, daß man eine endliche Anzahl in seinem Sinne erklärter Integrale auf diese Weise gleichzeitig, d. h. unter Benutzung derselben Werte \(x^{(n)}_i\) und \(\xi^{(n)}_i\) annähern kann. In der vorliegenden Arbeit wird dieses Resultat dahin erweitert, daß man die Werte \(x^{(n)}_i\) \((i=1\dots m_n\); \(n=1,2\dots )\), sofern \(\lim_{n=\infty}\sigma^{(n)}=0\) ist, beliebig vorgeben und überdies die Anzahl der gleichzeitig anzunähernden \textit{Lebesgue}schen Integrale (beschränkter Funktionen) abzählbar unendlich groß wählen kann. In wesentlicher Erweiterung eines Resultates von \textit{Z. de Geöcze} wird ferner der folgende Satz bewiesen: Es sei eine Zerlegungsfolge \(x^{(n)}_i\) gegeben, die folgenden Bedingungen genügt: \(1^{\circ}\). Die Zerlegung \(x^{(n+1)}_i\) entsteht aus \(x^{(n)}_i\) durch eine weitere Unterteilung. \(2^{\circ}\). Es gilt \[ \lim_{n=\infty}\sigma^{(n)}=0,\;Q^{(n)}\leqq \frac{ x_i^{(n)}- x_{i-1}^{(n)}}{ x_j^{(n)}-x_{j-1}^{(n)}}\leqq \frac{1}{Q^{(n)}} \;i,j=1,\dots,m_n),\;\lim_{n=\infty}Q^{(n)}=1. \] Alsdann ist \[ \int_a^bf(x)dx=\lim_{n=\infty}\sum_{i=1}^{m_n}\frac{f(x_i^{(n)})+f(x_{i-1}^{(n)})}{2}(x_i^{(n)}-x_{i-1}^{(n)}). \]