Completeness and additive property for submeasures

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 $d_ν$ defined by $d_ν(A,B):=\min\{1,ν(A\bigtriangleup B)\}$ for all $A,B \in Σ$ is complete. As an application, we show that if $φ: \mathcal{P}(ω)\to [0,\infty]$ is a lower semicontinuous submeasure and $ν(A):=\lim_n φ(A\setminus \{0, 1, \ldots, n-1\})$ for all $A\subseteq ω$, then $d_ν$ 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 $d_ν$ is not complete. We conclude with several characterizations of completeness in terms of the Stone space of the Boolean algebra $Σ/ν$.

Authors

Publication Details

Journal
Journal of Mathematical Analysis and Applications
Published
2026-10-13
DOI
https://doi.org/10.1016/j.jmaa.2026.131157
Primary Topic
Advanced Topology and Set Theory
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Completeness and additive property for submeasures

Paolo Leonetti, Jonathan M. Keith
Journal of Mathematical Analysis and Applications
Advanced Topology and Set Theory
article

Completeness and additive property for submeasures

Paolo Leonetti, Jonathan M. Keith
article en

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 $d_ν$ defined by $d_ν(A,B):=\min\{1,ν(A\bigtriangleup B)\}$ for all $A,B \in Σ$ is complete. As an application, we show that if $φ: \mathcal{P}(ω)\to [0,\infty]$ is a lower semicontinuous submeasure and $ν(A):=\lim_n φ(A\setminus \{0, 1, \ldots, n-1\})$ for all $A\subseteq ω$, then $d_ν$ 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 $d_ν$ is not complete. We conclude with several characterizations of completeness in terms of the Stone space of the Boolean algebra $Σ/ν$.

Journal of Mathematical Analysis and ApplicationsVol. 568(1)
Openalex Percentile: Top 91%
Advanced Topology and Set Theory
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.