On Finite-to-One Maps

http://dx.doi.org/10.4153/CMB-2005-057-x
Canad. Math. Bull. 48(2005), 614-621

  Published:2005-12-01
 Printed: Dec 2005

Let $f\colon X\to Y$ be a $\sigma$-perfect $k$-dimensional surjective map of metrizable spaces such that $\dim Y\leq m$. It is shown that for every positive integer $p$ with $ p\leq m+k+1$ there exists a dense $G_{\delta}$-subset ${\mathcal H}(k,m,p)$ of $C(X,\uin^{k+p})$ with the source limitation topology such that each fiber of $f\triangle g$, $g\in{\mathcal H}(k,m,p)$, contains at most $\max\{k+m-p+2,1\}$ points. This result provides a proof the following conjectures of S. Bogatyi, V. Fedorchuk and J. van Mill. Let $f\colon X\to Y$ be a $k$-dimensional map between compact metric spaces with $\dim Y\leq m$. Then: \begin{inparaenum}[\rm(1)] \item there exists a map $h\colon X\to\uin^{m+2k}$ such that $f\triangle h\colon X\to Y\times\uin^{m+2k}$ is 2-to-one provided $k\geq 1$; \item there exists a map $h\colon X\to\uin^{m+k+1}$ such that $f\triangle h\colon X\to Y\times\uin^{m+k+1}$ is $(k+1)$-to-one. \end{inparaenum}