Completeness and additive property for submeasures
Functional Analysis
2026-03-24 v2 Classical Analysis and ODEs
General Topology
Abstract
Given an extended real-valued submeasure defined on a field of subsets of a given set, we provide necessary and sufficient conditions for which the pseudometric defined by for all is complete. As an application, we show that if is a lower semicontinuous submeasure and for all , then is complete. This includes the case of all weighted upper densities, fixing a gap in a proof by Just and Krawczyk in [Trans.~Amer.~Math.~Soc.~\textbf{285} (1984), 803--816]. In contrast, we prove that if is the upper Banach density (or an upper density greater than or equal to the latter) then is not complete. We conclude with several characterizations of completeness in terms of the Stone space of the Boolean algebra .
Keywords
Cite
@article{arxiv.2501.13615,
title = {Completeness and additive property for submeasures},
author = {Jonathan M. Keith and Paolo Leonetti},
journal= {arXiv preprint arXiv:2501.13615},
year = {2026}
}