Approximation theorems for generalized Riemann integrals. (English) Zbl 1014.28009
A function \(f\) defined on \([a,b]\) with values in a Banach space \((X,\|\cdot \|)\) is said to be integrable if for each \(\varepsilon > 0\) there exists a gauge \(\delta\) such that whenever \(\{([u_i,\nu_i],\xi_i)\}^n_{i=1}\) and \(\{([u_i,\nu_i],\xi_i')\}^n_{i=1}\) are two McShane \(\delta\)-fine divisions of \([a, b]\), we have
\[
\sum^n_{i=1}\|(\nu_i-u_i)(f(\xi_i)-f(\xi_i'))\|\leq\varepsilon.
\]
In this note, it is proved that if \(f\) is integrable on \([a,b]\) then for each \(\varepsilon > 0\) then exists a step function \(g\) such that \(\|f - g\|_1\leq\varepsilon\), where \(\|f-g\|_1\) is the Lebesgue integral of \(\|f(t) - g(t)\|\) over \([a,b]\). Using this approximation theorem, the author gives another proof that \(f\) is integrable if and only if \(f\) is Bochner integrable and characterizes compact subsets of \(L^1\) in terms of equi-integrability for finite dimensional cases.
Reviewer: Tuan Seng Chew (Singapore)
MSC:
28B05 | Vector-valued set functions, measures and integrals |
26A42 | Integrals of Riemann, Stieltjes and Lebesgue type |
46G10 | Vector-valued measures and integration |
26A39 | Denjoy and Perron integrals, other special integrals |