Spaces of measurable functions
For a metrizable space X and a finite measure space (Ω, , µ), the space M µ(X) of all equivalence classes (under the relation of equality almost everywhere mod µ) of -measurable functions from Ω to X, whose images are separable, equipped with the topology of convergence in measure, and some of its subspaces are studied. In particular, it is shown that M µ(X) is homeomorphic to a Hilbert space provided µ is (nonzero) nonatomic and X is completely metrizable and has more than one point.