Mass and radius of balls in Gromov-Hausdorff-Prokhorov convergent sequences

Abstract: We survey some properties of Gromov--Hausdorff--Prokhorov convergent sequences $(\mathsf{X}n, d{\mathsf{X}n}, \nu{\mathsf{X}n}){n \ge 1}$ of random compact metric spaces equipped with Borel probability measures. We formalize that if the limit is almost surely non-atomic, then for large $n$ each open ball in $\mathsf{X}_n$ with small radius must have small mass. Conversely, if the limit is almost surely fully supported, then each closed ball in $\mathsf{X}_n$ with small mass must have small radius. We do not claim any new results, but justifications are provided for properties for which we could not find explicit references.