Notes on absolutely convergent integration (Q1979064)

Let \(-\infty <a<b<\infty .\) The author shows that there is a linear functional operation \(T: J\subset [a,b],\) \(f\in \operatorname {dom}(T(.,J))\mapsto T(f,J)\in \mathbb R\) with the properties of the absolutely convergent integral (i.e., in particular such that \(|f|\in \operatorname {dom}(T(.,J))\) whenever \(J\subset [a,b]\) and \(f\in \operatorname {dom}(T(.,J))\)) and such that it strictly includes the Lebesgue integral. Furthermore, he shows that, on the other hand, no proper extension \(T\) of the Lebesgue integral can be positive, i.e., for any such \(T\) there are \(J\subset [a,b]\) and \(f\in \operatorname {dom}(T(.,J))\) such that \(f\geq 0\) on \(J\) and \(T(f,J)<0\).