On finite-dimensional maps II (Q1398697): Difference between revisions

The authors generalize Uspenskij's theorem as follows: Theorem 1.1. Let \(f:X \to Y\) be a \(\sigma\)-perfect surjection such that \(dim f \leq n\) and \(Y\) is a paracompact \(C\)-space. Let \(\mathcal H = \{ g\in C(X,I^{n+1}):\dim g(f^{-1}(y))\leq n\) for each \(y \in Y]\}\). Then \(\mathcal H\) is dense and \(G=\delta\) in \(C(X,I^{n+1})\) with respect to the source limitation topology. A map \(f\) is said to be \(\sigma\)-perfect if there exists a sequence \(\{X=i\}\) of closed subsets of \(X\) such that each restriction map \(f|X_i\) is perfect and the sets \(f(X_i)\) are closed in \(Y\). For the definitions of \(C\)-space and source limitation topology, consult [\textit{R. Engelking}, Theory of dimensions: finite and infinite, Heldermann, Lemgo (1995; Zbl 0872.54002)], and [\textit{J. Munkres}, Topology, Prentice-Hall, Englewood Cliffs, NJ (1975; Zbl 0306.54001)], respectively.