engleski

On exactness of the coarse shape group sequence

The coarse shape groups are recently introduced. Given a pointed pair (X, X0, x0) and a k∈N, the relative coarse shape group π*k(X, X0, x0), having the standard relative shape group πk(X, X0, x0) for its subgroup, is defined. They establish a functorial relations of the topological, homotopy and (coarse) shape category to the category of groups. Therefore, the coarse shape groups are new algebraic topological, homotopy and (coarse) shape type invariants. For every pointed pair of metric compacta (X, X0, x0) and for every k>1, the boundary homomorphism ∂k*:π*k (X, X0, x0) → π*k-1 (X0, x0) = π* k-1(X0, {; ; ; x0}; ; ; , x0) is introduced which induces a natural transformation. The corresponding sequence of the coarse shape groups is exact, although the shape sequence generally failed to be exact. This exactness makes powerful tool for computing coarse shape groups of some particular pointed pairs of metric compacta.

polyhedron ; inverse system ; pro-category ; pro*-category ; expansion ; shape ; coarse shape ; homotopy group ; shape group ; coarse shape group ; exactness

nije evidentirano