On rectifiable spaces and paratopological groups (Q627709): Difference between revisions

In the paper under review the authors deal with a paratopological group and rectifiable spaces. A paratopological group \(G\) is a group with a topology such that the product map of \(G\times G\) into \(G\) is joint continuous. A topological space \(G\) is said to be a rectifiable space provided that that there are a surjective homeomorphism \(\phi:G\times G\to G\times G\) and an element \(e\in G\) such that \(\pi_1\circ\phi=\pi_1\) and for every \(x\in G\) we have \(\phi(x,x)=(x,e)\), where \(\pi_1: G\times G\to G\) is the projection to the first coordinate. It is well known that rectifiable spaces and paratopological groups are generalizations of topological groups. In this paper the authors give affirmative answers to the following question by A. V.~Arhangel'skii and M.~Tkachenko: Let \(A\) and \(B\) be \(\omega\)-narrow subsets of a paratopological group \(G\) . Is the set \(AB\) necessarily \(\omega\)-narrow in \(G\)? A subset \(B\) of a paratopological group \(G\) is called \(\omega\)-narrow in \(G\) if, for each neighborhood \(U\) of the identity in \(G\), there is a countable subset \(F\) of \(G\) such that \(B\subset FU\cap UF\). The authors consider the relation between rectifiable spaces and metrizable spaces, and rectifiable spaces and Moscow spaces. They show that {\parindent4mm \begin{itemize}\item[--] every weakly first-countable rectifiable space is metrizable, \item[--] every bisequential rectifiable space is metrizable, \item[--] every rectifiable space of countable \(g\)-tightness is a Moscow space \item[--] every rectifiable and pointwise canonically weakly pseudocompact space is a Moscow space. \end{itemize}} Another interesting results is that if \(G\) is a rectifiable space then {\parindent4mm \begin{itemize}\item[--] Fréchet-Urysohn coincides with strongly Fréchet-Urysohn \item[--] \(G\) contains a copy of \(S_\omega\) if and only if \(G\) contains a copy of \(S_2\). \end{itemize}}