14a77fcddffe63e1.tex
1: \begin{abstract}
2: For a metrizable space $X$ and a finite measure space $(\Omega,\Mm,\mu)$ let $M_{\mu}(X)$ and $M^f_{\mu}(X)$ be
3: the spaces of all equivalence classes (under the relation of equality almost everywhere mod $\mu$) of $\Mm$-measurable
4: functions from $\Omega$ to $X$ whose images are separable and finite, respectively, equipped with the topology
5: of convergence in measure. The main aim of the paper is to prove the following result: if $\mu$ is (nonzero and)
6: nonatomic and $X$ has more than one point, then the space $M_{\mu}(X)$ is a noncompact absolute retract
7: and $M^f_{\mu}(A)$ is homotopy dense in $M_{\mu}(X)$ for each dense subset $A$ of $X$. In particular, if $X$ is
8: completely metrizable, then $M_{\mu}(X)$ is homeomorphic to an infinite-dimensional Hilbert space.\\
9: \textit{2000 MSC: 54C35, 54C55, 54H05, 57N20, 58D15.}\\
10: Key words: measurable functions, absolute retracts, infinite-dimen\-sional manifolds, reflective isotopy property,
11: $Z$-sets.
12: \end{abstract}