English

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 ν\nu defined on a field of subsets Σ\Sigma of a given set, we provide necessary and sufficient conditions for which the pseudometric dνd_\nu defined by dν(A,B):=min{1,ν(AB)}d_{\nu}(A,B):=\min\{1,\nu(A\bigtriangleup B)\} for all A,BΣA,B \in \Sigma is complete. As an application, we show that if φ:P(ω)[0,]\varphi: \mathcal{P}(\omega)\to [0,\infty] is a lower semicontinuous submeasure and ν(A):=limnφ(A{0,1,,n1})\nu(A):=\lim_n \varphi(A\setminus \{0, 1, \ldots, n-1\}) for all AωA\subseteq \omega, then dνd_\nu 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 ν\nu is the upper Banach density (or an upper density greater than or equal to the latter) then dνd_\nu is not complete. We conclude with several characterizations of completeness in terms of the Stone space of the Boolean algebra Σ/ν\Sigma/\nu.

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}
}
R2 v1 2026-06-28T21:14:45.443Z