Abstract
In the paper, we apply some of the results from the theory of ball spaces in semimetric setting. This allows us to obtain fixed point theorems which we believe to be unknown to this day. As a byproduct, we obtain the equivalence of some different notions of completeness in semimetric spaces where the distance function is 1-continuous. In the second part of the article, we generalize the Caristi–Kirk results for b-metric spaces. Additionally, we obtain a characterization of semicompleteness for 1-continuous b-metric spaces via a fixed point theorem analogous to a result of Suzuki. In the epilogue, we introduce the concept of convergence in ball spaces, based on the idea that balls should resemble closed sets in topological sets. We prove several of its properties, compare it with convergence in semimetric spaces and pose several open questions connected with this notion.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The notion of a ball space, that is, a pair of a set and a nonempty family of some of its nonempty subsets, first appeared in the paper [14]. It was used to prove some fixed point theorems in metric, ultrametric and topological spaces. This idea was continued in [6, 10, 15]. In our paper, we will generalize some results obtained in the mentioned articles to the scope of semimetric spaces.
Fixed point theorems are tools which are used in various areas of mathematics as well as in other fields. Since semimetric spaces, i.e. spaces with a distance function which does not have to satisfy the triangle inequality, turned out to be important in applications for example in computer science (e.g. see the section Applications in [16]), also fixed point theorems in such spaces became important. This topic was investigated for example in [2, 5, 8, 18, 19]. However, using the theory of ball spaces in this area is a novelty (except examining metric and ultrametric spaces with real-valued ultrametrics, which are obviously semimetric spaces as well).
The paper is organized as follows. In Sect. 2, we present the notation along with important definitions. In Sect. 3, we give a characterization of completeness in semimetric spaces, using the ball space theory. Following this train of thought, in Sect. 4, we present some generalizations of the Caristi–Kirk fixed point theorem for b-metric spaces. Finally, in Sect. 5, we introduce a notion of ball convergence. We show its connection with the classical notions of convergence in topological spaces and semimetric spaces.
2 Preliminaries
Denote by \({\mathbb {R}}_+\) the set \([0, \infty )\). Let X be a set and consider a function \(d :X \times X \rightarrow {\mathbb {R}}_+\) satisfying the following conditions:
-
(S1)
\(\forall _{x,y \in X} \, d(x,y) = 0 \Leftrightarrow x=y;\)
-
(S2)
\(\forall _{x,y \in X} \, d(x,y) = d(y,x).\)
Then d is called a semimetric and (X, d) a semimetric space.
In metric spaces, we have the additional condition called the triangle inequality:
-
(M)
\(\forall _{x,y,z \in X} \, d(x,z) \le d(x,y) + d(y,z).\)
In semimetric spaces, we will consider some weaker “triangle-like” conditions. Let us begin by introducing some necessary notions.
Take \(g :{\mathbb {R}}_+ \times {\mathbb {R}}_+ \rightarrow {\mathbb {R}}_+\). We say that g is nonreducing if for any \(a,b \in {\mathbb {R}}_+\) we have \(g(a,b) \ge \max \{a,b\}\). We say that g is nondecreasing if for any \(a,b,c ,d \in {\mathbb {R}}_+\) such that \(a \le c, b \le d\) we have \(g(a,b) \le g(c,d)\). We call g amenable if \(g(a,b) = 0\) if and only if \(a=b=0\).
A function \(h:X \rightarrow (-\infty ,+\infty ]\) is called proper if \(\{x\in X:h(x) \in {\mathbb {R}}\} \ne \emptyset \).
A function \(g :{\mathbb {R}}_+ \times {\mathbb {R}}_+ \rightarrow {\mathbb {R}}_+\) is called semitriangular if it is nonreducing, nondecreasing, continuous at (0, 0) and amenable. We define the semimetric triangle condition (G) generated by a semitriangular mapping g as follows:
-
(G)
\(\forall _{x,y,z \in X} \, d(x,z) \le g(d(x,y), d(y,z)).\)
If d is a semimetric satisfying condition (G) for some semitriangular function \(g:{\mathbb {R}}_+\times {\mathbb {R}}_+\rightarrow {\mathbb {R}}_+\), then the space (X, d) will be called a (G)-semimetric space (compare with the definition of regular semimetric in [5], where there is no assumption that g is nonreducing, but it is assumed that g is symmetric and increasing with respect to each argument). Whenever we will be writing about a semimetric triangle condition (G), we will assume that it is generated by a semitriangular function \(g :{\mathbb {R}}_+ \times {\mathbb {R}}_+ \rightarrow {\mathbb {R}}_+\).
Take a (G)-semimetric space (X, d), \(x \in X\) and \(r > 0\). Set
and
We define limits, Cauchy sequences and completeness in semimetric spaces analogously as in metric spaces (although it is important to keep in mind that the properties of these concepts may not be the same as in the metric case). We will also need the notions of semicompleteness of semimetric spaces from [18, Definition 6] and 1-continuity of a semimetric from [12]. We say that a semimetric space is semicomplete if every Cauchy sequence has a convergent subsequence. A semimetric d is said to be 1-continuous if for any sequence \((x_n)\) in X convergent to some \(x \in X\) we have
Lastly, a semimetric d is uniformly 1-continuous if, for any sequence \((x_n)\) in X convergent to some \(x \in X\), we have
For any set X we will denote by \({\mathcal {P}}(X)\) its power set, i.e. the family of all subsets of X.
Now, we will define a ball space. Consider a nonempty set X and take its nonempty subset \({\mathcal {B}}\subset {{\mathcal {P}}(X)\setminus \{\emptyset \}}\). A pair \((X, {\mathcal {B}})\) is called a ball space and the elements of \({\mathcal {B}}\) are called balls. Any chain (that is, nonempty totally ordered subset) of \(({\mathcal {B}},\subset )\) is called a nest of balls. We say that a ball space is spherically complete if every nest of balls has a nonempty intersection.
Let (X, d) be a (G)-semimetric space. Take any \(S \subset (0,\infty )\). Put
For any set \(A \subset {\mathbb {R}}\) we denote by \(A^d\) the set of all accumulation points of A.
3 Completeness of semimetric spaces
In this section, we will give a characterization of complete 1-continuous (G)-semimetric spaces using the notion of spherical completeness of ball spaces. It is a generalization of Theorem 5.6 from [10], where the characterization of complete metric spaces is given. The proof is similar.
Theorem 3.1
Let (X, d) be a (G)-semimetric space, where d is 1-continuous. Then the following conditions are equivalent:
-
(1)
(X, d) is semicomplete;
-
(2)
(X, d) is complete;
-
(3)
for any \(S \subset (0, \infty )\) such that \(S^d = \{0\}\) the ball space \((X,{\mathcal {B}}_S)\) is spherically complete;
-
(4)
there exists \(S \subset (0, \infty )\) such that \(S^d = \{0\}\) and the ball space \((X,{\mathcal {B}}_S)\) is spherically complete.
Proof
(1) \(\Rightarrow \) (2)
Take any Cauchy sequence \((x_n)\) of elements of X. Since (X, d) is semicomplete, there is a subsequence \((x_{n_k})\) which is convergent to some \(x \in X\). Take \(\varepsilon > 0\). By the continuity of g at (0, 0) and the fact that \(g(0,0)=0\), there is \(\delta >0\) such that for any \(v \in (0,\delta ]\) we have \(g(v,v) < \varepsilon \). Pick \(N_1 \in {\mathbb {N}}\) such that \(d(x_{n_k},x) < \delta \) for all \(k \ge N_1\). Choose \(N_2 \in {\mathbb {N}}\) such that \(d(x_n,x_m) < \delta \) for all \(n,m \ge N_2\). Put \(N {:=} \max \{N_1,N_2\}.\) Then, \(n_N \ge N\). Using the fact that g is nondecreasing, we have for \(n \ge N\)
Hence \(\lim \limits _{n\rightarrow \infty }x_n = x\), so (X, d) is complete.
(2) \(\Rightarrow \) (3)
Assume that (X, d) is complete and let \(S\subset {(0,\infty )}\) be such that \(S^d=\{0\}\) (it can be shown that a subset of \({\mathbb {R}}\) with a single accumulation point is at most countable). Let \({\mathcal {L}}:= \{B_t:t \in T\}\) be a nest of balls, where \((T,\le )\) is some totally ordered set and for \(t \in T\), \(B_t:=B_{r_t}(x_t)\) for some \(r_t\in S\) and \(x_t\in X\). We can assume that if \(s,t \in T\) are such that \(s \le t\), then \(B_t \subset B_s\). Consider the following two cases:
-
There exists \(t_0\in T\) such that for all \(t\ge t_0\) we have \(r_t\ge r\) for some fixed \(r>0\). Since for all \(t\le t_0\) we have \(B_t\supset B_{t_0}\), we have that \(\bigcap _{t\in T} B_t = \bigcap _{t\ge t_0} B_t\). Assume that \(\bigcap _{t\ge t_0} B_t = \emptyset \). In particular, this implies the existence of \(t_1>t_0\) such that \(x_{t_0}\notin B_{t_1}\). Therefore, we have the following two inequalities
$$\begin{aligned} r_{t_1}<d\left( x_{t_0},x_{t_1}\right) \le r_{t_0}. \end{aligned}$$The first inequality stems from the fact that \(x_{t_0}\notin B_{r_{t_1}}(x_{t_1})\) and the latter comes from the inclusion \( B_{r_{t_1}}(x_{t_1}) \subset B_{r_{t_0}}(x_{t_0})\), which, in particular, implies \(x_{t_1} \in B_{r_{t_0}}(x_{t_0})\). We can now proceed inductively—having defined \(x_{t_n}\) as the center of the \(t_n\)-th ball, if \(x_{t_n}\notin \bigcap _{t\ge t_{n}} B_{t_n}\), then there exists \(t_{n+1}\) such that \(x_{t_n}\notin B_{r_{t_{n+1}}}(x_{t_{n+1}})\). Then, the same argumentation as previously proves that
$$\begin{aligned} r_{t_{n+1}}<d\left( x_{t_n},x_{t_{n+1}}\right) \le r_{t_n}. \end{aligned}$$As a result, we end up with a strictly decreasing sequence \((r_{t_n})_{n\in {\mathbb {N}}}\) whose elements are bounded from below by r. As such, \((r_{t_n})\) converges to some \(r'\ge r>0\). Since the sequence \((r_{t_n})_{n\in {\mathbb {N}}}\) is strictly decreasing, \(r'\) is an accumulation point of S. Thus, we have arrived at a contradiction, as \(S^d=\{0\}\). Thus, \(\bigcap _{t\in T} B_t \ne \emptyset \).
-
There exists a sequence \((t_n)_{n\in {\mathbb {N}}}\) such that \(r_{t_n}\rightarrow 0\) and for every \(t\in T \) there exists \(n\in {\mathbb {N}}\) such that \(t_n>t\). If such situation occurs, the sequence \((x_{t_n})_{n\in {\mathbb {N}}}\) is a Cauchy sequence. Indeed, if we have indices \(n<m\), then
$$\begin{aligned} d(x_{t_n},x_{t_m})\le r_{t_n} \xrightarrow {n,m\rightarrow \infty } 0, \end{aligned}$$where the first inequality follows from the inclusion \(B_{r_{t_n}}(x_{t_n}) \supset B_{r_{t_m}}(x_{t_m})\). As (X, d) is complete, the discussed sequence tends to some \(x\in X\). From the 1-continuity of d we then obtain that for any fixed \(n_0\in {\mathbb {N}}\) we have
$$\begin{aligned} d(x,x_{t_{n_0}})= \lim _{k\rightarrow \infty } d(x_{t_k},x_{t_{n_0}}) \le r_{t_{n_0}}; \end{aligned}$$hence, \(x\in B_{t_n}\) for each n. One can easily see that \(x\in \bigcap _{t\in T} B_t\), since for every \(t\in T\) there exists \(n\in {\mathbb {N}}\) such that
$$\begin{aligned} B_t \supset B_{t_n} \ni x. \end{aligned}$$Thus, the intersection is not empty as it contains at least one element x.
(3) \(\Rightarrow \) (4) Obvious.
(4) \(\Rightarrow \) (1)
Consider \(S \subset (0, \infty )\) such that \(S^d = \{0\}\) and assume that the ball space \((X,{\mathcal {B}}_S)\) is spherically complete. Fix a Cauchy sequence \((x_n)\) in X. We will inductively define a sequence \((s_n)\) in S such that \(s_n \ge g(s_{n+1},s_{n+1})\) for \(n \in {\mathbb {N}}\). Take \(s_1 \in S\). Assume that for some \(n \in {\mathbb {N}}\) we have defined \(s_i\) for \(i \le n\). Using the continuity of g at (0, 0) and the fact that \(g(0,0)=0\), we can find \(\delta >0\) such that for any \(v \in (0,\delta ]\) we have \(g(v,v) \le s_n\). Since 0 is an accumulation point of S, we can find \(s_{n+1} \in S\) such that \(s_{n+1} \le t\). Then \(s_n \ge g(s_{n+1},s_{n+1})\).
Using induction, we will now define an increasing sequence of natural numbers \((n_i)\). Choose \(n_1 \in {\mathbb {N}}\) in such a way that \(d(x_n,x_m) \le s_2\) for all \(n,m \ge n_1\). Assume that for some \(j \in {\mathbb {N}}\) we have defined \(n_i\) for \(i \le j\). Pick \(n_{j+1} > n_j\) such that \(d(x_n,x_m) \le s_{j+2}\) for all \(n,m \ge n_{j+1}\). For \(i \in {\mathbb {N}}\) denote
We will show that the balls \(B_i\) form a nest. Fix \(i \in {\mathbb {N}}\) and \(y \in B_{i+1}\). Then \(d(y,x_{n_{i+1}}) \le s_{i+1}\). We also have that \(d(x_{n_i},x_{n_{i+1}}) \le s_{i+1}\), because \(n_i,n_{i+1} \ge n_i.\) Using the fact that g is nondecreasing, we obtain
Hence, \(y \in B_{s_i}(x_{n_i}) = B_i\), so \(B_{i+1} \subset B_i\). Since \((X,{\mathcal {B}}_S)\) is spherically complete, \(\bigcap _{i\in {\mathbb {N}}} B_i \ne \emptyset \). Take \(x \in \bigcap _{i\in {\mathbb {N}}} B_i\). Then \(x \in B_i\) for all \(i \in {\mathbb {N}}\), and thus \(d(x_{n_i},x) \le s_i\). Hence, \(\lim \limits _{i\rightarrow \infty }d(x_{n_i},x) = 0\) because \(s_i \rightarrow 0\). Therefore, \((x_{n_i})\) is a convergent subsequence of \((x_n)\), which finally implies that (X, d) is semicomplete. \(\square \)
4 Generalizations of the Caristi–Kirk fixed point theorem
In this part of the paper, we will present several generalizations of the celebrated Caristi–Kirk fixed point theorem. We start by introducing some additional, necessary notions and then move to new results. The proofs in this section are based on the methods used in [15] and [6].
In this section we will consider one of the most popular semimetric spaces, that is, b-metric spaces. This notion was due to Bakhtin [3] but some references point out Czerwik [9] as the author of this concept. Take \(K \ge 1.\) We say that a semimetric space (X, d) is a b-metric space with a constant K if
So, b-metric spaces are (G)-semimetric spaces with the function g of the form: \(g(a,b) = K(a+b).\) Of course, for \(K=1\) we obtain a metric space.
Similarly as in [15] or [6] we will define the Caristi–Kirk and Oettli–Théra ball spaces. However, we will adjust them to b-metric spaces. Consider a mapping \(\phi :X \rightarrow {\mathbb {R}}\). We say that \(\phi \) is sequentially lower semicontinuous if, for every \(y \in X\) and for any sequence \((y_n)\) convergent to y, we have
A function \(\phi \) is called a Caristi–Kirk function, if it is sequentially lower semicontinuous and bounded from below. Given any Caristi–Kirk function \(\phi \) and \(x \in X\), we define the K-Caristi–Kirk balls as the sets of the form:
Since obviously \(x \in B^{\phi }_x\), the sets \(B^{\phi }_x\) are nonempty. So, we can consider the K-Caristi–Kirk ball space \((X, {\mathcal {B}}^{\phi }),\) where
By \(\overline{{\mathbb {R}}}\) we denote the set \({\mathbb {R}}\cup \{+\infty \}.\) We say that a function \(\Phi :X \times X \rightarrow \overline{{\mathbb {R}}}\) is a K-Oettli–Théra function if
-
(i)
for every \(x \in X\) the function \(\Phi (x,\cdot ):X \rightarrow {\mathbb {R}}\) is sequentially lower semicontinuous;
-
(ii)
\(\forall _{x \in X} \,\,\Phi (x,x) = 0\);
-
(iii)
\(\forall _{x,y,z \in X} \,\,\Phi (x,z) \le K(\Phi (x,y)+\Phi (y,z))\);
-
(iv)
\(\exists _{x_0 \in X} \,\, \inf \limits _{x\in X} \Phi (x_0,x) > - \infty .\)
Every element \(x_0\) satisfying (iv) will be called an Oettli–Théra element for \(\Phi \).
Given any K-Oettli–Théra function \(\Phi \) and \(x \in X\), we define the K-Oettli–Théra balls as the sets of the form:
The sets \(B^{\Phi }_x\) are nonempty (see Lemma 4.2). So, we can consider the K-Oettli–Théra ball space \((X, {\mathcal {B}}^{\Phi }),\) where
For a fixed Oettli–Théra element \(x_0\) for \(\Phi \) we also define the ball space \((B^{\Phi }_{x_0},{\mathcal {B}}^{\Phi }_{x_0}),\) where
We will need a notion of a strongly contractive ball space. We say that a ball space \((X,{\mathcal {B}})\) is strongly contractive if there exists a family of balls \(\{B_x \in {\mathcal {B}}:x \in X\}\) such that for any \(x,y \in X\) the following conditions hold:
-
(1)
\(x \in B_x\);
-
(2)
\(y \in B_x\setminus \{x\} \Rightarrow B_y \subsetneq B_x\).
We conclude this preliminary part with the following fixed point result for spherically complete, strongly contractive ball spaces.
Theorem 4.1
[6, Theorem 2] Let \((X,{\mathcal {B}})\) be a spherically complete, strongly contractive ball space. Then for any \(x \in X\) there is \(a \in B_x\) such that \(B_a = \{a\}\).
The following lemma provides some insight into K-Oettli–Théra ball spaces.
Lemma 4.2
(cf. [6, Lemma 10]) Let (X, d) be a b-metric space with a constant \(K \ge 1\) and let \(\Phi :X \times X \rightarrow \overline{{\mathbb {R}}}\) be such that \(\Phi (x,x) =0\) for all \(x \in X\) and
For any \(x \in X\) define \(B_x:= \{y \in X:d(x,y) \le - \Phi (x,y)\}.\) Then for every \(x \in X\) we have
-
(1)
\(x \in B_x\);
-
(2)
if \(y \in B_x\), \(y \ne x\), then \(B_y \subsetneq B_x\) and \(\Phi (x,y)<\Phi (y,x)\).
Proof
Fix \(x \in X\).
Ad (1) We have \(d(x,x) =0 = -\Phi (x,x)\), so \(x \in B_x\).
Ad (2) Fix \(y \in B_x\) and \(z \in B_y\). Then
and
By the assumption on \(\Phi \), we have
Hence, \(z \in B_x\), and consequently, \(B_y \subset B_x\).
Now, assume additionally that \(y\ne x\). We will prove that \(x \notin B_y\). On the contrary, suppose that \(x \in B_y\). Then \(d(y,x) \le -\Phi (y,x)\). We have
a contradiction. Hence, \(x \notin B_y\). Moreover, we proved that
\(\square \)
From this result, we almost immediately obtain the following:
Corollary 4.3
Let (X, d) be a b-metric space with a constant \(K \ge 1\) and \(\Phi :X\times X \rightarrow \overline{{\mathbb {R}}}\) be a K-Oettli–Théra function. Then the space \((X,{\mathcal {B}}^{\Phi })\) is strongly contractive. Moreover, for any Oettli–Théra element \(x_0\) for \(\Phi \), the ball space \((B^{\Phi }_{x_0},{\mathcal {B}}^{\Phi }_{x_0})\) is also strongly contractive and \({\mathcal {B}}^{\Phi }_{x_0}\!=\!\{B\! \in \! B^{\Phi }:B \subset B^{\Phi }_{x_0}\}.\)
Proof
The first assertion follows directly from Lemma 4.2, when we consider the family \(\{B^{\Phi }_x\in {\mathcal {B}}^{\Phi }:x \in X\}\). By (2) of Lemma 4.2, for any \(x \in B^{\Phi }_{x_0}\) we have \(B_x^{\Phi } \subset B_{x_0}^{\Phi }\), so \({\mathcal {B}}^{\Phi }_{x_0}=\{B \in B^{\Phi }:B \subset B^{\Phi }_{x_0}\}.\) Using again Lemma 4.2, we see that the family \(\{B^{\Phi }_x\in {\mathcal {B}}^{\Phi }_{x_0}:x \in B^{\Phi }_{x_0}\}\) witnesses that the ball space \((B^{\Phi }_{x_0},{\mathcal {B}}^{\Phi }_{x_0})\) is also strongly contractive. \(\square \)
The subsequent result highlights the connection between Caristi–Kirk functions and K-Oettli–Théra mappings.
Lemma 4.4
Let (X, d) be a b-metric space with a constant \(K \ge 1\) and let \(\phi :X \rightarrow {\mathbb {R}}\) be a Caristi–Kirk function. Then the function \(\Phi :X \times X \rightarrow {\mathbb {R}}\) given by the formula \(\Phi (x,y) = K\phi (y)-K\phi (x)\) is a K-Oettli–Théra function and \(B^{\phi }_x = B^{\Phi }_x\) for any \(x \in X\). Moreover, every \(x \in X\) is an Oettli–Théra element for \(\Phi \).
Proof
The proofs of conditions (i) and (ii) from the definition of K-Oettli–Théra function are immediate. Fix \(x,y,z \in X\). We have
Condition (iv) holds for any \(x_0\), because the codomain of \(\phi \) is \({\mathbb {R}}\) and \(\phi \) is bounded from below. Pick any \(x \in X\). Then we have
\(\square \)
Corollary 4.5
Let (X, d) be a b-metric space with a constant \(K \ge 1\) and let \(\phi :X \rightarrow {\mathbb {R}}\) be a Caristi–Kirk function. If \(y \in B^{\phi }_x\), then \(B^{\phi }_y \subset B^{\phi }_x\).
Proof
Define \(\Phi (x,y) = K\phi (y) - K\phi (x)\) for \(x,y \in X\). By Lemma 4.4, \(\Phi \) is a K-Oettli–Théra function, and so it satisfies the assumptions of Lemma 4.2. By Lemma 4.4, we have
Hence, by (2) of Lemma 4.2, we obtain the assertion. \(\square \)
The following proposition is the natural counterpart of Theorem 3.1 for K-Caristi–Kirk ball spaces.
Proposition 4.6
(cf. [15, Proposition 3]) Let (X, d) be a b-metric space with a constant \(K \ge 1\), where d is 1-continuous. Then:
-
(1)
If (X, d) is semicomplete, then every K-Caristi–Kirk ball space is spherically complete.
-
(2)
If d is uniformly 1-continuous and every K-Caristi–Kirk ball space is spherically complete, then (X, d) is complete.
Proof
Ad (1) Assume that (X, d) is semicomplete. By Theorem 3.1, (X, d) is complete. Let \(\phi :X \rightarrow {\mathbb {R}}\) be a Caristi–Kirk function. Consider any nest of balls \({\mathcal {L}}\) in \({\mathcal {B}}^{\phi }\). By the definition of \({\mathcal {B}}^{\phi }\), there exists \(M \subset X\) such that \({\mathcal {L}}= \{B^{\phi }_x:x \in M\}\). For any \(x,y \in M\) we have \(B^{\phi }_x \subset B^{\phi }_y\) or \(B^{\phi }_x \subset B^{\phi }_y\). Since \(x \in B^{\phi }_x\) for all \(x \in X\), we have that \(x \in B^{\phi }_y\) or \(y \in B^{\phi }_x.\) In both cases,
Put \(r:= \inf \limits _{x\in M} \phi (x)\). Since \(\phi \) is bounded from below, \(r \in {\mathbb {R}}\). Take a sequence \((x_n)\) in M such that \(\lim \limits _{n \rightarrow \infty } \phi (x_n) =r.\) The sequence \((\phi (x_n))\) is a Cauchy sequence in \({\mathbb {R}}\) because it is convergent. Take \(\varepsilon > 0\) and choose \(N \in {\mathbb {N}}\) such that
for \(n,m \ge N\). By (4.1), we have for \(n,m \ge N\)
So, \((x_n)\) is a Cauchy sequence in X. By the completeness of (X, d), \((x_n)\) is convergent to some \(z \in X\). We will show that \(z \in \bigcap {\mathcal {L}}\). From the sequential lower semicontinuity of \(\phi \) we infer that
Take \(x \in M\). We will show that \(z \in B^{\phi }_x\). By (4.1) and the 1-continuity of d, we have
so \(z \in B^{\phi }_x\). By the arbitrariness of x, \(z \in \bigcap {\mathcal {L}}\). Thus, \((X,{\mathcal {B}}^{\phi })\) is spherically complete.
Ad (2) Let \((x_n)\) be a Cauchy sequence in (X, d). If one of its terms is its limit, then the proof is finished, so assume otherwise. Define \(\psi :X \rightarrow {\mathbb {R}}\) according to the following formula
We will show that \(\psi \) is well defined, that is, it cannot be equal to \(\infty \) for any x. Take \(x \in X\) and pick \(N \in {\mathbb {N}}\) such that \(d(x_n,x_m) \le 1\) for all \(n,m \ge N\). Then for any \(n \ge N\) we have
Hence, the sequence \((d(x,x_n))\) is bounded from above, and therefore,
Now, using induction, we will choose a subsequence \((x_{n_k})\) of the sequence \((x_n)\) as follows. Put \(n_1:=1\). Assume that we have defined \(n_k\) for some \(k \in {\mathbb {N}}\). Since \(x_{n_k}\) is not a limit of \((x_n)\), \(\psi (x_{n_k}) > 0.\) However, \(\lim \limits _{n\rightarrow \infty } \psi (x_n) =0\), because \((x_n)\) is a Cauchy sequence. Hence,
Therefore, there exists \(m >n_k\) such that
Put \(n_{k+1}:=m\). Define \(\phi :X \rightarrow {\mathbb {R}}\) by the formula:
By the definition, \(\phi \) is bounded from below by 0. We will prove that \(\psi \) is sequentially lower semicontinuous. Fix a positive \(\varepsilon \). Take \(y \in X\) and let \((y_n)\) be a sequence convergent to y. Take an increasing sequence of natural numbers \((m_k)\) such that \(\lim \limits _{k \rightarrow \infty }d(y,x_{m_k}) = \psi (y)\) and
for all \(k \in {\mathbb {N}}\). Fix \(N \in {\mathbb {N}}\) such that
for all \(x \in X\) and \(n \ge N\). Then we have
for all \(n \ge N\) and \(k \in {\mathbb {N}}\). Hence,
Therefore, \(\psi \) is sequentially lower semicontinuous, and so is \(\phi \). Thus, \(\phi \) is a Caristi–Kirk function. By the assumption, the K-Caristi–Kirk ball space \((X, {\mathcal {B}}^{\phi })\) is spherically complete. Put
By (4.2), we have
for all \(k\in {\mathbb {N}}\), because \(\phi (x_{n_k})-\phi (x_{n_{k+1}}) \ge 0\). Hence \(x_{n_{k+1}} \in B^{\phi }_{x_{n_{k}}}\), and by Corollary 4.5, \(B^{\phi }_{x_{n_{k+1}}} \subset B^{\phi }_{x_{n_k}}.\) In consequence, \({\mathcal {L}}\) is a nest of balls. From the spherical completeness of \((X, {\mathcal {B}}^{\phi })\) we deduce that there exists \(x \in \bigcap {\mathcal {L}}.\) Thus,
for all \(k\in {\mathbb {N}}\). Since \(\lim \limits _{k\rightarrow \infty }\phi (x_{n_k}) =0\), the sequence \((x_{n_k})\) is convergent to x. Hence, (X, d) is semicomplete. By Theorem 3.1, (X, d) is complete. \(\square \)
We proceed with a bit more technical lemma, which will be put to use in the subsequent part of the paper.
Lemma 4.7
(cf. [6, Lemma 13]) Let (X, d) be a b-metric space with a constant \(K\ge 1\), \(\Phi :X \times X \rightarrow \overline{{\mathbb {R}}}\) be a K-Oettli–Théra function and \(x_0\) be an Oettli–Théra element for \(\Phi \). Let \({\mathcal {L}}\subset {\mathcal {B}}^{\Phi }\) be a nest of balls of the form
where \(B_x = B^{\Phi }_x,\) and \(A \subset B^{\Phi }_{x_0}.\) Then for every \(x, y \in A\) we have
Moreover, the following conditions are equivalent for any \(x,y \in A\):
-
(i)
\(y \in B_x\);
-
(ii)
\(\Phi (x,y)\le \Phi (y,x)\);
-
(iii)
\(\Phi (x_0,y) \le \Phi (x_0,x)\).
Proof
First, observe that for any \(x \in A\), \(\Phi (x_0,x) \le 0\). Indeed, since \(A \subset B^{\Phi }_{x_0}\), we have
Pick \(x,y \in A\). Since \({\mathcal {L}}\) is a nest, either \(x \in B_y\) or \(y \in B_x\). Hence, \(d(x,y) \le -\Phi (x,y)\) or \(d(x,y) \le -\Phi (y,x).\) Without loss of generality assume that \(d(x,y) \le -\Phi (x,y)\). By condition (iii) from the definition of a K-Oettli–Théra function, we have
(i) \(\Leftrightarrow \) (ii) Assume that \(y \in B_x\). If \(y=x\), then (ii) obviously holds. If \(y \ne x\), then by Lemma 4.2 (3), \(-\Phi (y,x) < -\Phi (x,y)\), and so we have (ii). If (i) is not satisfied, that is, \(y \notin B_x\), then \(x \in B_y\) and \(x \ne y\). Using once more Lemma 4.2 (3), we obtain \(-\Phi (y,x) > -\Phi (x,y)\), so (ii) does not hold.
(i) \(\Leftrightarrow \) (iii) Assume that \(y \in B_x\). Then, by (4.4) and the fact that \(\Phi (x_0,y)\le 0\), we have
So, (iii) holds. If (i) is not satisfied, that is, \(y \notin B_x\), then \(x \in B_y\) and \(x \ne y\). Using once more (4.4) (swapping x and y) and the fact that \(\Phi (x_0,x)\le 0\), we obtain
so (iii) does not hold. We have also proved that (4.3) holds for any \(x,y \in A\). \(\square \)
In the sequel we will need yet another version of Theorem 3.1 and Proposition 4.6. This time we approach the problem of completeness from the perspective of K-Oettli–Théra functions.
Proposition 4.8
(cf. [6, Proposition 14]) Let (X, d) be a b-metric space with a constant \(K\ge 1\), where d is 1-continuous. Then
-
(1)
if (X, d) is semicomplete, then the space \((B^{\Phi }_{x_0},{\mathcal {B}}^{\Phi }_{x_0})\) is spherically complete for every K-Oettli–Théra function \(\Phi \) and every Oettli–Théra element \(x_0\) for \(\Phi \).
-
(2)
if d is uniformly 1-continuous and the space \((B^{\Phi }_{x_0},{\mathcal {B}}^{\Phi }_{x_0})\) is spherically complete for every K-Oettli–Théra function \(\Phi \) and every Oettli–Théra element \(x_0\) for \(\Phi \), then (X, d) is complete;
Proof
Ad (1) Assume that (X, d) is semicomplete. By Theorem 3.1, (X, d) is complete. Let \(\Phi :X \times X\rightarrow \overline{{\mathbb {R}}}\) be a K-Oettli–Théra function and \(x_0 \in X\) be an Oettli–Théra element for \(\Phi \). Consider a nest of balls \({\mathcal {L}}\) in \({\mathcal {B}}^{\Phi }_{x_0}\). By the definition of \({\mathcal {B}}^{\Phi }_{x_0}\), there exists \(M \subset B^{\Phi }_{x_0}\) such that \({\mathcal {L}}= \{B^{\Phi }_x:x \in M\}\). Put \(r:= \inf \limits _{x\in M} \Phi (x_0,x)\). Since \(x_0\) is an Oettli–Théra element for \(\Phi \), we know that \(r \in {\mathbb {R}}\). Take a sequence \((x_n)\) in M such that \(\lim \limits _{n \rightarrow \infty } \Phi (x_0,x_n) =r.\) The sequence \((\Phi (x_0,x_n))\) is a Cauchy sequence in \({\mathbb {R}}\) because it is convergent. By (4.3) from Lemma 4.7, we have
for any \(n,m \in {\mathbb {N}}\). Hence, \((x_n)\) is a Cauchy sequence in X. By the completeness of (X, d), \((x_n)\) is convergent to some \(z \in X\). We will show that \(z \in \bigcap {\mathcal {L}}\). Take any \(x \in M\). We will show that \(z \in B^{\phi }_x\). We consider the two following cases:
\(1^{\text{ o }}\) \(\Phi (x_0,x) = r\). Using (4.3) from Lemma 4.7, we obtain
By the 1-continuity of d, we have \(d(x,z)=0\), so \(x=z\). Therefore, \(z \in B^{\Phi }_x\).
\(2^{\text{ o }}\) \(\Phi (x_0,x) > r\). Then there is \(N \in {\mathbb {N}}\) such that
for all \(n \ge N.\) From Lemma 4.7 we deduce that
for any \(n \in {\mathbb {N}}\). By the definition of \({\mathcal {L}}\) and the fact that \(x,x_n \in M\), we have \(x \in B^{\Phi }_{x_n}\) or \(x_n \in B^{\Phi }_{x}\), so \(d(x,x_n) \le -\Phi (x,x_n)\) or \(d(x,x_n) \le -\Phi (x_n,x)\). Hence,
Using the above inequality, the 1-continuity of d and the sequential lower semicontinuity of \(\Phi (x,\cdot )\) we obtain
Hence, \(z \in B^{\Phi }_x\). By the arbitrariness of x, \(z \in \bigcap {\mathcal {L}}\). Thus, \((B^{\Phi }_{x_0},{\mathcal {B}}^{\Phi }_{x_0})\) is spherically complete.
Ad (2) Let \(\phi \) be a Caristi–Kirk function. Consider the ball space \((X,{\mathcal {B}}^{\phi })\) and take any nest of balls \({\mathcal {L}}\) in that space. Take \(x_0 \in X\) such that \(B^{\phi }_{x_0} \in {\mathcal {L}}\). Let \(\Phi :X \times X \rightarrow {\mathbb {R}}\) be given by the formula \(\Phi (x,y) := K\phi (y)-K\phi (x).\) By Lemma 4.4, \(\Phi \) is a K-Oettli–Théra function and \(x_0\) is an Oettli–Théra element for \(\Phi \). Consider the nest
Of course, \(\bigcap {\mathcal {L}}= \bigcap {\mathcal {L}}_0\). By Lemma 4.4, we have
Hence, \({\mathcal {L}}_0\) is a nest in the ball space \((B^{\Phi }_{x_0},{\mathcal {B}}^{\Phi }_{x_0})\), which is spherically complete, by the assumption. Thus,
and so \((X,{\mathcal {B}}^{\phi })\) is spherically complete. From the arbitrariness of \(\phi \) and Proposition 4.6 we infer that (X, d) is complete. \(\square \)
We can now present the initial fixed point result in the introduced setting.
Proposition 4.9
(cf. [6, Proposition 16]) Let (X, d) be a semicomplete b-metric space with a constant \(K \ge 1\), where d is 1-continuous.
-
(1)
If \(\Phi :X \times X \rightarrow \overline{{\mathbb {R}}}\) is a K-Oettli–Théra function, then for every Oettli–Théra element \(x_0\) for \(\Phi \) there exists \(a \in B^{\Phi }_{x_0}\) such that \(B_a^{\Phi } = \{a\}.\)
-
(2)
If \(\phi :X \rightarrow R\) is a Caristi–Kirk function, then for every \(x \in X\) there exists \(a \in B^{\phi }_{x}\) such that \(B_a^{\phi } = \{a\}.\)
Proof
Ad (1) Let \(\Phi :X \times X \rightarrow \overline{{\mathbb {R}}}\) be a K-Oettli–Théra function and \(x_0\) be an Oettli–Théra element for \(\Phi \). By Proposition 4.8, \((B^{\Phi }_{x_0},{\mathcal {B}}^{\Phi }_{x_0})\) is spherically complete and by Corollary 4.3, it is strongly contractive. From Theorem 4.1 we have the assertion.
Ad (2) Follows directly from (1) and Lemma 4.4. \(\square \)
From above proposition we can infer the Caristi–Kirk type fixed point theorems.
Theorem 4.10
(cf. [6, Theorem 21]) Let (X, d) be a semicomplete b-metric space with a constant \(K \ge 1\), where d is 1-continuous and \(f :X \rightarrow X\). Let \(\Phi :X \times X \rightarrow \overline{{\mathbb {R}}}\) be a K-Oettli–Théra function. If
then there is \(a \in X\) such that \(f(a)=a.\)
Proof
From (4.5) we infer that \(f(x) \in B_x\) for any \(x \in X\). By Proposition 4.9, there is \(a \in X\) such that \(B_a = \{a\}\). Since \(f(a) \in B_a\), we have \(f(a)=a\). \(\square \)
The result above should be compared with [18, Corollary 12], which presents a similar contribution, albeit in slightly different direction. Before we present this result we need some additional definitions from [18, Definition 6]. We say that \((x_n) \in X^{\mathbb {N}}\) is a \(\Sigma \)-Cauchy sequence if \(\sum _{n=1}^\infty d(x_n,x_{n+1}) < \infty .\) A semimetric space (X, d) is called \(\Sigma \)-semicomplete if every \(\Sigma \)-Cauchy sequence has a convergent subsequence.
Lemma 4.11
[18, Proposition 8] Let (X, d) be a \(\Sigma \)-semicomplete semimetric space. Then X is semicomplete.
Theorem 4.12
[18, Theorem 13] Let (X, d) be a semimetric space. Then the following are equivalent:
-
(i)
X is \(\Sigma \)-semicomplete;
-
(ii)
every function \(f :X\rightarrow X\) has a fixed point whenever there is a proper, sequentially lower semicontinuous function \(h :X \rightarrow [0,\infty ]\) such that
$$\begin{aligned} \forall _{x\in X} \,\, d(x,f(x)) \le h(x)-h(f(x)). \end{aligned}$$
Using Theorem 4.10, we can prove the following analogue to the previous result.
Theorem 4.13
Let (X, d) be a b-metric space with a constant \(K \ge 1\), where d is 1-continuous. Then the following are equivalent:
-
(i)
X is semicomplete;
-
(ii)
every function \(f :X\rightarrow X\) has a fixed point whenever there is a proper, sequentially lower semicontinuous function \(h :X \rightarrow [0,\infty ]\) such that
$$\begin{aligned} \forall _{x\in X} \,\, d(x,f(x)) \le h(x)-h(f(x)); \end{aligned}$$ -
(iii)
X is \(\Sigma \)-semicomplete.
Proof
(i) \(\Rightarrow \) (ii). Take \(f :X\rightarrow X\). Assume that there exists a proper, sequentially lower semicontinuous function \(h :X \rightarrow [0,\infty ]\) such that
Define a mapping \(\Phi :X\times X \rightarrow \overline{{\mathbb {R}}}\) by the formula \(\Phi (x,y) := h(y)-h(x)\). We will show that \(\Phi \) is a K-Oettli–Théra function. The proofs of conditions (i) and (ii) from the definition of K-Oettli–Théra function are immediate. Pick any \(x,y,z \in X\). We have
Choose \(x_0 \in \{x \in X:h(x) \in {\mathbb {R}}\}\). Such \(x_0\) exists because h is proper. Then for any \(x \in X\), we have \(\Phi (x_0,x) = h(x)-h(x_0) \ge -h(x_0).\) Hence, \(\Phi \) is a K-Oettli–Théra function. Since we have
by Theorem 4.10, f has a fixed point.
(ii) \(\Rightarrow \) (iii) Follows from Theorem 4.12.
(iii) \(\Rightarrow \) (i) Follows from Lemma 4.11. \(\square \)
Now, we return from this slight detour to give a quick series of generalizations of the Caristi–Kirk theorem in various settings. The reasoning in the proofs are similar to the ones presented in [6]. However, the obtained results are more general.
Theorem 4.14
(cf. [6, Theorem 22]) Let (X, d) be a semicomplete b-metric space with a constant \(K \ge 1\), where d is 1-continuous and \(F :X \rightarrow {\mathcal {P}}(X)\). Let \(\Phi :X \times X \rightarrow \overline{{\mathbb {R}}}\) be a K-Oettli–Théra function. If
then there is \(a \in X\) such that \(a \in F(a).\)
Proof
From (4.6) we infer that for any \(x\in X\) there is \(y \in F(x)\) such that \(y \in B_x\). By Proposition 4.9, there is \(a \in X\) such that \(B_a = \{a\}\). Hence there is \(y \in F(a)\) such that \(y \in B_a\), so \(a \in F(a)\). \(\square \)
Theorem 4.15
(cf. [6, Theorem 23]) Let (X, d) be a semicomplete b-metric space with a constant \(K \ge 1\), where d is 1-continuous. Let \(\Phi :X \times X \rightarrow \overline{{\mathbb {R}}}\) be a K-Oettli–Théra function. There exists \(a \in X\) such that
Proof
Condition (4.7) means that for any \(x\in X\setminus \{a\}\), \(x\notin B_a\), that is \(B_a = \{a\}.\) The existence of such a follows from Proposition 4.9. \(\square \)
Theorem 4.16
(cf. [6, Theorem 24]) Let (X, d) be a semicomplete b-metric space with a constant \(K \ge 1\), where d is 1-continuous. Let \(\Phi :X \times X \rightarrow \overline{{\mathbb {R}}}\) be a K-Oettli–Théra function. For any \(\gamma > 0\) and any Oettli–Théra element \(x_0\) for \(\Phi \) there exists \(a \in X\) such that
and
Proof
It is easy to see that a function \(\Psi :X \times X \rightarrow \overline{{\mathbb {R}}}\) given by the formula \(\Psi (x,y) = \frac{1}{\gamma }\Phi (x,y)\) is also a K-Oettli–Théra function with the same Oettli–Théra elements as \(\Phi \). Hence, by Proposition 4.9, there is \(a \in B_{x_0}^{\Psi }\) such that \(B_a^{\Psi } = \{a\}\). We have
because \(a \in B_{x_0}^{\Psi }\). This gives us (4.9). Moreover, since \(B_a^{\Psi } = \{a\}\),
which is equivalent to (4.8). \(\square \)
Theorem 4.17
(cf. [6, Theorem 25]) Let (X, d) be a semicomplete b-metric space with a constant \(K \ge 1\), where d is 1-continuous. Let \(\Phi :X \times X \rightarrow \overline{{\mathbb {R}}}\) be a K-Oettli–Théra function. Fix \(\varepsilon \ge 0\) and \(x_0 \in X\) such that \(-\varepsilon \le \inf \limits _{x\in X} \Phi (x_0,x)\). Then for every \(\gamma > 0\) and \(\delta \ge \frac{\varepsilon }{\gamma }\) there exists \(a \in X\) such that \(d(a,x_0) \le \delta \) and a is the strict minimum of the function \(\phi _{\gamma } :X \rightarrow {\mathbb {R}}\) given by the formula
Proof
Pick \(\gamma > 0\) and \(\delta \ge \frac{\varepsilon }{\gamma }\). A function \(\Psi :X \times X \rightarrow \overline{{\mathbb {R}}}\) given by the formula \(\Psi (x,y) = \frac{1}{\gamma }\Phi (x,y)\) is a K-Oettli–Théra function with the same Oettli–Théra elements as \(\Phi \). Hence, by Proposition 4.9, there is \(a \in B_{x_0}^{\Psi }\) such that \(B_a^{\Psi } = \{a\}\). We have
because \(a \in B_{x_0}^{\Psi }\). Thus,
So, \(d(a,x_0) \le \delta \). Moreover, since \(B_a^{\Psi } = \{a\}\),
Therefore, for any \(x\in X\setminus \{a\}\), we have
which finishes the proof. \(\square \)
For the next result we need another definition. Consider a semimetric space (X, d), \(\gamma \in (0, \infty )\) and \(a,b \in X\). The set
is called a petal associated with \(\gamma \) and a, b.
Theorem 4.18
(cf. [6, Theorem 27]) Let M be a semicomplete subset of a b-metric space (X, d) with a constant \(K \ge 1\), where d is 1-continuous. Fix \(x_0 \in M\) and \(b \in X\setminus M\). Then for every \(\gamma > 0\) there exists \(a \in P_{\gamma }(x_0,b) \cap M\) such that
Proof
Fix \(\gamma > 0\). A function \(\phi :M \rightarrow {\mathbb {R}}\) given by the formula \(\phi (x) = \frac{1}{K\gamma }d(x,b)\) is a Caristi–Kirk function on M. For any \(x \in M\) we have
where \(B_x^{\phi }\) are K-Caristi–Kirk balls in M. Using Proposition 4.9 (2), we obtain that there exists \(a \in B_{x_0}^{\phi }\) such that \(B_a^{\phi } = \{a\}\). Thus,
\(\square \)
Theorem 4.19
(cf. [6, Theorem 28]) Let (X, d) be a semicomplete b-metric space with a constant \(K \ge 1\), where d is 1-continuous. Let \(\Phi :X \times X \rightarrow \overline{{\mathbb {R}}}\) be a K-Oettli–Théra function and \(x_0 \in X\) be an Oettli–Théra element for \(\Phi \). If for any \(y \in B_{x_0}^{\Phi }\) satisfying \(\inf \limits _{x\in X} \Phi (y,x) < 0\) there exists \(z \in X\), \(z \ne y\) such that \(d(y,z) \le - \Phi (y,z),\) then there is \(a \in B_{x_0}^{\Phi }\) for which \(\inf \limits _{x\in X} \Phi (a,x) = 0\).
Proof
By Proposition 4.9, there is \(a \in B_{x_0}^{\Phi }\) such that \(B_a^{\Phi } = \{a\}\). We will show that \(\inf \limits _{x\in X} \Phi (a,x) = 0\). Since \(\Phi (a,a) = 0\), we have \(\inf \limits _{x\in X} \Phi (a,x) \le 0\). Assume on the contrary that \(\inf \limits _{x\in X} \Phi (a,x) < 0\). Then, by the assumption, there exists \(z \in X\), \(z \ne a\) such that \(d(a,z) \le - \Phi (a,z).\) But it means that \(z \in B_a^{\Phi } = \{a\}\), a contradiction. Hence, \(\inf \limits _{x\in X} \Phi (a,x) = 0\). \(\square \)
Theorem 4.20
(cf. [6, Theorem 29]) Let (X, d) be a semicomplete b-metric space with a constant \(K \ge 1\), where d is 1-continuous. Let \(\Phi :X \times X \rightarrow \overline{{\mathbb {R}}}\) be a K-Oettli–Théra function and \(x_0 \in X\) be an Oettli–Théra element for \(\Phi \). Let \(A \subset X\) be such that
Then \(B_{x_0}^{\Phi } \cap A \ne \emptyset \).
Proof
By Proposition 4.9, there is \(a \in B_{x_0}^{\Phi }\) such that \(B_a^{\Phi } = \{a\}\). We will show that \(a\in A\). On the contrary assume that \(a \notin A\). Then, by the assumption, there exists \(y \in X\), \(y \ne a\) such that \(d(a,y) \le -\Phi (a,y)\). But it means that \(y \in B_a^{\Phi } = \{a\}\), a contradiction. Hence \(a \in B_{x_0}^{\Phi } \cap A\). \(\square \)
5 Some remarks on the notion of ball-convergence and topology of ball spaces
It seems natural to ask whether the notion of convergence can be introduced in the setting of ball spaces. The instinctiveness of such question may come from the fact, that we have already some convergence-related notions. A good example would be the spherical completeness, which strongly resembles completeness from the metric setting.
Let us consider a ball space \((X,{\mathcal {B}})\) and a sequence of its elements \((x_n)_{n\in {\mathbb {N}}}\). We will say that \((x_n)_{n\in {\mathbb {N}}}\) \({\mathcal {B}}\)-converges to some \(x\in X\) if \( \bigcap {\mathcal {B}}_{(x_n)} = \{x\}\), where \({\mathcal {B}}_{(x_n)}\) is the family of all balls from \({\mathcal {B}}\) containing infinitely many terms from sequence \((x_n)\), i.e.,
This fact will be denoted by \(x_n\overset{{\mathcal {B}}}{\rightarrow }\ x\).
Theorem 5.1
Let \((X,\tau )\) be a \(T_0\) topological space. Consider the ball space \((X,{\mathcal {B}})\), where \({\mathcal {B}}\) is the family of all closed sets in \((X,\tau )\). Consider a sequence \((x_n)\) of elements of X and a point \(x \in X\). Then \((x_n)\) is convergent to x with respect to \(\tau \) if and only if \(x_n\overset{{\mathcal {B}}}{\rightarrow }\ x\).
Proof
“\(\Leftarrow \)”. Assume that \(x_n\overset{{\mathcal {B}}}{\rightarrow }\ x\). This means that x belongs to every closed set containing infinitely many terms of \((x_n)\). Take U as an arbitrary open neighbourhood of x. Suppose that U does not contain almost all terms of \((x_n)\). Hence the closed set \(X\setminus U\) contains infinitely many terms of \((x_n)\), so due to \({\mathcal {B}}\)-convergence we have \(x \in X\setminus U\), a contradiction. Therefore, \((x_n)\) is convergent to x with respect to \(\tau \).
“\(\Rightarrow \)”. Assume that \((x_n)\) converges to x with respect to \(\tau \), that is, any open neighbourhood of x contains all but finitely many terms of \((x_n)\). Let B be a closed set containing infinitely many terms of \((x_n)\). Suppose that \(x \notin B\). Then \(x \in X\setminus B\) and this set is open. By the assumption, \(X\setminus B\) contains all but finitely many terms of \((x_n)\), and so B contains finitely many terms of \((x_n)\), a contradiction. Now, suppose that there is \(y \in X\) such that for any closed set B containing infinitely many terms of \((x_n)\), \(y \in B\). Repeating the reasoning from “\(\Leftarrow \)”, we obtain that \((x_n)\) converges to y with respect to \(\tau \). Since \((X,\tau )\) is \(T_0\), the limits are unique, so \(x=y\), which finishes the proof. \(\square \)
Remark 1
In the reasoning above, instead of picking \({\mathcal {B}}\) as the family of all closed sets, one can take a topological basis \({\mathcal {U}}\) of \((X,\tau )\) and define \({\mathcal {B}}\) as the complements of sets from \({\mathcal {U}}\).
As we can take any family of nonempty sets in the role of \({\mathcal {B}}\), the notion of \({\mathcal {B}}\)-convergence covers a large variety of other modes of convergence which guarantee the uniqueness of the limit.
Having defined a notion of convergence in ball spaces, one can ask the question how this relates to the standard convergence in semimetric spaces (where \(x_n\rightarrow x\) if and only if \(d(x_n,x)\rightarrow 0\) as \(n\rightarrow \infty \)). Take any semimetric space (X, d). Consider the topology \(\tau _{\mathcal {B}}\) generated by the convergence introduced by the ball space \((X,{\mathcal {B}}_S)\) for some \(S\subset (0,+\infty )\). For these two notions of convergence to coincide, we first need to guarantee that 0 is an accumulation point of S. If that is not the case, the sequence \((x_n)\) might be \({\mathcal {B}}_S\)-convergent to some x even if all its terms are \(\varepsilon \)-apart from x, as balls might be unable to detect such small gaps between points.
The 1-continuity of a semimetric guarantees that standard convergence implies \({\mathcal {B}}\)-convergence. This claim is formally proved in the following theorem.
Theorem 5.2
Let (X, d) be any 1-continuous (G)-semimetric space. If a sequence \((x_n)_{n\in {\mathbb {N}}}\) of elements of X converges to \(x\in X\), it also \({\mathcal {B}}_S\)-converges to x in the ball space \((X,{\mathcal {B}}_S)\), where \(S=(0,+\infty )\).
Proof
Assume that \((x_n)_{n\in {\mathbb {N}}}\) converges to x. Then for each \(s>0\) there exists \(n_0\in {\mathbb {N}}\) such that \(x_n\in B_s(x)\) for \(n\ge n_0\). Clearly, \(\bigcap _{s\in S} B_s(x)=\{x\}\), so it is enough to show that for any \(y\in X\) and any \(s\in S\) such that \(B_s(y)\) contains infinitely many terms of \((x_n)\) we have \(x\in B_s(y)\). Let \((x_{n_k})\) be a subsequence of \((x_n)\) contained in \(B_s(y)\). Clearly \(d(x_{n_k},x)\rightarrow 0\) and from the 1-continuity of d we have
Hence \(x\in B_s(y)\) which finishes the proof. \(\square \)
Straightforwardly from the proof of Theorem 5.2 we obtain the following:
Corollary 5.3
Let \(S\subset (0,+\infty )\) be such that \(0 \in S^d\) and take any 1-continuous (G)-semimetric space (X, d). If the sequence \((x_n)_{n\in {\mathbb {N}}}\) of elements of X converges to \(x\in X\), it also \({\mathcal {B}}_S\)-converges to x in the ball space \((X,{\mathcal {B}}_S)\).
Unfortunately, we cannot reverse this implication as we have to face the following example in a metric setting:
Example 2
Consider a collection of distinct points \(x,x_1,x_2,\dots \). Put \(X:=\{x,x_1,x_2,\dots \}\). Define a metric on X as follows
The function d is indeed a metric, because the first two axioms follow from the definition of d and the triangle inequality follows easily from the fact that \(d(X \times X) \subset \{0\} \cup [1,2]\). Take \({\mathcal {B}}\) as a family of all closed balls in (X, d). Obviously, \(d(x_n,x) \not \rightarrow 0\). However, we will show that \(x_n\overset{{\mathcal {B}}}{\rightarrow }\ x\). Let \(B_r(y)\) be a closed ball containing infinitely many terms of \((x_n)\). We will show that \(x \in {B_r(y)}\). Consider the cases:
-
1.
\(y=x\). Then obviously \(x \in {B_r(y)}\).
-
2.
\(y=x_n\) for some \(n \in {\mathbb {N}}\). Since \(d(x_n,x_m) > 1\) for any \(m \ne n\), we have \(r \ge 1\). Because \(d(x,x_n) =1,\) we obtain \(x \in {B_r(y)}\).
Now, observe that for any \(m \in {\mathbb {N}}\) there exists a ball \({B_r(y)}\) containing infinitely many terms of \((x_n)\) such that \(x_m \notin {B_r(y)}\). Indeed, choose \(y = x_{m+1}\), \( r = \frac{3}{2}\). Then, \(d(x_m,x_{m+1}) = 1+1 = 2 > \frac{3}{2},\) so \(x_m \notin {B_\frac{3}{2}(x_{m+1})}.\) On the other hand, for any \(n > m+2\) we have \(d(x_{m+1},x_n) =1 +\frac{1}{|n-m-1|} \le \frac{3}{2}\). Thus, \(x_n \in {B_\frac{3}{2}(x_{m+1})}.\) Finally, \(x_n\overset{{\mathcal {B}}}{\rightarrow } x\).
As the notion of \({\mathcal {B}}\)-convergence even in metric spaces turns out to be weaker than standard convergence, we pose the following question: under what conditions the implication from Theorem 5.2 can be reversed?
A partial answer to this question is provided by the doubling property. A semimetric space is said to be N-doubling if every closed ball of radius \(r>0\) can be covered by at most N closed balls of radius \(\frac{r}{2}\) (one can think of such condition as a metric-type finite-dimensionality).
Theorem 5.4
Let (X, d) be a 1-continuous semimetric space with N-doubling property for some \(N\in {\mathbb {N}}\) and \(S={(0,\infty )}\). If a sequence \((x_n)_{n\in {\mathbb {N}}}\) \({\mathcal {B}}_S\)-converges to some \(x\in X\) in the ball space \((X,{\mathcal {B}}_S)\), then \((x_n)\) contains a subsequence \((x_{n_k})\) such that \(d({x_{n_k}},x)\rightarrow 0\) as \(n\rightarrow \infty \). Moreover, if \((x_n)\) is bounded, then \(d(x_{n},x)\rightarrow 0\) as \(n\rightarrow \infty \).
Proof
Our assumption can be restated as follows:
For every \(y\in X\) and \(r\in S\), if \(B_r(y)\) contains infinitely many terms of \((x_n)\), then \(d(x,y)\le r\).
We want to find a subsequence \((x_{n_k})\) of a sequence \((x_n)\) such that \(d(x_{n_k},x)\rightarrow 0\). Define
At first, let us note that \(r_0\) is finite. Indeed, there exists at least one ball of the form \(B_s(y)\) (for some \(y\in X\) and \(s>0\)) which contains infinitely many terms of \((x_n)\) as well as x. Hence for all \(n\in {\mathbb {N}}\) such that \(x_n\in B_s(y)\) we have:
Therefore, \(r_0\le {\hat{r}}\) as \(B_{{\hat{r}}}(x)\) contains infinitely many terms of \((x_n)\). Suppose that \(r_0>0\). Thus, there exists a subsequence \((x_{n_k})\) of \((x_n)\) which satisfies \(d(x_{n_k},x)\in \left[ r_0,\frac{3}{2}r_0\right] \) (otherwise, \(r_0\) could be lowered further). The doubling property guarantees that \(B_{\frac{3}{2}r_0}(x)\) can be covered by a family of N balls \(\{B_{\frac{3}{4}r_0}(y_i^{(1)}) \, : \, i\le N\}\). In particular, at least one such ball (denote it by \(B_{\frac{3}{4}r_0}(y^{(1)})\)) contains infinitely many elements of \((x_{n_k})\). From our \({\mathcal {B}}_S\)-convergence assumption, such a ball contains x as well.
This ball can also be covered by another set of balls with half the radius, i.e., balls of the form \(B_{\frac{3}{8}r_0}(y_i^{(2)})\). One such ball is guaranteed to contain infinitely many terms of \((x_n)\), denote it by \(B_{\frac{3}{8}r_0}(y^{(2)})\). It contains x as well.
Proceeding inductively, we obtain a sequence of balls \(B_{\frac{3}{2^{k+1}}r_0}(y^{(k)})\), each of these containing infinitely many terms of \((x_n)\) as well as x. Thus, \(d(x,y^{(k)}) \rightarrow 0\). For all \(n\in {\mathbb {N}}\) such that \(x_n\in B_{\frac{3}{2^{k+1}}r_0}(y^{(k)})\) we have:
As \(\frac{3}{2^{k+1}}r_0\rightarrow 0\), we have \(s_k\rightarrow 0\) from the continuity of g at the origin. But since \(s_k\rightarrow 0\), we have that \(s_k<r_0\) for sufficiently large k. Thus, \(B_{s_k}(x)\) contains infinitely many terms of \((x_n)_{n\in {\mathbb {N}}}\), which contradicts our assumption that \(r_0>0\). Finally, pick \(n_1=1\) and for \(k >1\) define \(n_{k} > n_{k-1}\) such that \(x_{n_k} \in B_{\frac{1}{k}}(x)\). Since \(r_0 = 0\), we can always find such terms. We obtain \(d(x_{n_k},x) \rightarrow 0\).
Now, assume that \((x_n)\) is bounded. We have that there is \(y \in X\) and \(s>0\) such that \(B_s(y)\) contains all elements of \((x_n)\).
Suppose on the contrary that \(d(x_n,x) \not \rightarrow 0\), that is, there are \(r>0\) and a subsequence \((x_{n_k})\) of \((x_n)\) such that \(d(x_{n_k},x) > r\) for every \(k\in {\mathbb {N}}\).
The doubling property guarantees that \(B_{s}(y)\) can be covered with a family of N balls \(\{B_{\frac{1}{2}s}(y_i^{(1)}) \, : \, i\le N\}\). In particular, at least one such ball (denote it by \(B_{\frac{1}{2}s}(y^{(1)})\)) contains infinitely many elements of \((x_{n_k})\). From our \({\mathcal {B}}_S\)-convergence assumption, such a ball contains x as well.
Now, we can proceed similarly as in the first part of the proof to find a sequence of balls \((B_{\frac{1}{2^{j}}s}(y^{(j)}))\) each containing x and infinitely many terms of \((x_{n_k})\). For all \(k\in {\mathbb {N}}\) such that \(x_{n_k}\in B_{\frac{1}{2^{j}}s}(y^{(j)})\) we have:
As \(\frac{1}{2^{j}}s\rightarrow 0\), we have \(r_j\rightarrow 0\) from the continuity of g at the origin. But since \(r_j\rightarrow 0\), there is \(m \in {\mathbb {N}}\) such that \(r_m<r\). There is also \(x_{n_k} \in B_{\frac{1}{2^{m}}s}(y^{(m)})\) and, by (5.3), \(d(x,x_{n_k}) < r\), a contradiction. Therefore, \(d(x_{n},x) \rightarrow 0\). \(\square \)
The theorem above also holds even if we do not assume that \(S=(0,+\infty )\) but merely require S to satisfy \(S^d\ni 0\). The proof gets trickier this time, because sometimes we are required to iterate the doubling property a sufficient number of times and multiply the radii of the so obtained balls by some positive constant \(\rho \in (1,2)\). As \(0\in S^d\), after iterating the doubling property sufficiently many times, there will be an \(s_0 \in [\frac{3r_0}{2^{k+1}}, \frac{3r_0}{2^{k}})\) and we can increase the radii of our balls to \(s_0\). Since balls of smaller radii are contained in the ones with same center but larger radii, we can inductively construct a sequence of balls as in the original proof. However, in our opinion this somewhat tedious reasoning can cloud the general idea behind the proof.
The following example shows that the assumption of the boundedness of \((x_n)\) is essential.
Example 3
In the Euclidean metric space \(({\mathbb {R}},d_e)\) define a sequence \((x_n)\) in the following way: for \(k \in {\mathbb {N}}\) put \(x_{2k} := k\) and \(x_{2k-1} = \frac{1}{k}\). This sequence is obviously not convergent in \(({\mathbb {R}},d_e)\). Consider the ball space \({\mathcal {B}}\) consisting of all compact intervals. Then \(x_n\overset{{\mathcal {B}}}{\rightarrow }\ 0\). Indeed, it is easy to see that every compact interval containing infinitely many terms of \((x_n)\) must contain 0. Moreover, for any \(x \ne 0\) there exists an interval containing infinitely many terms of \((x_n)\) and not containing x (it suffices to take \([0,\frac{|x|}{2}]\)). (If we take as a ball space the family of all closed sets, then, by Theorem 5.1, we do not have ball convergence).
We clearly see that the building of a ball space upon some semimetric (or even metric) space (X, d) using solely the closed balls leads to some pathological examples. We have asked ourselves the question, whether there exists a natural way of constructing a ball space out of (X, d) which does not utilize all closed sets, but has more natural properties than \((X,{\mathcal {B}}_{(0,+\infty )})\).
Let us consider a ball space \((X,{\mathcal {B}}_S^+)\), where \(S\subseteq {\mathbb {R}}_+\) and
As previously, \({B^{\circ }_r(x)}:= \{ y \in X \, : \, d(x,y)<r \}\) denotes an open ball.
That is, the proposed complemented ball space built upon (X, d) consists of closed balls with radii in S, as well as the complements of open balls with radii from the same set S. This allows us to fix some problems similar to the one presented in Example 3. One can also see, that the statement of Theorem 5.3/Corollary 5.4 still holds if we replace \((X,{\mathcal {B}}_S)\) by \((X,{\mathcal {B}}_S^+)\).
Theorem 5.5
Let (X, d) be a (G)-semimetric space, \((x_n)\) be a sequence in X and \(x\in X\). Consider a set \(S\subset (0,+\infty )\) such that \(0\in S^d\):
-
(1)
If d is 1-continuous and \((x_n)_{n\in {\mathbb {N}}}\) converges to x, it also \({\mathcal {B}}_S^+\)-converges to x in the complemented ball space \((X,{\mathcal {B}}_S^+)\).
-
(2)
If \((x_n)_{n\in {\mathbb {N}}}\) \({\mathcal {B}}_S^+\)-converges to x in the complemented ball space \((X,{\mathcal {B}}_S^+)\), then it also converges to x in (X, d).
Proof
Ad (1) Let us assume that \((x_n)_{n\in {\mathbb {N}}}\) converges to x. As in the proof of the previous version of this theorem, \(\bigcap _{s\in S} B_s(x)=\{x\}\) and for any \(y\in X\) and any \(s\in S\) such that \(B_s(y)\) contains infinitely many terms of \((x_n)\) we have \(x\in B_s(y)\). Now it is enough to show that if the complement of an open ball contains infinitely many terms of \((x_n)\), then it contains x as well. Take any \(y\in X\) and \(r\in S\). If there is an infinite subsequence \((x_{k_n})_{n\in {\mathbb {N}}}\) of \((x_n)\) such that \(x_{k_n} \notin {B^{\circ }_r(y)}\) for \(n \in {\mathbb {N}}\), then \(d(x_{k_n},y)\ge r\) and, as a result of the 1-continuity,
Hence, if the complement of an open ball contains infinitely many terms of \((x_{n})_{n\in {\mathbb {N}}}\), then it contains x too.
Ad(2) From the assumption that \((x_n)\) is convergent to x we infer that for every \(y\in X\) and \(r\in S\), if \(B_r(y)\) contains infinitely many terms of \((x_n)\) then \(d(x,y)\le r\). Moreover, if for infinitely many terms of \((x_n)\) we have \(d(x_n,y)\ge r\), then \(d(x,y)\ge r\).
Now, on the contrary, suppose that \((x_n)\) does not converge to x in the semimetric sense. Then, there exists \(\varepsilon >0\) such that \(d(x,x_{n})\ge \varepsilon \) for infinitely many n. Hence the complement of \({B^{\circ }_{\varepsilon }(x)}\) contains infinitely many elements of \((x_{n})\). Therefore, \(X\setminus {B^{\circ }_{\varepsilon }(x)}\) should contain x as well, a contradiction. \(\square \)
Clearly, complemented ball spaces seem to be a more natural ground for topological considerations. We can see, that the sequence from Example 3 is not \({\mathcal {B}}_{(0,\infty )^+}\)-convergent if we replace the ball space \(({\mathbb {R}},{\mathcal {B}}_{(0,+\infty )})\) with the complemented version. We also see that the convergence in \(({\mathbb {R}},d_d)\) (where \(d_d\) stands for discrete metric) coincides with \({\mathcal {B}}_S^+\)-convergence in \(({\mathbb {R}},{\mathcal {B}}_{S}^+)\), where \(S:=(0,1]\), as in both of these spaces, only the ultimately constant sequences are convergent. However, we must be careful, because using complemented ball spaces may lead to the loss of spherical completeness. Therefore, a proper choice of a ball structure may vary depending on the situation.
In [4], the notion of ball continuity of functions between ball spaces was introduced. Let \((X,{\mathcal {B}}_x)\), \((Y,{\mathcal {B}}_Y)\) be ball spaces and consider a mapping \(f:X \rightarrow Y\). We say that f is ball continuous if for any \(B \in {\mathcal {B}}_Y\) we have \(f^{-1}(B) \in {\mathcal {B}}_X\). At the end of this section we would like to pose the following open problem.
Problem 4
Let \((X,{\mathcal {B}}_x)\), \((Y,{\mathcal {B}}_Y)\) be ball spaces and \(f:X \rightarrow Y\). Under what assumptions on the ball spaces \((X,{\mathcal {B}}_x)\), \((Y,{\mathcal {B}}_Y)\) it is true that \(f:X \rightarrow Y\) is ball continuous if and only if for any sequence \((x_n) \in X^{{\mathbb {N}}}\) such that \(x_n\overset{{\mathcal {B}}_X}{\rightarrow } x\), with \(x \in X\), we have \(f(x_n)\overset{{\mathcal {B}}_Y}{\rightarrow }\ f(x)\)?
Data availability
The paper has no associated data.
Notes
This space happens to satisfy a stronger axiom, known as relaxed polygonal inequality, see [13, Definition 12.3].
The authors are aware of the fact that Saturn is a gas giant—this fact makes the use of word solid somewhat questionable.
References
An, T.V., Tuyen, L.Q., Dung, N.V.: Stone-type theorem on b-metric spaces and applications. Topol. Appl. 185(186), 50–64 (2015)
Van An, T., Van Dung, N., Kadelburg, Z., Radenović, S.: Various generalizations of metric spaces and fixed point theorems. RACSAM 109, 175–198 (2015)
Bakhtin, I.A.: The contraction mapping principle in almost metric spaces. Funct. Anal. 30, 26–37 (1989)
Bartsch, R., Kuhlmann, F.-V., Kuhlmann, K.: Construction of ball spaces and the notion of continuity. N, Z. J. Math. 51, 49–64 (2021)
Bessenyei, M., Pàles, Z.: A contraction principle in semimetric spaces. J. Nonlinear Convex Anal. 18(3), 515–524 (2017)
Błaszkiewicz, P., Ćmiel, H., Linzi, A., Szewczyk, P.: Caristi–Kirk and Oettli–Théra ball spaces and applications. J. Fixed Point Theory Appl. 21, Art. 98 (2019)
Chrza̧szcz, K., Jachymski, J., Turoboś, F.: On characterizations and topology of regular semimetric spaces. Publ. Math. Debrecen 93 (1-2), 87–105 (2019)
Chrza̧szcz, K., Jachymski, J., Turoboś, F.: Two refinements of Frink’s metrization theorem and fixed point results for Lipschitzian mappings on quasimetric spaces. Aequat. Math. 93, 277–297 (2019)
Czerwik, S.: Contraction mappings in b-metric spaces. Acta Math. Inform. Univ. Ostra. 1, 5–11 (1993)
Ćmiel, H., Kuhlmann, F.-V., Kuhlmann, K.: A generic approach to measuring the strength of completeness/compactness of various types of spaces and ordered structures. RACSAM 115, Art. 156 (2021)
Engelking, R.: General Topology. Heldermann Verlag, Berlin (1989)
Galvin, F., Shore, S.D.: Completeness in semimetric spaces. Pac. J. Math. 439(1), 67–76 (1984)
Kirk, W.A., Shahzad, N.: Fixed Point Theory in Distance Spaces. Springer, Cham (2014)
Kuhlmann, F.-V., Kuhlmann, K.: A common generalization of metric and ultrametric fixed point theorems. Forum Math. 27, 303–327 (2015)
Kuhlmann, F.-V., Kuhlmann, K., Paulsen, M.: The Caristi—Kirk Fixed Point Theorem from the point of view of ball spaces. J. Fixed Point Theory Appl. 20, Art. 107 (2018)
Lichman, M., Nowakowski, P., Turoboś, F.: On functions preserving products of certain classes of semimetric spaces. Tatra Mt. Math. Publ. 78, 175–198 (2021)
Paluszyński, M., Stempak, K.: On quasi-metric and metric spaces. Proc. Am. Math. Soc. 137, 4307–4312 (2009)
Suzuki, T.: Characterization of \(\Sigma \)–Semicompleteness via Caristi’s fixed point theorem in semimetric spaces. J. Funct. Space. 2018, Art. ID 9435470 (2018)
Villa-Morales, J.: Subordinate semimetric spaces and fixed point theorems. J. Math. 2018, Art. ID 7856594 (2018)
Wilson, W.A.: On semi-metric spaces. Am. J. Math. 53, 361–373 (1931)
Acknowledgements
Piotr Nowakowski was supported by the GA ČR Grant 20-22230L (Czech Science Foundation). The authors would also like to express their gratitude towards Professor Wiesław Kubiś, Professor Marek Balcerzak and Professor Jacek Jachymski for the inspiration and support. The authors would also like to thank the referee for many relevant remarks and suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix
Appendix
In this appendix, we want to make a slight detour from the main topic of the last section towards the notion of convergence—but this time purely in semimetric spaces. It has been shown in several distinct papers that, in general, open balls in semimetric spaces are not necessarily open sets in the topology \(\tau \) induced by sequence convergence in (X, d). In particular, we refer the reader to [1, 17], as well as encourage them to see [7, Theorem 5.6] which provides a huge range of such pathological spaces where no open ball is open. This is somewhat remedied by introducing the strong topology \(\tau ^d\) in the semimetric space (X, d), whose basic open sets are the finite intersections of open balls, i.e.,
Whenever \(x_n\) converges to x with respect to \(\tau ^d\) we will write \(x_n\overset{d}{\varvec{\rightarrow }}x\). In this topology, however, \(d(x_n,x)\overset{n\rightarrow \infty }{\longrightarrow }\ 0\) does not always imply that \(x_n\overset{d}{\varvec{\rightarrow }}x\). We want to present this fact with an interesting example of a b-metric spaceFootnote 1 whose both topologies \(\tau ^d\) and \(\tau \) are metrizable, but in distinct ways.
Example 5
We shall consider the real line with the semimetric d given by
As we have the obvious Lipschitz equivalence between d and the Euclidean metric \(d_e\), the topology induced by sequence convergence in \(({\mathbb {R}},d)\) coincides with the standard topology of the reals. What remains to be shown is that \({\mathbb {R}}\) equipped with \(\tau ^d\) is also metrizable.
First, observe that an open ball in \(({\mathbb {R}},d)\) is of the form
Thus, each open ball resembles the planet Saturn—we have a solid center, surrounded by a perforated ring.Footnote 2 Note that every open interval is also an open set in \(({\mathbb {R}}, \tau ^d)\), as it can be represented as a union of tiny open balls which form a base of \(\tau ^d\). Moreover, each intersection of the form \((x-r,x+r)\cap {\mathbb {Q}}\) and \((x-r,x+r)\cap ({\mathbb {R}}\setminus {\mathbb {Q}})\) is also an open set. To see that, pick \(x\in {\mathbb {Q}}\) and consider the following intersection of open balls:
One can follow this reasoning to prove that all open intervals in \({\mathbb {Q}}\) (or in \({\mathbb {R}}\setminus {\mathbb {Q}}\)) are open in \(\tau ^d\). We will now prove that \(({\mathbb {R}},\tau ^d)\) is homeomorphic to the subspace L of \({\mathbb {R}}^2\) (equipped with standard metric) which is defined as
The homeomorphism \(f:{\mathbb {R}}\rightarrow L\) is given by \(f(x):=(x,\chi _{\mathbb {Q}}(x))\), where \(\chi _{\mathbb {Q}}\) is the indicator function of rationals. The fact that f is a bijection is trivial. We will now show that both f and its inverse are continuous. Fix \(x\in {\mathbb {Q}}\) (the reasoning in the case where \(x\in {\mathbb {R}}\setminus {\mathbb {Q}}\) is analogous). Take any open neighbourhood A of \((x,1)\in L\). As L inherits the natural topology from \({\mathbb {R}}^2\), there exists a rational \(\varepsilon >0\) such that
Put \(B:=\left( x-\frac{\varepsilon }{2},x+\frac{\varepsilon }{2}\right) \cap {\mathbb {Q}}\). It is an open set (with respect to \(\tau ^d\)) which satisfies \(f(B)\subset A\). This proves that f is continuous at x—since it was an arbitrary point, f is continuous.
Let us move on to the inverse of f, which is \(g(x,y) = x\). Fix \(x \in {\mathbb {R}}\). Consider an open set \(U\subset {\mathbb {R}}\) (in \(\tau ^d\)) containing x. Since U can be expressed as a union of base sets, we obtain:
where J stands for a (possibly uncountable) set of indices. We will see that one of the intersections on the right hand side of this equality contains an image of a certain open neighbourhood of (x, 1). Fix \(t_0 \in J\) such that \(x\in \bigcap _{i\le n_{t_0}} {B^{\circ }_{r_{t_0,i}}(x_{t_0,i})}\). Notice that if \(x_{t_0,i}\) is rational, then
otherwise
Regardless of whether \(x\in {\mathbb {Q}}\) or not, \(g^{-1}\left[ {B^{\circ }_{r_{t_0,i}}(x_{t_0,i})} \right] \) remains the union of two open subsets of L, thus guaranteeing its openness. A finite intersection of such sets remains open, thus the preimage of U is open. This proves the continuity of \(f^{-1}\).
Therefore, f is a homeomorphism between L equipped with the natural topology and \(({\mathbb {R}},\tau ^d)\). This proves that \(({\mathbb {R}},\tau ^d)\) is metrizable. Since L obviously is not homeomorphic to the real line with standard topology, we have that \(\tau \) and \(\tau ^d\) are both metrizable in non-homeomorphic ways.
This example leaves us with the open question whether there exist some simple conditions under which topology \(\tau ^d\) is metrizable. The results which answer a similar question in the case of convergence-based topology can be found in [7, 20] as well as in some of the references therein.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Nowakowski, P., Turoboś, F. Applications of ball spaces theory: fixed point theorems in semimetric spaces and ball convergence. J. Fixed Point Theory Appl. 25, 31 (2023). https://doi.org/10.1007/s11784-022-01030-y
Accepted:
Published:
DOI: https://doi.org/10.1007/s11784-022-01030-y