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.

We describe an alternative approach to some results of Vassiliev ([Va1]) on spaces of polynomials, by applying the "scanning method" used by Segal ([Se2]) in his investigation of spaces of rational functions. We explain how these two approaches are related by the Smale-Hirsch Principle or the h-Principle of Gromov. We obtain several generalizations, which may be of interest in their own right.

Given a compact manifold $N^n$, an integer $k\in {\mathbb{N}}_{*}$ and an exponent $1\le p<\infty$, we prove that the class $C^{\infty }({\overline{Q}}^m;N^n)$ of smooth maps on the cube with values into $N^n$ is dense with respect to the strong topology in the Sobolev space $W^{k,p}(Q^m;N^n)$ when the homotopy group ${\pi }_{\lfloor kp\rfloor }\left(N^n\right)$ of order $\lfloor kp\rfloor$ is trivial. We also prove density of maps that are smooth except for a set of dimension $m-\lfloor kp\rfloor -1$, without any restriction on the homotopy group of $N^n$.

Soit $f:X\to Y$ un morphisme propre relativement algébrique entre espaces semi-analytiques. On montre que si ${𝒞}^{\infty }\left(Y\right)$ désigne l’anneau des fonctions de classe ${𝒞}^{\infty }$ sur $Y$, l’image par $f$ de ${𝒞}^{\infty }\left(Y\right)$ est fermée dans ${𝒞}^{\infty }\left(X\right)$ muni de sa topologie naturelle d’espace de Frechet ; ceci généralise un résultat précédent de J.-C. Tougeron (lui-même généralisant un résultat de Glaeser) qui traite du cas semi-algébrique. La méthode est tout à fait analogue et utilise des propriétés algébriques de l’anneau des fonctions Nash-analytiques introduit...