Measure Theory in Convergence Spaces Part I: Sion-Carathéodory Extension in Net Convergence Groups
Abstract
We study extension of additive measures when the range carries a prescribed separated Abelian net convergence. On a σ-complete, lattice-σ-continuous pseudo-D-lattice, we prove an uncontrolled modular extension theorem using finite-response reflection, closed countable summation and uniform closure. Completeness is imposed only on the limit-stable hull of the source values. No topology, lattice order or positive control is required in its range. Modular interval identities, an order-null separation argument and two uniform transfer arguments construct the extension before establishing its normality. A separate relative lifting theorem combines this modular construction with a nonmodular Sasaki argument. Its cone conditions are verified for positive lattice-group values, lattice-normed groups, products and limit-stable subgroups. These verifications give explicit positive, dominated lattice-normed and topological corollaries. Uniqueness holds among all sigma-additive extensions to the generated domain. Sion's inner and outer nets exist in the original convergence and recover the extension there. For Boolean domains we retain the stronger identification with the full regulated splitting class and the finite-variation and finite-semivariation results.
Related
- Whitney extension theorem and intrinsic rectifiability of jump sets in Carnot-Carathéodory spaces
- Measure Theory in Convergence Spaces Part II: Abstract Integration in Net Convergence Structures
- Extension Theorems in Measure and Integration Theory as Completeness Axioms
- Mean convergence for Banach space-valued random elements indexed in measure spaces
- Convergence of metric measure spaces via embeddings in the Urysohn universal space
BibTeX
@misc{teixeira2026measure,
title = {{Measure Theory in Convergence Spaces Part I: Sion-Carathéodory Extension in Net Convergence Groups}},
author = {Alexandre Reggiolli Teixeira},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.12797},
eprint = {2610.12797},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.12797},
}
RIS
TY - UNPB
TI - Measure Theory in Convergence Spaces Part I: Sion-Carathéodory Extension in Net Convergence Groups
AU - Alexandre Reggiolli Teixeira
PY - 2026
DA - 2026/10/28
PB - arXiv
DO - 10.48550/arxiv.2610.12797
UR - https://arxiv.org/abs/2610.12797
AB - We study extension of additive measures when the range carries a prescribed separated Abelian net convergence. On a σ-complete, lattice-σ-continuous pseudo-D-lattice, we prove an uncontrolled modular extension theorem using finite-response reflection, closed countable summation and uniform closure. Completeness is imposed only on the limit-stable hull of the source values. No topology, lattice order or positive control is required in its range. Modular interval identities, an order-null separation argument and two uniform transfer arguments construct the extension before establishing its normality. A separate relative lifting theorem combines this modular construction with a nonmodular Sasaki argument. Its cone conditions are verified for positive lattice-group values, lattice-normed groups, products and limit-stable subgroups. These verifications give explicit positive, dominated lattice-normed and topological corollaries. Uniqueness holds among all sigma-additive extensions to the generated domain. Sion's inner and outer nets exist in the original convergence and recover the extension there. For Boolean domains we retain the stronger identification with the full regulated splitting class and the finite-variation and finite-semivariation results.
ER -