Embedding of Strongly Topological Gyrogroups in Path-Connected and Locally Path-Connected Gyrogroups

Abstract

A gyrogroup, an algebraic structure that generalizes groups, is modeled on the bounded symmetric space of relativistically admissible velocities endowed with Einstein’s addition. Given a gyrogroup G, we offer a new way to construct a gyrogroup $G^{•}$ such that $G^{•}$ contains a gyro-isomorphic copy of G. We then prove that every strongly topological gyrogroup G can be embedded as a closed subgyrogroup of the path-connected and locally path-connected topological gyrogroup $G^{•}$. We also study several properties shared by G and $G^{•}$, including gyrocommutativity, first countability and metrizability. As an application of these results, we prove that being a quasitopological gyrogroup is equivalent to being a strongly topological gyrogroup in the class of normed gyrogroups.

1. Introduction

The three-dimensional Einstein gyrogroup consists of the open c-ball in ${\mathbb{R}}^3$,

$${\mathbb{R}}_c^3=\{\mathbf{v}\in {\mathbb{R}}^3\mid \parallel \mathbf{v}\parallel <c\},$$

(1)

where c is a positive constant representing the speed of light in vacuum and $\parallel ·\parallel$ is the usual Euclidean norm, together with Einstein’s addition ${\oplus }_E$ given by

$$\mathbf{u}{\oplus }_E\mathbf{v}=\frac{1}{1+\frac{⟨\mathbf{u},\mathbf{v}⟩}{c^2}}\left(\mathbf{u}+\frac{1}{{\gamma }_{\mathbf{u}}}\mathbf{v}+\frac{1}{c^2}\frac{{\gamma }_{\mathbf{u}}}{1+{\gamma }_{\mathbf{u}}}⟨\mathbf{u},\mathbf{v}⟩\mathbf{u}\right).$$

(2)

In Equation (2), ${\gamma }_{\mathbf{u}}$ is the Lorentz factor given by ${\gamma }_{\mathbf{u}}={\displaystyle \frac{1}{\sqrt{1-{\displaystyle \frac{{\parallel \mathbf{u}\parallel }^2}{c^2}}}}}$ and $⟨·,·⟩$ is the usual Euclidean inner product. The Einstein gyrogroup arises as a prominent example of a gyrogroup and motivates studying the general theory of gyrogroups. It is rich in structure and satisfies several sets of axioms. For instance, once suitable scalar multiplication is defined, it becomes a gyrovector space that provides a model for studying analytic hyperbolic geometry [1]. With the Euclidean topology, the Einstein gyrogroup forms a topological gyrogroup (cf. Example 3 of [2]). Indeed, it is a strongly topological gyrogroup, as mentioned in the remark after Example 3.1 of [3]. Assuming $c=1$, the Einstein gyrogroup admits the gyronorm defined by ${\parallel \mathbf{v}\parallel }_E={\tanh }^{-1}\parallel \mathbf{v}\parallel$ and becomes a normed gyrogroup (cf. Theorem 2 of [4]). In fact, this gyronorm induces the rapidity metric (which turns out to be the Cayley–Klein metric) given by $d_E(\mathbf{u},\mathbf{v})={tanh}^{-1}\parallel -\mathbf{u}{\oplus }_E\mathbf{v}\parallel$ for all $\mathbf{u},\mathbf{v}\in {\mathbb{R}}_1^3$ (cf. Theorem 3.9 of [5]). The presence of Einstein’s addition enables us to construct a point-reflection symmetry of the open unit ball in a convenient way. More precisely, for each point $\mathbf{v}\in {\mathbb{R}}_1^3$, there exists a point reflection $\sigma$ of $({\mathbb{R}}_1^3,d_E)$ corresponding to $\mathbf{v}$—that is, $\sigma$ is an isometry of $({\mathbb{R}}_1^3,d_E)$ such that ${\sigma }^2$ is the identity transformation of ${\mathbb{R}}_1^3$ and $\mathbf{v}$ is the unique fixed point of $\sigma$. Indeed, $\sigma =L_{\mathbf{v}}\circ \iota \circ L_{-\mathbf{v}}$, where $\iota$ is defined by $\iota \left(\mathbf{w}\right)=-\mathbf{w}$ and $L_{\mathbf{v}}$ is the left gyrotranslation defined by $L_{\mathbf{v}}\left(\mathbf{w}\right)=\mathbf{v}{\oplus }_E\mathbf{w}$ for all $\mathbf{w}\in {\mathbb{R}}_1^3$ (cf. Theorem 7 of [6]). Recent studies on Einstein gyrogroups can be found, for instance, in [6,7,8,9,10,11,12,13].

W. Atiponrat initiates the study of topological gyrogroups as a generalization of topological groups in [2] and then topological gyrogroups have been studied in some detail; see, for instance [3,4,14,15,16]. In particular, J. Wattanapan et al. prove that every locally compact Hausdorff topological gyrogroup can be embedded in a completely regular topological group as a twisted subset (cf. Theorem 3.9 of [16]). This inspires us to continue studying topological embedding of a generic topological gyrogroup. It is known in the literature that every topological group can be embedded in a path-connected and locally path-connected topological group (cf. Theorem 3.8.3 of [17]). In this article, we generalize this result to the case of strongly topological gyrogroups. We also investigate some algebraic and topological properties shared by the topological gyrogroup under consideration and its extension. We then give some applications of these results to examine normed gyrogroups.

2. Preliminaries

In this section, we collect relevant definitions in gyrogroup theory; for more details, see [1,18]. Standard terminology and notation in topology used throughout the article are defined as usual. All topologies mentioned in this article are assumed to be $T_1$.

Let G be a nonempty set equipped with a binary operation ⊕ on G and let $AutG$ be the group of automorphisms of $(G,\oplus )$.

Definition 1

(Definition 2.7, [1]). A nonempty set G, together with a binary operation ⊕ on G, is called a gyrogroup if it satisfies the following axioms:

(G1)

There exists an element $e\in G$ such that $e\oplus a=a$ for all $a\in G$.

(G2)

For each $a\in G$, there exists an element $b\in G$ such that $b\oplus a=e$.

(G3)

For all a, $b\in G$, there is an automorphism $\mathrm{gyr}\left[a,b\right]\in AutG$ such that

$$a\oplus (b\oplus c)=(a\oplus b)\oplus \mathrm{gyr}\left[a,b\right]c$$

(left gyroassociative law)

for all $c\in G$.

(G4)

For all a, $b\in G$, $\mathrm{gyr}\left[a\oplus b,b\right]=\mathrm{gyr}\left[a,b\right]$.                       (left loop property)

It can be proved that any gyrogroup has a unique two-sided identity, denoted by e, and that an element a of the gyrogroup has a unique two-sided inverse, denoted by $\ominus a$. The automorphism $\mathrm{gyr}\left[a,b\right]$ is called the gyroautomorphism generated by a and b. The gyrogroup cooperation (cf. Definition 2.9, [1]) of a gyrogroup G, denoted by ⊞, is defined by

$$a⊞b=a\oplus \mathrm{gyr}\left[a,\ominus b\right]b,a,b\in G.$$

(3)

Let G be a gyrogroup. Define $a\ominus b=a\oplus (\ominus b)$ and $a\boxminus b=a⊞(\ominus b)$ for all $a,b\in G$. For each $a\in G$, the left gyrotranslation by a, denoted by $L_a$, is defined by $L_a\left(g\right)=a\oplus g$ for all $g\in G$ and the right gyrotranslation by a, denoted by $R_a$, is defined by $R_a\left(g\right)=g\oplus a$ for all $g\in G$. Subgyrogroups, L-subgyrogroups and gyrogroup homomorphisms are defined in [18].

Definition 2

(Definition 3.17, [1]). A gyrogroup G is gyrocommutative if $a\oplus b=\mathrm{gyr}[a,b](b\oplus a)$ for all $a,b\in G$.

Definition 3

(Definition 3.32, [1]). Let G be a gyrogroup. An element $x\in G$ is a two-torsion element if $x\oplus x=e$. If the only two-torsion element in G is e, we say that G is two-torsion-free.

Definition 4

(Definition 3.33, [1]). A gyrogroup G is two-divisible if for each element $x\in G$, there is an element $y\in G$ such that $y\oplus y=x$.

Definition 5

(Definition 7, [18]). Let G be a gyrogroup. An element $a\in G$ is said to have finite order if there is a number $n\in \mathbb{N}$ such that $na=e$. If $na\ne e$ for all $n\in \mathbb{N}$, a is said to have infinite order. The order of a is the least positive integer k (if any) such that $ka=e$, denoted by $\left|a\right|$. In the case when a has infinite order, we write $\left|a\right|=\infty$.

Definition 6

(Definition 1, [2]). A gyrogroup $(G,\oplus )$ endowed with a topology is called a topological gyrogroup if the following statements hold:

(T1)

The binary operation $\oplus :G\times G\to G$ is continuous. Here, $G\times G$ is equipped with the product topology.

(T2)

The operation of taking inverses, $x\mapsto \ominus x$, called the inversion function, is continuous.

3. Extended Gyrogroups and Their Properties

We follow the construction of S. Hartman and J. Mycielski (see, for instance, Section 3.8 in [17]) to construct an extension of an arbitrary gyrogroup G, which is also a gyrogroup $G^{•}$ containing an isomorphic copy of G. This gyrogroup will be a primary object studied in the next section when a certain topology is imposed. In this section, we focus on several algebraic properties that shared by G and $G^{•}$.

Let G be a gyrogroup with identity e and let $J=[0,1)$. A function $f:J\to G$ is a step function if there are real numbers $a_0,a_1,\cdots ,a_n$ such that $0=a_0<a_1<\cdots <a_n=1$ and f is constant on $[a_k,a_{k+1})$ for all $k=0,1,\cdots ,n-1$. Henceforward, when we say that $A=\{a_0,a_1,\cdots ,a_n\}$ is a partition of J, we include the condition that $0=a_0<a_1<\cdots <a_n=1$. Denote by $G^{•}$ the set of all step functions. Define an operation ⊕ on $G^{•}$ by

$$(f\oplus g)\left(r\right)=f\left(r\right)\oplus g\left(r\right),r\in J$$

(4)

for all $f,g\in G^{•}$. Let $f,g\in G^{•}$. Note that $f\oplus g$ is again a step function. Indeed, there are partitions $A=\{a_0,a_1,\cdots ,a_n\}$ and $B=\{b_0,b_1,\cdots ,b_m\}$ of J such that f and g are constant on $[a_k,a_{k+1})$ and $[b_l,b_{l+1})$, respectively, for all $k=0,1,\cdots ,n-1$ and for all $l=0,1,\cdots ,m-1$. Then, $A\cup B$ is another partition of J that refines both A and B. It follows that both f and g are constant on each subinterval partitioned by $A\cup B$, and so is $f\oplus g$. Hence, $f\oplus g$ is a step function.

Theorem 1.

$G^{•}$ forms a gyrogroup under the operation defined by Equation (4).

Proof. 

Let $e^{•}$ be the function from J to G defined by $e^{•}\left(r\right)=e$ for all $r\in J$. Then, $e^{•}$ acts as an identity of $G^{•}$. Given $f\in G^{•}$, define a function $\ominus f:J\to G$ by $(\ominus f)\left(r\right)=\ominus f\left(r\right)$ for all $r\in J$. Then, $\ominus f$ acts as an inverse of f in $G^{•}$. For $f,g\in G^{•}$, define a function $\mathrm{gyr}[f,g]:G^{•}\to G^{•}$ by

$$\mathrm{gyr}[f,g]h=\ominus (f\oplus g)\oplus (f\oplus (g\oplus h\left)\right)$$

for all $h\in G^{•}$. It can be verified that $\mathrm{gyr}[f,g]$ belongs to $\mathrm{Aut}(G^{•},\oplus )$ and that the gyroassociative law and the left loop property hold in $G^{•}$. ☐

Next, we show that G appears in $G^{•}$ as the subgyrogroup of constant functions. Let G be a gyrogroup. For each $x\in G$, define a function $x^{•}:J\to G$ by $x^{•}\left(r\right)=x$ for all $r\in J$. Clearly, $x^{•}\in G^{•}$.

Proposition 1.

The function $i_G:G\to G^{•}$ defined by

$$i_G\left(x\right)=x^{•},x\in G,$$

is a gyrogroup monomorphism. Consequently, $i_G\left(G\right)$ forms a subgyrogroup of $G^{•}$ that is isomorphic to G as gyrogroups.

Proof. 

The proof that $i_G$ is a gyrogroup monomorphism is straightforward. By Proposition 24 of [19], $i_G\left(G\right)$ is a subgyrogroup of $G^{•}$. Furthermore, $i_G$ defines a gyrogroup isomorphism from G to $i_G\left(G\right)$ so that $G\cong i_G\left(G\right)$. ☐

We list a few algebraic properties that shared by G and $G^{•}$ in Theorem 2. We show that any gyrogroup homomorphism from G to H can be naturally extended to a homomorphism from $G^{•}$ to $H^{•}$ in Theorem 3. We show that any pseudometric (respectively, metric) on G can be extended to a pseudometric (respectively, metric) on $G^{•}$ in such a way that the property of being (left) invariant is preserved in Theorem 4.

Theorem 2.

Let G be a gyrogroup. Then, G has one of the following properties if and only if $G^{•}$ has the same property:

(i) 

being gyrocommutative;

(ii) 

being two-torsion-free;

(iii) 

being two-divisible;

(iv) 

all elements having finite order.

Proof. 

(i)

Suppose that G is gyrocommutative. Let $f,g\in G^{•}$ and let $r\in J$. Then,

$$(f\oplus g)\left(r\right)=f\left(r\right)\oplus g\left(r\right)=\mathrm{gyr}\left[f\right(r),g(r\left)\right]\left(g\right(r)\oplus f(r\left)\right)=\mathrm{gyr}[f,g](g\oplus f)\left(r\right).$$

Thus, $f\oplus g=\mathrm{gyr}[f,g](g\oplus f)$, and so $G^{•}$ is gyrocommutative. The converse holds since G is isomorphic to a subgyrogroup of $G^{•}$.

(ii)

Suppose that G is two-torsion-free. Let $e^{•}\ne f\in G^{•}$. Then, there is a number $r\in J$ such that $f\left(r\right)\ne e$. It follows that $(f\oplus f)\left(r\right)=f\left(r\right)\oplus f\left(r\right)\ne e$. Thus, $f\oplus f\ne e^{•}$. This proves that $G^{•}$ is two-torsion-free. Conversely, assume that $G^{•}$ is two-torsion-free. Let $e\ne x\in G$. Then, $x^{•}\ne e^{•}$, and so $x^{•}\oplus x^{•}\ne e^{•}$. It follows that $x\oplus x=(x^{•}\oplus x^{•})\left(0\right)\ne e$. This proves that G is two-torsion-free.

(iii)

Suppose that G is two-divisible. Let $f\in G^{•}$ and let $f\left(J\right)=\{z_1,z_2,\cdots ,z_n\}$. By assumption, for each $i\in \{1,2,\cdots ,n\}$, there is an element $x_i\in G$ such that $x_i\oplus x_i=z_i$. Define a function $g:J\to G$ by $g\left(r\right)=x_i$ for $r\in f^{-1}\left(\left\{z_i\right\}\right)$ for all $i=1,2,\dots ,n$. Clearly, $g\in G^{•}$. By definition of g, $(g\oplus g)\left(r\right)=f\left(r\right)$ for all $r\in J$. Thus, $G^{•}$ is two-divisible. Conversely, assume that $G^{•}$ is two-divisible. Let $x\in G$. By assumption, there is a function $f\in G^{•}$ such that $f\oplus f=x^{•}$. Thus, $f\left(0\right)\oplus f\left(0\right)=(f\oplus f)\left(0\right)=x^{•}\left(0\right)=x$. Hence, G is two-divisible.

(iv)

Suppose that all the elements of G have finite order. Let $f\in G^{•}$ and let $f\left(J\right)=\{z_1,z_2,\cdots ,z_n\}$. Since $\left(\right|z_1\left|\right|z_2|\cdots |z_n\left|\right)f=e^{•}$, all the elements of $G^{•}$ have finite order. The converse holds since G is isomorphic to a subgyrogroup of $G^{•}$. ☐

Theorem 3.

Let G and H be gyrogroups and let $\phi :G\to H$ be a gyrogroup homomorphism. Then, there exists a homomorphism extension ${\phi }^{•}:G^{•}\to H^{•}$ of φ in the sense that ${\phi }^{•}\circ i_G=i_H\circ \phi$. Furthermore, φ is injective (respectively, surjective) if and only if ${\phi }^{•}$ is injective (respectively, surjective).

Proof. 

The homomorphism extension ${\phi }^{•}:G^{•}\to H^{•}$ is defined by

$${\phi }^{•}\left(f\right)=\phi \circ f$$

(5)

for all $f\in G^{•}$. Suppose that $\phi$ is surjective. Let $h\in H^{•}$. Then, there is a partition $A=\{a_0,a_1,\cdots ,a_n\}$ of J such that h is constant on each interval $[a_k,a_{k+1})$. Since $\phi$ is surjective, there are elements $x_0,x_1,\cdots ,x_{n-1}\in G$ such that $\phi \left(x_k\right)=h\left(a_k\right)$ for all $k\in \{0,1,\cdots ,n-1\}$. Define a function $f:J\to G$ by $f\left(r\right)=x_k$, where $r\in [a_k,a_{k+1})$. Clearly, $f\in G^{•}$ and ${\phi }^{•}\left(f\right)=h$. Thus, ${\phi }^{•}$ is surjective. Conversely, suppose that ${\phi }^{•}$ is surjective. Let $x\in H$. By surjectivity, there is a function $f\in G^{•}$ such that ${\phi }^{•}\left(f\right)=x^{•}$. Since $\phi \left(f\left(0\right)\right)={\phi }^{•}\left(f\right)\left(0\right)=x^{•}\left(0\right)=x$, we obtain that $\phi$ is surjective. The remaining parts can be proved straightforwardly. ☐

Theorem 3 states that any gyrogroup homomorphism from G to H can be lifted to a gyrogroup homomorphism from $G^{•}$ and $H^{•}$ such that the following diagram commutes.

$$\begin{array}{ccc}\hfill G^{•}& \stackrel{{\phi }^{•}}{\to }& \hfill H^{•}\\ i_G\uparrow & \hspace{1em}\hspace{1em}& i_H\uparrow \\ G& \stackrel{\phi }{\to }& H\end{array}$$

Theorem 4.

Let G be a gyrogroup. If d is a pseudometric (respectively, metric) on G, then d admits an extension to a pseudometric (respectively, metric) $d^{•}$ on $G^{•}$. Furthermore, if d is (left) invariant or bounded, then $d^{•}$ has the same property.

Proof. 

Let d be a pseudometric on G. Let $f,g\in G^{•}$. Then, there is a partition $A=\{a_0,a_1,\cdots ,a_n\}$ of J such that both f and g are constant on each interval $[a_k,a_{k+1})$. Define

$$d^{*}(f,g,A)=\sum _{k=0}^{n-1}(a_{k+1}-a_k)d(f\left(a_k\right),g\left(a_k\right)).$$

(6)

Let $x\in J\setminus A$. Then, $x\in [a_k,a_{k+1})$ for some $k\in \{0,1,\cdots ,n-1\}$ and $A\cup \left\{x\right\}$ is a partition of J such that both f and g are constant on each subinterval. Note that

$$(x-a_k)d(f\left(a_k\right),g\left(a_k\right))+(a_{k+1}-x)d(f\left(x\right),g\left(x\right))=(a_{k+1}-a_k)d(f\left(a_k\right),g\left(a_k\right)).$$

Hence, $d^{*}(f,g,A)=d^{*}(f,g,A\cup \left\{x\right\})$. By mathematical induction, if $X\subseteq J\setminus A$ is a finite set, then $d^{*}(f,g,A)=d^{*}(f,g,A\cup X)$. Now, let $B=\{b_0,b_1,\cdots ,b_m\}$ be another partition of J such that both f and g are constant on each subinterval. Then, $A\cup B$ is a partition of J such that both f and g are constant on each subinterval. Since $A\cup B=A\cup (B\setminus A)$ and $B\setminus A$ is a finite subset of $J\setminus A$,

$$d^{*}(f,g,A)=d^{*}(f,g,A\cup B).$$

Similarly, $d^{*}(f,g,B)=d^{*}(f,g,A\cup B)$, and so $d^{*}(f,g,A)=d^{*}(f,g,B)$. This proves that $d^{*}$ does not depend on A.

Next, define a function $d^{•}:G^{•}\times G^{•}\to [0,\infty )$ by

$$d^{•}(f,g)=d^{*}(f,g,A),$$

(7)

where A is a partition of J as in the previous paragraph, for all $f,g\in G^{•}$. The argument above shows that $d^{•}$ is well defined. Clearly, $d^{•}(f,g)\ge 0$ and $d^{•}(f,f)=0$ for all $f,g\in G^{•}$. Note also that

$$d^{•}(x^{•},y^{•})=(1-0)d(x,y)=d(x,y)$$

for all $x,y\in G$. Next, we show that $d^{•}$ is a pseudometric. If $f,g\in G^{•}$, then

$$\sum _{k=0}^{n-1}(a_{k+1}-a_k)d(f\left(a_k\right),g\left(a_k\right))=\sum _{k=0}^{n-1}(a_{k+1}-a_k)d(g\left(a_k\right),f\left(a_k\right)),$$

and so $d^{•}(f,g)=d^{•}(g,f)$. Let $f,g,h\in G^{•}$. Then, there is a partition $\{c_0,c_1,\cdots ,c_n\}$ of J such that $f,g$ and h are constant on each interval $[c_k,c_{k+1})$. Direct computation shows that

$$\begin{array}{cc}\hfill d^{•}(f,g)& =\sum _{k=0}^{n-1}(c_{k+1}-c_k)d(f\left(c_k\right),g\left(c_k\right))\hfill \\ \hfill & \le \sum _{k=0}^{n-1}(c_{k+1}-c_k)(d(f\left(c_k\right),h\left(c_k\right))+d(h\left(c_k\right),g\left(c_k\right)))\hfill \\ \hfill & =\sum _{k=0}^{n-1}(c_{k+1}-c_k)d(f\left(c_k\right),h\left(c_k\right))+\sum _{k=0}^{n-1}(c_{k+1}-c_k)d(h\left(c_k\right),g\left(c_k\right))\hfill \\ \hfill & =d^{•}(f,h)+d^{•}(h,g).\hfill \end{array}$$

Thus, $d^{•}$ is a pseudometric on $G^{•}$.

Next, suppose that d is a metric on G. Let $f,g\in G^{•}$ with $f\ne g$. Then, there is a partition $\{a_0,a_1,\cdots ,a_n\}$ of J such that f and g are constant on each interval $[a_k,a_{k+1})$. Since $f\ne g$, we have $f\left(a_j\right)\ne g\left(a_j\right)$ for some $j\in \{0,1,\cdots ,n-1\}$. Then,

$$\begin{array}{cc}\hfill d^{•}(f,g)& =\sum _{k=0}^{n-1}(a_{k+1}-a_k)d(f\left(a_k\right),g\left(a_k\right))\hfill \\ \hfill & \ge (a_{j+1}-a_j)d(f\left(a_j\right),g\left(a_j\right))\hfill \\ \hfill & >0.\hfill \end{array}$$

Thus, $d^{•}$ is a metric on $G^{•}$. Clearly, if d is bounded, then so is $d^{•}$.

Suppose that d is left invariant. Let $f,g,h\in G^{•}$. Then, there is a partition $\{a_0,a_1,\cdots ,a_n\}$ of J such that $f,g$ and h are constant on each interval $[a_k,a_{k+1})$. Direct computation shows that

$$\begin{array}{cc}\hfill d^{•}(h\oplus f,h\oplus g)& =\sum _{k=0}^{n-1}(a_{k+1}-a_k)d((h\oplus f)\left(a_k\right),(h\oplus g)\left(a_k\right))\hfill \\ \hfill & =\sum _{k=0}^{n-1}(a_{k+1}-a_k)d(h\left(a_k\right)\oplus f\left(a_k\right),h\left(a_k\right)\oplus g\left(a_k\right))\hfill \\ \hfill & =\sum _{k=0}^{n-1}(a_{k+1}-a_k)d(f\left(a_k\right),g\left(a_k\right))\hfill \\ \hfill & =d^{•}(f,g).\hfill \end{array}$$

This proves that $d^{•}$ is left invariant. Similar arguments apply to the case when d is invariant. ☐

4. Embedding of Strongly Topological Gyrogroups

In this section, we focus on topological properties of G and $G^{•}$. In particular, we show that if a gyrogroup G has a certain nice family of its subsets, then G can be topologized. With this result, we can topologize the extended gyrogroup $G^{•}$, when G is a strongly topological gyrogroup, in such a way that $G^{•}$ contains a homeomorphic copy of G. We begin with proving Theorem 5, which is an extension of the first part of Theorem 1.3.12 of [17] to topological gyrogroups. However, in order to obtain the converse of Theorem 1.3.12 of [17] for the case of gyrogroups, we need to impose an additional gyro-condition. This condition seems to be natural and is introduced by M. Bao and F. Lin in [3]. The converse of Theorem 1.3.12 of [17] is generalized to the case of gyrogroups in Theorem 6.

Theorem 5.

Let G be a topological gyrogroup and let $\mathcal{U}$ be an open base at the identity e of G. Then, the following hold:

(i) 

for every $U\in \mathcal{U}$, there is a set $V\in \mathcal{U}$ such that $V\oplus V\subseteq U$;

(ii) 

for all $U\in \mathcal{U},x\in G$, there is a set $V\in \mathcal{U}$ such that $x\oplus (\ominus (V\oplus x\left)\right)\subseteq U$;

(iii) 

for all $U\in \mathcal{U},x\in U$, there is a set $V\in \mathcal{U}$ such that $x\oplus V\subseteq U$;

(iv) 

for all $U\in \mathcal{U},x,y\in G$, there is a set $V\in \mathcal{U}$ such that $(x\oplus V)\oplus y\subseteq (x\oplus y)\oplus U$, $x\oplus (V\oplus y)\subseteq (x\oplus y)\oplus U$, and $(x\oplus V)⊞y\subseteq (x⊞y)\oplus U$;

(v) 

for all $U,V\in \mathcal{U}$, there is a set $W\in \mathcal{U}$ such that $W\subseteq U\cap V$;

(vi) 

$\bigcap \mathcal{U}=\left\{e\right\}$.

Proof. 

(i)

Let $U\in \mathcal{U}$. Since the operation ⊕ is continuous and $e\oplus e\in U$, there are sets $O_1,O_2\in \mathcal{U}$ such that $O_1\oplus O_2\subseteq U$. Since $\mathcal{U}$ is an open base at e, there is a set $V\in \mathcal{U}$ such that $V\subseteq O_1\cap O_2$. Hence, $V\oplus V\subseteq O_1\oplus O_2\subseteq U$.

(ii)

Let $U\in \mathcal{U}$ and let $x\in G$. Since G is a topological gyrogroup, the function $L_x\circ \ominus \circ R_x$ is continuous. Note that $(L_x\circ \ominus \circ R_x)\left(e\right)=x\oplus (\ominus (e\oplus x))=e\in U$. By the continuity of $L_x\circ \ominus \circ R_x$, there is a set $V\in \mathcal{U}$ such that $x\oplus (\ominus (V\oplus x))=(L_x\circ \ominus \circ R_x)\left(V\right)\subseteq U$.

(iii)

Let $U\in \mathcal{U}$ and let $x\in U$. Then, $\ominus x\oplus U$ is an open neighborhood of e for $L_{\ominus x}$ is open. Since $\mathcal{U}$ is an open base at e, there is a set $V\in \mathcal{U}$ such that $V\subseteq \ominus x\oplus U$. Thus, $x\oplus V\subseteq U$.

(iv)

Let $U\in \mathcal{U}$ and let $x,y\in G$. Since G is a topological gyrogroup, the function ${\left(R_{\ominus y}\right)}^{-1}\circ L_x$ is continuous. Note that ${\left(R_{\ominus y}\right)}^{-1}\left(z\right)=z⊞y$ for all $z\in G$. Note also that $(x⊞y)\oplus U$ is an open neighborhood of $x⊞y$. Since $({\left(R_{\ominus y}\right)}^{-1}\circ L_x)\left(e\right)=(x\oplus e)⊞y=x⊞y\in (x⊞y)\oplus U$, there is a set $V_1\in \mathcal{U}$ such that $(x\oplus V_1)⊞y=({\left(R_{\ominus y}\right)}^{-1}\circ L_x)\left(V_1\right)\subseteq (x⊞y)\oplus U$. Similarly, one can show that there are sets $V_2,V_3\in \mathcal{U}$ such that $(x\oplus V_2)\oplus y\subseteq (x\oplus y)\oplus U$ and $x\oplus (V_3\oplus y)\subseteq (x\oplus y)\oplus U$. Since $\mathcal{U}$ is an open base at e, there is a set $V\in \mathcal{U}$ such that $V\subseteq V_1\cap V_2\cap V_3$, and the assertion follows.

(v)

The assertion follows directly from the definition of an open base.

(vi)

Clearly, $\left\{e\right\}\subseteq \bigcap \mathcal{U}$. Let $e\ne x\in G$. Since G is $T_1$, there is a set $V\in \mathcal{U}$ such that $x\notin V$. Thus, $x\notin \bigcap \mathcal{U}$. This shows that $\bigcap \mathcal{U}=\left\{e\right\}$. ☐

Definition 7

(p. 5116, [3]). A topological gyrogroup G is strong if there exists an open base $\mathcal{U}$ at the identity e of G such that $\mathrm{gyr}[x,y]\left(U\right)=U$ for all $x,y\in G,U\in \mathcal{U}$. In this case, we say that G is a strongly topological gyrogroup with open base $\mathcal{U}$ at e.

The property of being invariant under gyroautomorphisms mentioned in the previous definition arises naturally when one tries to extend theorems for topological groups to topological gyrogroups. Furthermore, several well-known gyrogroups in the literature, including Einstein, Möbius and Proper Velocity gyrogroups, are indeed strongly topological gyrogroups. We prove basic properties of strongly topological gyrogroups in Propositions 2 and 3 and extend the converse of Theorem 1.3.12 of [17] to Theorem 6.

Proposition 2.

Let G be a strongly topological gyrogroup with open base $\mathcal{N}\left(e\right)$ at e and let H be a subgyrogroup of G. Then, H is a strongly topological gyrogroup with open base ${\mathcal{N}}_H\left(e\right)=\{U\cap H\mid U\in \mathcal{N}\left(e\right)\}$ at e.

Proof. 

Clearly, H is a topological gyrogroup and the family ${\mathcal{N}}_H\left(e\right)$ is an open base for H at e. Let $x,y\in H$ and let $U\in \mathcal{N}\left(e\right)$. Then, $\mathrm{gyr}[x,y](U\cap H)=\mathrm{gyr}[x,y]\left(U\right)\cap \mathrm{gyr}[x,y]\left(H\right)=U\cap H$. Therefore, H is a strongly topological gyrogroup with open base ${\mathcal{N}}_H\left(e\right)$ at e. ☐

Proposition 3.

Let G be a strongly topological gyrogroup with open base $\mathcal{N}\left(e\right)$ at e. If $H⊴G$, then $G/H$ is a strongly topological gyrogroup.

Proof. 

By Theorem 4.7 of [20], $G/H$ is a topological gyrogroup. By Proposition 35 of [18], H is an L-subgyrogroup of G. It follows from Theorem 3.7 of [3] that the canonical homomorphism $\pi :G\to G/H$ is continuous and open. Hence, the family $\mathcal{N}\left(H\right)=\left\{\pi \right(U)\mid U\in \mathcal{N}(e\left)\right\}$ is an open base for $G/H$ at $e\oplus H$. Let $a\oplus H,b\oplus H\in G/H$, let $\pi \left(U\right)\in \mathcal{N}\left(H\right)$, and let $c\in U$. Then,

$$\mathrm{gyr}[a\oplus H,b\oplus H](c\oplus H)=\mathrm{gyr}\left[\pi \right(a),\pi (b\left)\right]\left(\pi \right(c\left)\right)=\pi \left(\mathrm{gyr}\right[a,b\left]c\right)\in \pi \left(U\right).$$

Thus, $\mathrm{gyr}[a\oplus H,b\oplus H]\left(\pi \right(U\left)\right)\subseteq \pi \left(U\right)$ for all $a\oplus H,b\oplus H\in G/H$. It follows from Proposition 24 of [18] that $\mathrm{gyr}[a\oplus H,b\oplus H]\left(\pi \right(U\left)\right)=\pi \left(U\right)$ for all $a,b\in G$. Hence, $G/H$ is a strongly topological gyrogroup. ☐

The following theorem provides one way to topologize a gyrogroup based on Theorem 5.

Theorem 6.

Let G be a gyrogroup and let $\mathcal{U}$ be a family of subsets of G that satisfies the following properties:

(i) 

for every $U\in \mathcal{U}$, there is a set $V\in \mathcal{U}$ such that $V\oplus V\subseteq U$;

(ii) 

for all $U\in \mathcal{U},x\in G$, there is a set $V\in \mathcal{U}$ such that $x\oplus (\ominus (V\oplus x\left)\right)\subseteq U$;

(iii) 

for all $U\in \mathcal{U},x\in U$, there is a set $V\in \mathcal{U}$ such that $x\oplus V\subseteq U$;

(iv) 

for all $U\in \mathcal{U},x,y\in G$, there is a set $V\in \mathcal{U}$ such that $(x\oplus V)\oplus y\subseteq (x\oplus y)\oplus U$, $x\oplus (V\oplus y)\subseteq (x\oplus y)\oplus U$, and $(x\oplus V)⊞y\subseteq (x⊞y)\oplus U$;

(v) 

for all $U,V\in \mathcal{U}$, there is a set $W\in \mathcal{U}$ such that $W\subseteq U\cap V$;

(vi) 

$\bigcap \mathcal{U}=\left\{e\right\}$;

(vii) 

for all $U\in \mathcal{U},x,y\in G$, $\mathrm{gyr}[x,y]\left(U\right)\subseteq U$.

Then, the family ${\mathcal{B}}_{\mathcal{U}}=\{a\oplus U\mid a\in G,U\in \mathcal{U}\}$ forms a base for a $T_1$-topology on G. With this topology, G is a topological gyrogroup, and the family $\{U\oplus a\mid a\in G,U\in \mathcal{U}\}$ is a base for the same topology on G.

Proof. 

Let U be a family of subsets of G such that items (i) through (vii) hold. Define

$$\mathcal{T}=\{W\subseteq G\mid \mathrm{if}x\in W,\mathrm{there}\mathrm{is}\mathrm{a}\mathrm{set}U\in \mathcal{U}\mathrm{such}\mathrm{that}x\oplus U\subseteq W\}.$$

(8)

Claim 1. 

$\mathcal{T}$ is a topology on G.

Clearly, ∅ and G are in $\mathcal{T}$. Let $\Gamma$ be a subfamily of $\mathcal{T}$ and let $x\in \bigcup \Gamma$. Then, $x\in W$ for some $W\in \Gamma$ and there is a set $U\in \mathcal{U}$ such that $x\oplus U\subseteq W$. Hence, $x\oplus U\subseteq \bigcup \Gamma$, and so $\bigcup \Gamma \in \mathcal{T}$. Let $W_1$ and $W_2$ be in $\mathcal{T}$. If $x\in W_1\cap W_2$, then there are sets $U_1$ and $U_2$ in $\mathcal{U}$ such that $x\oplus U_1\subseteq W_1$ and $x\oplus U_2\subseteq W_2$. By item (v), there is a set $U\in \mathcal{U}$ such that $U\subseteq U_1\cap U_2$ and hence $x\oplus U\subseteq (x\oplus U_1)\cap (x\oplus U_2)\subseteq W_1\cap W_2$. Therefore, $W_1\cap W_2\in \mathcal{T}$. This proves that $\mathcal{T}$ is a topology on G.

Claim 2. 

$x\oplus U\in \mathcal{T}$ for all $x\in G,U\in \mathcal{U}$.

Let $y\in x\oplus U$. Then, $\ominus x\oplus y\in U$. By item (iii), there is a set $V\in U$ such that $(\ominus x\oplus y)\oplus V\subseteq U$. It follows from the left gyroassociative law and item (vii) that

$$\ominus x\oplus (y\oplus V)=(\ominus x\oplus y)\oplus gyr[\ominus x,y]\left(V\right)\subseteq (\ominus x\oplus y)\oplus V\subseteq U.$$

Thus, $y\oplus V\subseteq x\oplus U$.

Claim 3. 

The family ${\mathcal{B}}_{\mathcal{U}}=\{a\oplus U\mid a\in G,U\in \mathcal{U}\}$ is a base for $\mathcal{T}$.

The claim follows directly from the definition of $\mathcal{T}$ and Claim 2.

Claim 4. 

The multiplication in G is jointly continuous with respect to $\mathcal{T}$.

Let $a,b\in G$ and let $O\in \mathcal{T}$ with $a\oplus b\in O$. Then, there is a set $W\in \mathcal{U}$ such that $(a\oplus b)\oplus W\subseteq O$. By item (i), there is a set $V\in \mathcal{U}$ such that $V\oplus V\subseteq W$. By item (iv), there is a set $U\in \mathcal{U}$ such that $(a\oplus U)\oplus b\subseteq (a\oplus b)\oplus V$. By Claim 2, $a\oplus U,b\oplus V\in \mathcal{T}$. Direct computation shows that

$$\begin{array}{cc}\hfill (a\oplus U)\oplus (b\oplus V)& =\left\{\right(a\oplus u)\oplus (b\oplus v)\mid u\in U,v\in V\}\hfill \\ \hfill & =\left\{\right((a\oplus u)\oplus b)\oplus \mathrm{gyr}[a\oplus u,b\left]\right(v)\mid u\in U,v\in V\}\hfill \\ \hfill & \subseteq \left\{\right((a\oplus u)\oplus b)\oplus v\mid u\in U,v\in V\}\hfill \\ \hfill & =\left(\right(a\oplus U)\oplus b)\oplus V\hfill \\ \hfill & \subseteq \left(\right(a\oplus b)\oplus V)\oplus V\hfill \\ \hfill & =\{((a\oplus b)\oplus v_1)\oplus v_2\mid v_1,v_2\in V\}\hfill \\ \hfill & =\{(a\oplus b)\oplus (v_1\oplus \mathrm{gyr}[v_1,a\oplus b]\left(v_2\right))\mid v_1,v_2\in V\}\hfill \\ \hfill & \subseteq (a\oplus b)\oplus (V\oplus V)\hfill \\ \hfill & \subseteq (a\oplus b)\oplus W\hfill \\ \hfill & \subseteq O.\hfill \end{array}$$

This proves the claim.

Claim 5. 

$V\oplus b\in \mathcal{T}$ for all $b\in G,V\in \mathcal{U}$.

Let $a\in V\oplus b$. Then, $a\boxminus b\in V$ and there is a set $W\in \mathcal{U}$ such that $(a\boxminus b)\oplus W\subseteq V$. By item (iv), there is a set $U\in \mathcal{U}$ such that $(a\oplus U)\boxminus b\subseteq (a\boxminus b)\oplus W\subseteq V$. This implies that $a\oplus U\subseteq V\oplus b$.

Claim 6. 

The function ⊖ from G to itself given by $\ominus \left(x\right)=\ominus x$ is continuous with respect to $\mathcal{T}$.

Let $O\in \mathcal{T}$ and let $\ominus x\in O$. Then, there is a set $W\in \mathcal{U}$ such that $\ominus x\oplus W\subseteq O$. By item (ii), there is a set $U\in \mathcal{U}$ such that $x\oplus (\ominus (U\oplus x\left)\right)\subseteq W$. Note that $U\oplus x\in \mathcal{T}$ by Claim 5. Thus, $\ominus (U\oplus x)\subseteq \ominus x\oplus W\subseteq O$. This proves that the inversion function is continuous.

Finally, G is $T_1$ since $\left\{a\right\}=\bigcap \{U\oplus a\mid U\in \mathcal{U}\}$ for all $a\in G$. If $a\in G$ and $U\in \mathcal{U}$, then there is a set $V\in \mathcal{U}$ such that $\ominus a\oplus (V\oplus a)\subseteq (\ominus a\oplus a)\oplus U=U$ by item (iv). This implies that $V\oplus a\subseteq a\oplus U$. Therefore, the family $\{U\oplus a\mid a\in G,U\in \mathcal{U}\}$ is also a base for $\mathcal{T}$. ☐

Corollary 1.

If G is a gyrogroup that fits Theorem 6, then G becomes a strongly topological gyrogroup with respect to the topology defined by Equation (8).

Proof. 

The family $\mathcal{U}$ in Theorem 6 is an open base at e satisfying Definition 7. ☐

Using Theorem 6, we can topologize the extended gyrogroup $G^{•}$ in the case when G is a strongly topological gyrogroup, as shown in the following theorem. Let G be a topological gyrogroup. Given an open neighborhood V of e in G and a real number $ϵ>0$, define

$$O(V,ϵ)=\{f\in G^{•}\mid \mu \left(\{r\in J\mid f\left(r\right)\notin V\}\right)<ϵ\},$$

(9)

where $\mu$ is the Lebesgue measure on the real line.

Theorem 7.

Let G be a strongly topological gyrogroup with open base $\mathcal{N}\left(e\right)$ at e. Then, the family

$$\{f\oplus O(V,ϵ)\mid V\in \mathcal{N}\left(e\right),ϵ>0\mathit{and}f\in G^{•}\}$$

forms a base of a Hausdorff topology on $G^{•}$, and $G^{•}$ becomes a strongly topological gyrogroup.

Proof. 

It suffices to show that the family $\mathcal{N}\left(e^{•}\right)=\{O(V,ϵ)\mid V\in \mathcal{N}\left(e\right),ϵ>0\}$ satisfies Theorem 6.

(i)

Let $O(V,ϵ)\in \mathcal{N}\left(e^{•}\right)$. Then, there is a set $U\in \mathcal{N}\left(e\right)$ such that $U\oplus U\subseteq V$. Let $f,g\in O(U,\frac{ϵ}{2})$. Note that $\{r\in J\mid f(r)\oplus g(r)\notin V\}\subseteq \{r\in J\mid f(r)\notin U\}\cup \{r\in J\mid g(r)\notin U\}.$ Hence,

$$\begin{array}{cc}\hfill \mu \left(\right\{r\in J\mid f\left(r\right)\oplus g\left(r\right)\notin V\left\}\right)& \le \mu \left(\right\{r\in J\mid f\left(r\right)\notin U\left\}\right)+\mu \left(\right\{r\in J\mid g\left(r\right)\notin U\left\}\right)\hfill \\ \hfill & <\frac{ϵ}{2}+\frac{ϵ}{2}\hfill \\ \hfill & =ϵ.\hfill \end{array}$$

This shows that $f\oplus g\in O(V,ϵ)$.

(ii)

Let $O(V,ϵ)\in \mathcal{N}\left(e^{•}\right)$ and let $f\in G^{•}$. Then, there is a partition $\{a_0,a_1,\cdots ,a_n\}$ of J such that f is constant on each interval $[a_k,a_{k+1})$. By item (ii) of Theorem 5, for each $k=0,1,\cdots ,n-1$, there is a set $U_k\in \mathcal{N}\left(e\right)$ such that $f\left(a_k\right)\oplus (\ominus (U_k\oplus f\left(a_k\right)))\subseteq V$. By item (v) of Theorem 5, there is a set $U\in \mathcal{N}\left(e\right)$ such that $U\subseteq {\displaystyle \bigcap _{i=0}^{n-1}}{U}_i$. Thus, $f\left(r\right)\oplus (\ominus (U\oplus f\left(r\right)\left)\right)\subseteq V$ for all $r\in J$. Let $h\in O(U,ϵ)$. Then,

$$\begin{array}{cc}\hfill \{r\in J\mid (f\oplus (\ominus (h\oplus f\left)\right)\left)\right(r)\notin V\}& =\{r\in J\mid f(r)\oplus (\ominus \left(h\right(r)\oplus f(r\left)\right))\notin V\}\hfill \\ \hfill & \subseteq \{r\in J\mid h(r)\notin U\}.\hfill \end{array}$$

It follows that $\mu \left(\right\{r\in J\mid (f\oplus (\ominus (h\oplus f)\left)\right)\left(r\right)\notin V\left\}\right)\le \mu \left(\right\{r\in J\mid h\left(r\right)\notin U\left\}\right)<ϵ$, and so $f\oplus (\ominus (h\oplus f\left)\right)\in O(V,ϵ)$. This shows that $f\oplus (\ominus (O(U,ϵ)\oplus f\left)\right)\subseteq O(V,ϵ)$.

(iii)

Let $O(V,ϵ)\in \mathcal{N}\left(e^{•}\right),f\in O(V,ϵ)$. Then, there is a partition $\{a_0,a_1,\cdots ,a_n\}$ of J such that f is constant on each interval $[a_k,a_{k+1})$. Set

$$L=\{k\in \{0,1,\cdots ,n-1\}\mid f\left(a_k\right)\in V\}.$$

By item (iii) of Theorem 5, for each $k\in L$, there is a set $U_k\in \mathcal{N}\left(e\right)$ such that $f\left(a_k\right)\oplus U_k\subseteq V$. By item (v) of Theorem 5, there is a set $U\in \mathcal{N}\left(e\right)$ such that $U\subseteq \bigcap _{k\in L}{U}_k$. Thus, $f\left(r\right)\oplus U\subseteq V$ whenever $f\left(r\right)\in V$. Put $\delta =ϵ-\mu \left(\right\{r\in J\mid f\left(r\right)\notin V\left\}\right)$. If $g\in O(U,\delta )$, then

$$\{r\in J\mid f(r)\oplus g(r)\notin V\}\subseteq \{r\in J\mid f(r)\notin V\}\cup \{r\in J\mid g(r)\notin U\}.$$

It follows that

$$\begin{array}{cc}\hfill \mu \left(\right\{r\in J\mid f\left(r\right)\oplus g\left(r\right)\notin V\left\}\right)& \le \mu \left(\right\{r\in J\mid f\left(r\right)\notin V\left\}\right)+\mu \left(\right\{r\in J\mid g\left(r\right)\notin U\left\}\right)\hfill \\ \hfill & <\mu \left(\right\{r\in J\mid f\left(r\right)\notin V\left\}\right)+\delta \hfill \\ \hfill & =ϵ.\hfill \end{array}$$

Thus, $f\oplus g\in O(V,ϵ)$. This proves that $f\oplus O(U,\delta )\subseteq O(V,ϵ)$.

(iv)

Let $O(V,ϵ)\in \mathcal{N}\left(e^{•}\right)$ and let $f,g\in G^{•}$. Then, there is a partition $\{a_0,a_1,\cdots ,a_n\}$ of J such that both f and g are constant on each interval $[a_k,a_{k+1})$. By item (iv) of Theorem 5, for each $k\in \{0,1,\cdots ,n-1\}$, there is a set $U_k\in \mathcal{N}\left(e\right)$ such that

$$\begin{array}{cc}\hfill (f\left(a_k\right)\oplus U_k)\oplus g\left(a_k\right)& \subseteq (f\left(a_k\right)\oplus g\left(a_k\right))\oplus V,\hfill \\ \hfill f\left(a_k\right)\oplus (U_k\oplus g\left(a_k\right))& \subseteq (f\left(a_k\right)\oplus g\left(a_k\right))\oplus V,\hfill \\ \hfill (f\left(a_k\right)\oplus U_k)⊞g\left(a_k\right)& \subseteq (f\left(a_k\right)⊞g\left(a_k\right))\oplus V.\hfill \end{array}$$

By item (v) of Theorem 5, there is a set $U\in \mathcal{N}\left(e\right)$ such that $U\subseteq \bigcap _{k=0}^{n-1}{U}_k$. Furthermore,

$$\begin{array}{cc}\hfill \left(f\right(r)\oplus U)\oplus g\left(r\right)& \subseteq \left(f\right(r)\oplus g(r\left)\right)\oplus V,\hfill \\ \hfill f\left(r\right)\oplus (U\oplus g(r\left)\right)& \subseteq \left(f\right(r)\oplus g(r\left)\right)\oplus V,\hfill \\ \hfill \left(f\right(r)\oplus U)⊞g\left(r\right)& \subseteq \left(f\right(r)⊞g(r\left)\right)\oplus V\hfill \end{array}$$

for all $r\in J$. Let $h\in O(U,ϵ)$. Then,

$$\begin{array}{cc}\hfill & \{r\in J\mid (\ominus (f\oplus g)\oplus \left(\right(f\oplus h)\oplus g)\left)\right(r)\notin V\}\hfill \\ \hfill & =\{r\in J\mid \ominus (f\left(r\right)\oplus g\left(r\right))\oplus (\left(f\right(r)\oplus h(r\left)\right)\oplus g\left(r\right))\notin V\}\hfill \\ \hfill & =\{r\in J\mid (f\left(r\right)\oplus h\left(r\right))\oplus g(r)\notin (f\left(r\right)\oplus g\left(r\right))\oplus V\}\hfill \\ \hfill & \subseteq \{r\in J\mid h(r)\notin U\}.\hfill \end{array}$$

Hence, $\mu \left(\right\{r\in J\mid (\ominus (f\oplus g)\oplus ((f\oplus h)\oplus g\left)\right)\left(r\right)\notin V\left\}\right)\le \mu \left(\right\{r\in J\mid h\left(r\right)\notin U\left\}\right)<ϵ$. It follows that $\ominus (f\oplus g)\oplus \left(\right(f\oplus h)\oplus g)\in O(V,ϵ)$, and so $(f\oplus h)\oplus g\in (f\oplus g)\oplus O(V,ϵ)$. This shows that $(f\oplus O(U,ϵ\left)\right)\oplus g\subseteq (f\oplus g)\oplus O(V,ϵ)$. Similarly, one can show that $f\oplus \left(O\right(U,ϵ)\oplus g)\subseteq (f\oplus g)\oplus O(V,ϵ)$ and that $(f\oplus O(U,ϵ\left)\right)⊞g\subseteq (f⊞g)\oplus O(V,ϵ)$.

(v)

Let $U,V\in \mathcal{N}\left(e\right)$, let $f\in G^{•}$, and let $ϵ,\delta >0$. Note that if $U\subseteq V$, then

$$\{r\in J\mid f(r)\notin V\}\subseteq \{r\in J\mid f(r)\notin U\}.$$

Therefore, $O(U,ϵ)\subseteq O(V,ϵ)$. Note that if $ϵ\le \delta$, then $\mu \left(\right\{r\in J\mid f\left(r\right)\notin U\left\}\right)<ϵ$ implies $\mu \left(\right\{r\in J\mid f\left(r\right)\notin U\left\}\right)<\delta$. This shows that $O(U,ϵ)\subseteq O(U,\delta )$. Let $O(U,ϵ),O(V,\delta )\in \mathcal{N}\left(e^{•}\right)$. By item (v) of Theorem 5, there is a set $W\in \mathcal{N}\left(e\right)$ such that $W\subseteq U\cap V$. Put ${ϵ}_0=\min \{ϵ,\delta \}$. The arguments above show that $O(W,{ϵ}_0)\subseteq O(U,ϵ)\cap O(V,\delta )$.

(vi)

Clearly, $e^{•}\in O(V,ϵ)$ for all $V\in \mathcal{N}\left(e\right),ϵ>0$. Let $e^{•}\ne f\in G^{•}$. Then, there exists a subinterval $[a,b)\subseteq J$ such that f is constant on $[a,b)$ and $f\left(a\right)\ne e$. By item (vi) of Theorem 5, there is a set $U\in \mathcal{N}\left(e\right)$ such that $f\left(a\right)\notin U$. Then, $[a,b)\subseteq \{r\in J\mid f(r)\notin U\}$. It follows that $\mu \left(\right\{r\in J\mid f\left(r\right)\notin U\left\}\right)\ge b-a$. Thus, $f\notin O(U,b-a)$. This shows that $\bigcap \mathcal{N}\left(e^{•}\right)=\left\{e^{•}\right\}$.

(vii)

Let $O(V,ϵ)\in \mathcal{N}\left(e^{•}\right)$, let $f,g\in G^{•}$, and let $h\in O(V,ϵ)$. It follows from the assumption that

$$\begin{array}{cc}\hfill \{r\in J\mid \mathrm{gyr}[f,g\left]\right(h\left)\right(r)\notin V\}& =\{r\in J\mid \mathrm{gyr}[f\left(r\right),g\left(r\right)\left]\right(h\left(r\right))\notin V\}\hfill \\ \hfill & \subseteq \{r\in J\mid h(r)\notin V\}.\hfill \end{array}$$

Thus, $\mu \left(\right\{r\in J\mid \mathrm{gyr}[f,g]\left(h\right)\left(r\right)\notin V\left\}\right)\le \mu \left(\right\{r\in J\mid h\left(r\right)\notin V\left\}\right)<ϵ$, which implies $\mathrm{gyr}[f,g]\left(h\right)\in O(V,ϵ)$. This proves that $\mathrm{gyr}[f,g]\left(O\right(V,ϵ\left)\right)\subseteq O(V,ϵ)$.

Therefore, the family $\{f\oplus O(V,ϵ)\mid V\in \mathcal{N}\left(e\right),ϵ>0,\mathrm{and}f\in G^{•}\}$ forms a base of a $T_1$-topology on $G^{•}$. By Corollary 1, $G^{•}$ is strong and by Theorem 3 of [2], $G^{•}$ is Hausdorff. In addition, the family

$$\{O(V,ϵ)\oplus f\mid V\in \mathcal{N}\left(e\right),ϵ>0\mathrm{and}f\in G^{•}\}$$

is also a base for the same topology. ☐

Remark 1.

From the definition of the topology on $G^{•}$, if $f\in G^{•}$, then

$$\{f\oplus O(V,ϵ)\mid O(V,ϵ)\in \mathcal{N}\left(e^{•}\right)\}\mathit{and}\{O(V,ϵ)\oplus f\mid O(V,ϵ)\in \mathcal{N}\left(e^{•}\right)\},$$

individually, form open bases for $G^{•}$ at f.

Next, we prove several topological properties shared by G and $G^{•}$, where G is a strongly topological gyrogroup. Proposition 4 shows that any two open bases of G at the gyrogroup identity generate the same topology on $G^{•}$. Theorem 8 shows that $G^{•}$ is always path-connected and locally path-connected. Theorems 9 and 10 show that being first countable and being metrizable are preserved under the process of taking •, respectively.

Proposition 4.

Let G be a strongly topological gyrogroup with open bases ${\mathcal{N}}_1\left(e\right)$ and ${\mathcal{N}}_2\left(e\right)$ at e. Then, the two bases

$${\mathcal{B}}_1=\{f\oplus O(V,ϵ)\mid V\in {\mathcal{N}}_1\left(e\right),ϵ>0\mathit{and}f\in G^{•}\}$$

and

$${\mathcal{B}}_2=\{f\oplus O(V,ϵ)\mid V\in {\mathcal{N}}_2\left(e\right),ϵ>0\mathit{and}f\in G^{•}\}$$

generate the same topology on $G^{•}$.

Proof. 

Let $V_1\in {\mathcal{N}}_1\left(e\right)$ and let $ϵ>0$. Then, there is a set $V_2\in {\mathcal{N}}_2\left(e\right)$ such that $V_2\subseteq V_1$. Hence, $O(V_2,ϵ)\subseteq O(V_1,ϵ)$. This shows that ${\mathcal{T}}_{\mathcal{B}}1\subseteq {\mathcal{T}}_{\mathcal{B}}2$. By the sake of symmetry, ${\mathcal{T}}_{\mathcal{B}}1={\mathcal{T}}_{\mathcal{B}}2$. ☐

Theorem 8.

$G^{•}$ is path-connected and locally path-connected for any strongly topological gyrogroup G.

Proof. 

Note that if $O(V,ϵ)$ is path-connected for all $O(V,ϵ)\in \mathcal{N}\left(e^{•}\right)$, then $G^{•}$ is locally path-connected since every topological gyrogroup is a homogeneous space (cf. Proposition 3 of [2]).

Let $O(V,ϵ)\in \mathcal{N}\left(e^{•}\right)$ and let $f\in O(V,ϵ)$. Then, there is a partition $\{a_0,a_1,\cdots ,a_n\}$ of J such that f is constant on each interval $[a_k,a_{k+1})$. Given $t\in [0,1]$ and $k\in \{0,1,\cdots ,n-1\}$, put $b_{k,t}=a_k+t(a_{k+1}-a_k)$. Note that $a_k<b_{k,t}<a_{k+1}$ for all $t\in (0,1)$. Let $t\in [0,1]$. Define a function $f_t:J\to G$ as follows. $f_0=e^{•}$; $f_1=f$; for $0<t<1$, note that if $r\in J$, then $r\in [a_k,a_{k+1})$ for some k, so we define $f_t$ by

$$f_t\left(r\right)=\left\{\begin{array}{cc}f\left(r\right)\hfill & \mathrm{if}{a}_k\le r<b_{k,t}\mathrm{for}\mathrm{some}k;\hfill \\ e\hfill & \mathrm{otherwise}\hfill \end{array}\right.$$

for all $r\in J$. Clearly, $f_t\in G^{•}$ for all $t\in [0,1]$. Furthermore, we have

$$\{r\in J\mid f_t\left(r\right)\notin V\}\subseteq \{r\in J\mid f\left(r\right)\notin V\},$$

and so $f_t\in O(V,ϵ)$ for all $t\in [0,1]$. Define a function $\phi :[0,1]\to O(V,ϵ)$ by $\phi \left(t\right)=f_t$ for all $t\in [0,1]$. To show that $\phi$ is continuous, let $t\in [0,1]$ and let $f_t\oplus O(U,\delta )$ be an open neighborhood of $\phi \left(t\right)=f_t$. Let $s\in (t-ϵ,t+ϵ)\cap [0,1]$. Then, $\{r\in J\mid (\ominus f_t\oplus f_s)\left(r\right)\notin U\}\subseteq \{r\in J\mid f_t\left(r\right)\ne f_s\left(r\right)\}$. Since

$$\begin{array}{cc}\hfill \mu \left(\{r\in J\mid f_t\left(r\right)\ne f_s\left(r\right)\}\right)& \le \sum _{k=0}^{n-1}|b_{k,s}-b_{k,t}|\hfill \\ \hfill & =\sum _{k=0}^{n-1}|a_k+s(a_{k+1}-a_k)-a_k-t(a_{k+1}-a_k)|\hfill \\ \hfill & =\sum _{k=0}^{n-1}\left|(s-t)(a_{k+1}-a_k)\right|\hfill \\ \hfill & =|s-t|\left(\sum _{k=0}^{n-1}\left|(a_{k+1}-a_k)\right|\right)\hfill \\ \hfill & =|s-t|\hfill \\ \hfill & <\delta ,\hfill \end{array}$$

it follows that $\mu \left(\{r\in J\mid (\ominus f_t\oplus f_s)\left(r\right)\notin U\}\right)<\delta$. Hence, $\ominus f_t\oplus f_s\in O(U,\delta )$, and so $f_s\in f_t\oplus O(U,\delta )$. This shows that $\phi$ is continuous. Therefore, $O(V,ϵ)$ is path-connected, and so $G^{•}$ is locally path-connected. In particular, if $V\in \mathcal{N}\left(e\right)$, then $O(V,2)=G^{•}$. It follows that $G^{•}$ is path-connected. ☐

Theorem 9.

Let G be a strongly topological gyrogroup with open base $\mathcal{N}\left(e\right)$ at e. If G is first countable, then so is $G^{•}$.

Proof. 

Suppose that G is first countable. Then, there is a countable open base ${\mathcal{N}}^{\prime }\left(e\right)\subseteq \mathcal{N}\left(e\right)$. Thus, the family $\{O(V,\frac{1}{n})\mid V\in {\mathcal{N}}^{\prime }\left(e\right),n\in \mathbb{N}\}$ is a countable open base at $e^{•}$. Therefore, $G^{•}$ is first countable. ☐

Theorem 10.

Let G be a strongly topological gyrogroup. If G is metrizable, then so is $G^{•}$.

Proof. 

Recall that $G^{•}$ is Hausdorff. Suppose that G is metrizable. Then, G is first countable. By Theorem 9, $G^{•}$ is first countable. By Theorem 2.3 of [14], $G^{•}$ is metrizable. ☐

The next proposition shows that every strongly topological gyrogroup can be topologically embedded in a path-connected and locally path-connected topological gyrogroup. As every group is a strongly topological gyrogroup, this result extends a known result in the theory of topological groups. See, for instance, Section 3.8 of [17].

Proposition 5.

For any strongly topological gyrogroup G, the function $i_G$ defined in Proposition 1 is a topological embedding. Furthermore, $i_G\left(G\right)$ forms a closed subgyrogroup of $G^{•}$.

Proof. 

By Proposition 1, $i_G$ is a monomorphism and $i_G\left(G\right)$ is a subgyrogroup of $G^{•}$. Next, we show that the function $i_G:G\to i_G\left(G\right)$ and its inverse are continuous.

Let $ϵ\in (0,1)$. Note that for all $x,y\in G,O(V,ϵ)\in \mathcal{N}\left(e^{•}\right)$,

$$\begin{array}{cc}\hfill y^{•}\in x^{•}\oplus O(V,ϵ)& \iff \ominus x^{•}\oplus y^{•}\in O(V,ϵ)\hfill \\ \hfill & \iff \mu \left(\{r\in J\mid \ominus x^{•}\left(r\right)\oplus y^{•}\left(r\right)\notin V\}\right)<ϵ\hfill \\ \hfill & \iff \mu \left(\right\{r\in J\mid \ominus x\oplus y\notin V\left\}\right)<ϵ\hfill \\ \hfill & \iff \ominus x\oplus y\in V\hfill \\ \hfill & \iff y\in x\oplus V.\hfill \end{array}$$

Let $x\in G$. Then, for each $O(V,ϵ)\in \mathcal{N}\left(e^{•}\right)$, we have $i_G(x\oplus V)\subseteq x^{•}\oplus O(V,ϵ)$. Thus, $i_G$ is continuous at x.

Next, let $x^{•}\in i_G\left(G\right)$. Then, for each $V\in \mathcal{N}\left(e\right)$, we have $i_G^{-1}((x^{•}\oplus O(V,ϵ))\cap i_G\left(G\right))\subseteq x\oplus V$. Thus, $i_G^{-1}$ is continuous at $x^{•}$. This proves that $i_G$ is a topological embedding.

The remaining part is to show that $i_G\left(G\right)$ is a closed subset of $G^{•}$. Let $f\in G^{•}\setminus i_G\left(G\right)$. Then, there are numbers $a_1,a_2,a_3$ and $a_4$ satisfying $0\le a_1<a_2\le a_3<a_4\le 1$ such that f is constant on $[a_1,a_2)$ and $[a_3,a_4)$ with $f\left(a_1\right)\ne f\left(a_3\right)$. Since $f\left(a_1\right)\ne f\left(a_3\right)$, there is an open set $V\in \mathcal{N}\left(e\right)$ such that $f\left(a_1\right)\oplus V\cap f\left(a_3\right)\oplus V=\varnothing$. Put $ϵ=\min \{a_2-a_1,a_4-a_3\}$. We claim that $i_G\left(G\right)\cap (f\oplus O(V,ϵ))=\varnothing$. Suppose that $x^{•}\in f\oplus O(V,ϵ)$ for some $x\in G$. Then, $\ominus f\oplus x^{•}\in O(V,ϵ)$. We have

$$\mu \left(\{r\in J\mid \ominus \left(f\left(r\right)\right)\oplus x\notin V\}\right)<ϵ=\min \{a_2-a_1,a_4-a_3\}.$$

Thus, $[a_1,a_2)⊈\{r\in J\mid \ominus \left(f\left(r\right)\right)\oplus x\notin V\}$. Since f is constant on $[a_1,a_2)$,

$$[a_1,a_2)\cap \{r\in J\mid \ominus \left(f\left(r\right)\right)\oplus x\notin V\}=\varnothing .$$

Similarly, $[a_3,a_4)\cap \{r\in J\mid \ominus \left(f\left(r\right)\right)\oplus x\notin V\}=\varnothing$. This means that if $r\in [a_1,a_2)\cup [a_3,a_4)$, then $\ominus f\left(r\right)\oplus x\in V$. Hence, $\ominus f\left(a_1\right)\oplus x\in V$ and $\ominus f\left(a_3\right)\oplus x\in V$. Thus, $x\in (f\left(a_1\right)\oplus V)\cap (f\left(a_3\right)\oplus V)$, a contradiction. Hence, $i_G\left(G\right)\cap (f\oplus O(V,ϵ))=\varnothing$. ☐

The following theorem is a topological version of Theorem 4. This theorem proves useful in studying normed gyrogroups, as illustrated in Section 5.

Theorem 11.

Let G be a strongly topological gyrogroup with open base $\mathcal{N}\left(e\right)$ at e. If d is a bounded pseudometric (respectively, metric) on G, then d admits an extension to a bounded pseudometric (respectively, metric) $d^{•}$ on $G^{•}$ such that

(i) 

if d is continuous, then so is $d^{•}$;

(ii) 

if d is a metric generating the topology of G, then $d^{•}$ also generates the topology of $G^{•}$.

Proof. 

The first part of the theorem follows from Theorem 4. Next, suppose that d is continuous. Without loss of generality, we may assume that d is bounded by 1. To prove the continuity of $d^{•}$, we need to show that for all $f\in G^{•},ϵ>0$, there are a set $V\in \mathcal{N}\left(e\right)$ and a number $\delta >0$ such that

$$f\oplus O(V,\delta )\subseteq B_{d^{•}}(f,ϵ).$$

Suppose that $f\left(J\right)=\{z_1,z_2,\cdots ,z_n\}$. For each $i\in \{1,2,\cdots ,n\}$, because d is continuous and $d(z_i,z_i)=0\in [0,\frac{ϵ}{2})$, there is an open neighborhood $V_i$ of $z_i$ with $d(V_i\times V_i)\subseteq [0,\frac{ϵ}{2})$. In particular, $d(\left\{z_i\right\}\times V_i)\subseteq [0,\frac{ϵ}{2})$ for all $i\in \{1,2,\cdots ,n\}$. Since $V_i$ is an open neighborhood of $z_i$, we have $\ominus z_i\oplus V_i$ is an open neighborhood of e, and so there is a set $V\in \mathcal{N}\left(e\right)$ such that $V\subseteq {\displaystyle \bigcap _{i=1}^n}(\ominus z_i\oplus V_i)$. If $v\in V$ and $z_i\in \{z_1,z_2,\cdots ,z_n\}$, we have $z_i\oplus v\in z_i\oplus V\subseteq z_i\oplus (\ominus z_i\oplus V_i)=V_i$. It follows that

$$d(z_i,z_i\oplus v)<\frac{ϵ}{2}$$

for all $v\in V$ and $z_i\in \{z_1,z_2,\cdots ,z_n\}$. We claim that $f\oplus O(V,\frac{ϵ}{2})\subseteq B_{d^{•}}(f,ϵ)$—that is, if $g\in O(V,\frac{ϵ}{2}),\mathrm{then}{d}^{•}(f,f\oplus g)<ϵ$. Let $g\in O(V,\frac{ϵ}{2})$. Then, there is a partition $\{a_0,a_1,\cdots ,a_m\}$ of J such that f and g are constant on each interval $[a_k,a_{k+1})$. For each $k\in \{0,1,\cdots ,m-1\}$, let $x_k$ and $y_k$ be the values of f and g on $[a_k,a_{k+1})$, respectively. Note that $\{x_1,x_2,\cdots ,x_{m-1}\}=\{z_1,z_2,\cdots ,z_n\}$. Set $L=\{k\in \{0,1,\cdots ,m-1\}\mid y_k\in V\}$ and $M=\{0,1,\cdots ,m-1\}\setminus L$. Note that if $k\in L$, then $d(x_k,x_k\oplus y_k)<\frac{ϵ}{2}$ and that if $k\in M$, then $d(x_k,x_k\oplus y_k)<1$. Furthermore, we have $\{r\in J\mid g\left(r\right)\notin V\}={\displaystyle \bigcup _{k\in M}}[a_k,a_{k+1})$, and so ${\displaystyle \sum _{k\in M}}(a_{k+1}-a_k)<\frac{ϵ}{2}$. By definition of $d^{•}$,

$$\begin{array}{cc}\hfill d^{•}(f,f\oplus g)& =\sum _{k=0}^{m-1}(a_{k+1}-a_k)d(x_k,x_k\oplus y_k)\hfill \\ \hfill & =\sum _{k\in L}(a_{k+1}-a_k)d(x_k,x_k\oplus y_k)+\sum _{k\in M}(a_{k+1}-a_k)d(x_k,x_k\oplus y_k)\hfill \\ \hfill & <\sum _{k\in L}(a_{k+1}-a_k)\frac{ϵ}{2}+\sum _{k\in M}(a_{k+1}-a_k)\hfill \\ \hfill & <\frac{ϵ}{2}+\frac{ϵ}{2}=ϵ.\hfill \end{array}$$

Therefore, $f\oplus O(V,\frac{ϵ}{2})\subseteq B_{d^{•}}(f,ϵ)$. Let $(f,g)\in G^{•}\times G^{•}$ and let $ϵ>0$. Then, there are basic open sets $f\oplus O(U_1,{\delta }_1)$ and $g\oplus O(U_2,{\delta }_2)$ such that $f\in f\oplus O(U_1,{\delta }_1)\subseteq B_{d^{•}}\left(f,\frac{ϵ}{2}\right)$ and $g\in g\oplus O(U_2,{\delta }_2)\subseteq B_{d^{•}}\left(g,\frac{ϵ}{2}\right).$ If $f^{\prime }\in f\oplus O(U_1,{\delta }_1)$ and $g^{\prime }\in g\oplus O(U_2,{\delta }_2)$, then

$$\begin{array}{cc}\hfill d^{•}(f^{\prime },g^{\prime })& \le d^{•}(f^{\prime },f)+d^{•}(f,g^{\prime })\hfill \\ \hfill & \le d^{•}(f^{\prime },f)+d^{•}(f,g)+d^{•}(g,g^{\prime })\hfill \\ \hfill & <d^{•}(f,g)+ϵ.\hfill \end{array}$$

On the other hand,

$$\begin{array}{cc}\hfill d^{•}(f,g)& \le d^{•}(f,f^{\prime })+d^{•}(f^{\prime },g)\hfill \\ \hfill & \le d^{•}(f,f^{\prime })+d^{•}(f^{\prime },g^{\prime })+d^{•}(g^{\prime },g)\hfill \\ \hfill & <d^{•}(f^{\prime },g^{\prime })+ϵ.\hfill \end{array}$$

This shows that $d^{•}(f,g)-ϵ<d^{•}(f^{\prime },g^{\prime })<d^{•}(f,g)+ϵ$, and so $d^{•}(f^{\prime },g^{\prime })$ is in $(d^{•}(f,g)-ϵ,d^{•}(f,g)+ϵ)$. Hence, $d^{•}$ is continuous at $(f,g)$.

Finally, suppose that d is a metric on G generating the topology of G. Let $f\in G^{•}$ and let $f\oplus O(V,ϵ)$ be a basic open neighborhood of f in $G^{•}$. Suppose that $f\left(J\right)=\{u_1,u_2,\cdots ,u_n\}$. Then, there exists a number $\delta >0$ such that $B_d(u_k,\delta )\subseteq u_k\oplus V$ for all $k=1,2,\cdots n$. Note that if $1\le k\le n$ and $y\in G\setminus (u_k\oplus V)$, then $d(u_k,y)\ge \delta$. Put ${\delta }_0=ϵ\delta$. We claim that $B_{d^{•}}(f,{\delta }_0)\subseteq f\oplus O(V,ϵ)$. Let $g\in B_{d^{•}}(f,{\delta }_0)$. Then, there exists a partition $\{b_0,b_1,\cdots ,b_N\}$ of J such that f and g are constant on each interval $[b_i,b_{i+1})$. For each $i\in \{0,1,\cdots ,N-1\}$, let $x_i$ and $y_i$ be the values of f and g on $[b_i,b_{i+1})$, respectively. Note that $\{u_1,u_2,\cdots ,u_n\}=\{x_0,x_1,\cdots ,x_{N-1}\}$. Set

$$P=\{i\in \{0,1,\cdots ,N-1\}\mid y_i\notin x_i\oplus V\}.$$

If $i\in P$, then $y_i\in G\setminus (x_i\oplus V)$, and so $d(x_i,y_i)\ge \delta$. It follows that

$$\begin{array}{cc}\hfill \delta \sum _{i\in P}(b_{i+1}-b_i)& =\sum _{i\in P}(b_{i+1}-b_i)\delta \hfill \\ \hfill & \le \sum _{i\in P}(b_{i+1}-b_i)d(x_i,y_i)\hfill \\ \hfill & \le \sum _{0\le i<N-1}(b_{i+1}-b_i)d(x_i,y_i)\hfill \\ \hfill & =d^{•}(f,g)\hfill \\ \hfill & <{\delta }_0.\hfill \end{array}$$

Hence, ${\displaystyle \sum _{i\in P}}(b_{i+1}-b_i)<\frac{{\delta }_0}{\delta }=ϵ$. Recall that $P=\{i\in \{0,1,\cdots ,N-1\}\mid g\left(b_i\right)\notin f\left(b_i\right)\oplus V\}$. We have

$$\{r\in J\mid \ominus \left(f\left(r\right)\right)\oplus g\left(r\right)\notin V\}=\bigcup _{i\in P}[b_i,b_{i+1}).$$

Hence, $\mu (\{r\in J\mid \ominus \left(f\left(r\right)\right)\oplus g\left(r\right)\notin V\}=\mu \left({\bigcup }_{i\in P}[b_i,b_{i+1})\right)<ϵ$. This shows that $\ominus f\oplus g\in O(V,ϵ)$, and so $g\in f\oplus O(V,ϵ)$. Hence, $B_{d^{•}}(f,{\delta }_0)\subseteq f\oplus O(V,ϵ)$. Let ${\mathcal{T}}_{d^{•}}$ be the topology on $G^{•}$ induced by $d^{•}$ and let $\mathcal{B}=\{B_{d^{•}}(f,ϵ)\mid f\in G^{•},ϵ>0\}$, which is a base for ${\mathcal{T}}_{d^{•}}$. Hence, each basic open set $f\oplus O(V,ϵ)$ is a union of elements in $\mathcal{B}$. Let $\mathcal{T}$ be the topology on $G^{•}$. Since $d^{•}$ is continuous with respect to $\mathcal{T}$, for each $f\in G^{•}$, the function $F:G^{•}\to [0,\infty )$ defined by $F\left(g\right)=d^{•}(f,g)$ for all $g\in G^{•}$ is continuous (being the restriction of $d^{•}$ to $\left\{f\right\}\times G^{•}$). It follows that $B_{d^{•}}(f,ϵ)=F^{-1}\left([0,ϵ)\right)$ is open with respect to $\mathcal{T}$. Hence, $\mathcal{T}={\mathcal{T}}_{d^{•}}$. ☐

In view of Theorem 11, one might wonder whether $(G^{•},d^{•})$ is complete in the case when $(G,d)$ is a complete metric space. The following example shows that the answer is negative.

Example 1.

Consider the group $\mathbb{R}$ equipped with the discrete metric d. Clearly, $\mathbb{R}$ is a complete strongly topological gyrogroup and the discrete metric d is bounded. For each $n\in \mathbb{N}$, define a function $I_n:J\to \mathbb{R}$ by

$$I_n\left(r\right)=\left\{\begin{array}{cc}1\hfill & if r<\frac{1}{2^n};\hfill \\ 0\hfill & \mathit{otherwise}.\hfill \end{array}\right.$$

Obviously, $I_n\in {\mathbb{R}}^{•}$ for all $n\in \mathbb{N}$. Next, define $f_1=0^{•}$; if $n\ge 2$, define

$$f_n=f_{n-1}+{(-1)}^n{I}_{n-1}.$$

Note that $f_n\in {\mathbb{R}}^{•}$ for all $n\in \mathbb{N}$. Note also that for each $n\in \mathbb{N}$,

$$d^{•}(f_n,f_{n+1})=(\frac{1}{2^n}-0)d(f_n\left(0\right),f_{n+1}\left(0\right))=\frac{1}{2^n}.$$

Moreover, for each $k\ge 1$, we have $d^{•}(f_n,f_{n+k})\le d^{•}(f_n,f_{n+1})=\frac{1}{2^n}$. Thus, ${\left(f_n\right)}_{n\in \mathbb{N}}$ is a Cauchy sequence in $G^{•}$. Suppose that $f_n\to f\in G^{•}$. Since $f\in G^{•}$, there is a number $N\in \mathbb{N}$ such that f is constant on $[0,\frac{1}{2^N})$. By definition of the sequence ${\left(f_n\right)}_{n\in \mathbb{N}}$, there is an integer $K_0>N$ such that $f_{K_0}\left(0\right)\ne f\left(0\right)$. It follows that $d^{•}(f,f_k)\ge \frac{1}{2^{K_0}}$ for all $k>K_0$, a contradiction. Therefore, ${\mathbb{R}}^{•}$ is not complete.

Following the proof of Theorem 4, we prove that any continuous real-valued bounded function on a strongly topological gyrogroup G can be extended to a continuous real-valued bounded function on $G^{•}$.

Theorem 12.

Let F be a continuous real-valued bounded function on a strongly topological gyrogroup G. Then, F admits an extension to a continuous real-valued bounded function on $G^{•}$.

Proof. 

Let G be a strongly topological gyrogroup with open base $\mathcal{N}\left(e\right)$ at e and let $F:G\to \mathbb{R}$ be a continuous function. Without loss of generality, we may assume that F is bounded by 1. For each $g\in G^{•}$, there is a partition $\{a_0,a_1,\cdots ,a_n\}$ of J such that g is constant on each interval $[a_k,a_{k+1})$. Define a function $F^{•}:G^{•}\to \mathbb{R}$ by

$$F^{•}\left(g\right)=\sum _{k=0}^{n-1}(a_{k+1}-a_k)F\left(g\left(a_k\right)\right).$$

It is not difficult to see that $F^{•}$ is well defined and bounded by 1. Let $g\in G^{•}$ and let $ϵ>0$. Suppose that $g\left(J\right)=\{z_1,z_2,\cdots ,z_n\}$. Since F is continuous, there is a set $V\in \mathcal{N}\left(e\right)$ such that $F(z_i\oplus V)\subseteq$$(F\left(z_i\right)-\frac{ϵ}{2},F\left(z_i\right)+\frac{ϵ}{2})$ for all $i\in \{1,2,\cdots ,n\}$. In other words, there is a set $V\in \mathcal{N}\left(e\right)$ such that

$$F(g\left(r\right)\oplus V)\subseteq (F\left(g\left(r\right)\right)-\frac{ϵ}{2},F\left(g\left(r\right)\right)+\frac{ϵ}{2})$$

for all $r\in J$. We claim that $F^{•}(g\oplus O(V,\frac{ϵ}{4}))\subseteq (F^{•}\left(g\right)-ϵ,F^{•}\left(g\right)+ϵ)$—that is, $|F^{•}\left(g\right)-F^{•}(g\oplus f)|<ϵ$ for all $f\in O(V,\frac{ϵ}{4})$. Let $f\in O(V,\frac{ϵ}{4})$. Then, there is a partition $\{b_0,b_1,\cdots ,b_m\}$ of J such that both g and f are constant on each interval $[b_k,b_{k+1})$. Set $L=\{k\in \{0,1,\cdots ,m-1\}\mid f\left(b_k\right)\notin V\}$. It follows that $\{r\in J\mid f\left(r\right)\notin V\}={\bigcup }_{k\in L}[b_k,b_{k+1})$. Since $f\in O(V,\frac{ϵ}{4})$, $\sum _{k\in L}(b_{k+1}-b_k)=\mu \left(\{r\in J\mid f\left(r\right)\notin V\}\right)<\frac{ϵ}{4}$. Now, consider

$$\begin{array}{cc}\hfill & |F^{•}\left(g\right)-F^{•}(g\oplus f)|=\left|\sum _{k=0}^{m-1}(b_{k+1}-b_k)(F\left(g\left(b_k\right)\right)-F\left((g\oplus f)\left(b_k\right)\right))\right|\hfill \\ \hfill & =\left|\sum _{k\in L}(b_{k+1}-b_k)(F\left(g\left(b_k\right)\right)-F\left((g\oplus f)\left(b_k\right)\right))+\sum _{k\notin L}(b_{k+1}-b_k)(F\left(g\left(b_k\right)\right)-F\left((g\oplus f)\left(b_k\right)\right))\right|\hfill \\ \hfill & \le \left|\sum _{k\in L}(b_{k+1}-b_k)(F\left(g\left(b_k\right)\right)-F\left((g\oplus f)\left(b_k\right)\right))\right|+\left|\sum _{k\notin L}(b_{k+1}-b_k)(F\left(g\left(b_k\right)\right)-F\left((g\oplus f)\left(b_k\right)\right))\right|\hfill \\ \hfill & \le \sum _{k\in L}(b_{k+1}-b_k)\left|F\left(g\left(b_k\right)\right)-F\left((g\oplus f)\left(b_k\right)\right)\right|+\sum _{k\notin L}(b_{k+1}-b_k)\left|F\left(g\left(b_k\right)\right)-F\left((g\oplus f)\left(b_k\right)\right)\right|\hfill \\ \hfill & <\frac{ϵ}{2}+\frac{ϵ}{2}=ϵ.\hfill \end{array}$$

Thus, $F^{•}$ is continuous at g. Since g is arbitrary, $F^{•}$ is continuous on $G^{•}$. ☐

We close this section with a topological version of Theorem 3.

Theorem 13.

Let G and H be strongly topological gyrogroups. If $\phi :G\to H$ is a continuous homomorphism, then the function ${\phi }^{•}:G^{•}\to H^{•}$, defined by ${\phi }^{•}\left(f\right)=\phi \circ f$ for all $f\in G^{•}$, is a continuous homomorphism that extends φ in the sense that ${\phi }^{•}\circ i_G=i_H\circ \phi$. Furthermore, if φ is open and surjective, then so is ${\phi }^{•}$.

Proof. 

By Theorem 3, ${\phi }^{•}$ is a homomorphism that extends $\phi$. To show that ${\phi }^{•}$ is continuous, let $f\in G^{•}$ and let ${\phi }^{•}\left(f\right)\oplus O_H(V,ϵ)$ be a basic open neighborhood of ${\phi }^{•}\left(f\right)$ in $H^{•}$. Since $\phi$ is continuous, there is a set $U\in \mathcal{N}\left(e\right)$ such that $\phi \left(U\right)\subseteq V$. Let $g\in O_G(U,ϵ)$. Then,

$$\{r\in J\mid {\phi }^{•}\left(g\right)\left(r\right)\notin V\}=\{r\in J\mid \phi \left(g\left(r\right)\right)\notin V\}\subseteq \{r\in J\mid g\left(r\right)\notin U\}.$$

It follows that $\mu \left(\{r\in J\mid {\phi }^{•}\left(g\right)\left(r\right)\notin V\}\right)<ϵ$. Thus, ${\phi }^{•}\left(g\right)\in O_H(V,ϵ)$. Hence, if $h\in f\oplus O_G(U,ϵ)$, then ${\phi }^{•}\left(h\right)\in {\phi }^{•}\left(f\right)\oplus O_H(V,ϵ)$. This shows that ${\phi }^{•}$ is continuous.

Suppose that $\phi$ is open and surjective. By Theorem 3, ${\phi }^{•}$ is surjective. To show that ${\phi }^{•}$ is open, let $O_G(V,ϵ)$ be a basic open neighborhood at $e^{•}$ and let $f\in O_G(V,ϵ)$. Note that

$$\{r\in J\mid {\phi }^{•}\left(f\right)\left(r\right)\notin \phi \left(V\right)\}=\{r\in J\mid \phi \circ f\left(r\right)\notin \phi \left(V\right)\}\subseteq \{r\in J\mid f\left(r\right)\notin V\}.$$

Thus, $\mu \left(\{r\in J\mid {\phi }^{•}\left(f\right)\left(r\right)\notin \phi \left(V\right)\}\right)<ϵ$. Hence, ${\phi }^{•}\left(f\right)\in O_H(\phi \left(V\right),ϵ)$. This shows that ${\phi }^{•}\left(O_G(V,ϵ)\right)\subseteq O_H(\phi \left(V\right),ϵ)$. Let $h\in O_H(\phi \left(V\right),ϵ)$. Then, there is a partition $\{a_0,a_1,\cdots ,a_n\}$ of J such that h is constant on each interval $[a_k,a_{k+1})$. Set $L=\{k\in \{0,1,\cdots ,n-1\}\mid h\left(a_k\right)\in \phi \left(V\right)\}$. If $k\in L$, then there is an element $v_k\in V$ such that $\phi \left(v_k\right)=h\left(a_k\right)$. If $k\notin L$, then there is an element $u_k\in G$ such that $\phi \left(u_k\right)=h\left(a_k\right)$. Define a function $f:J\to G$ by

$$f\left(r\right)=\left\{\begin{array}{cc}{v}_k\hfill & \mathrm{if}r\in [a_k,a_{k+1})\mathrm{and}k\in L;\hfill \\ u_k\hfill & \mathrm{if}r\in [a_k,a_{k+1})\mathrm{and}k\notin L.\hfill \end{array}\right.$$

Clearly, $f\in G^{•}$. It follows that $\{r\in J\mid f\left(r\right)\notin V\}\subseteq \bigcup _{k\notin L}[a_k,a_{k+1})$. By definition of L, $\bigcup _{k\notin L}[a_k,a_{k+1})\subseteq \{r\in J\mid h\left(r\right)\notin \phi \left(V\right)\}$. Hence, $\{r\in J\mid f\left(r\right)\notin V\}\subseteq \bigcup _{k\notin L}[a_k,a_{k+1})\subseteq \{r\in J\mid h\left(r\right)\notin \phi \left(V\right)\}$. Since $h\in O_H(\phi \left(V\right),ϵ)$, we have $\mu \left(\right\{r\in J\mid f\left(r\right)\notin V\left\}\right)\le \mu \left(\right\{r\in J\mid h\left(r\right)\notin \phi \left(V\right)\left\}\right)<ϵ$. Thus, $f\in O_G(V,ϵ)$. Let $r\in J$. Then, $r\in [a_k,a_{k+1})$ for some k and ${\phi }^{•}\left(f\right)\left(r\right)=\phi \left(f\left(r\right)\right)=h\left(a_k\right)=h\left(r\right)$. This shows that $O_H(\phi \left(V\right),ϵ)\subseteq {\phi }^{•}\left(O_G(V,ϵ)\right)$, and so ${\phi }^{•}\left(O_G(V,ϵ)\right)=O_H(\phi \left(V\right),ϵ)$. Let $x,y\in H$. We show that $\mathrm{gyr}[x,y]\left(\phi \right(V\left)\right)\subseteq \phi \left(V\right)$. Since $\phi$ is surjective, there are elements $a,b\in G$ such that $\phi \left(a\right)=x$ and $\phi \left(b\right)=y$. Let $v\in V$. By Proposition 23 (3) of [19], $\mathrm{gyr}[x,y]\left(\phi \right(v\left)\right)=\phi \left(\mathrm{gyr}\right[a,b\left]v\right)\in \phi \left(V\right)$. Thus, $\mathrm{gyr}[x,y]\left(\phi \right(V\left)\right)\subseteq \phi \left(V\right)$ for all $x,y\in H$. It follows from Proposition 4 that ${\phi }^{•}$ is open. ☐

5. An Application to Normed Gyrogroups

In this section, we present an application of results in Section 4 to normed gyrogroups. The notion of a normed gyrogroup is introduced in [4]; we recall its definition as follows.

Definition 8

(Definition 2, [4]). A real-valued function $\parallel ·\parallel$ on a gyrogroup G is called a gyronorm if it satisfies the following properties:

1. 

$\parallel x\parallel \ge 0$ for all $x\in G$ and $\parallel x\parallel =0$ if and only if $x=e$;

2. 

$\parallel \ominus x\parallel =\parallel x\parallel$ for all $x\in G$;

3. 

$\parallel x\oplus y\parallel \le \parallel x\parallel +\parallel y\parallel$ for all $x,y\in G$;

4. 

$\parallel \mathrm{gyr}[a,b]x\parallel =\parallel x\parallel$ for all $a,b,x\in G$.

The pair $(G,\parallel ·\parallel )$ is called a normed gyrogroup.

According to Theorem 1 of [4], any gyronorm on G induces a metric, called the gyronorm metric, given by

$$d_{\eta }(x,y)=\parallel \ominus x\oplus y\parallel$$

(10)

for all $x,y\in G$ so that $(G,d_{\eta })$ forms a metric space. Throughout this section, let ${\mathcal{T}}_{\eta }$ denote the topology on a normed gyrogroup generated by $d_{\eta }$, called the gyronorm topology. We remark that a normed gyrogroup endowed with the gyronorm topology need not be a topological gyrogroup. However, we obtain a sufficient condition for a normed gyrogroup to be a topological gyrogroup with respect to the gyronorm topology as an application of Theorem 6. We begin with proving basic properties of normed gyrogroups in Propositions 6 through 8.

Proposition 6.

Let G be a normed gyrogroup. If

$$\parallel a\oplus b\parallel =\parallel b\oplus a\parallel$$

(11)

for all $a,b\in G$, then the inversion function ⊖ is continuous.

Proof. 

By assumption, $d_{\eta }(\ominus a,\ominus b)=\parallel a\ominus b\parallel =\parallel \ominus b\oplus a\parallel =d_{\eta }(b,a)=d_{\eta }(a,b)$ for all $a,b\in G$. This shows that ⊖ is an isometry of G, and so ⊖ is continuous. ☐

Corollary 2.

The inversion function of any gyrocommutative normed gyrogroup is continuous.

Proof. 

The corollary follows since $\parallel a\oplus b\parallel =\parallel \mathrm{gyr}\left[a,b\right](b\oplus a)\parallel =\parallel b\oplus a\parallel$. ☐

Proposition 7.

Let G be a normed gyrogroup. If the inversion function and all the right gyrotranslations are continuous, then every right gyrotranslation is a homeomorphism.

Proof. 

It suffices to show that every right gyrotranslation has the continuous inverse. Let $y\in G$. Note that $\left(R_y^{-1}\right)\left(x\right)=x\boxminus y$ for all $x\in G$. Define a function $L_y^c:G\to G$ by $L_y^c\left(x\right)=y⊞x$ for all $x\in G$. Note that

$$\begin{array}{cc}\hfill L_y^c\left(x\right)& =y⊞x\hfill \\ \hfill & =y\oplus \mathrm{gyr}[y,\ominus x]x\hfill \\ \hfill & =y\oplus (\ominus (y\ominus x)\oplus (y\oplus (\ominus x\oplus x)\left)\right)\hfill \\ \hfill & =y\oplus (\ominus (y\ominus x)\oplus y)\hfill \\ \hfill & =(L_y\circ R_y\circ \ominus \circ L_y\circ \ominus )\left(x\right)\hfill \end{array}$$

for all $x\in G$. Thus, $L_y^c=L_y\circ R_y\circ \ominus \circ L_y\circ \ominus$, and so $L_y^c$ is continuous. By Theorem 2.38 of [1], $x\boxminus y=\ominus (y\boxminus x)$ for all $x\in G$. Hence, ${\left(R_y\right)}^{-1}\left(x\right)=x\boxminus y=\ominus (y\boxminus x)=(\ominus \circ L_y^c\circ \ominus )\left(x\right)$ for all $x\in G$. It follows that $R_y^{-1}=\ominus \circ L_y^c\circ \ominus$, and so $R_y^{-1}$ is continuous. ☐

Remark 2.

It should be emphasized that Proposition 7 is valid for any gyrogroup with a topology such that all the left gyrotranslations are continuous.

Proposition 8.

Let G be a normed gyrogroup. If $(G,{\mathcal{T}}_{\eta })$ is a topological gyrogroup, then $(G,{\mathcal{T}}_{\eta })$ is a strongly topological gyrogroup.

Proof. 

Let $B(z,ϵ)$ denote the open ball in G centered at z with radius $ϵ$. It is clear that the family $\mathcal{U}=\{B(e,\frac{1}{n})\mid n\in \mathbb{N}\}$ is an open base for G at e. Let $x,y\in G$ and let $n\in \mathbb{N}$. For each $z\in B(e,\frac{1}{n})$,

$$d_{\eta }(e,\mathrm{gyr}[x,y]z)=\parallel \mathrm{gyr}[x,y]z\parallel =\parallel z\parallel =d_{\eta }(e,z)<\frac{1}{n}.$$

This shows that $\mathrm{gyr}[x,y]\left(B(e,\frac{1}{n})\right)\subseteq B(e,\frac{1}{n})$. Therefore, G is a strongly topological gyrogroup with respect to ${\mathcal{T}}_{\eta }$. ☐

Like several theorems in Section 4, any gyronorm on a gyrogroup G can be extended to a gyronorm on $G^{•}$ in a natural way, as shown in the following theorem.

Theorem 14.

Any gyronorm $\parallel ·\parallel$ on a gyrogroup G induces a gyronorm ${\parallel ·\parallel }^{•}$ on $G^{•}$ such that $\parallel x^{•}{\parallel }^{•}=\parallel x\parallel$ for all $x\in G$. Furthermore, if $(G,{\mathcal{T}}_{\eta })$ is a strongly topological gyrogroup and $\parallel ·\parallel$ is bounded, then $(G^{•},{\mathcal{T}}_{\eta }^{•})$ is a strongly topological gyrogroup and ${\parallel ·\parallel }^{•}$ is bounded, where ${\mathcal{T}}_{\eta }^{•}$ is the gyronorm topology associated to the extended metric $d_{\eta }^{•}$.

Proof. 

Let $\parallel ·\parallel$ be a gyronorm on G. Then, $\parallel ·\parallel$ induces the left-invariant gyronorm metric $d_{\eta }$ on G by Theorems 1 and 9 of [4]. By Theorem 4, $d_{\eta }$ can be extended to the left-invariant metric $d_{\eta }^{•}$ on $G^{•}$. By Theorem 9 of [4], the function ${\parallel ·\parallel }^{•}$ defined on $G^{•}$ by ${\parallel f\parallel }^{•}=d_{\eta }^{•}(e^{•},f)$ is a gyronorm on $G^{•}$ that generates the same metric. Note that $\parallel x^{•}{\parallel }^{•}=d_{\eta }^{•}(e^{•},x^{•})=d_{\eta }(e,x)=\parallel x\parallel$ for all $x\in G$. Next, suppose that $(G,{\mathcal{T}}_{\eta })$ is a strongly topological gyrogroup and that $\parallel ·\parallel$ is bounded. Hence, $d_{\eta }$ is bounded. By Theorem 11, $d_{\eta }^{•}$ is bounded and generates the topology of $G^{•}$ described in the proof of Theorem 7. Therefore, $(G^{•},{\mathcal{T}}_{\eta }^{•})$ is a strongly topological gyrogroup on which ${\parallel ·\parallel }^{•}$ is bounded. ☐

As proved in Theorem 10 of [4], if G is a normed gyrogroup, then the following conditions are equivalent:

(Right-gyrotranslation inequality) $d_{\eta }(x\oplus a,y\oplus a)\le d_{\eta }(x,y)$ for all $a,x,y\in G$;

(Klee’s condition) $d_{\eta }(x\oplus y,a\oplus b)\le d_{\eta }(x,a)+d_{\eta }(y,b)$ for all $a,b,x,y\in G$.

These are some sufficient conditions for a normed gyrogroup to be a topological gyrogroup with respect to the gyronorm topology; see Theorem 11 of [4].

Proposition 9.

Let G be a normed gyrogroup. If $d_{\eta }$ satisfies one of the conditions mentioned previously, then so does $d_{\eta }^{•}$.

Proof. 

Suppose that $d_{\eta }$ satisfies the right-gyrotranslation inequality. Let $f,g,h\in G^{•}$. Then, there is a partition $\{a_0,a_1,\dots ,a_n\}$ of J such that $f,g$ and h are constant on each interval $[a_k,a_{k+1})$. Direct computation shows that

$$\begin{array}{cc}\hfill d_{\eta }^{•}(f\oplus h,g\oplus h)& =\sum _{k=0}^{n-1}(a_{k+1}-a_k)d_{\eta }((f\oplus h)\left(a_k\right),(g\oplus h)\left(a_k\right))\hfill \\ \hfill & =\sum _{k=0}^{n-1}(a_{k+1}-a_k)d_{\eta }(f\left(a_k\right)\oplus h\left(a_k\right),g\left(a_k\right)\oplus h\left(a_k\right))\hfill \\ \hfill & \le \sum _{k=0}^{n-1}(a_{k+1}-a_k)d_{\eta }(f\left(a_k\right),g\left(a_k\right))\hfill \\ \hfill & =d_{\eta }^{•}(f,g).\hfill \end{array}$$

Thus, $d_{\eta }^{•}$ satisfies the right-gyrotranslation inequality. ☐

We are now in a position to prove the main result of this section, which gives another sufficient condition for a normed gyrogroup to be a topological gyrogroup. This shows a nice application of Theorem 6. We start with the following lemma, demonstrating that the left gyrotranslation of any open ball in a normed gyrogroup is again an open ball with the same radius.

Lemma 1.

Let G be a normed gyrogroup. Then, $x\oplus B(y,ϵ)=B(x\oplus y,ϵ)$ for all $x,y\in G,ϵ>0$.

Proof. 

Let $x,y,z\in G$ and let $ϵ>0$. Since $d_{\eta }$ is left invariant, we obtain

$$\begin{array}{cc}\hfill z\in x\oplus B(y,ϵ)& \iff \ominus x\oplus z\in B(y,ϵ)\hfill \\ \hfill & \iff d_{\eta }(y,\ominus x\oplus z)<ϵ\hfill \\ \hfill & \iff d_{\eta }(x\oplus y,z)<ϵ\hfill \\ \hfill & \iff z\in B(x\oplus y,ϵ),\hfill \end{array}$$

which completes the proof. ☐

Theorem 15.

Let G be a normed gyrogroup. If every right gyrotranslation and the inversion function are continuous, then G is a topological gyrogroup with respect to the gyronorm topology.

Proof. 

Suppose that every right gyrotranslation and the inversion function are continuous. Let $\mathcal{U}=\left\{B\right(e,r)\mid r>0\}$. We show that $\mathcal{U}$ fits Theorem 6.

(i)

Let $r>0$. If $x,y\in B(e,\frac{r}{2})$, then

$$d_{\eta }(e,x\oplus y)=d_{\eta }(\ominus x,y)\le d_{\eta }(\ominus x,e)+d_{\eta }(e,y)=d_{\eta }(e,x)+d_{\eta }(e,y)<r.$$

Thus, $B(e,\frac{r}{2})\oplus B(e,\frac{r}{2})\subseteq B(e,r)$.

(ii)

Let $r>0$ and let $x\in G$. By assumption, the function $L_x\circ \ominus \circ R_x$ is continuous and there is a number $\delta >0$ such that $(L_x\circ \ominus \circ R_x)\left(B(e,\delta )\right)\subseteq B(e,r)$. Thus, $x\oplus (\ominus (B(e,\delta )\oplus x\left)\right)\subseteq B(e,r)$.

(iii)

Let $r>0$ and let $x\in B(e,r)$. Put $ϵ=r-d_{\eta }(e,x)$. If $y\in B(e,ϵ)$, then

$$d_{\eta }(x\oplus y,e)=\parallel x\oplus y\parallel \le \parallel x\parallel +\parallel y\parallel <r.$$

Therefore, $x\oplus B(e,ϵ)\subseteq B(e,r)$.

(iv)

Let $r>0$ and let $x,y\in G$. By Proposition 7, the function $R_{\ominus y}^{-1}$, given by $\left(R_{\ominus y}^{-1}\right)\left(z\right)=z⊞y$ for all $z\in G$, is continuous. Note that $(R_{\ominus y}^{-1}\circ L_x)\left(e\right)=x⊞y$. Since $R_{\ominus y}^{-1}\circ L_x$ is continuous, there is a number ${\delta }_1>0$ such that

$$(x\oplus B(e,{\delta }_1))⊞y=(R_{\ominus y}^{-1}\circ L_x)\left(B(e,{\delta }_1)\right)\subseteq B(x⊞y,r)=(x⊞y)\oplus B(e,r).$$

Similarly, there are numbers ${\delta }_2,{\delta }_3>0$ such that $(x\oplus B(e,{\delta }_2))\oplus y\subseteq (x\oplus y)\oplus B(e,r)$ and $x\oplus (B(e,{\delta }_3)\oplus y)\subseteq (x\oplus y)\oplus B(e,r)$. Put $\delta =\min \{{\delta }_1,{\delta }_2,{\delta }_3\}$. Then, the ball $B(e,\delta )$ does the job.

(v)

Let $r_1,r_2>0$. Then, $B(e,r)\subseteq B(e,r_1)\cap B(e,r_2)$, where $r=\min \{r_1,r_2\}$.

(vi)

Let $x\in G$. Then, $x\in {\displaystyle \bigcap _{r>0}}B(e,r)\iff d_{\eta }(e,x)=0\iff x=e$.

(vii)

Let $r>0$ and let $x,y\in G$. If $z\in B(e,r)$, then

$$d_{\eta }(e,\mathrm{gyr}[x,y]z)=\parallel \mathrm{gyr}[x,y]z\parallel =\parallel z\parallel =d_{\eta }(e,z)<r.$$

Thus, $\mathrm{gyr}[x,y]\left(B\right(e,r\left)\right)\subseteq B(e,r)$.

It follows from Theorem 6 that G is a topological gyrogroup with respect to the topology generated by the base $\{x\oplus B(e,r)\mid x\in G,r>0\}$. By Lemma 1,

$$\{x\oplus B(e,r)\mid x\in G,r>0\}=\left\{B\right(x,r)\mid x\in G,r>0\}.$$

Since the family on the right hand side is a base for the gyronorm topology, it follows that G becomes a topological gyrogroup with respect to the gyronorm topology. ☐

Following terminology in the literature, we introduce the notion of a quasitopological gyrogroup as follows.

Definition 9.

Suppose that G is a gyrogroup with a topology. We say that G is a quasitopological gyrogroup if all the left gyrotranslations, all the right gyrotranslations and the inversion function are continuous.

Definition 9 extends the usual definition of a quasitopological group since every group can be viewed as a gyrogroup with trivial gyroautomorphisms. It should be emphasized that there exists a quasitopological gyrogroup that is not a topological gyrogroup. In fact, any infinite group K with the cofinite topology (that is, X is open in K if and only if $X=\varnothing$ or $K\setminus X$ is finite) is a quasitopological group that is not a topological group; see Example 1.2.5 (b) of [17]. However, in light of Theorem 15, we obtain a remarkable result that being a quasitopological gyrogroup is equivalent to being a strongly topological gyrogroup in the class of normed gyrogroups, as shown in the following theorem.

Theorem 16.

Let G be a normed gyrogroup. Then, the following are equivalent:

(i) 

$(G,{\mathcal{T}}_{\eta })$ is a quasitopological gyrogroup;

(ii) 

$(G,{\mathcal{T}}_{\eta })$ is a topological gyrogroup;

(iii) 

$(G,{\mathcal{T}}_{\eta })$ is a strongly topological gyrogroup.

Proof. 

The theorem is a consequence of Theorem 15 and Proposition 8. ☐

We close this section with the remark that the Einstein gyrogroup provides a concrete example of Theorem 16. In fact, in addition to the gyronorm ${\parallel ·\parallel }_E$, the Euclidean norm $\parallel ·\parallel$ is a gyronorm on the Einstein gyrogroup (cf. [4] p. 534) that generates the same topology as ${\parallel ·\parallel }_E$ does. It can be shown that the Euclidean gyronorm generates the Euclidean topology on the Einstein gyrogroup. Therefore, $({\mathbb{R}}_1^3,\parallel ·\parallel )$ is a normed gyrogroup that fits Theorem 16. This also implies that the Einstein gyrogroup forms a topological gyrogroup with respect to the gyronorm topology associated to ${\parallel ·\parallel }_E$. It seems to be difficult to have a direct proof of this result because of complication of Einstein’s addition formula.