Topological Coarse Shape Homotopy Groups

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 $S{h}^{\ast }(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)$, $S{h}^{\ast }((S^k,\ast ),(X,x))={\check{\pi }}_k^{\ast }(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 ${\check{\pi }}_k^{{\ast }^{top}}$ preserves finite product of compact Hausdorff spaces. Also, we show that for a pointed topological space $(X,x)$, ${\check{\pi }}_k^{top}(X,x)$ can be embedded in ${\check{\pi }}_k^{{\ast }^{top}}(X,x)$.