Towards the algebraic characterization of (coarse) shape path connectedness (Q1939214)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Towards the algebraic characterization of (coarse) shape path connectedness |
scientific article |
Statements
Towards the algebraic characterization of (coarse) shape path connectedness (English)
0 references
27 February 2013
0 references
Coarse shape theory [\textit{N. Koceić Bilan} and \textit{N. Uglešić}, Glas. Mat., III. Ser. 42, No. 1, 145--187 (2007; Zbl 1131.55005)] generalizes shape theory and using the recent notion of coarse shape path connectedness introduced in [ibid. Ser. 46, No. 2, 489--503 (2011; Zbl 1236.55017)], the author describes actions that coarse shape paths induce on coarse shape groups and homotopy progroups. He presents interesting results for coarse shape path connected spaces: the independence of \(n\)-shape connectedness and independence of coarse shape groups from the choice of the base point. He also shows the relationship between (coarse) shape path connectedness and the triviality of some low dimensional (coarse) shape groups and homotopy pro-groups. In addition, the author presents a necessary (sufficient) condition for (coarse) shape path connectedness. Definitory results are: Theorem 4. Let \(X\) be a compactum. If there exists an \(x_0 \in X\) such that \(\check{\pi_0}(X,x_0)=0\) then, for every \(x_0'\in X\), there exists a coarse shape path from \(x_0\) to \(x_0'\). Theorem 6. Let \(X\) be a space. If there exists \(x_0 \in X\) such that \(\check{\pi_0}(X,x_0)=0\) and \(pro\)-\(\pi_1(X,x_0) \cong 0\) then, for every \(x_0' \in X\) there exists a shape path from \(x_0\) to \(x_0'\).
0 references
inverse system
0 references
pro-category
0 references
\(Pro^*\)-category
0 references
expansion
0 references
shape
0 references
coarse shape
0 references
homotopy pro-group
0 references
shape group
0 references
coarse shape group
0 references
coarse shape path connectedness
0 references
\(n\)-shape connectedness
0 references