 Research
 Open access
 Published:
On ultrametrics, bmetrics, wdistances, metricpreserving functions, and fixed point theorems
Fixed Point Theory and Algorithms for Sciences and Engineering volumeÂ 2024, ArticleÂ number:Â 9 (2024)
Abstract
In this article, new classes of functions based on new variations of metricpreserving functions are defined. Necessary and sufficient conditions for functions to be in these classes are also provided. As a result, we can explain relations between all classes and learn that all functions in the classes are weakly separated from 0. We can extend fixed point theorems, which were originally provided by Kirk and Shahzad and were later extended by Pongsriiam and Termwuttipong, in this journal by considering all functions that are weakly separated from 0.
1 Introduction
We first refer to the works of Krasner [14], Bakhtin [1], and Kada et al. [9] for the definitions of ultrametrics, bmetrics, and wdistances, respectively.
Definition 1
Let \(d:X\times X \rightarrow [0,\infty )\), where X is a nonempty set. We say that d is an ultrametric if the following conditions hold for all \(x,y,z \in X\):

(U1)
\(d(x,y) = d(y,x)\);

(U2)
\(d(x,y)=0\) if and only if \(x=y\);

(U3)
\(d(x,y)\leq \max \{d(x,z),d(z,y)\}\).
Definition 2
Let \(d:X\times X \rightarrow [0,\infty )\), where X is a nonempty set. We say that d is a bmetric if there exists \(s \geq 1\) such that the following conditions hold for all \(x,y,z \in X\):

(B1)
\(d(x,y) = d(y,x)\);

(B2)
\(d(x,y)=0\) if and only if \(x=y\);

(B3)
\(d(x,y)\leq s(d(x,z)+d(z,y))\).
Definition 3
Let \(f : X \rightarrow \mathbb{R}\), where X is a topological space. Then f is lower semicontinuous if for all \(a \in \mathbb{R}\), \(f^{1}((a,\infty ))\) is open.
Definition 4
Let \(p:X \times X \rightarrow [0,\infty )\), where \((X,d)\) is a metric space. We say that p is a wdistance on \((X,d)\) if the following conditions hold:

(W1)
For all \(x, y, z\in X\), \(p(x,z)\leq p(x,y)+p(y,z)\);

(W2)
For each \(x \in X\), \(p(x,\cdot ):X \rightarrow [0,\infty )\) is lower semicontinuous;

(W3)
For each \(\varepsilon >0\), there exists \(\delta _{\varepsilon}>0\) such that, if \(p(z,x) \leq \delta _{\varepsilon}\) and \(p(z,y) \leq \delta _{\varepsilon}\), then \(d(x,y) \leq \varepsilon \).
From the definitions, we know that every ultrametric on X is a metric and every metric on X is a bmetric. Moreover, we notice that if d is a metric on X, then d is also a wdistance on \((X,d)\). These distances and generalized metrics also have many applications. Examples and applications of ultrametrics can be found in [2, 5, 6, 14, 15, 18, 19, 21, 26, 28]. We also refer the reader to [8, 9, 12, 20, 22â€“24] for examples and applications of wdistances. Some results concerning bmetrics can be found in [1, 10, 11, 21].
In 1935, Wilson [27] introduced the concept of metricpreserving functions, which have been thoroughly studied by many people as we can see, for example, in [3, 4, 10â€“12, 16â€“18, 20, 21].
Definition 5
Let \(f:[0,\infty ) \rightarrow [0,\infty )\). If for all metric d on a nonempty set X, \(f \circ d\) is also a metric on X, then we say that f is metricpreserving. We denote the set of all metricpreserving functions by \(\mathcal{M}\).
In 1981, BorsÃk and DoboÅ¡ [3] showed that every metricpreserving function f is amenable, that is, \(f^{1}(\{0\})=\{0\}\). Moreover, a characterization of metricpreserving functions was provided as follows.
Theorem 1.1
[3, TheoremÂ 2.7] Let \(f:[0,\infty ) \rightarrow [0,\infty )\) be amenable. Then \(f \in \mathcal{M}\) if and only if \((f(x),f(y),f(z)) \in \Delta \) for all \((x,y,z) \in \Delta \), where \(\Delta :=\{(x,y,z) \in \mathbb{R}^{3}:0 \leq x \leq y+z,\ 0 \leq y \leq x+z, \textit{ and } 0 \leq z \leq x+y\}\).
The idea of metricpreserving functions was modified by replacing metrics with ultrametrics in 2014 by Pongsriiam and Termwuttipong [18]. Later, Khemaratchatakumthorn and Pongsriiam [10] introduced a variation involving bmetrics, and Prinyasart and Samphavat [20] investigated a variation related to wdistances. In this article, we introduce new variations of the concept of metricpreserving functions concerning ultrametrics, bmetrics, and wdistances as follows.

(i)
Let \(\mathcal{UW}\) denote the set of all function \(f:[0,\infty ) \rightarrow [0,\infty )\) such that for all ultrametric d on a nonempty set X, \(f\circ d\) is a wdistance on \((X,d)\).

(ii)
Let \(\mathcal{UW}^{\ast}\) denote the set of all function \(f:[0,\infty ) \rightarrow [0,\infty )\) such that for all ultrametric d on a nonempty set X, there is a metric \(d'\) on X such that \(f\circ d\) is a wdistance on \((X,d')\).

(iii)
Let \(\mathcal{WU}\) denote the set of all function \(f:[0,\infty ) \rightarrow [0,\infty )\) such that for all wdistance p on any metric space \((X,d)\), \(f\circ p\) is an ultrametric on X.

(iv)
Let \(\mathcal{BW}^{\ast}\) denote the set of all function \(f:[0,\infty ) \rightarrow [0,\infty )\) such that for all bmetric d on a nonempty set X, there is a metric \(d'\) on X such that \(f\circ d\) is a wdistance on \((X,d')\).

(v)
Let \(\mathcal{WB}\) denote the set of all function \(f:[0,\infty ) \rightarrow [0,\infty )\) such that for all wdistance p on any metric space \((X,d)\), \(f\circ p\) is a bmetric on X.
In Sects.Â 2â€“5, we provide necessary and sufficient conditions for functions to be in each set defined above. Consequently, we can explain the relations between these sets in Sect.Â 6.
A metric transform is an amenable, strictly increasing, and concave function from \([0,\infty )\) to itself. Let \(\mathcal{T}\) be the set of all metric transforms. In 2013, Kirk and Shahzad [13] established a fixed point theorem concerning \(\mathcal{T}\) and local radial contractions as follows.
Definition 6
Let \(g:X \rightarrow X\), where X is a metric space with a metric d. We say that g is a local radial contraction if there is \(c \in (0,1)\) such that for each \(x \in X\), there exists \(\delta _{x}>0\) such that \(d(g(x),g(y)) \leq c \cdot d(x,y)\) for all \(y \in X\) with \(d(x,y)<\delta _{x}\).
Theorem 1.2
[13, TheoremÂ 2.2] Let \(g:X \rightarrow X\), where X is a metric space with a metricÂ d. Then g is a local radial contraction if there are \(f \in \mathcal{T}\) and \(k>0\) satisfying the following two conditions:

(i)
For all \(x \in X\), there is \(\delta _{x}>0\) such that \(f \circ d(g(x),g(u)) \leq k \cdot d(x,u)\) for all \(u \in X\) with \(d(x,u)<\delta _{x}\);

(ii)
There exist \(c \in (0,1)\) and \(\gamma >0\) such that \(f(ct) \geq kt\) for all \(t \in (0,\gamma )\).
In 2014, Pongsriiam and Termwuttipong [17] showed that \(\mathcal{T} \subseteq \mathcal{M}\) and extended TheoremÂ 1.2 by replacing \(\mathcal{T}\) with \(\mathcal{M}\) in [17, TheoremÂ 18]. Moreover, they also obtained another similar result as follows.
Theorem 1.3
[17, TheoremÂ 16] Let \(g:X \rightarrow X\), where X is a metric space with a metricÂ d. Then g is a local radial contraction if there are \(f \in \mathcal{T}\) and \(k>0\) satisfying the following two conditions:

(i)
For all \(x \in X\), there is \(\delta _{x}>0\) such that \(f \circ d(g(x),g(u)) \leq k \cdot d(x,u)\) for all \(u \in X\) with \(d(x,u)<\delta _{x}\);

(ii)
\(\liminf_{t \rightarrow 0} \frac{f(t)}{t}>k\).
In Sect.Â 7, let \(\mathcal{S}\) be the set of all functions \(f:[0,\infty ) \rightarrow [0,\infty )\) satisfying one of the following conditions:

(i)
f is weakly separated from 0, i.e., \(\inf \{f(t):t>\epsilon \}>0\) for all \(\epsilon >0\);

(ii)
\(f(0)>0\);

(iii)
\(\liminf_{t \rightarrow 0} \frac{f(t)}{t}=0\).
We will see later that \(\mathcal{T} \subseteq \mathcal{M} \subseteq \mathcal{UW}^{\ast } \subseteq \mathcal{S}\). We extend TheoremÂ 1.2 and TheoremÂ 1.3 by replacing \(\mathcal{T}\) and \(\mathcal{M}\) with \(\mathcal{S}\), and show that \(\mathcal{S}\) is the largest set of functions from \([0,\infty )\) to \([0,\infty )\) that makes the theorems hold.
2 Preliminaries
Theorem 2.1
\(\mathcal{WU}=\mathcal{WB}=\emptyset \).
Proof
Consider \(\mathbb{R}\) as a metric space with the usual metric d. Define \(p:\mathbb{R} \times \mathbb{R} \rightarrow [0,\infty )\) by \(p(x,y)=1\) for all \(x,y \in \mathbb{R}\). Then p is a wdistance on \((\mathbb{R},d)\). Notice that, for any function \(f:[0,\infty ) \rightarrow [0,\infty )\), \(f \circ p\) is a constant function on \(\mathbb{R} \times \mathbb{R}\), so \(f \circ p\) is neither an ultrametric nor a bmetric on \(\mathbb{R}\).â€ƒâ–¡
From the previous theorem, we see that only \(\mathcal{UW}^{\ast}\), \(\mathcal{UW}\), and \(\mathcal{BW}^{\ast}\) are left to be considered. Next, let us recall the definition of semimetrics, which are functions that share some properties with ultrametrics and bmetrics as follows.
Definition 7
Let X be a nonempty set. A function \(d:X \times X \rightarrow [0,\infty )\) is called a semimetric if d satisfies the following conditions:

(S1)
\(d(x,y)=d(y,x)\);

(S2)
\(d(x,y)=0\) if and only if \(x=y\).
Throughout this article, for any function \(f:[0,\infty ) \rightarrow [0,\infty )\), we denote by \(f_{0}\) a function from \([0,\infty )\) to \([0,\infty )\) such that \(f_{0}(0)=0\) and \(f_{0}(t)=f(t)\) for all \(t>0\). The following lemma gives relations between \(f \circ d\) and \(f_{0} \circ d\), where d is a semimetric and f satisfies \(f^{1}(\{0\}) \subseteq \{0\}\), called weakly amenable [20, DefinitionÂ 6].
Lemma 2.2
Let X be a nonempty set, d be a semimetric on X, and \(f:[0,\infty ) \rightarrow [0,\infty )\) be a weakly amenable function. If \(f \circ d\) satisfies the triangle inequality on X, i.e., \(f \circ d(x,z) \leq f \circ d(x,y)+f \circ d(y,z)\) for all \(x, y, z \in X\), then \(f_{0} \circ d\) is a metric on X. Conversely, if \(f_{0} \circ d\) is a metric on X and \(f(0) \leq 2 \inf f([0, \infty ))\), then \(f \circ d\) satisfies the triangle inequality.
Proof
Assume that the triangle inequality holds for \(f \circ d\). Since f is weakly amenable andÂ d satisfies (S2), we have that \(f_{0} \circ d\) satisfies (M1). Since d satisfies (S1), it is obvious that \(f_{0} \circ d\) also satisfies (M2). Since the triangle inequality holds for \(f \circ d\), we have that \(f_{0} \circ d\) satisfies (M3).
Conversely, assume that \(f_{0} \circ d\) is a metric on X and \(f(0) \leq 2 \inf f([0,\infty ))\). To show that \(f \circ d\) satisfies the triangle inequality, let \(x, y, z \in X\). If \(x \neq y\), then \(f \circ d(x,y)=f_{0} \circ d(x,y) \leq f_{0} \circ d(x,z)+f_{0} \circ d(z,y) \leq f \circ d(x,z)+f \circ d(z,y)\). If \(x=y\), then \(f \circ d(x,y)=f(0) \leq 2 \inf f([0, \infty )) \leq f \circ d(x,z)+f \circ d(z,y)\).â€ƒâ–¡
The notions of ultrametricmetricpreserving functions and bmetricmetricpreserving functions were respectively introduced in [18] and [10] as follows.
Definition 8
Let \(f:[0, \infty ) \rightarrow [0,\infty )\).

(i)
If for all ultrametric d on a nonempty set X, \(f \circ d\) is a metric on X, then we say that f is ultrametricmetricpreserving. We denote the set of all ultrametricmetricpreserving functions by \(\mathcal{UM}\).

(ii)
If for all bmetric d on a nonempty set X, \(f \circ d\) is a metric on X, then we say that f is bmetricmetricpreserving. We denote the set of all bmetricmetricpreserving functions by \(\mathcal{BM}\).
Since all ultrametrics and bmetrics are semimetrics, we obtain a relation between \(\mathcal{UW}^{\ast}\) and \(\mathcal{UM}\), and a relation between \(\mathcal{BW}^{\ast}\) and \(\mathcal{BM}\) from LemmaÂ 2.2 as follows.
Corollary 2.3
Let \(f:[0,\infty ) \rightarrow [0,\infty )\) be weakly amenable. Then the following statements hold:

(i)
If \(f \in \mathcal{UW}^{\ast}\), then \(f_{0} \in \mathcal{UM}\);

(ii)
If \(f \in \mathcal{BW}^{\ast}\), then \(f_{0} \in \mathcal{BM}\).
Frequently, we want to construct a wdistance from a metric. The following lemma is helpful in this situation.
Lemma 2.4
Let \((X,d)\) be a metric space and \(p:X \times X \rightarrow [0, \infty )\). If \(\frac{1}{2}p(x,x) \leq p(x,y)=d(x,y)\) for all \(x, y \in X\) with \(x \neq y\), then p is a wdistance on \((X,d)\).
Proof
Assume that for all \(x, y \in X\) if \(x \neq y\), then \(\frac{1}{2}p(x,x) \leq p(x,y)=d(x,y)\). Thus, (W1) holds. To show (W2), let \(x_{0}, y_{0} \in X\), \(a \in \mathbb{R}\) such that \(p(x_{0}, y_{0})>a\). Let \(r:=p(x_{0},y_{0})a\), which is a positive number. Let \(y \in X\) such that \(d(y_{0},y)< r\). If \(y=y_{0}\), then we immediately obtain that \(p(x_{0},y)=p(x_{0},y_{0})>a\). Now, assume that \(y \neq y_{0}\), then
Therefore, \(p(x_{0}, \cdot )\) is lower semicontinuous, which also implies that (W2) holds. For (W3), let \(\epsilon >0\) and \(\delta _{\epsilon}:=\frac{\epsilon}{2}\). For all \(x, y, z \in X\), if \(p(z,x), p(z,y) \leq \delta _{\epsilon}\), then by the triangle inequality,
Therefore, p is a wdistance on \((X,d)\).â€ƒâ–¡
3 Characterization of \(\mathcal{UW}^{\ast}\)
From our previous work [20, PropositionÂ 3.2], we showed that every function in \(\mathcal{MW}^{\ast}\) is weakly amenable. Similarly, we can now show that the result holds for functions in \(\mathcal{UW}^{\ast}\) as well.
Proposition 3.1
All functions in \(\mathcal{UW}^{\ast}\) are weakly amenable.
Proof
Let \(f:[0,\infty ) \rightarrow [0,\infty )\) be a function that is not weakly amenable. Then \(f(a)=0\) for some \(a>0\). Let \(d:\mathbb{R} \times \mathbb{R} \rightarrow [0,\infty )\) be an ultrametric defined by
To show that \(f \notin \mathcal{UW}^{\ast}\), suppose not. Then there is a metric \(d'\) on \(\mathbb{R}\) such that \(f \circ d\) is a wdistance on \((\mathbb{R},d')\). Since \(f \circ d(0,1)=0<\delta \) and \(f \circ d(0,2)=0<\delta \) for any positive real number Î´, by (W3), we obtain that \(d'(1,2)<\epsilon \) for any positive real number Ïµ, which implies that \(d'(1,2)=0\). This is impossible. So, \(f \notin \mathcal{UW}^{\ast}\).â€ƒâ–¡
From the definition, it is easy to see that \(\mathcal{UW}\) and \(\mathcal{BW}^{\ast}\) are subsets of \(\mathcal{UW}^{\ast}\). Thus, all functions in \(\mathcal{UW}\) and \(\mathcal{BW}^{\ast}\) are weakly amenable by PropositionÂ 3.1 as well.
Before we start the characterization of \(\mathcal{UW}^{\ast}\), let us recall the following result on ultrametricmetricpreserving functions from [18].
Definition 9
Let \(f:[0,\infty ) \rightarrow [0,\infty )\). If \(f \circ d\) is a metric on X for all ultrametric d onÂ X, then we say that f is ultrametricmetricpreserving. We denote by \(\mathcal{UM}\), the set of all ultrametricmetricpreserving functions.
We denote the set
by Î”. We also denote the set
by \(\Delta _{\infty}\).
Theorem 3.2
[18, TheoremÂ 19] Let \(f:[0,\infty ) \rightarrow [0,\infty )\). Then \(f \in \mathcal{UM}\) if and only if f is amenable and satisfies one of the following equivalent conditions:

(i)
\((f(x), f(y), f(z)) \in \Delta \) for all \((x,y,z) \in \Delta _{\infty}\);

(ii)
If \(0 \leq x \leq y\), then \(f(x) \leq 2f(y)\).
Now, we are ready to state the characterization of \(\mathcal{UW}^{\ast}\) in the following theorem.
Theorem 3.3
Let \(f:[0,\infty ) \rightarrow [0, \infty )\) be weakly amenable. The following statements are equivalent:

(i)
\(f \in \mathcal{UW}^{\ast}\);

(ii)
\((f(a),f(b),f(c)) \in \Delta \) for all \((a,b,c) \in \Delta _{\infty}\);

(iii)
If \(0 \leq a \leq b\), then \(f(a) \leq 2f(b)\).
Proof
First, we show that (i) implies (ii). Assume that \(f \in \mathcal{UW}^{\ast}\). By CorollaryÂ 2.3, \(f_{0} \in \mathcal{UM}\). To show that f satisfies (ii), let \((a, b, c) \in \Delta _{\infty}\). If \(a, b, c \neq 0\), then \((f(a), f(b), f(c)) = (f_{0}(a), f_{0}(b), f_{0}(c)) \in \Delta \) by TheoremÂ 3.2. Next, consider the case where a, b, or c is zero. Without loss of generality, we may assume that \(c=0\). Thus, \((a, b, 0) \in \Delta _{\infty}\), which implies that \(a=b\). So, \(f(a) \leq f(a)+f(c)=f(b)+f(c)\) and \(f(b) \leq f(b)+f(c)=f(a)+f(c)\). In order to show that \(f(c) \leq f(a)+f(b)\), let \(X:=\{0, a\}\) and d be the usual metric on \(\mathbb{R}\). Then d is an ultrametric on X. Since \(f \in \mathcal{UW}^{\ast}\), there exists a metric \(d'\) on X such that \(f \circ d\) is a wdistance on \((X, d')\). By the triangle inequality, \(f(c)=f \circ d(0,0) \leq f \circ d(0,a)+f \circ d(a,0)=f(a)+f(b)\). Hence, (ii) holds.
It is obvious that (ii) implies (iii). To show that (iii) implies (i), assume that \(f(a) \leq 2 f(b)\) for all \(a \leq b\). Then \(f_{0} \in \mathcal{UM}\) by TheoremÂ 3.2. Let d be an ultrametric on X. Since \(f_{0} \in \mathcal{UM}\), we have that \(d':=f_{0} \circ d\) is a metric on X. By the assumption, we have that \(\frac{1}{2} f \circ d(x,x)=\frac{1}{2}f(0) \leq f \circ d(x,y)=d'(x,y)\) for all distinct elements \(x, y \in X\). Therefore, \(f \circ d\) is a wdistance on \((X, d')\) by LemmaÂ 2.4.â€ƒâ–¡
Corollary 3.4
All functions in \(\mathcal{UW}^{\ast}\) are weakly separated from 0.
Proof
Let \(f \in \mathcal{UW}^{\ast}\). By PropositionÂ 3.1, f is weakly amenable. By TheoremÂ 3.3, for all \(a,b \geq 0\), if \(a \leq b\), then \(f(a) \leq 2f(b)\). To show that f is weakly separated from 0, let \(\epsilon >0\) be arbitrary. Since f is weakly amenable, we have that \(f(\epsilon )>0\). Since \(f(\epsilon ) \leq 2f(t)\) for all \(t \geq \epsilon \),
Hence, f is weakly separated from 0.â€ƒâ–¡
4 Characterization of \(\mathcal{UW}\)
From the previous section, we know that \(\mathcal{UW} \subseteq \mathcal{UW}^{\ast}\) and all functions in \(\mathcal{UW}^{\ast}\) are weakly amenable. Then, in order to characterize \(\mathcal{UW}\), we can consider only weakly amenable functions.
Theorem 4.1
Assume that \(f:[0,\infty ) \rightarrow [0,\infty )\) is weakly amenable. We have that the following statements are equivalent:

(i)
\(f \in \mathcal{UW}\);

(ii)
f is lower semicontinuous and \((f(a),f(b),f(c)) \in \Delta \) for all \((a,b,c) \in \Delta _{\infty}\);

(iii)
f is lower semicontinuous and \(f(a) \leq 2f(b)\) whenever \(0 \leq a \leq b\).
Proof
By TheoremÂ 3.3, (ii) and (iii) are equivalent. So, it is enough to show that (i) implies (ii), and (iii) implies (i). First, assume that \(f \in \mathcal{UW}\). Since \(f \in \mathcal{UW} \subseteq \mathcal{UW}^{\ast}\), by TheoremÂ 3.3, we have that for all \((a,b,c) \in \Delta _{\infty}\), \((f(a),f(b),f(c)) \in \Delta \). Next, we show that f is a lower semicontinuous function. Define an ultrametric d on \(\mathbb{R}\) by
Since \(f \in \mathcal{UW}\), \(f \circ d\) is a wdistance on \((X,d)\). Since \(f(x)=f \circ d(0,x)\) for all \(x \geq 0\), we can conclude that f is lower semicontinuous by property (W2) of \(f \circ d\).
To show that (iii) implies (i), assume (iii). Then \(f_{0}(a) \leq 2f_{0}(b)\) if \(0 \leq a \leq b\), which implies that \(f_{0} \in \mathcal{UM}\) by TheoremÂ 3.2. Let d be an ultrametric on a nonempty set X. Then \(f_{0} \circ d\) is a metric on X. Since d is continuous on \((X,d)\) and f is lower semicontinuous, we obtain that \(f \circ d\) satisfies (W2). By LemmaÂ 2.2, since \(f_{0} \circ d\) is a metric on X and \(f(0) \leq 2 \inf f([0,\infty ))\), \(f \circ d\) satisfies the triangle inequality, so (W1) holds for \(f \circ d\). Lastly, we show that (W3) holds for \(f \circ d\). Let \(\epsilon >0\) be arbitrary and \(\delta _{\epsilon}\) be any positive real number less than \(\inf \{f(t):t \geq \epsilon \}\). Since \(f_{0} \in \mathcal{UM} \subseteq \mathcal{UW}^{\ast}\), \(f_{0}\) is weakly separated from 0, which implies that \(\delta _{\epsilon}>0\). Now, let \(x, y, z \in X\) such that \(f \circ d(z,x) \leq \delta _{\epsilon}\) and \(f \circ d(z,y) \leq \delta _{\epsilon}\). Then \(f(d(z,x)), f(d(z,y))<\inf \{f(t):t \geq \epsilon \}\). Thus, \(d(z,x), d(z,y)<\epsilon \), which imply that \(d(x,y) \leq \max \{d(z,x), d(z,y)\}<\epsilon \).â€ƒâ–¡
5 Characterization of \(\mathcal{BW}^{\ast}\)
Let us recall the characterization of \(\mathcal{BM}\) established by Khemaratchatakumthorn and Pongsriiam [10].
Definition 10
Let \(f:[0,\infty ) \rightarrow [0,\infty )\). We say that f is tightly bounded if one of the following equivalent conditions holds:

(i)
There exists \(v>0\) such that \(f(t) \in [v,2v]\) for all \(t>0\);

(ii)
\(2 \inf \{f(t):t>0\} \geq \sup \{f(t):t>0\}>0\).
Theorem 5.1
[10, TheoremÂ 24] A function \(f:[0,\infty ) \rightarrow [0,\infty )\) is a member of \(\mathcal{BM}\) if and only if f is tightly bounded and amenable.
We use the previous theorem to obtain a characterization of \(\mathcal{BW}^{\ast}\) as follows.
Theorem 5.2
Let \(f:[0,\infty ) \rightarrow [0,\infty )\). Then \(f \in \mathcal{BW}^{\ast}\) if and only if f is tightly bounded and \(f(0) \leq 2 \inf f([0,\infty ))\).
Proof
Assume that \(f \in \mathcal{BW}^{\ast}\). Since \(f \in \mathcal{BW}^{\ast }\subseteq \mathcal{UW}^{\ast}\), we have that f is weakly amenable by PropositionÂ 3.1. Since \(f \in \mathcal{BW}^{\ast}\), \(f_{0} \in \mathcal{BM}\) by CorollaryÂ 2.3. By TheoremÂ 5.1, \(f_{0}\) is tightly bounded, which implies that f is tightly bounded as well. Since \(f \in \mathcal{UW}^{\ast}\), \(f(0) \leq 2f(t)\) for all \(t \geq 0\) by TheoremÂ 3.3. Hence, \(f(0) \leq 2 \inf f([0,\infty ))\).
Next, we assume that f is tightly bounded and \(f(0) \leq 2 \inf f([0,\infty ))\). Since f is tightly bounded, \(f_{0}\) is amenable and tightly bounded, so \(f_{0} \in \mathcal{BM}\) by TheoremÂ 5.1. Let d be a bmetric on a set X and \(d'=f_{0} \circ d\). Since \(f_{0} \in \mathcal{BM}\), \(d'\) is a metric on X. Since \(\frac{1}{2}f \circ d(x,x)=\frac{1}{2}f(0) \leq \inf f([0,\infty )) \leq f \circ d(x,y) = d'(x,y)\) for all distinct elements \(x, y \in X\), we have that \(f \circ d\) is a wdistance on \((X,d')\) by LemmaÂ 2.4.â€ƒâ–¡
6 The relations between all sets of functions
In our previous work [20], we introduced the following notions related to wdistances and metrics.

(i)
Let \(\mathcal{W}\) denote the set of all function \(f:[0,\infty ) \rightarrow [0,\infty )\) such that for all metric d on a nonempty set X and any wdistance p on \((X,d)\), \(f \circ p\) is a wdistance on \((X,d)\).

(ii)
Let \(\mathcal{W}^{\ast}\) denote the set of all function \(f:[0,\infty ) \rightarrow [0,\infty )\) such that for all metric d on a nonempty set X and any wdistance p on \((X,d)\), there is a metric \(d'\) on X such that \(f \circ p\) is a wdistance on \((X,d')\).

(iii)
Let \(\mathcal{MW}\) denote the set of all function \(f:[0,\infty ) \rightarrow [0,\infty )\) such that for all metric d on a nonempty set X, \(f \circ d\) is a wdistance on \((X,d)\).

(iv)
Let \(\mathcal{MW}^{\ast}\) denote the set of all function \(f:[0,\infty ) \rightarrow [0,\infty )\) such that for all metricÂ d on a nonempty set X, there is a metric \(d'\) on X such that \(f \circ d\) is a wdistance on \((X,d')\).
The characterizations of functions in the classes defined above were also given as follows.
Theorem 6.1
[20, TheoremÂ 3.3â€“3.7] Assume that \(f:[0,\infty ) \rightarrow [0,\infty )\) is a weakly amenable function.

(i)
\(f \in \mathcal{MW}^{\ast}\) if and only if \((f(x),f(y),f(z)) \in \Delta \) for all \((x,y,z) \in \Delta \).

(ii)
\(f \in \mathcal{MW}\) if and only if f is lower semicontinuous and \((f(x),f(y),f(z)) \in \Delta \) for all \((x,y,z) \in \Delta \).

(iii)
\(f \in \mathcal{W}\) if and only if f is nondecreasing, lower semicontinuous, and \(f(x+y) \leq f(x)+f(y)\) for all \(x,y \in [0,\infty )\).

(iv)
If \(\inf_{x \in (0,\infty )} f(x)>0\), then \(f \in \mathcal{W}^{\ast}\) if and only if for all \(x,y,z \geq 0\) with \(x \leq y+z\), \(f(x) \leq f(y)+f(z)\).

(v)
If \(\inf_{x \in (0,\infty )} f(x)=0\), then \(f \in \mathcal{W}^{\ast}\) if and only if f is nondecreasing, lower semicontinuous, and \(f(x+y) \leq f(x)+f(y)\) for all \(x,y \in [0,\infty )\).
From the definitions and the facts that every ultrametric is a metric, and every metric is a bmetric, we obtain the following inclusions: \(\mathcal{BW}^{\ast }\subseteq \mathcal{MW}^{\ast }\subseteq \mathcal{UW}^{\ast}\) and \(\mathcal{MW} \subseteq \mathcal{UW} \subseteq \mathcal{UW}^{\ast}\). So, we can extend the diagram showing the relations between \(\mathcal{W}\), \(\mathcal{W}^{\ast}\) \(\mathcal{MW}\), and \(\mathcal{MW}^{\ast}\) in [20, Sect.Â 3.6] by adding \(\mathcal{UW}^{\ast}\), \(\mathcal{UW}\), and \(\mathcal{BW}^{\ast}\) to the diagram.
In the diagram, if there is a directed path from \(f \in \mathcal{A}\) to \(f \in \mathcal{B}\), then \(\mathcal{A} \subseteq \mathcal{B}\). The following examples show that if there is no directed path from \(f \in \mathcal{A}\) to \(f \in \mathcal{B}\) then \(\mathcal{A} \nsubseteq \mathcal{B}\).
Example 1
Define \(f:[0,\infty ) \rightarrow [0,\infty )\) by \(f(t):=t\) for all \(t \in [0,\infty )\). Then f is amenable, nondecreasing, lower semicontinuous and \(f(x+y) \leq f(x)+f(y)\) for all \(x,y \in [0,\infty )\). Thus, \(f \in \mathcal{M} \cap \mathcal{W}\) by TheoremÂ 1.1 and TheoremÂ 6.1. On the other hand, since f is not tightly bounded, \(f \notin \mathcal{BW}^{\ast}\) by TheoremÂ 5.2. Hence, \(\mathcal{M} \cap \mathcal{W} \nsubseteq \mathcal{BW}^{\ast}\). We can also conclude that \(\mathcal{W}\), \(\mathcal{M}\), \(\mathcal{W}^{\ast}\), \(\mathcal{MW}\), \(\mathcal{MW}^{\ast}\), \(\mathcal{UW}\), and \(\mathcal{UW}^{\ast}\) are not contained in \(\mathcal{BW}^{\ast}\).
Example 2
Define \(f:[0,\infty ) \rightarrow [0,\infty )\) by
Since f is tightly bounded and \(f(0) \leq 2 \inf f([0, \infty ))\), \(f \in \mathcal{BW}^{\ast}\) by TheoremÂ 5.2. Since f is not amenable, by TheoremÂ 1.1, we have that \(f \notin \mathcal{M}\). Moreover, since \(2 \leq 0+4\) but \(f(2)>f(0)+f(4)\), by TheoremÂ 6.1, we have that \(f \notin \mathcal{W}^{\ast}\). Lastly, since \(f^{1}((5,\infty ))=\{2\}\) is not an open set in \([0,\infty )\), we obtain that f is not a lower semicontinuous function. By TheoremÂ 4.1, \(f \notin \mathcal{UW}\). Hence, \(\mathcal{BW}^{\ast }\nsubseteq \mathcal{M} \cup \mathcal{W}^{\ast } \cup \mathcal{UW}\). We can also conclude that \(\mathcal{BW}^{\ast}\) is not contained in \(\mathcal{UW}\), \(\mathcal{M}\), \(\mathcal{W}^{\ast}\), \(\mathcal{MW}\), and \(\mathcal{W}\).
Example 3
Define \(f:[0,\infty ) \rightarrow [0,\infty )\) by
By TheoremÂ 5.2, it is obvious that \(f \in \mathcal{BW}^{\ast}\). To show that \(f \in \mathcal{W}^{\ast}\), let a, b, c be nonnegative real numbers such that \(a \leq b+c\). If \(b>0\) and \(c>0\), then \(f(b)+f(c) \geq 1+1 = 2 \geq f(a)\). Now, assume that \(b=0\) or \(c=0\). Without loss of generality, we may assume that \(b=0\). Then \(a \leq c\). Since f is nondecreasing, \(f(a) \leq f(c) \leq f(b)+f(c)\). Therefore, \(f \in \mathcal{W}^{\ast}\) by TheoremÂ 6.1. Since \(f(a) \leq f(b)+f(c)\) for all \(a,b,c \geq 0\) with \(a \leq b+c\), we have that \((f(x),f(y),f(z)) \in \Delta \) for all \((x,y,z) \in \Delta \). Therefore, \(f \in \mathcal{M}\) by TheoremÂ 1.1. Lastly, since \(f^{1}((1,\infty ))=[1,\infty )\) is not an open set in \([0,\infty )\), we obtain that f is not a lower semicontinuous function. By TheoremÂ 4.1, \(f \notin \mathcal{UW}\). Hence, \(\mathcal{BW}^{\ast }\cap \mathcal{M} \cap \mathcal{W}^{\ast } \nsubseteq \mathcal{UW}\). We can also conclude that \(\mathcal{BW}^{\ast}\), \(\mathcal{M}\), \(\mathcal{W}^{\ast}\), \(\mathcal{MW}^{\ast}\), and \(\mathcal{UW}^{\ast}\) are not contained in \(\mathcal{UW}\).
Example 4
Define \(f:[0,\infty ) \rightarrow [0,\infty )\) by
It is easy to see that f is lower semicontinuous. Moreover, if \(0 \leq a \leq b\), then \(f(a) \leq f(b) \leq 2f(b)\). Thus, \(f \in \mathcal{UW}\) by TheoremÂ 4.1. However, since there is \((1,1,2) \in \Delta \) such that \((f(1),f(1),f(2))=(1,1,3) \notin \Delta \), by TheoremÂ 6.1, we have that \(f \notin \mathcal{MW}^{\ast}\). Hence, \(\mathcal{UW} \nsubseteq \mathcal{MW}^{\ast}\). We can also conclude that \(\mathcal{UW}\) is not contained in \(\mathcal{W}\), \(\mathcal{BW}^{\ast}\), \(\mathcal{M}\), \(\mathcal{W}^{\ast}\), and \(\mathcal{MW}\).
7 Local radial contractions and the collection \(\mathcal{S}\)
Recall that \(\mathcal{S}\) is the set of all functions \(f:[0,\infty ) \rightarrow [0,\infty )\) satisfying one of the following conditions:

(i)
f is weakly separated from 0;

(ii)
\(f(0)>0\);

(iii)
\(\liminf_{t \rightarrow 0} \frac{f(t)}{t}=0\).
By CorollaryÂ 3.4, we know that \(\mathcal{UW}^{\ast }\subseteq \mathcal{S}\). From [17, PropositionÂ 20], we also know that \(\mathcal{T} \subseteq \mathcal{M}\). Therefore, from Sect.Â 6, we have that \(\mathcal{T} \subseteq \mathcal{M} \subseteq \mathcal{UW}^{\ast } \subseteq \mathcal{S}\). In this section, we show that \(\mathcal{T}\) in TheoremÂ 1.2 and \(\mathcal{M}\) in TheoremÂ 1.3 can be replaced by \(\mathcal{S}\). Moreover, \(\mathcal{S}\) is the largest set of functions from \([0,\infty )\) to \([0,\infty )\) that makes the theorems hold.
First, notice that if the function g in TheoremÂ 1.3 is continuous, then \(\mathcal{M}\) can be replaced by any set of functions from \([0,\infty )\) to \([0,\infty )\) as shown in the following proposition.
Proposition 7.1
Let \(g:X \rightarrow X\) be a continuous function, where X is a metric space with a metric d. Then g is a local radial contraction if there are \(f:[0,\infty ) \rightarrow [0, \infty )\) and \(k>0\) satisfying the following two conditions:

(i)
For each \(x \in X\), there is \(\delta _{x}>0\) such that \(f \circ d(g(x),g(u)) \leq k \cdot d(x,u)\) for all \(u \in X\) with \(d(x,u)<\delta _{x}\);

(ii)
\(\liminf_{t \rightarrow 0} \frac{f(t)}{t}>k\).
Proof
Let Î± be a real number such that \(k<\alpha <\liminf_{t \rightarrow 0} \frac{f(t)}{t}\). Then there exists \(\delta >0\) such that \(\alpha t \leq f(t)\) for all \(t \in [0,\delta )\). Let \(x \in X\) be arbitrary. By (i) and since g is continuous, there is \(\delta _{x}>0\) such that for every \(u \in X\), \(f \circ d(g(x),g(u)) \leq k \cdot d(x,u)\) and \(d(g(x),g(u))<\delta \) whenever \(d(x,u)<\delta _{x}\). Let \(u \in X\) be such that \(d(x,u)<\delta _{x}\). Since \(d(g(x),g(u))<\delta \), we have that
Thus, \(d(g(x),g(u)) \leq \frac{k}{\alpha} \cdot d(x,u)\). Hence, g is a local radial contraction.â€ƒâ–¡
If g is not continuous, then we need the following lemma.
Lemma 7.2
Let \(g:X \rightarrow X\), where X is a metric space with a metric d. Then g is continuous if there are a function \(f:[0,\infty ) \rightarrow [0, \infty )\) that is weakly separated from 0 and \(k>0\) satisfying condition (i) in PropositionÂ 7.1.
Proof
Let \(x \in X\) and \(\epsilon >0\) be arbitrary. Let \(\alpha :=\inf \{f(t) : t>\frac{\epsilon}{2}\}\). Since f is weakly separated from 0, we have that \(\alpha >0\). Choose \(\delta :=\min (\delta _{x}, \frac{\alpha}{k})>0\) and let \(u \in X\) be such that \(d(x,u)<\delta \). Then, by (i),
Therefore, \(d(g(x), g(u)) \leq \frac{\epsilon}{2} < \epsilon \).â€ƒâ–¡
Now, we obtain a generalization of TheoremÂ 1.3 as follows.
Theorem 7.3
Let \(g:X \rightarrow X\), where X is a metric space with a metric d. Then g is a local radial contraction if there are \(f \in \mathcal{S}\) and \(k>0\) satisfying the following two conditions:

(i)
For each \(x \in X\), there is \(\delta _{x}>0\) such that \(f \circ d(g(x),g(u)) \leq k \cdot d(x,u)\) for all \(u \in X\) with \(d(x,u)<\delta _{x}\);

(ii)
\(\liminf_{t \rightarrow 0} \frac{f(t)}{t}>k\).
Proof
From (i) and (ii), we know that \(f(0)=0\) and \(\liminf_{t \rightarrow 0} \frac{f(t)}{t}>0\), respectively. Since \(f \in \mathcal{S}\), we can conclude that f is weakly separated from 0. By LemmaÂ 7.2, g is continuous. It follows that g is a local radial contraction by PropositionÂ 7.1.â€ƒâ–¡
For a function \(f: [0, \infty ) \rightarrow [0, \infty )\), if there are \(k, \gamma >0\) and \(c \in (0,1)\) such that \(f(ct) \geq kt\) for all \(t \in (0, \gamma )\), then
Thus, we obtain a generalization of TheoremÂ 1.2 as follows.
Theorem 7.4
Let \(g:X \rightarrow X\), where X is a metric space with a metric d. Then g is a local radial contraction if there are \(f \in \mathcal{S}\) and \(k>0\) satisfying the following two conditions:

(i)
For each \(x \in X\), there is \(\delta _{x} > 0\) such that for every \(f \circ d(g(x),g(u)) \leq k \cdot d(x,u)\) for all \(u \in X\) with \(d(x,u)<\delta _{x}\);

(ii)
There exist \(c \in (0,1)\) and \(\gamma >0\) such that \(f(ct) \geq kt\) for all \(t \in (0,\gamma )\).
The following proposition tells us that \(\mathcal{S}\) is the largest set that makes TheoremÂ 7.3 and TheoremÂ 7.4 hold.
Proposition 7.5
Let \(f:[0,\infty ) \rightarrow [0,\infty )\) be a function that is not weakly separated from 0, \(\liminf_{t \rightarrow 0}\frac{f(t)}{t}>0\) and \(f(0)=0\). Then there exist a metric space \((X,d)\), \(k>0\), and \(g:X \rightarrow X\) satisfying conditions (i) and (ii) in TheoremÂ 7.3and TheoremÂ 7.4, but g is not continuous, which also implies that g is not a local radial contraction.
Proof
Let \(\alpha :=\liminf_{t \rightarrow 0} \frac{f(t)}{t}>0\). Since f is not weakly separated from 0, there exists \(\delta >0\) such that \(\inf \{f(t) : t>\delta \}=0\). Then there exists a sequence \((t_{n})_{n \in \mathbb{N}}\) in \((\delta , \infty )\) such that \(f(t_{n}) \leq \frac{\alpha}{2n}\) for all \(n \in \mathbb{N}\). Let \(N \in \mathbb{N}\) be such that \(\frac{1}{N}<\delta \). Let d be the usual Euclidean metric on \(\mathbb{R}\), \(X:=\{0\} \cup H \cup T\), where \(H:=\{\frac{1}{n} : n \in \mathbb{N}\ \text{and}\ n \geq N\}\) and \(T:=\{t_{n} : n \in \mathbb{N}\ \text{and}\ n \geq N\}\). Notice that \(H \subseteq (0,\delta )\) and \(T \subseteq (\delta ,\infty )\). Define \(g:X \rightarrow X\) by
Since \(\liminf_{n \rightarrow \infty} g(\frac{1}{n})=\liminf_{n \rightarrow \infty} t_{n} \geq \delta > 0 = g(0)\), we have that g is not continuous atÂ 0. Thus, g is not a local radial contraction. Let \(k:=\frac{\alpha}{2}>0\). It is clear that condition (ii) in TheoremÂ 7.3 holds. To show that condition (ii) in TheoremÂ 7.4 holds, choose \(c:=\frac{3}{4} \in (0,1)\). Since \(\frac{k}{c}<\liminf_{t \rightarrow 0} \frac{f(t)}{t}\), there exists \(\gamma >0\) such that \(\frac{kt}{c} \leq f(t)\) for all \(t \in (0,\gamma )\). Thus, \(kt \leq f(ct)\) for all \(t \in (0,\frac{\gamma}{c} )\). Then (ii) in TheoremÂ 7.4 holds. To show that (i) holds, let \(x \in X\) be arbitrary.
CaseÂ 1 (\(x=0\)): Choose \(\delta _{x}:=\delta \). Let \(u \in X\) with \(d(x,u)<\delta _{x}\). Then \(u=0\) or \(u \in H\). If \(u=0\), then \(f \circ d(g(x),g(u))=f(0)=0= k \cdot d(x,u)\). Now, assume that \(u \in H\). Thus, \(u=\frac{1}{n}\) for some \(n \in \mathbb{N}\) with \(n \geq N\). Thus,
CaseÂ 2 (\(x \in H\)): Then x is an isolated point in X. Thus, there is \(\delta _{x}>0\) such that for all \(u \in X\) if \(d(x,u)<\delta _{x}\), then \(u=x\), so
CaseÂ 3 (\(x \in T\)): Choose \(\delta _{x}:=x\delta >0\). Let \(u \in X\) with \(d(x,u)<\delta _{x}\). Then \(u \geq xd(x,u)>x\delta _{x}=\delta \). Thus, \(u \in T\). So,
Thus, condition (i) holds.â€ƒâ–¡
In [13] and [17], the authors used the following two results to obtain fixed point theorems for a function g satisfying the assumptions in TheoremÂ 1.2.
Lemma 7.6
[7, TheoremÂ 1] Let X be a complete metric space and \(g:X \rightarrow X\) be a local radial contraction. Suppose that for some \(y_{0} \in X\) the points \(y_{0}\) and \(g(y_{0})\) are joined by a path of finite length. Then g has a unique fixed point \(x_{0} \in X\), and \(\lim_{n \rightarrow \infty} g^{n}(x)=x_{0}\) for all \(x \in X\).
Lemma 7.7
[25, PropositionÂ 2.4] Let X be any topological space, \(x_{0} \in X\), and \(g:X \rightarrow X\). If there exists \(N \in \mathbb{N}\) such that \(\lim_{n \rightarrow \infty} (g^{N} )^{n}(x)=x_{0}\) for all \(x \in X\), then \(\lim_{n \rightarrow \infty} g^{n}(x)=x_{0}\) for all \(x \in X\).
By the same argument shown in [13] and [17], we use TheoremÂ 7.3 and TheoremÂ 7.4 with LemmaÂ 7.6 and LemmaÂ 7.7 to obtain the following generalization of [13, TheoremÂ 2.8] and [17, TheoremÂ 26].
Theorem 7.8
Let \(g:X \rightarrow X\), where X is a complete metric space such that any two points in X can be joined by a path of finite length. Assume that there exists \(N \in \mathbb{N}\) such that \(g^{N}\) satisfies the assumptions in TheoremÂ 7.3or the assumptions in TheoremÂ 7.4. Then g has a unique fixed point \(x_{0} \in X\), and \(\lim_{n \rightarrow \infty} g^{n}(x)=x_{0}\) for all \(x \in X\).
The following example shows that there is a metric space \((X,d)\), a function \(g:X \rightarrow X\), a constant \(k>0\), and a function \(f \in \mathcal{S}\) satisfying (i) and (ii) in TheoremÂ 7.3, but \(f \notin \mathcal{M}\). So, TheoremÂ 7.8 is a generalization of [13, TheoremÂ 2.8] and [17, TheoremÂ 26].
Example 5
Define \(f:[0, \infty ) \rightarrow [0, \infty )\) by
It is clear that f is weakly separated from 0. So, \(f \in \mathcal{S}\). On the other hand, since \((1,1,2) \in \Delta \) but \((f(1),f(1),f(2))=(1,1,4) \notin \Delta \), we have that \(f \notin \mathcal{M}\) by TheoremÂ 1.1. In particular, if we let \(X:=[0, \infty )\), \(k:=\frac{1}{2}\), \(g: X \rightarrow X\) defined by \(g(x):=\frac{1}{2}x\), and \(\delta _{x}:=1\) for all \(x \in X\), then (i) andÂ (ii) in TheoremÂ 7.3 hold.
8 Setvalued contractions
In this section, we investigate setvalued mappings and establish a theorem similar to TheoremÂ 7.3 and TheoremÂ 7.4 in the same way shown in [13, Sect.Â 3] and [17, Sect.Â 4].
Let \((X,d)\) be a metric space. We denote the family of nonempty, closed, and bounded subsets of X by \(\mathcal{CB}(X)\). For \(A, B \in \mathcal{CB}(X)\), the usual Hausdorff distance \(H(A,B)\) is defined by
where \(d(x,Y):=\inf_{y \in Y} d(x,y)\) for \(x \in X\) and \(Y \in \mathcal{CB}(X)\).
Definition 11
Let \(T:X \rightarrow \mathcal{CB}(X)\), where X is a metric space with a metric d.

(i)
If there is \(k \in (0,1)\) such that \(H(T(x),T(y)) \leq k \cdot d(x,y)\) for all \(x,y \in X\), then we say that T is a multivalued kcontraction mapping.

(ii)
Let \(\epsilon >0\) and \(k \in (0,1)\). If \(H(T(x),T(y)) \leq k \cdot d(x,y)\) for all \(x,y \in X\) with \(d(x,y)<\epsilon \), then we say that T is an \((\epsilon , k)\)uniform local multivalued contraction.

(iii)
A fixed point of T is a point \(x \in X\) such that \(x \in T(x)\).
Kirk and Shahzad gave a variation of TheoremÂ 1.2 for functions from X to \(\mathcal{CB}(X)\) as follows.
Theorem 8.1
[13, TheoremÂ 3.4] Let \(T:X \rightarrow \mathcal{CB}(X)\), where X is a metric space with a metric d. Assume that there are \(f \in \mathcal{T}\) and \(k>0\) such that the following two conditions hold:

(i)
\(f \circ H (T(x), T(y)) \leq k \cdot d(x,y)\) for all \(x,y \in X\);

(ii)
There exist \(\gamma >0\) and \(c \in (0,1)\) such that \(f(ct) \geq kt\) for all \(t \in (0,\gamma )\).
Then there exists \(\delta >0\) such that T is an \((\epsilon ,c)\)uniform local multivalued contraction for all \(\epsilon \in (0, \delta )\).
Similar to the previous section, Pongsriiam and Termwuttipong also extended TheoremÂ 8.1 by replacing \(\mathcal{T}\) with \(\mathcal{M}\) in [17, CorollaryÂ 31]. Additionally, they also gave another similar result as follows.
Theorem 8.2
[17, TheoremÂ 30] Let \(T:X \rightarrow \mathcal{CB}(X)\), where X is a metric space with a metric d. Then there exist \(\delta >0\) and \(c \in (0,1)\) such that T is an \((\epsilon ,c)\)uniform local multivalued contraction for all \(\epsilon \in (0, \delta )\) if there are \(f \in \mathcal{M}\) and \(k>0\) satisfying the following two conditions:

(i)
\(f \circ H (T(x), T(y)) \leq k \cdot d(x,y)\) for all \(x,y \in X\);

(ii)
\(\liminf_{t \rightarrow 0} \frac{f(t)}{t}>k\).
In this article, we can extend TheoremÂ 8.1 by replacing \(\mathcal{T}\) with \(\mathcal{S}\) as follows.
Theorem 8.3
Let \(T:X \rightarrow \mathcal{CB}(X)\), where X is a metric space with a metric d. Assume that there are \(f \in \mathcal{S}\) and \(k>0\) such that the following two conditions hold:

(i)
\(f \circ H (T(x), T(y)) \leq k \cdot d(x,y)\) for all \(x,y \in X\);

(ii)
There exist \(\gamma >0\) and \(c \in (0,1)\) such that \(f(ct) \geq kt\) for all \(t \in (0,\gamma )\).
Then there exists \(\delta >0\) such that T is an \((\epsilon ,c)\)uniform local multivalued contraction for all \(\epsilon \in (0, \delta )\).
Proof
From (i), we know that \(f(0)=0\). By (ii),
Therefore, f is weakly separated from 0 since \(f \in \mathcal{S}\). Let \(\delta :=\frac{1}{k} \cdot \inf \{f(t):t \geq c\gamma \}>0\). Let \(\epsilon \in (0, \delta )\) be arbitrary. It follows that \(f(t) \geq k \delta > k \epsilon \) for all \(t \geq c\gamma \). Let \(x, y \in X\) be such that \(d(x,y)<\epsilon \). By (i), we have that \(f(H(T(x),T(y))) \leq k \cdot d(x,y)< k\epsilon \), which implies that \(H(T(x),T(y)) < c\gamma \). By condition (ii), we know that \(\frac{kt}{c} \leq f(t)\) for all \(t \in [0,c\gamma )\). Therefore,
Hence, \(H(T(x),T(y)) \leq c \cdot d(x,y)\). So, T is an \((\epsilon , c)\)uniform local multivalued contraction.â€ƒâ–¡
We also obtain a generalization of TheoremÂ 8.2 as follows.
Theorem 8.4
Let \(T:X \rightarrow \mathcal{CB}(X)\), where X is a metric space with a metric d. Then there exist \(\delta >0\) and \(c \in (0,1)\) such that T is an \((\epsilon ,c)\)uniform local multivalued contraction for all \(\epsilon \in (0, \delta )\) if there are \(f \in \mathcal{S}\) and \(k>0\) satisfying the following two conditions:

(i)
\(f \circ H (T(x), T(y)) \leq k \cdot d(x,y)\) for all \(x,y \in X\);

(ii)
\(\liminf_{t \rightarrow 0} \frac{f(t)}{t}>k\).
Proof
It is enough to show that condition (ii) in this theorem implies condition (ii) in TheoremÂ 8.3. Assume that \(\liminf_{t \rightarrow 0} \frac{f(t)}{t}>k\). Then \(\liminf_{t \rightarrow 0} \frac{f(t)}{kt}>1\). Choose \(c \in (0,1)\) such that \(1<\frac{1}{c}<\liminf_{t \rightarrow 0} \frac{f(t)}{kt}\). Thus, there exists \(\gamma >0\) such that \(\frac{1}{c} \leq \frac{f(t)}{kt}\) for all \(t \in (0,\gamma )\). Equivalently, \(f(ct) \geq kt\) for all \(t \in (0, \frac{\gamma}{c} )\).â€ƒâ–¡
To illustrate that TheoremÂ 8.4 is a generalization of TheoremÂ 8.2, we provide the following example showing that there are a metric space \((X,d)\), a function \(T:X \rightarrow \mathcal{CB}(X)\), a constant \(k>0\), and a function \(f \in \mathcal{S}\) satisfying (i) and (ii) in TheoremÂ 8.4, but \(f \notin \mathcal{M}\).
Example 6
Let \(f:[0,\infty ) \rightarrow [0,\infty )\) be as in ExampleÂ 5. Then \(f \in \mathcal{S} \smallsetminus \mathcal{M}\). Let \(X:=[0,1]\), \(k:=\frac{1}{2}\), \(T:X \rightarrow \mathcal{CB}(X)\) defined by \(T(x):=[0,\frac{x}{2}]\). Notice that \(f \circ H(T(x),T(y))=\frac{xy}{2} = kxy\) for all \(x,y \in X\) and \(\liminf_{t \rightarrow 0} \frac{f(t)}{t}=1>k\). Hence, (i) and (ii) in TheoremÂ 8.4 hold.
9 Conclusions
In this research, we define new classes of functions, which are \(\mathcal{UW}\), \(\mathcal{UW}^{\ast}\), \(\mathcal{WU}\), \(\mathcal{BW}^{\ast}\), and \(\mathcal{WB}\), based on new variations of metricpreserving functions. We give necessary and sufficient conditions for functions to be in these classes in TheoremÂ 2.1, TheoremÂ 3.3, TheoremÂ 4.1, and TheoremÂ 5.2. We learn that all functions in the classes are weakly separated from 0. In Sect.Â 7, by considering the class of functions that are weakly separated from 0, we can extend fixed point theorems, which were originally provided by Kirk and Shahzad [13] and were later extended by Pongsriiam and Termwuttipong [17]. We also investigate setvalued mappings in Sect.Â 8 and obtain results similar to [13] and [17].
Data Availability
No datasets were generated or analysed during the current study.
References
Bakhtin, I.A.: The contraction mapping principle in almost metric space. Funct. Anal. 30, 26â€“37 (1989)
Bilet, V., Dovgoshey, O., Shanin, R.: Ultrametric preserving functions and weak similarities of ultrametric spaces. PAdic Numb. Ultrametr. Anal. Appl. 13(3), 186â€“203 (2021)
BorsÃk, J., DoboÅ¡, J.: Functions whose composition with every metric is a metric. Math. Slovaca 31(1), 3â€“12 (1981)
Corazza, P.: Introduction to metricpreserving functions. Am. Math. Mon. 106(4), 309â€“323 (1999)
Deepa, R., Natarajan, P.N., Srinivasan, V.: Cauchy multiplication of Euler summable series in ultrametric fields. Comment. Math. 53(1), 73â€“79 (2013)
Dovgoshey, O.: On ultrametricpreserving functions. Math. Slovaca 70(1), 173â€“182 (2020)
Hu, T., Kirk, W.A.: Local contractions in metric spaces. Proc. Am. Math. Soc. 68(1), 121â€“124 (1978)
Imdad, M., Rouzkard, F.: Fixed point theorems in ordered metric spaces via wdistances. Fixed Point Theory Appl. 2012, 222 (2012)
Kada, O., Suzuki, T., Takahashi, W.: Nonconvex minimization theorems and fixed point theorems in complete metric spaces. Math. Jpn. 44(2), 381â€“391 (1996)
Khemaratchatakumthorn, T., Pongsriiam, P.: Remarks on bmetric and metricpreserving functions. Math. Slovaca 68(5), 1009â€“1016 (2018)
Khemaratchatakumthorn, T., Pongsriiam, P., Samphavat, S.: Further remarks on bmetrics, metricpreserving functions, and other related metrics. Int. J. Math. Comput. Sci. 14(2), 473â€“480 (2019)
Khemaratchatakumthorn, T., Termwuttipong, I.: Metricpreserving functions, wdistances and Cauchy wdistances. Thai J. Math. 5(3), 51â€“56 (2007)
Kirk, W.A., Shahzad, N.: Remarks on metric transforms and fixedpoints theorems. Fixed Point Theory Appl. 2013, 106 (2013)
Krasner, M.: Nombres semirÃ©els et espaces ultramÃ©triques. C. R. Acad. Sci. Paris 219, 433â€“435 (1944)
Mendel, M., Naor, A.: Ultrametric subsets with large Hausdorff dimension. Invent. Math. 192(1), 1â€“54 (2013)
PokornÃ½, I.: Some remarks on metric preserving functions. Tatra Mt. Math. Publ. 2, 65â€“68 (1993)
Pongsriiam, P., Termwuttipong, I.: On metricpreserving functions and fixed point theorems. Fixed Point Theory Appl. 2014, 179 (2014)
Pongsriiam, P., Termwuttipong, I.: Remarks on ultrametrics and metricpreserving functions. Abstr. Appl. Anal. 163258 (2014)
PriessCrampe, S., Ribenboim, P.: Ultrametric spaces and logic programming. J. Log. Program. 42(2), 59â€“70 (2000)
Prinyasart, T., Samphavat, S.: Remarks on wdistances and metricpreserving functions. Math. Slovaca 73(1), 69â€“78 (2023)
Samphavat, S., Khemaratchatakumthorn, T., Pongsriiam, P.: Remarks on bmetrics, ultrametrics, and metricpreserving functions. Math. Slovaca 70(1), 61â€“70 (2020)
Suzuki, T.: Generalized distance and existence theorems in complete metric spaces. J. Math. Anal. Appl. 253(2), 440â€“458 (2001)
Suzuki, T.: wdistances and Ï„distances. Nonlinear Funct. Anal. Appl. 13(1), 15â€“27 (2008)
Takahashi, W.: Nonlinear Functional Analysis. Fixed Point Theory and Its Applications. Yokohama Publishers, Yokohama (2000)
Tan, K.K.: Fixed point theorems for nonexpansive mappings. Pac. J. Math. 41(3), 829â€“842 (1972)
Vallin, R.W., Dovgoshey, O.A.: Padic metric preserving functions and their analogues. Math. Slovaca 71(2), 391â€“408 (2021)
Wilson, W.A.: On certain types of continuous transformations of metric spaces. Am. J. Math. 57(1), 62â€“68 (1935)
Yurova, E.: On ergodicity of padic dynamical systems for arbitrary prime p. PAdic Numb. Ultrametr. Anal. Appl. 5(3), 239â€“241 (2013)
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
All authors contributed equally to this work.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
Not applicable.
Consent for publication
Not applicable.
Competing interests
The authors declare no competing interests.
Additional information
Publisherâ€™s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Samphavat, S., Prinyasart, T. On ultrametrics, bmetrics, wdistances, metricpreserving functions, and fixed point theorems. Fixed Point Theory Algorithms Sci Eng 2024, 9 (2024). https://doi.org/10.1186/s13663024007661
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663024007661