English

Spaces of measurable functions

General Topology 2013-05-07 v1

Abstract

For a metrizable space XX and a finite measure space (Ω,M,μ)(\Omega,\mathfrak{M},\mu) let Mμ(X)M_{\mu}(X) and Mμf(X)M^f_{\mu}(X) be the spaces of all equivalence classes (under the relation of equality almost everywhere mod μ\mu) of mathfrakMmathfrak{M}-measurable functions from Ω\Omega to XX whose images are separable and finite, respectively, equipped with the topology of convergence in measure. The main aim of the paper is to prove the following result: if μ\mu is (nonzero and) nonatomic and XX has more than one point, then the space Mμ(X)M_{\mu}(X) is a noncompact absolute retract and Mμf(A)M^f_{\mu}(A) is homotopy dense in Mμ(X)M_{\mu}(X) for each dense subset AA of XX. In particular, if XX is completely metrizable, then Mμ(X)M_{\mu}(X) is homeomorphic to an infinite-dimensional Hilbert space.

Keywords

Cite

@article{arxiv.1107.1495,
  title  = {Spaces of measurable functions},
  author = {Piotr Niemiec},
  journal= {arXiv preprint arXiv:1107.1495},
  year   = {2013}
}

Comments

22 pages

R2 v1 2026-06-21T18:33:45.333Z