Lelek maps and \(n\)-dimensional maps from compacta to polyhedra (Q818369)

For a natural number \(m\), a map \(f:X\rightarrow Y\) from a compactum \(X\) to a space \(Y\) is an \textit{\(m\)-dimensional map} if for each \(y\in Y\), \(\dim f^{-1}(y)\leq m\); a map \(f:X\rightarrow Y\) from a compactum \(X\) to a space \(Y\) is an \textit{\(m\)-dimensional Lelek map} if the union of all non-trivial continua contained in the fibers of \(f\) is of dimension \(\leq m\). (Every \(m\)-dimensional Lelek map is also an \(m\)-dimensional map.) For a compactum \(X\) and a space \(Y\), let \(L_{m}(X,Y)\) be the set of all \(m\)-dimensional Lelek maps from \(X\) to \(Y\). In [Colloq. Math. 10, 45--48 (1963; Zbl 0113.16601)], \textit{A. Lelek} constructed an \(n\)-dimensional Lelek map from the \((n+1)\)-dimensional cube \([0,1]^{n+1}\) onto a dendrite. In [Isr. J. Math. 105, 257--262 (1998; Zbl 0903.54005)], \textit{M. Levin} proved that for a compactum \(X\) with \(\dim X =n\), \(L_{n-k}(X, [0,1]^k)\) is a dense \(G_\delta\)-subset of the space \(C(X,[0,1]^k)\) of all maps from \(X\) to \(k\)-dimensional cube \([0,1]^k\). In this paper the authors generalize Levin's result to polyhedra and other spaces (Peano curves, Menger manifolds). For a space \(Y\), the piecewise embedding dimension \(\text{ped}(Y)\) of \(Y\) is defined as the maximal natural number \(k\) satisfying the following condition: If \(\varepsilon >0\) and \(g: P\rightarrow Y\) is any map from any finite polyhedron \(P\) to \(Y\) with \(\dim P \leq k\) there is a piecewise embedding \(\varphi : P \rightarrow Y\) such that \(d(g,\varphi)\leq\varepsilon\). The main theorem in the paper: Let \(Y\) be a complete metric ANR with \(\text{ped}(Y)\geq k\geq 0\). Suppose that \(X\) is an \(n\)-dimensional compactum. Then the set \(L_{n-k}(X,Y)\) of all \((n-k)\)-dimensional Lelek maps from \(X\) to \(Y\) is a dense \(G_\delta\)-subset of \(C(X,Y)\).