Extension dimension and refinable maps (Q700376)

For a topological space \(X\) and a CW-complex \(K\) the symbol e-\(\dim X\leq K\) (resp. \(X\in\alpha(K)\)) means that any continuous map \(f:A\to K\) defined on a closed subspace \(A\) of \(X\) can be extended to a continuous map \(F:X\to K\) (provided there is a continuous extension of \(f\) onto a neighborhood of \(A\) in \(X\)). It is clear that e-\(\dim X\leq K\) implies \(X\in\alpha(K)\) while the converse is true for metrizable \(X\). The authors show that a normal space \(X\) belongs to \(\alpha(K)\) if and only if for any locally finite open cover \(\omega\) of \(X\) there is an \(\omega\)-map \(f:X\to Y\) into a metrizable space \(Y\) with e-\(\dim Y\leq K\) (\(f:X\to Y\) is called an \(\omega\)-map if there is an open cover \(\gamma\) of \(Y\) such that the cover \(f^{-1}(\gamma)\) refines \(\omega\)). Next, the authors show that many dimensional properties are preserved by refinable maps (a surjective map \(f:X\to Y\) is called refinable if for any locally finite open cover \(\omega\) of \(X\) and an open cover \(\gamma\) of \(Y\) there is a surjective \(\omega\)-map \(g:X\to Y\), \(\gamma\)-near to \(f\)). It is proven that for a countable CW-complex \(K\) and a refinable map \(f:X\to Y\) from a normal space \(X\) onto a paracompact space \(Y\) the space \(X\) belongs to \(\alpha(K)\) if and only if \(Y\in\alpha(K)\); moreover if \(X\) and \(Y\) are metrizable, then e-\(\dim X\leq K\) if and only if e-\(\dim Y\leq K\). It is also shown that refinable maps from normal (resp. paracompact) spaces onto paracompact spaces preserve the weak \(S\)-infinite-dimensionality (resp. the finite \(C\)-space property).