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ö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öf sets in .

生成讲解博客的中文版本

生成AI智能校验的中文版本