On rectifiable spaces and paratopological groups

\(k\)-gentle bisequential space Fréchet-Urysohn metrizable Moscow spaces paratopological groups rectifiable spaces remainders topological groups weakly first-countable

Mathematics Subject Classification ID

Cardinality properties (cardinal functions and inequalities, discrete subsets) (54A25) Subspaces in general topology (54B05) Stratifiable spaces, cosmic spaces, etc. (54E20) Metric spaces, metrizability (54E35) Topological groups (topological aspects) (54H11)

Abstract: We mainly discuss the cardinal invariants and generalized metric properties on paratopological groups or rectifiable spaces, and show that: (1) If

A

and

B

are

o m e g a

-narrow subsets of a paratopological group

G

, then

A B

is

o m e g a

-narrow in

G

, which give an affirmative answer for cite[Open problem 5.1.9]{A2008}; (2) Every bisequential or weakly first-countable rectifiable space is metrizable; (3) The properties of Fr

a c u t e e

chet-Urysohn and strongly Fr

a c u t e e

chet-Urysohn are coincide in rectifiable spaces; (4) Every rectifiable space

G

contains a (closed) copy of

S_{o m e g a}

if and only if

G

has a (closed) copy of

S_{2}

; (5) If a rectifiable space

G

has a

s i g m a

-point-discrete closed

k

-network, then

G

contains no closed copy of

S_{o m e g a_{1}}

; (6) If a rectifiable space

G

is pointwise canonically weakly pseudocompact, then

G

is a Moscow space. Also, we consider the remainders of paratopological groups or rectifiable spaces, and give a partial answer to questions posed by C. Liu in cite{Liu2009} and C. Liu, S. Lin in cite{Liu20091}, respectively.

Review text

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}}

Recommendations

Cites work

Cited in

(37)

This page was built for publication: On rectifiable spaces and paratopological groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q627709)