Topological coarse shape homotopy groups

From MaRDI portal



Abstract: Uchillo-Ibanez et al. introduced a topology on the sets of shape morphisms between arbitrary topological spaces in 1999. In this paper, applying a similar idea, we introduce a topology on the set of coarse shape morphisms Sh∗(X,Y), for arbitrary topological spaces X and Y. In particular, we can consider a topology on the coarse shape homotopy group of a topological space (X,x), Sh∗((Sk,∗),(X,x))=checkpik∗(X,x), which makes it a Hausdorff topological group. Moreover, we study some properties of these topological coarse shape homotopoy groups such as second countability, movability and in particullar, we prove that checkpik∗top preserves finite product of compact Hausdorff spaces. Also, we show that for a pointed topological space (X,x), checkpiktop(X,x) can be embedded in checkpik∗top(X,x).


\textit{E. Cuchillo-Ibáñez} et al. [Topology Appl. 94, No. 1--3, 51--60 (1999; Zbl 0939.54007)] introduced a topology on the set of shape morphisms Sh\((X,Y)\) turning these sets into topological spaces. \textit{N. Koceić Bilan} and \textit{N. Uglešić} [Glas. Mat., III. Ser. 42, No. 1, 145--187 (2007; Zbl 1131.55005)] constructed a new category pro*\(\mathcal{T}\) having the usual pro-category pro\(\mathcal{T}\) as its subcategory. By simulating the shape category construction Sh\((\mathcal{T},\mathcal{P})\) they obtained the coarse shape category Sh*\((\mathcal{T},\mathcal{P})\) and showed that it is strictly coarser. The authors of the paper under review introduce a topology on the set of coarse shape morphisms Sh*\((\mathcal{T},\mathcal{P})\) and investigate properties of the coarse shape homotopy groups \({\check{\pi}_k}^{*^{top}}(X,x)\) of a topological space \((X,x)\). They are Hausdorff topological groups. Some further properties of these groups are proved such as second countability, movability, preservation of finite products of compact Hausdorff spaces and embedding of \({\check{\pi}}_k^{top}(X,x)\) into \({\check{\pi}_k}^{*^{top}}(X,x)\).











This page was built for publication: Topological coarse shape homotopy groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q511048)