A unified scale of absolute and non-absolute integrals (Q1979035)

A new kind of integral is introduced. The construction is close to the Kurzweil-Henstock idea but more complicated. In the following outline some technical assumptions are skipped. A sifter is a nonnegative function on the class of all pairs \((y,J)\), where \(y\in \mathbb{R}^r\) and \(J\) is an \(r\)-dimensional interval, which is ``fine''. A sifting is a class \(\mathcal S\) of sifters satisfying further requirements. We define an upper \(\mathcal S\) integral of a function \(f\) on \(\mathbb{R}^r\) in three steps. In the first step we compute the ordinary Riemann-type sum over a partition of \(\mathbb{R}^r\). In the second step, we fix a sifting \(s\in \mathcal S\) and a sequence \(\{E_n\}\) of measurable sets whose union is \(\mathbb{R}^r\), and make infimum of Riemann sums over all partitions which satisfy specified fineness and regularity conditions respective to the pair \((s,\{E_n\})\). The final step consists in infimum over all those pairs \((s,\{E_n\})\), where \(s\in \mathcal S\). Thus, each choice of the sifting gives its version of integral and as particular choices we may obtain Lebesgue integral, restricted Denjoy integral or general Denjoy integral. Convergence properties, corresponding notions of absolute continuity and relations to other kinds of integrals are studied.