Spaces with fibered approximation property in dimension \(n\) (Q607419)

The authors say that a metric space \(M\) has the fibered approximation property in dimension \(n\) (briefly, FAP(\(n\))-property), where \(n \geq 0\), if for any \(\epsilon > 0,\) any \(m \geq 0\) and any map \(g: \mathbb I^m \times \mathbb I^n \to M\) there exists a map \(g': \mathbb I^m \times \mathbb I^n \to M\) such that \(g'\) is \(\epsilon\)-homotopic to \(g\) and \(\dim(\{z\} \times \mathbb I^n) \leq n\) for all \(z \in \mathbb I^n\). It is shown that a complete metric space has the FAP\((n)\)-property iff it has locally the same property. In particular, any Euclidean manifold has the FAP\((n)\)-property. However the main result is the following. Let \(M\) be a completely metrizable space having the FAP(\(n\))-property and \(f : X \to Y\) a perfect map with \(\dim_{\Delta} (f) \leq n\) between paracompacta \(X, Y\). Then the set \(S = \{g \in C(X,M): \dim g(f^{-1}(y)) \leq n\) for all \(y \in Y \}\) is a \(G_\delta\)-subset of \(C(X,M)\) (considered with the source limitation topology) and every simplicially factorizable map in \(C(X,M)\) is homotopically approximated by maps from \(S\). This theorem generalizes some statements from \textit{H. M. Tuncali} and \textit{V. Valov} [Topology Appl. 132, No.~1, 81--87 (2003; Zbl 1029.54042)] and \textit{V. V. Uspenskij} [ibid. 103, No.~3, 291--294 (2000; Zbl 0948.54020)].