On finite-dimensional maps (Q1769863)

A map \(f:X\to Y\) is of \textit{countable functional weight} if there exists a map \(h:X\to I^{\infty}\) such that \(f\times h\) embeds \(X\) into \(Y\times I^{\infty}\). For a metric space \((Y,d)\), the \textit{source limitation topology} on \(C(X,Y)\) is defined as follows: a subset \(U\in C(X,Y)\) is open in \(C(X,Y)\) with respect to the source limitation topology if for every \(g\in U\) there is a function \(\alpha:X\to (0,\,\infty)\) such that \(\{h\in C(X,Y):d(g(x),h(x))\leq\alpha(x) \text{ for each } x\in X\}\subset U\). The main theorem in this paper is the following: let \(f:X\to Y\) be a perfect surjection of countable functional weight between paracompact spaces. Then, (i) if \(\dim f\leq n\) and \(\dim Y\leq m\), then the set \(\{g\in C(X,I^{2n+1+m}):f\times g \text{ embeds }X\) into