Continuity of coarse shape groups (Q505354)

The author defined the coarse shape group functors \(\pi_k^\ast\) (\(k\in{\mathbb N}\)) from the pointed coarse shape category to the category of groups in [Topology Appl. 157, No. 17, 2679--2685 (2010; Zbl 1205.54027)]. The purpose of the present paper is to show that the continuity theorem holds for these functors. The main theorem states as follows: if \({\boldsymbol p}=[(p_\lambda)]: (X, x_0) \to ({\boldsymbol X}, {\boldsymbol x_0}) = ((X_\lambda, x_\lambda), p_{\lambda\lambda^\prime}, \Lambda)\) is an \(\mathbf {HPol}_\ast\)-expansion of a pointed space \((X, x_0)\), then the induced morphism \(\pi_k^\ast({\boldsymbol p}) = [(\pi_k^\ast(p_\lambda))]: \pi_k^\ast(X, x_0) \to \pi_k^\ast({\boldsymbol X}, {\boldsymbol x_0}) = (\pi_k^\ast(X_\lambda, x_\lambda), \pi_k^\ast(p_{\lambda\lambda^\prime}), \Lambda)\) in pro-groups induces a group isomorphism \(\lim \pi_k^\ast({\boldsymbol p}): \pi_k^\ast(X, x_0) \to \lim\pi_k^\ast({\boldsymbol X}, {\boldsymbol x_0})\).