Locally \(\sigma\)-compact rectifiable spaces (Q492251): Difference between revisions

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.