On finite-dimensional maps II

From MaRDI portal



Abstract: Let fcolonXoY be a perfect n-dimensional surjection of paracompact spaces with Y being a C-space. We prove that, for any mgeqn+1, almost all (in the sense of Baire category) maps g from X into the m-dimensional cube have the following property: g(f−1(y)) is at most n-dimensional for every yinY.


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.











This page was built for publication: On finite-dimensional maps II

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1398697)