Box-homotopy and the reduction of \({pro}^*\)-\({HTop}\) category (Q2284274)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Box-homotopy and the reduction of \({pro}^*\)-\({HTop}\) category |
scientific article |
Statements
Box-homotopy and the reduction of \({pro}^*\)-\({HTop}\) category (English)
0 references
14 January 2020
0 references
Let \(X\) be a topological space. In the present paper, the authors consider the box topology on \(\prod_{\mathbb{N}}X\) and denote by \(\tilde{X}\) the quotient space \(\prod_{\mathbb{N}}X/\sim\), where \((x_n)\sim(x'_n),(x'_n)\in\prod_{\mathbb{N}}X\) if they differ at most on a finite number of coordinates. They prove that this space preserves separation properties from the original space. Also, in \(\tilde{X}\), intersections of countably many open sets are open. Also, the authors propose a generalization of the notion of homotopy, a relation that is called box-homotopy and denoted by \(\sim_{\square}\). Naturally, all homotopic maps are box-homotopic, and they provide an example showing that the converse does not hold. Then they construct a new category, \(H_{\square}\mathrm{Top}\), with topological spaces as objects and box-homotopy classes of continuous maps as morphisms, as it turns out that box-homotopy is an equivalence relation on \(\mathrm{Top}(X,Y)\), and that it behaves well under composition. Finally, they propose a new functor \(\tilde{R}\) from \(\mathrm{pro}^\ast\)-\(H\mathrm{Top}\) to \(\mathrm{pro}\)-\(H_{\square}\mathrm{Top}\), which represents morphisms of the \(\mathrm{pro}^\ast\)-category as morphisms of the \(\mathrm{pro}\)-category between more complex objects.
0 references
\(P\)-space
0 references
\(\mathrm{pro}^*\)-category
0 references
box-homotopy
0 references
reduced product
0 references