A pseudometric on $\mathcal{M}(X,\mathscr{A})$ induced by a measure
Abstract
For a probability measure space , we define a pseudometric on the ring of real-valued measurable functions on as and denote the topological space induced by as . We examine several topological properties, such as connectedness, compactness, Lindel\"{o}fness, separability and second countability of this pseudometric space. We realise that the space is connected if and only if is a non-atomic measure and we explicitly describe the components in , for any choice of measure. We also deduce that is zero-dimensional if and only if is purely atomic. We define to be bounded away from zero, if every non-zero measurable set has measure greater than some constant. We establish several conditions equivalent to being bounded away from zero. For instance, is bounded away from zero if and only if is a locally compact space. We conclude this article by describing the structure of compact sets and Lindel\"{o}f sets in .
Keywords
Cite
@article{arxiv.2505.19780,
title = {A pseudometric on $\mathcal{M}(X,\mathscr{A})$ induced by a measure},
author = {Amrita Dey},
journal= {arXiv preprint arXiv:2505.19780},
year = {2025}
}