Locally \(\sigma\)-compact rectifiable spaces (Q492251)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Locally \(\sigma\)-compact rectifiable spaces |
scientific article |
Statements
Locally \(\sigma\)-compact rectifiable spaces (English)
0 references
20 August 2015
0 references
A topological space \(G\) is said to be a \textit{rectifiable space} provided that there are a surjective homeomorphism \(\varphi:G\times G\to G\times G\) and an element \(e\in G\) such that \(\pi_1\circ\varphi=\pi_1\) and for every \(x\in G\), \(\varphi(x,x)=(x,e)\), where \(\pi_1: G\times G\to G\) is the projection to the first coordinate. A space \(G\) is rectifiable if and only if there exist \(e\in G\) and two continuous mappings \(p,q:G\times G\to G\) such that \(p(x,q(x,y))=q(x,p(x,y))=y\) and \(q(x,x)=e\) for all \(x,y\in G\). A filter \(\xi\) of subsets of \(G\) is said to be a \textit{left Cauchy filter} if for every neighborhood \(U\) of \(e\) in \(G\) there exist \(F\in\xi\) and \(a\in G\) such that \(q(a,F)\subset U\). \(G\) is said to be \textit{rectifiable complete} if every left Cauchy filter in \(G\) converges. In the paper under the review the authors prove that each locally compact rectifiable space is paracompact. This gives an affirmative answer to \textit{A. V. Arhangel'skii} and \textit{M. M. Choban} [Topology Appl. 157, No. 4, 789--799 (2010; Zbl 1192.54009)]. They prove that a locally \(\sigma\)-compact rectifiable space with a \(bc\)-base (i.e., a base consisting of open sets with compact boundaries) is locally compact or zero-dimensional. This improves \textit{A. V. Arhangel'skii} and \textit{J. van Mill}'s result [Topology Appl. 179, 5--12 (2015; Zbl 1316.22002)]. Finally they prove that each rectifiable \(k_\omega\)-space is rectifiable complete.
0 references
rectifiable spaces
0 references
locally \(\sigma\)-compact
0 references
locally compact
0 references
paracompact
0 references
zero-dimension
0 references
\(k_\omega\)-spaces
0 references
rectifiable complete spaces
0 references