Absorbing sets in the Hilbert cube related to cohomological dimension (Q1371941): Difference between revisions

The setting is separable metric spaces. The Hilbert cube (i.e., the countable infinite product of closed intervals) is denoted by \(Q\). A closed subset \(A\subset X\) is a \(Z\)-set if the identity map of \(X\) can be approximated by maps into \(X\smallsetminus A\). A subset \(X\subset E\) is strongly \({\mathcal C}\)-universal in \(E\) for a class of spaces \({\mathcal C}\) provided: given a subset \(A\subset Q\) with \(A\in{\mathcal C}\) and a map \(f:Q\to E\) that is a \(Z\)-embedding on a compact subset \(K\subset Q\), the map \(f\) can be approximated arbitrarily closely by a \(Z\)-embedding \(g: Q\to E\) such that \(g| K= f| K\) and \(g^{-1}(X)\smallsetminus K= A\smallsetminus K\). A subset \(X\subset E\) is \({\mathcal C}\)-absorbing in \(E\) provided: \(X\in{\mathcal C}\); \(X\subset A\) where \(A\) is a countable union of compact \(Z\)-sets in \(E\); and \(X\) is strongly universal in \(E\). For example, there are \({\mathcal C}\)-absorbing sets in \(Q\) for \({\mathcal C}\) the class of spaces that are the countable union of compacta, for \({\mathcal C}\) the class of spaces that are the countable union finite-dimensional compacta, and for \({\mathcal C}\) the class of spaces that are the countable union of compacta having covering dimension \(\leq n\). For a countable Abelian group \(G\), the paper constructs \({\mathcal C}\)-absorbing sets in \(Q\) for two classes \({\mathcal C}\). The first is the class of spaces that are the countable union of finite-dimensional compacta that have cohomological dimension with respect to \(G\leq n\). The second is the class of spaces that are the countable union of compacta that have covering dimension \(\leq m\) and that have cohomological dimension with respect to \(G\leq n\).