Cell-like resolutions in the strongly countable Z-dimensional case
Cell-like resolutions in the strongly countable \(\mathbb Z\)-dimensional case
The objective of this paper is to prove the following theorem. Theorem 1.1. Suppose that \(X\) is a nonempty compact metrizable space and \(X_1\subset X_2\subset\cdots\) is a sequence of nonempty closed subspaces such that for each \(k\in\mathbb{N}\), \(\dim_{\mathbb{Z}}X_k\leq k<\infty\). Then there exists a compact metrizable space \(Z\), having closed subspaces \(Z_1\subset Z_2\subset\cdots\), and a surjective cell-like map \(\pi: Z\to X\), such that for each \(k\in\mathbb{N}\), (a) \(\dim_{\mathbb{Z}}X_k\leq k\), (b) \(\pi(Z_k)= X_k\), and (c) \(\pi\mid Z_k\) is a cell-like map. Moreover, there is a sequence \(A_0\subset A_1\subset\cdots\) of closed subspaces of \(Z\) such that for each \(k\), \(Z_k\subset A_k\), \(\dim A_k\leq k\), \(\pi\mid A_k: A_k\to X\) is surjective, and for \(k\in\mathbb{N}\), \(\pi\mid A_k: A_k\to X\) is a \(\text{UV}^{k-1}\)-map. (Here a map \(\pi: Z\to X\) is called cell-like if each of its fibers \(\pi^{-1}(x)\) is a cell-like space, and \(\dim_{\mathbb{Z}}\) denotes integral cohomological dimension.) As an application the following nice combinatorial theorem is obtained. Theorem 4.1. Suppose that \((P,\tau_P)\) and \((Q,\tau_Q)\) are compact polyhedra, \(P_0< P\) and \(Q_0< Q\) compact subpolyhedra. Then for every map \(f: P\to Q\), \(f(P_0)\subset Q_0\), there exist a triangulation \(\tau_P'< \tau_P\) and a simplicial map \(f': (P,\tau_P')\to (Q,\tau_Q)\) such that \(\text{dist}(f', f)< 2\cdot\text{mesh}(\tau_Q)\), and \(f'(P_0)\subset Q_0\). The following conjecture is also formulated. Conjecture 1.3. Suppose that \(X\) is a nonempty compact metrizable space and \(X_1\subset X_2\subset\cdots\) is a sequence of nonempty closed subspaces such that for each \(k\in\mathbb{N}\), \(\dim_{\mathbb{Z}}X_k\leq k<\infty\). Then there exists a compact metrizable space \(Z\), having closed subspaces \(Z_1\subset Z_2\subset\cdots\), and a surjective cell-like map \(\pi: Z\to X\), such that for each \(k\in\mathbb{N}\), (a) \(\dim_{\mathbb{Z}}X_k\leq k\), and (b) \(\pi^{-1}(X_k)= Z_k\). Moreover, there is a sequence \(A_0\subset A_1\subset\cdots\) of closed subspaces of \(Z\) such that for each \(k\), \(Z_k\subset A_k\), \(\dim A_k\leq k\), \(\pi\mid A_k: A_k\to X\) is surjective, and for \(k\in\mathbb{N}\), \(\pi\mid A_k: A_k\to X\) is a \(\text{UV}^{k-1}\)-map.
- Cell-Like Mappings and Nonmetrizable Compacta of Finite Cohomological Dimension
- Cell-like maps onto non-compact spaces of finite cohomological dimension
- Characterizing cohomological dimension: The cohomological dimension of \(A \cup{} B\)
- HOMOLOGICAL DIMENSION THEORY
- scientific article; zbMATH DE number 3955957 (Why is no real title available?)
- scientific article; zbMATH DE number 3984113 (Why is no real title available?)
- scientific article; zbMATH DE number 3780202 (Why is no real title available?)
- scientific article; zbMATH DE number 1039223 (Why is no real title available?)
- Shape theory and geometric topology. Proceedings of a conference held at the Inter-University Centre of Postgraduate Studies, Dubrovnik, Yugoslavia, January 19--30, 1981
- Alternate proofs for the \(n\)-dimensional resolution theorems
- Shape theory
- scientific article; zbMATH DE number 4048626 (Why is no real title available?)
- On Dranishnikov's cell-like resolution
- Preserving \(Z\)-sets by Dranishnikov's resolution
- Strongly countable dimensional compacta form the Hurewicz set
This page was built for publication: Cell-like resolutions in the strongly countable \(\mathbb Z\)-dimensional case
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1878503)
