PreprintCC BY 4.0arXiv
Extension Theorems in Measure and Integration Theory as Completeness Axioms
Abstract
In measure and integration theory, the themes of extending premeasures to outer measures and extending Daniell linear functionals to Daniell integrals are governed by the foundational extension theorems of Caratheodory and Daniell. These are proven to be equivalent to Littlewood's Three Principles, which are known to be equivalent alternatives to a completeness axiom for an ordered field. The continuity theorems of measure and integration theory are consequently shown to be included in the list of equivalences.
Related
- Measure Theory in Convergence Spaces Part I: Sion-Carathéodory Extension in Net Convergence Groups
- Measure Theory in Convergence Spaces Part II: Abstract Integration in Net Convergence Structures
- On deformations of foliated complex analytic structures I: Theorems of existence and completeness
- Exact Integration and Invertibility Completeness of the Nonlinear Relaxation Equation
- Approximation and extension theorems for normal affine toric varieties
BibTeX
@misc{cantuba2026extension,
title = {{Extension Theorems in Measure and Integration Theory as Completeness Axioms}},
author = {Rafael Reno S. Cantuba},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.29510},
eprint = {2609.29510},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.29510},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Extension Theorems in Measure and Integration Theory as Completeness Axioms
AU - Rafael Reno S. Cantuba
PY - 2026
DA - 2026/09/01
PB - arXiv
DO - 10.48550/arxiv.2609.29510
UR - https://arxiv.org/abs/2609.29510
AB - In measure and integration theory, the themes of extending premeasures to outer measures and extending Daniell linear functionals to Daniell integrals are governed by the foundational extension theorems of Caratheodory and Daniell. These are proven to be equivalent to Littlewood's Three Principles, which are known to be equivalent alternatives to a completeness axiom for an ordered field. The continuity theorems of measure and integration theory are consequently shown to be included in the list of equivalences.
ER -