Submetrizability of strongly topological gyrogroups

关于（强）仿拓扑陀螺群中逆运算的连续性

On the continuity of the inverse in (strongly) paratopological gyrogroups

本文研究（强）仿拓扑陀螺群中逆运算的连续性，通过紧性、局部紧性、弱紧性及拓扑周期性等条件，给出了若干使仿拓扑陀螺群成为（强）拓扑陀螺群的判定定理。

林德洛夫强拓扑回旋群商空间的特征

Characterizations of quotient spaces for Lindelöf strongly topological gyrogroups

研究林德洛夫强拓扑回旋群商空间的特征，证明了若\(G\in\mathscr{L}\)是强拓扑回旋群则\(G\)值域可度量化，还得出\(G/H\)中紧致\(G_\delta\)集是杜根吉的等结论，将拓扑群经典结果扩展到强拓扑回旋群。

Separability in (strongly) topological gyrogroups

Separability is one of the most basic and important topological properties. In this paper, the separability in (strongly) topological gyrogroups is studied. It is proved that every first-countable left ω-narrow strongly topological gyrogroup is separable. Furthermore, it is shown that if a feathered strongly topological gyrogroup G is isomorphic to a subgyrogroup of a separable strongly topological gyrogroup, then G is separable. Therefore, if a metrizable strongly topological gyrogroup G is isomorphic to a subgyrogroup of a separable strongly topological gyrogroup, then G is separable, and if…

Strongly Topological Gyrogroups and Quotient With Respect to L-subgyrogroups

In this paper, some generalized metric properties in strongly topological gyrogroups are studied.

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

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 $ω^ω$-base, then $G$ has the strong Pytkeev property. Moreover, some equivalent conditions about $ω^ω$-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$ su…

Quotient with respect to admissible $L$-subgyrogroups

The concept of gyrogroups, with a weaker algebraic structure without associative law, was introduced under the background of $c$-ball of relativistically admissible velocities with Einstein velocity addition. A topological gyrogroup is just a gyrogroup endowed with a compatible topology such that the multiplication is jointly continuous and the inverse is continuous. This concept is a good generalization of a topological group. In this paper, we are going to establish that for a locally compact admissible $L$-subgyrogroup $H$ of a strongly topological gyrogroup $G$, the natural quotient mappin…

Quotients with respect to strongly $L$-subgyrogroups

A topological gyrogroup is a gyrogroup endowed with a compatible topology such that the multiplication is jointly continuous and the inverse is continuous. In this paper, we study the quotient gyrogroups in topological gyrogroups with respect to strongly $L$-subgyrogroups, and prove that let $(G, τ,\oplus)$ be a topological gyrogroup and $H$ a closed strongly $L$-subgyrogroup of $G$, then the natural homomorphism $π$ from a topological gyrogroup $G$ to its quotient topology on $G/H$ is an open and continuous mapping, and $G/H$ is a homogeneous $T_1$-space. We also establish that for a locally …

A supplement on feathered gyrogroups

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. It is shown that each compact subset of a topological gyrogroup with an $ω^ω$-base is metrizable, which deduces that if $G$ is a topological gyrogroup with an $ω^ω$-base and is a $k$-space, then it is sequential. Moreover, for a feathered strongly topological gyrogroup $G$, based on the characterization of feathered strongly topological gyrogroups, we show that if $G$ has countable $cs^{*}$-character, then it is metrizable; and it is al…

The construction of Hartman-Mycielski in topological gyrogroups

The concept of gyrogroups is a generalization of groups which do not explicitly have associativity. Recently, Wattanapan et al consider the construction of Hartman-Mycielski in strongly topological gyrogroups. In this paper, we extend their results in topological gyrogroups. We mainly, among other results, prove that every Hausdorff topological gyrogroup $G$ can be embedded as a closed subgyrogroup of a Hausdorff path-connected and locally path-connected topological gyrogroup $G^\bullet$.

Topological gyrogroups with Frechet-Urysohn property and omega^{omega}-base

The concept of topological gyrogroups is a generalization of a topological group. In this work, ones prove that a topological gyrogroup G is metrizable iff G has an ωω-base and G is Frechet-Urysohn. Moreover, in topological gyrogroups, every (countably, sequentially) compact subset being strictly (strongly) Frechet-Urysohn and having an ωω-base are all weakly three-space properties with H a closed L-subgyrogroup

A class of quotient spaces in strongly topological gyrogroups

Quotient space is a class of the most important topological spaces in the research of topology. In this paper, we show that if G is a strongly topological gyrogroup with a symmetric neighborhood base U at 0 and H is an admissible subgyrogroup generated from U , then G/H is first-countable if and only if it is metrizable. Moreover, if H is neutral and G/H is Frechet-Urysohn with an ωω-base, then G/H is first-countable. Therefore, we obtain that if H is neutral, then G/H is metrizable if and only if G/H is Frechet-Urysohn with an ωω-base. Finally, it is shown that if H is neutral, π\c{hi}(G/H) =…

亚陀拓扑回旋群乘积空间中的子回旋群

Subgyrogroups within the product spaces of paratopological gyrogroups

本文刻画了可嵌入第一可数亚陀拓扑回旋群乘积的子回旋群，给出强亚陀拓扑回旋群成为此类子回旋群的充要条件，涉及平衡性与Hausdorff数可数性。

拓扑 gyrogroup 商空间上的弱可数性公理

Weak countability axioms on the quotient spaces of topological gyrogroups

研究强拓扑 gyrogroup 商空间的弱可数性公理，在闭强子 gyrogroup 且中性的条件下刻画其双径向性、嵌套性与可度量化关系。