Integration: Uniform structure (Q809212)

In integration theory with respect to a finitely additive measure - as developed, e.g., by \textit{N. Dunford} and \textit{J. T. Schwartz} [Linear Operators. I (1958; Zbl 0084.104)] - a function is called integrable if it is the limit in measure of a \(\|\|_ 1\)-Cauchy sequence of simple functions. In the article under review the authors study the purely topological nature of this integration concept: Starting from a uniform space \((L_ 0,u_ o)\) and a uniformity u on a subset S of \(L_ 0\), there is introduced and examined a uniformity \(u_ 1\) defined by means of \(u_ 0\) and u on the set \(L_ 1\) of all \(f\in L\), which is the \(u_ 0\)-limit of a Cauchy net in (S,u). (For the case of group topologies instead of uniformities cf. also the paper by the reviewer [Math. Nachr. 145, 201-215 (1990; Zbl 0716.46028)].) The spaces \((L_ 0,u_ o)\), (S,u), \((L_ 1,u_ 1)\) correspond in a special case to the space of measurable functions with the topology of convergence in measure, the space of simple functions with the \(\|\|_ 1\)- topology and the space of integrable functions with the \(\|\|_ 1\)-topology, respectively.