Characterizations of quotient spaces for Lindelöf strongly topological gyrogroups

Abstract

Let $\mathcal{L}$ be the class of Lindelöf spaces such that $\mathcal{L}$ is closed under finite products. In this paper, we prove that if $G\in \mathcal{L}$ is a strongly topological gyrogroup, then $G$ is range-metrizable. Furthermore, we prove that if $H$ is a strong subgyrogroup of a strongly topological gyrogroup $G\in \mathcal{L}$, then every compact $G_{\delta }$-set in the quotient space $G/H$ is Dugundji. Finally, for any strongly topological gyrogroup $G$ and any closed strong subgyrogroup $N$ of $G$, if $G\in \mathcal{L}$ and the quotient space $G/N$ is locally compact, then the inequality $w(G/N)\le c$ is equivalent to the separability of $G/N$. Our results extend the classical results from topological groups to the class of strongly topological gyrogroups in the literature.

18 pages