The Whitehead type theorems in coarse shape theory (Q384295): Difference between revisions

Coarse shape theory enables a classification of topological spaces strictly coarser than the shape type classification (almost all important shape invariants are, actually, the invariants of coarse shape. For the category of coarse shape also new topological/algebraic invariants are obtained). In this paper, after naturally defining the notions of an \(m\)-equivalence of \(pro^*\)-\(HTop_0\) and a coarse (shape) \(m\)-equivalence, the authors generalize the Whitehead theorem to coarse shape theory for topological spaces (in the pointed coarse pro-category \(pro^*\)-\(HPol_0\) and in the pointed coarse shape category \(Sh^*_0\) the main results are proved: Theorems 4.1 and 4.2). If a pointed coarse shape morphism of finite shape dimensional spaces induces isomorphisms (an epimorphism in the top dimension) of the corresponding coarse \(k\)-dimensional homotopy pro-groups, then it is a pointed coarse shape isomorphism. Applications are also discussed. The results and techniques of this paper are interesting and can help in the further study of other (algebraic) properties of spaces and mappings.