Spaces of measurable functions (Q5917942)

Let \(X\) be a metrizable space, and \((\Omega,\mathfrak M,\mu)\) a finite measure space. Let \(M_{\mu}(X)\) (resp. \(M_{\mu}^r(X)\)) be the space of \(\mathfrak M\)-measurable functions (identifying functions that are equal almost everywhere mod \(\mu\)) from \(\Omega\) to \(X\) with separable ranges (resp. with ranges contained in \(\sigma\)-compact sets) endowed with the topology of convergence in measure. It is shown that given a nontrivial \(X\), and nonatomic finite measure space \((\Omega,\mathfrak M,\mu)\), \(M_{\mu}(X)\) is an absolute retract; moreover, \(M_{\mu}^r(X)^{\omega}\cong M_{\mu}^r(X)\), and since \(M_{\mu}(X)=M_{\mu}^r(X)\) provided \(X\) is absolutely measurable, the author argues that \(M_{\mu}(X)\) is homeomorphic to an infinite-dimensional Hilbert space, if \(\mu\) is a finite nonatomic measure, and \(X\) is a nontrivial completely metrizable space. ``The other purpose of the paper is to present the idea of extending maps between metrizable spaces to maps between AR's via functors. Namely, whenever \(\mu\) is a finite (nonzero) nonatomic measure, every map \(f:X\to Y\) has a natural extension \(M_{\mu}(f): M_{\mu}(X)\to M_{\mu}(Y)\)'', which preserves, among other properties, being an injection, an embedding, or a map with dense range, respectively. The question whether \(M_m(M_m(X)) \cong M_m(X)\) is also investigated, where \(m\) is the Lebesgue measure on \([0,1]\).