Factorization theorem for perfect maps between metrizable spaces (Q910040)

Let A be an ANR for the class of all compact metrizable spaces. Then by definition, for a normal space X, \(\dim X\leq A\) if for each closed subset F of X and each map \(f: F\to A\), there is a continuous extension \(g: X\to A\) of f. Let \(\zeta: Z\to Z_ 0\) be a map. Then dim \(\zeta\leq A\) means that \(\dim \zeta^{-1}(x)\leq A\) for each \(x\in Z_ 0\). We say that the weight \(w(\zeta)\leq \tau\) if there is an embedding \(i: Z\to Z_ 0\times I^{\tau}\) such that \(\zeta =p_{z_ 0}\circ i\). Here \(I^{\tau}\) is the Tikhonov cube of weight \(\tau\). The author proves the following result: Let \(A\in ANR\), let \(\xi\) be a closed map of a space X into a paracompact space \(X_ 0\), \(\zeta\) be a perfect map of a metrizable space Z into a metrizable space \(Z_ 0\), and let f: \(X\to Z\) and \(f_ 0: X_ 0\to Z_ 0\) be maps such that \(\zeta f=f_ 0\xi\) and dim \(\xi\leq A\). Then there are metrizable spaces Y and \(Y_ 0\), a perfect map \(\eta: Y\to Y_ 0\), and maps \(g: X\to Y\), \(g_ 0: X_ 0\to Y_ 0\), \(h: Y\to Z\) and \(h_ 0: Y_ 0\to Z_ 0\) such that \(\eta g=g_ 0\xi\), \(\zeta h=h_ 0\eta\), \(hg=f\), \(h_ 0g_ 0=f_ 0\), \(\dim\eta\leq A\), \(w(Y_ 0)\leq \max (w(X_ 0),w(Z_ 0))\), and \(\dim Y_ 0\leq \dim X_ 0.\) The author points out that a similar theorem was proved by \textit{B. A. Pasynkov} in the case that \(X,X_ 0,Z,Z_ 0\) are compact Hausdorff spaces [Usp. Math. Nauk 39, No.5(239), 107-130 (1984; Zbl 0588.54034)].