The strong Pytkeev property and strong countable completeness in (strongly) topological gyrogroups

MaRDI QIDQ6363384zbMATH OpenFDO

Authors Meng Bao, Xiaoyuan Zhang, Xiaoquan Xu

Publication date 21 March 2021

Mathematics Subject Classification ID

Density, gaps, topology (11B05) Foundations: limits and generalizations, elementary topology of the line (26A03) Convergence and divergence of series and sequences (40A05) Convergence and divergence of series and sequences of functions (40A30) Convergence and divergence of infinite limiting processes (40A99) Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20)

Abstract: A topological gyrogroup is a gyrogroup endowed with a topology such that the binary operation is jointly continuous and the inverse mapping is also continuous. In this paper, it is proved that if $G$ is a sequential topological gyrogroup with an $omeg{a}^{omega}$-base, then $G$ has the strong Pytkeev property. Moreover, some equivalent conditions about $omeg{a}^{omega}$-base and strong Pytkeev property are given in Baire topological gyrogroups. Finally, it is shown that if $G$ is a strongly countably complete strongly topological gyrogroup, then $G$ contains a closed, countably compact, admissible subgyrogroup $P$ such that the quotient space $G/P$ is metrizable and the canonical homomorphism $pi:GightarrowG/P$ is closed.

This page was built for publication: The strong Pytkeev property and strong countable completeness in (strongly) topological gyrogroups

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