Measure Theory in Convergence Spaces Part II: Abstract Integration in Net Convergence Structures
Abstract
The construction of a coherent and general integration procedure is the central question of this second part of our study of measure theory in convergence spaces. We define, and establish convergence theorems for such process of integration, called the net Riemann integration, in convergence groups and commutative monoids, preserving the prescribed convergence throughout. The underlying interchange theorem admits noncommutative groups and requires right completeness only at the cardinality of the error family. Under intrinsic stability assumptions, countable error control therefore needs only sequential completeness, even for arbitrary integration nets, from which we also stablish a general version of Henstock's lemma. The resulting uniform theorems reaches incomplete ranges in which no complete subspace contains a tail of the approximating integrals. In the ordered locally solid convergence theory side, countability of the inner direction replaces countable accessibility of the approximants, and local existence arguments yield monotone and dominated convergence and, under additional controller assumptions, a further extension through increasing integrable barriers with pointwise coverage and uniformly vanishing excess primitives. This constructs the limiting integral without a common integrable envelope and gives uniform control of primitive variation. We finish with two appendices on new and general results of abstract metrization of net convergences and related topics.
Related
- Measure Theory in Convergence Spaces Part I: Sion-Carathéodory Extension in Net Convergence Groups
- Convergence Rates for Lasserre's Upper-Bound Hierarchy on ℝd with Gaussian Measure
- Scalar Curvature Lower Bounds and Convergence in Measure
- Mean convergence for Banach space-valued random elements indexed in measure spaces
- Finite Volume Convergence for a Heat Equation with a Measure-Valued Source
BibTeX
@misc{teixeira2026measure,
title = {{Measure Theory in Convergence Spaces Part II: Abstract Integration in Net Convergence Structures}},
author = {Alexandre Reggiolli Teixeira},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.21014},
eprint = {2610.21014},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.21014},
}
RIS
TY - UNPB
TI - Measure Theory in Convergence Spaces Part II: Abstract Integration in Net Convergence Structures
AU - Alexandre Reggiolli Teixeira
PY - 2026
DA - 2026/10/14
PB - arXiv
DO - 10.48550/arxiv.2610.21014
UR - https://arxiv.org/abs/2610.21014
AB - The construction of a coherent and general integration procedure is the central question of this second part of our study of measure theory in convergence spaces. We define, and establish convergence theorems for such process of integration, called the net Riemann integration, in convergence groups and commutative monoids, preserving the prescribed convergence throughout. The underlying interchange theorem admits noncommutative groups and requires right completeness only at the cardinality of the error family. Under intrinsic stability assumptions, countable error control therefore needs only sequential completeness, even for arbitrary integration nets, from which we also stablish a general version of Henstock's lemma. The resulting uniform theorems reaches incomplete ranges in which no complete subspace contains a tail of the approximating integrals. In the ordered locally solid convergence theory side, countability of the inner direction replaces countable accessibility of the approximants, and local existence arguments yield monotone and dominated convergence and, under additional controller assumptions, a further extension through increasing integrable barriers with pointwise coverage and uniformly vanishing excess primitives. This constructs the limiting integral without a common integrable envelope and gives uniform control of primitive variation. We finish with two appendices on new and general results of abstract metrization of net convergences and related topics.
ER -