Topological Coarse Shape Homotopy Groups

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))=\check{\pi}_k{*}(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^{*{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^{{*{top}}(X,x)$.}