Geometric and measure-theoretic characterizations of the measure-determining property of balls in metric spaces
Abstract
The question of what structural properties drive the collection of open or closed balls to uniquely determine Borel probability measures on a metric space, the ball property, has a long history in measure theory. While various sufficient conditions have been known since the 1970s, and it was shown by Preiss and Tišer (1991) that it holds for all separable Banach spaces, Davies (1971) constructed a famous counterexample that shows it can fail on compact metric spaces. It was only recently established in van Delft (2026) that metric spaces admitting an isometric Hilbertian embedding must possess the ball property. This article provides a comprehensive structural and measure-theoretic characterization of the ball property. First, we establish a necessary and sufficient condition for the ball property to fail: the collection of balls must possess sufficient combinatorial capacity, which we define as charged dyadic shattering. Second, by characterizing the ball property via λ-systems, we place classical vector space results within a unified context. Building on this to understand spaces that have the topological capacity but lack linear or geometric rigidity required to force ball-annihilating measures to zero, we relate the metric outer measure to the cylinder outer measure on countable products of Polish spaces, deriving necessary and sufficient measure-theoretic conditions for the ball property to hold. This allows us to derive a structural taxonomy on the decoupling of the metric outer measure from the cylinder outer measure. This is subsequently used to deconstruct Davies' counterexample. Finally, we introduce a minimal combinatorial generalization of the ball property, the nth order ball property, and show that such classes can fully recover measure determination in highly pathological constructions like Davies' counterexample.
Related
- A Deterministic Game-Theoretic Approach to Convexity-Preserving Property and Finite-Time Extinction of Level Sets for Geometric Equations
- The Normalized Maximum Likelihood for Regular Non-Smooth Models: Measure-Theoretic Foundations and Geometric Sampling
- Littlewood-Paley and Carleson measure characterizations of Lipschitz spaces adapted to Schrödinger operators
- A Measure-Theoretic Derivation of Zadeh Fuzzy Logic
- An operator-theoretic characterization of Gaussian measure singularity under mean shifts
BibTeX
@misc{delft2026geometric,
title = {{Geometric and measure-theoretic characterizations of the measure-determining property of balls in metric spaces}},
author = {Anne van Delft},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.25698},
eprint = {2610.25698},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.25698},
}
RIS
TY - UNPB
TI - Geometric and measure-theoretic characterizations of the measure-determining property of balls in metric spaces
AU - Anne van Delft
PY - 2026
DA - 2026/10/19
PB - arXiv
DO - 10.48550/arxiv.2610.25698
UR - https://arxiv.org/abs/2610.25698
AB - The question of what structural properties drive the collection of open or closed balls to uniquely determine Borel probability measures on a metric space, the ball property, has a long history in measure theory. While various sufficient conditions have been known since the 1970s, and it was shown by Preiss and Tišer (1991) that it holds for all separable Banach spaces, Davies (1971) constructed a famous counterexample that shows it can fail on compact metric spaces. It was only recently established in van Delft (2026) that metric spaces admitting an isometric Hilbertian embedding must possess the ball property. This article provides a comprehensive structural and measure-theoretic characterization of the ball property. First, we establish a necessary and sufficient condition for the ball property to fail: the collection of balls must possess sufficient combinatorial capacity, which we define as charged dyadic shattering. Second, by characterizing the ball property via λ-systems, we place classical vector space results within a unified context. Building on this to understand spaces that have the topological capacity but lack linear or geometric rigidity required to force ball-annihilating measures to zero, we relate the metric outer measure to the cylinder outer measure on countable products of Polish spaces, deriving necessary and sufficient measure-theoretic conditions for the ball property to hold. This allows us to derive a structural taxonomy on the decoupling of the metric outer measure from the cylinder outer measure. This is subsequently used to deconstruct Davies' counterexample. Finally, we introduce a minimal combinatorial generalization of the ball property, the nth order ball property, and show that such classes can fully recover measure determination in highly pathological constructions like Davies' counterexample.
ER -