 Review
 Open Access
 Published:
On multiplicative metric spaces: survey
Fixed Point Theory and Applications volume 2016, Article number: 92 (2016)
Abstract
The purpose of this survey is to prove that the fixed point results for various multiplicative contractions are in fact equivalent to the corresponding fixed point results in (standard) metric spaces. For example, such are recent results established by He et al. (Fixed Point Theory Appl. 2014:48, 2014), Mongkolkeha and Sintunavarat (J. Nonlinear Sci. Appl. 8:11341140, 2015) and Abdou (J. Nonlinear Sci. Appl. 9:23472363, 2016) and all others from the list of references. Our results here generalize, complement, and improve recent ones from existing literature.
Introduction and preliminaries
In 2008, Bashirov et al., among other things, initiated a new kind of spaces, called multiplicative metric spaces (MMS for short). The main idea was that the usual triangular inequality was replaced by a ‘multiplicative triangle inequality’ as follows:
Definition 1.1
([4])
Let X be a nonempty set. An operator \(d^{*}:X\times X\rightarrow\mathbb{R}\) is a multiplicative metric (MM for short) on X, if it satisfies:
 (m1^{∗}):

\(d^{*} ( x,y ) \geq1\) for all \(x,y\in X\) and \(d^{*} ( x,y ) =1\) if and only if \(x=y\),
 (m2^{∗}):

\(d^{*} ( x,y ) =d^{*} ( y,x ) \) for all \(x,y\in X\),
 (m3^{∗}):

\(d^{*} ( x,z ) \leq d^{*} ( x,y ) \cdot d^{*} ( y,z ) \) for all \(x,y,z\in X\) (multiplicative triangle inequality).
If the operator \(d^{*}\) satisfies (m1^{∗})(m3^{∗}) then the pair \(( X,d^{*} ) \) is called a multiplicative metric space (MMS).
For more details of this new kind of spaces the reader can refer to [1–3, 5–16]. For example, it follows from these papers that an MMS \(( X,d^{*} ) \) is complete (sequentially compact) if and only if (standard) metric space (SMS for short) \(( X,\ln d^{*} ) \) is such. Also, MM \(d^{*}\) and (standard) metric (SM for short) \(\ln d^{*}\) induce the same topology on X (see Theorem 2.1 below).
The next definition for SMS is well known.
Definition 1.2
Let X be a nonempty set. An operator \(d:X\times X\rightarrow\mathbb{R}\) is a metric on X, if it satisfies:

(1)
\(d ( x,y ) \geq0\) for all \(x,y\in X\) and \(d ( x,y ) =0 \) if and only if \(x=y\),

(2)
\(d ( x,y ) =d ( y,x ) \) for all \(x,y\in X\),

(3)
\(d ( x,z ) \leq d ( x,y ) +d ( y,z ) \) for all \(x,y,z\in X\) (standard triangle inequality).
If the operator d satisfies (1)(3) then the pair \(( X,d ) \) is called an SMS.
Remark 1.3
It is clear that \(d^{*}:X\times X\rightarrow[1,+\infty)\) while \(d:X\times X\rightarrow[0,+\infty)\).
Very recently, the authors in [1] proved the following.
Theorem 1.4
([1], Theorem 3.1)
Let S, T, A, and B be selfmappings of a complete MMS X satisfying the following conditions:

(i)
\(SX\subset BX\), \(TX\subset AX\);

(ii)
A and S are weakly commutative, B and T are also weakly commutative;

(iii)
one of S, T, A and B is continuous;

(iv)
\(d^{*}(Sx,Ty)\leq ( \max \{d^{*}(Ax,By),d^{*}(Ax,Sx),d^{*}(By,Ty),d^{*}(Sx,By),d^{*}(Ax,Ty)\} ) ^{ \lambda}\), for some \(\lambda\in ( 0,\frac{1}{2} )\), and all \(x,y\in X\).
Then S, T, A, and B have a unique common fixed point (CFP for short).
Theorem 1.5
([1], Theorem 3.2)
Let S, T, A and B be selfmappings of a complete MMS X satisfying the following conditions:

(i)
\(SX\subset BX\), \(TX\subset AX\);

(ii)
A and S are weakly commutative, B and T are also weakly commutative;

(iii)
one of S, T, A and B is continuous;

(iv)
\(d^{*}(S^{p}x,T^{q}y)\leq ( \max \{d^{*}(Ax,By),d^{*}(Ax,S^{p}x),d^{*}(By,T^{q}y),d^{*}(S^{p}x,By), d^{*}(Ax,T^{q}y)\} ) ^{ \lambda}\), for some \(\lambda\in ( 0,\frac{1}{2} ) \) and \(p,q\in\mathbb{Z}^{+}\), and for all \(x,y\in X\).
Then S, T, A, and B have a unique CFP.
Remark 1.6
Since \(\ln ( \max \{ a,b \} ) =\max \{ \ln a,\ln b \} \) for all \(a,b>0\) as well as \(e^{\max \{ a,b \} }=\max \{ e^{a},e^{b} \} \) for all \(a,b\in\mathbb{R}\), we see that the contractive condition (iv) of Theorem 1.4 and the following condition:
are equivalent; similarly, the contractive condition (iv) of Theorem 1.5 and the following condition:
are equivalent. This shows that both main results from [1] are equivalent with the corresponding ones in the framework of (SMS).
Also recently Abdou [3] proved the following results.
Theorem 1.7
([3], Theorem 3.1)
Let \((X,d^{*})\) be a complete MMS. Let \(S, T, A, B:X\rightarrow X\) be such that \(S(X)\subset B(X)\), \(T(X)\subset A(X)\) and there exists \(\lambda \in ( 0,\frac{1}{2} ) \) such that
for some \(p\ge1\) and all \(x,y\in X\), where \(\varphi :[0,\infty)\rightarrow[0,\infty)\) is an increasing function such that \(\varphi ( 0 ) =0\) and \(\varphi ( t ) < t\) for all \(t>0\).
Suppose that one of the following conditions is satisfied:

(a)
either A or S is continuous, the pair \((S,A)\) is compatible and the pair \((T,B)\) is weakly compatible;

(b)
either B or T is continuous, the pair \((T,B)\) is compatible and the pair \((S,A)\) is weakly compatible.
Then S, T, A, and B have a unique CFP in X.
Theorem 1.8
([3], Theorem 3.3)
Let \((X,d^{*})\) be a complete MMS. Let \(S,T,A,B:X\rightarrow X\) be mappings such that \(S(X)\subset B(X)\), \(T(X)\subset A(X)\) and there exists \(\lambda\in ( 0,\frac{1}{2} ) \) such that
for some \(p>1\), \(m,q\in\mathbb{Z}^{+}\) and for all \(x,y\in X\), where \(\varphi :[0,\infty)\rightarrow[0,\infty)\) is an increasing function such that \(\varphi ( 0 ) =0\) and \(\varphi ( t ) < t\) for all \(t>0\).
Suppose that one of the following conditions is satisfied:

(a)
either A or S is continuous, the pair \((S,A)\) is compatible and the pair \((T,B)\) is weakly compatible;

(b)
either B or T is continuous, the pair \((T,B)\) is compatible and the pair \((S,A)\) is weakly compatible.
Then S, T, A, and B have a unique CFP in X.
Remark 1.9
The first two of the following things are obvious in both previous theorems:
 1^{∘} :

\({d^{*}}^{p}\) is also an MM on X.
 2^{∘} :

It is sufficient that \(\varphi :[1,\infty )\rightarrow[1,\infty)\) is an increasing function such that \(\varphi ( 1 ) =1\) and \(\varphi ( t ) < t\) for all \(t>1\), further, for such φ we get \(\ln\varphi ( t ) <\ln t\) whenever \(t>1\).
 3^{∘} :

Also, it is clear enough that the function φ in both previous theorems is superfluous. By removing it, (1) and (2) are, respectively, equivalent with
$$\begin{aligned}& \ln{d^{*}}^{p} ( Sx,Ty ) \\& \quad \leq\lambda\max\bigl\{ \ln{d^{*}}^{p} ( Ax,By ) ,\ln {d^{*}}^{p} ( Ax,Sx ) +\ln{d^{*}}^{p} ( By,Ty )\ln \bigl( 1+{d^{*}}^{p} ( Ax,By ) \bigr), \\& \qquad \ln{d^{*}}^{p} ( Ax,Ty ) +\ln{d^{*}}^{p} ( By,Ax ) \ln \bigl( 1+{d^{*}}^{p} ( Ax,By ) \bigr)\bigr\} \end{aligned}$$(3)and
$$\begin{aligned}& \ln{d^{*}}^{p} \bigl( S^{m}x,T^{q}y \bigr) \\& \quad \leq\lambda\max\bigl\{ \ln{d^{*}}^{p} ( Ax,By ) ,\ln {d^{*}}^{p} \bigl( Ax,S^{m}x \bigr) +\ln{d^{*}}^{p} \bigl( By,T^{q}y \bigr)\ln \bigl( 1+{d^{*}}^{p} ( Ax,By ) \bigr), \\& \qquad \ln{d^{*}}^{p} \bigl( Ax,T^{q}y \bigr) + \ln{d^{*}}^{p} ( By,Ax ) \ln \bigl( 1+{d^{*}}^{p} ( Ax,By ) \bigr)\bigr\} . \end{aligned}$$(4)
Main results
Our first result generalizes Theorem 2.1 from [8] as well as Proposition 2.1 from [14]. The proof is immediate, i.e., by using the properties of functions \(t\mapsto\ln t\), \(t>0\) and \(t\mapsto e^{t}\), therefore it is omitted.
Theorem 2.1
Let \(( X,d^{*} ) \) be an MMS. Then the pair \(( X,d ) \) is an SMS where \(d ( x,y ) =\ln d^{*} ( x,y ) \) for all \(x,y\in X\). Conversely, if \(( X,d ) \) is an SMS then \(( X,d^{*} ) \) is an MMS where \(d^{*} ( x,y ) =e^{d ( x,y ) }\) for all \(x,y\in X\).
Hence, \(( X,d^{*} ) \) is an MMS if and only if \(( X,\ln d^{*} ) \) is an SMS that is, \(( X,d ) \) is an SMS if and only if \(( X,e^{d} ) \) is an MMS.
The Banach contraction principle [17], as one of the most important result in the fixed point theory and nonlinear analysis generally, has been generalized a lot, in metric as well as in different spaces which are generalizations of SMS. Our motive in this section is to prove that various famous results, such as the EdelsteinNemitskii, BoydWong, and MeirKeeler ones, as well as some other wellknown results, are equivalent in SMS and MMS. In order to make the text easier to follow, in each of the cases, we will first expose a classical theorem in SMS, after that we will give the appropriate theorem in MMS. Finally, we will prove the result which shows the equivalence between the two of them. The results will be exposed in historical order.
In 1962, Edelstein attempted to prove a fixed point theorem by keeping the completeness of the SMS and replacing the Banach contractive condition by a slightly modified condition. It turned out that completeness is not a sufficient condition for the existence of fixed point for the new contractive condition. In [12, 18] a fixed point theorem for the proposed contraction conditions was proved, with certain restriction on the space.
Now we announce the wellknown EdelsteinNemytskii theorem in the framework of SMS.
Theorem 2.2
([12])
Let \(( X,d ) \) be a sequentially compact SMS and let \(f:X \to X\) satisfy the following condition:
whenever \(x,y\in X\) and \(x\neq y\). Then f has a unique FP.
The appropriate fixed point theorem in the setting of MMS is the following one.
Theorem 2.3
Let \(( X,d^{*} ) \) be a sequentially compact MMS and let \(f:X \to X\) satisfy the following condition:
whenever \(x,y\in X\) and \(x\neq y\). Then f has a unique FP.
Our contribution in this research is the following result.
Theorem 2.4
Theorem 2.2 and Theorem 2.3 are equivalent.
Proof
Let (5) hold. Then
So, we have \(d^{*}(fx,fy)< d^{*}(x,y)\). Therefore (6) holds.
Suppose now that (6) holds. Then we have
i.e., \(d(fx,fy)< d(x,y)\), so (5) is true. □
The following wellknown generalization of the Banach contraction principle was presented in 1969 in the paper of Boyd and Wong [19].
Theorem 2.5
([19])
Let \(( X,d ) \) be a complete SMS and let \(f:X\rightarrow X\) satisfy, for all \(x,y\in X\),
where \(\psi_{1}:[0,\infty)\rightarrow[0,\infty)\) is upper semicontinuous from the right, satisfying \(\psi_{1} ( t ) < t\) for \(t>0\). Then f has a unique FP, say \(u\in X\), and \(f^{n}x\rightarrow u\) as \(n\rightarrow\infty\) for each \(x\in X\).
Remark 2.6
It is easy to see that if \(\psi_{1}(t)=\alpha(t)t\), α is increasing function such that \(\alpha(t)<1\) for \(t\geq0\), then the Banach result follows.
The analogous result in MMS is presented below.
Theorem 2.7
Let \(( X,d^{*} ) \) be a complete MMS and let \(f:X\rightarrow X\) satisfy, for all \(x,y\in X\),
where \(\psi_{2}:[1,\infty)\rightarrow[1,\infty)\) is upper semicontinuous from the right, satisfying \(\psi_{2} ( t ) < t\) for \(t>1\). Then f has a unique FP, say \(u\in X\), and \(f^{n}x\rightarrow u\) as \(n\rightarrow\infty\) for each \(x\in X\).
The next theorem presents the equivalence between these two results.
Theorem 2.8
Theorem 2.5 and Theorem 2.7 are equivalent.
Proof
First of all, let (7) hold. It follows that
that is,
where \(\psi_{2}=\exp\circ\psi_{1}\circ\ln\). Hence, we see that (7) implies (8). Further, obviously \(\psi _{2}:[1,\infty)\rightarrow[1,\infty) \), together with \(\psi_{1}\), is upper semicontinuous from the right, satisfying \(\psi_{2} ( t ) < t\) for \(t>1\).
Conversely, let (8) hold. From this we get
that is, we have
where \(( X,d ) \) is a complete SMS. Taking in (9) \(\psi_{1}=\ln\circ\psi_{2}\circ\exp\) we obtain (7), i.e.,
It is obvious that \(\psi_{1}:[0,\infty)\rightarrow[0,\infty)\), together with \(\psi_{2}\), is upper semicontinuous from the right, satisfying \(\psi_{1} ( t ) < t\) for \(t>0\). The proof of Theorem 2.5 is complete. □
A very interesting theorem was proved in 1969 in the paper of Meir and Keeler [20]. They proved that the conclusion of the Banach contraction holds for a wider class of contraction mappings. Their contribution is the following theorem.
Theorem 2.9
([20])
Let \(( X,d ) \) be a complete SMS and let \(f:X \to X\) satisfy the following condition:

for each \(\varepsilon>0\) there exists \(\delta>0\) such that
$$ \varepsilon\leq d ( x,y ) < \varepsilon+\delta \quad \Rightarrow\quad d ( fx,fy ) < \varepsilon. $$(10)
Then f has a unique FP, say \(u\in X\) and for each \(x\in X\), \(\lim_{n\rightarrow\infty}f^{n}x=u\).
The respective theorem in MMS is the next one.
Theorem 2.10
Let \(( X,d^{*} ) \) be a complete MMS and let f be a selfmapping on X satisfying the following condition:

for each \(\varepsilon>1\) there exists \(\delta>1\) such that
$$ \varepsilon\leq d^{*} ( x,y ) < \varepsilon\cdot\delta \quad \Rightarrow\quad d^{*} ( fx,fy ) < \varepsilon. $$(11)
Then f has a unique FP, say \(u\in X\) and for each \(x\in X\), \(\lim_{n\rightarrow\infty}f^{n}x=u\).
As we have mentioned in this section, our contribution is to show that the above stated theorems are equivalent. So we prove the following theorem.
Theorem 2.11
Theorem 2.9 and Theorem 2.10 are equivalent.
Proof
In fact we will prove that (11) implies (10) as well as, conversely, that (10) implies (11). Indeed, let (11) hold and let \(\varepsilon>0\) be arbitrary. Then \(e^{\varepsilon}>1\), so there exists \(\delta>0\) (i.e., \(e^{\delta}>1\)) such that
In other words (since ln and exp are strictly increasing functions),
Hence, (10) holds.
Conversely, let now (10) hold and let \(\varepsilon>1\) be arbitrary. Then \(\ln\varepsilon>0\), so there exists \(\delta>1\) (i.e., \(\ln\delta>0\)) such that
In other words,
Hence, (11) holds.
The proof is complete. □
In the sequel, we consider the famous Kannan, Chatterje, and Zamfirescu results in both contexts. The Banach contractive condition implies the continuity of mapping f. Naturally, the question arises whether there is a contractive condition (sufficient to guarantee the existence of a fixed point) that does not imply continuity of the mapping f. The answer to the given question was published in 1968 in the Kannan paper [21], where he announced the following fixed point theorem.
Theorem 2.12
Let \((X,d)\) be a complete SMS, \(0\leq q<\frac{1}{2}\) and \(f:X\to X\) be such that
for all \(x,y\in X\). Then f has a unique FP.
The analogous result in the framework of MMS is the following one.
Theorem 2.13
Let \((X,d^{*})\) be a complete MMS, \(0\leq q<\frac{1}{2}\) and \(f:X\to X\) be such that
for all \(x,y\in X\). Then f has a unique FP.
Now, our task is to show the equivalence between these two results. So we prove the following.
Theorem 2.14
Theorem 2.13 and Theorem 2.12 are equivalent.
Proof
Let (13) hold. Then
so (12) holds.
Let now (12) be satisfied. Then
Hence, we have proved Theorem 2.14. □
A similar type of contractive condition was studied in 1972 by Chatterjea [23]. He proved the following result.
Theorem 2.15
Let \((X,d)\) be a complete SMS, \(0\leq q<\frac{1}{2}\) and \(f:X\to X\) be such that
for all \(x,y\in X\). Then f has a unique FP.
The adequate theorem in terms of MMS is presented below.
Theorem 2.16
Let \((X,d^{*})\) be a complete MMS, \(0\leq q<\frac{1}{2}\) and \(f:X\to X\) be such that
for all \(x,y\in X\). Then f has a unique FP.
Our contribution is the following theorem.
Theorem 2.17
Theorem 2.15 and Theorem 2.16 are equivalent.
Proof
The proof follows using the same idea as in the previous one, so we omit it. □
In 1972, Zamfirescu [24] united the theorems of Banach, Kannan, and Chatterjea. We give this theorem in both frameworks.
Theorem 2.18
Let \(( X,d ) \) be a complete SMS, \(a_{i}\in[0,1)\) with \(0\leq a_{1}<1\), \(0\leq a_{2}\), \(a_{3}<\frac{1}{2}\), and \(f:X\rightarrow X\) be such that, for all \(x,y\in X\), at least one of the following is true:
Then f has a unique FP, say u, and for all \(x\in X\) the sequence \(f^{n} ( x ) \stackrel{d}{\rightarrow}u\) as \(n\rightarrow\infty\).
Theorem 2.19
Let \(( X,d^{*} ) \) be a complete MMS, \(a_{i}\in[0,1)\) with \(0\leq a_{1}<1\), \(0\leq a_{2}\), \(a_{3}<\frac{1}{2}\), and \(f:X\rightarrow X\) be such that, for all \(x,y\in X\), at least one of the following is true:
Then f has a unique FP, say u, and for all \(x\in X\) the sequence \(f^{n} ( x ) \stackrel{d^{*}}{\rightarrow}u\) as \(n\rightarrow\infty\).
Theorem 2.20
Theorem 2.18 and Theorem 2.19 are equivalent.
Reich proved in 1971 [25] the following theorem and thus unified the Banach and Kannan theorems.
Theorem 2.21
Let \(( X,d ) \) be a complete SMS, \(a_{i}\in[0,1)\), \(i=1,2,3\) with \(\sum_{i=1}^{3}a_{i}<1\) and \(f:X\rightarrow X\) be such that
for all \(x,y\in X\). Then f has a unique FP, say u, and for all \(x\in X\) the sequence \(f^{n} ( x ) \stackrel{d}{\rightarrow }u\) as \(n\rightarrow\infty\).
Remark 2.22
Notice that one obtains the Banach fixed point theorem for \(a=b=0\), as well as the Kannan theorem for \(a=b\) and \(c=0\).
Now we give the adequate theorem in the framework of MMS.
Theorem 2.23
Let \(( X,d^{*} )\) be a complete MMS, \(a_{i}\in[0,1)\), \(i=1,2,3\) with \(\sum_{i=1}^{3}a_{i}<1\) and \(f:X\rightarrow X\) be such that
for all \(x,y\in X\). Then f has a unique FP, say u, and for all \(x\in X\) the sequence \(f^{n} ( x ) \stackrel{d^{*}}{\rightarrow}u\) as \(n\rightarrow\infty\).
In the same context, we present the equivalence between these two theorems.
Theorem 2.24
Theorem 2.21 and Theorem 2.23 are equivalent.
Proof
Let (14) be satisfied. Then
Conversely, let (15) hold. Then
so (14) holds. □
In 1973, Hardy and Rogers [26] generalized Reich’s [25] result and published the following interesting result. We present the mentioned theorem in both contexts.
Theorem 2.25
([22])
Let \(( X,d ) \) be a complete SMS, \(a_{i}\in[0,1)\), \(i\in\{1,2,3,4,5\}\) with \(\sum_{i=1}^{5}a_{i}<1\) and \(f:X\rightarrow X\) be such that
for all \(x,y\in X\). Then f has a unique FP, say u, and for all \(x\in X\) the sequence \(f^{n} ( x ) \stackrel{d}{\rightarrow }u\) as \(n\rightarrow\infty\).
Theorem 2.26
Let \(( X,d^{*} ) \) be a complete MMS, \(a_{i}\in[0,1)\), \(i\in\{1,2,3,4,5\}\) with \(\sum_{i=1}^{5}a_{i}<1\) and \(f:X\rightarrow X\) be such that
for all \(x,y\in X\). Then f has a unique FP, say u, and for all \(x\in X\) the sequence \(f^{n} ( x ) \stackrel{d^{*}}{\rightarrow}u\) as \(n\rightarrow\infty\).
We notice that these two theorems are equivalent, i.e., the following holds.
Theorem 2.27
Theorem 2.25 and Theorem 2.26 are equivalent.
Proof
Since the idea is the same in all theorems so far, to avoid repeating we give this theorem without proof. □
In 1973, Geraghty [27] generalized the Banach contraction principle by considering an auxiliary function in the following way.
Theorem 2.28
([27])
Let \(( X,d ) \) be a complete SMS and let \(f:X \to X\) satisfy the following condition: there exists \(\beta_{1}:[0,\infty)\rightarrow[0,1)\) such that if \(\beta_{1} ( t_{n} ) \rightarrow1\) then \(t_{n}\rightarrow0\) and for all \(x,y\in X\) the following holds:
Then f has a unique FP, say \(u\in X\), and for each \(x\in X\), \(\lim_{n\rightarrow\infty}f^{n}x=u\).
In the sequel we consider a Geraghty type contraction in MMS. Consider the functions \(\beta :[1,\infty)\rightarrow[0,1)\) such that if \(\beta ( t_{n} ) \rightarrow1\) then \(t_{n}\rightarrow1\). One such function β is \(\beta ( t ) =e^{1t}\), \(t\geq1\). Now we formulate the Geraghty type theorem in the framework of MMS.
Theorem 2.29
Let \(( X,d^{*} ) \) be a complete MMS and let \(f:X\to X\) satisfy the following condition: there exists \(\beta_{2}:[1,\infty)\rightarrow[0,1)\) such that if \(\beta_{2} ( t_{n} ) \rightarrow1\) then \(t_{n}\rightarrow1 \) and for all \(x,y\in X\) the following holds:
Then f has a unique FP, say \(u\in X\), and for each \(x\in X\), \(\lim_{n\rightarrow\infty}f^{n}x=u\).
Also, for a Geraghty type contraction in both frameworks we have the following.
Theorem 2.30
Theorem 2.28 and Theorem 2.29 are equivalent.
Proof
Let (16) hold. Then we have
i.e.,
where \(\beta_{2}=\beta_{1}\circ\ln\). Clearly, \(\beta_{2}:[1,\infty )\rightarrow[0,1)\) with \(\beta_{2} ( t_{n} ) \rightarrow 1\Rightarrow t_{n}\rightarrow1\). We have proved that (16) implies (17).
Conversely, it follows from (17) that
or, equivalently,
where \(\beta_{1}=\beta_{2}\circ\exp\). It is obvious that \(\beta _{1}:[0,\infty)\rightarrow[0,1)\) with \(\beta_{1} ( t_{n} ) \rightarrow1\Rightarrow t_{n}\rightarrow0\). This means that (17) implies (16), that is, Theorem 2.11 and Theorem 2.29 are equivalent. □
Another generalization of the Kannan fixed point theorem was given by Bianchini [28] in 1972, i.e., the following very interesting result was proved.
Theorem 2.31
([28])
Let \(( X,d ) \) be a complete SMS, \(\lambda\in[0,1)\) and \(f:X\rightarrow X\) be such that
for all \(x,y\in X\). Then f has a unique FP, say u, and for all \(x\in X\) the sequence \(f^{n} ( x ) \stackrel{d}{\rightarrow }u\) as \(n\rightarrow\infty\).
The corresponding result in MMS is the following.
Theorem 2.32
Let \(( X,d^{*} ) \) be a complete MMS, \(\lambda\in[0,1)\) and \(f:X\rightarrow X\) be such that
for all \(x,y\in X\). Then f has a unique FP, say u, and for all \(x\in X\) the sequence \(f^{n} ( x ) \stackrel{d}{\rightarrow }u\) as \(n\rightarrow\infty\).
We have the next result.
Theorem 2.33
Theorem 2.31 and Theorem 2.32 are equivalent.
Proof
Omitted. □
One of the most general contraction conditions was given by Ćirić [29] in 1974. He defined and investigated quasicontractions, mappings that unified the Banach, Kannan, Chatterjea, and Bianchini contractions. We announce this theorem in both frameworks.
Theorem 2.34
Let \(( X,d ) \) be a complete SMS, \(\lambda\in[0,1)\) and \(f:X\rightarrow X\) be such that
for all \(x,y\in X\). Then f has a unique FP, say u, and for all \(x\in X\) the sequence \(f^{n} ( x ) \stackrel{d}{\rightarrow }u\) as \(n\rightarrow\infty\).
The expected result within the MMS is presented below.
Theorem 2.35
Let \(( X,d^{*} ) \) be a complete MMS, \(\lambda\in[0,1)\) and \(f:X\rightarrow X\) be such that
for all \(x,y\in X\). Then f has a unique FP, say u, and for all \(x\in X\) the sequence \(f^{n} ( x ) \stackrel{d^{*}}{\rightarrow}u\) as \(n\rightarrow\infty\).
Theorem 2.36
Theorem 2.34 and Theorem 2.35 are equivalent.
Proof
Omitted. □
Sehgal in 1969 [30], proved an FP theorem using a condition that involves contractive iterate at each point of the space, where the space is complete and the mapping is continuous. Soon afterwards, Guseman in 1970 [31] generalized the Sehgal results for mappings which are not necessarily continuous.
Theorem 2.37
Let \(( X,d ) \) be a complete SMS and \(f:X\rightarrow X\) a mapping satisfying the condition: there exists \(\lambda<1\) such that, for every \(x \in X\), there exists \(k(x)\in\mathbb{N}\) such that for all \(y \in X\) the following is satisfied:
Then f has a unique FP, say \(u\in X\), and \(f^{n}x\rightarrow u\) for each \(x\in X\).
The corresponding result in the framework of MMS is the following.
Theorem 2.38
Let \(( X,d^{*} ) \) be a complete MMS and \(f:X\rightarrow X\) a mapping satisfying the condition: there exists \(\lambda<1\) such that, for every \(x \in X\), there exists \(k(x)\in\mathbb{N}\) such that for all \(y \in X\) the following is satisfied:
Then f has a unique FP, say \(u\in X\), and \(f^{n}x\rightarrow u\) for each \(x\in X\).
Our expected result is the following.
Theorem 2.39
Theorem 2.37 and Theorem 2.38 are equivalent.
Proof
Omitted. □
In 2001, Rhoades [32] came up with the following idea: the Banach contraction can be interpreted as \(d(fx,fy)\leq d(x,y)\varphi(d(x,y))\). This extension is called the weakly contractive mapping, and in the same paper the following interesting result was proved.
Theorem 2.40
([32])
Let \(( X,d ) \) be a complete SMS and \(f:X\rightarrow X\) a mapping satisfying the condition:
for all \(x,y\in X\), where \(\varphi_{1}:[0,+\infty )\rightarrow[0,+\infty)\), \(\varphi_{1}\) is lower semicontinuous and \(\varphi_{1} ^{1} ( \{ 0 \} ) = \{ 0 \} \). Then f has a unique FP, say \(u\in X\), and \(f^{n}x\rightarrow u\) for each \(x\in X\).
The analogous result in the framework of MMS is the following.
Theorem 2.41
Let \(( X,d^{*} ) \) be a complete MMS and \(f:X\rightarrow X\) a mapping satisfying the condition:
for all \(x,y\in X\), where \(\varphi_{2}:[1,+\infty )\rightarrow[1,+\infty)\), \(\varphi_{2} \) is lower semicontinuous and \(\varphi_{2}^{1} ( \{ 1 \} ) = \{ 1 \}\). Then f has a unique FP, say \(u\in X\), and \(f^{n}x\rightarrow u\) for each \(x\in X\).
Finally, we have the next result.
Theorem 2.42
Theorem 2.40 and Theorem 2.41 are equivalent.
Proof
Omitted. □
Let \(( X,d ) \) be a metric space, \(K\subseteq X\) and \(\varphi:K\rightarrow[0,+\infty)\) a function on K. Suppose that φ is a lower semicontinuous (l.s.c. for short) function on K, i.e.,
and let \(f:K\rightarrow K\) be an arbitrary selfmapping on K such that
If K is a nonempty compact subset of X, then it is well known that φ attains its minimum at some point of K, say z. So if \(f:K\rightarrow K\), then \(\varphi ( fz ) \geq\varphi ( z ) \) and, from (18),
Hence \(d ( z,fz ) =0\). Therefore, f has a FP.
For MMS we have the analogous result:
Let \(( X,d^{*} ) \) be a MMS, \(K\subseteq X\) and \(\varphi ^{*}:K\rightarrow[1,+\infty)\) a function on K. Suppose that \(\varphi^{*}\) is an l.s.c. function on K, and let \(f:K\rightarrow K\) be an arbitrary selfmapping on K such that
for all \(x,y\in X\).
The above result for compact metric spaces is generalized to complete metric spaces by CaristiKirk. It is well known that CaristiKirk’s (or CaristiKirkBrowder’s) theorem is essentially equivalent to the Ekeland variational principle [33]. The original proof of CaristiKirk’s theorem was rather complicated and several new proofs were presented (see, e.g., [34]).
Here we give this famous result.
Theorem 2.43
(Caristi [35], 1976)
Let \(( X,d ) \) be a complete metric space and \(\phi :X\rightarrow[0,+\infty)\) be an l.s.c. function. Then any mapping \(f:X\rightarrow X\) satisfying (18) has an FP in X.
The corresponding result in the framework of MMS is the following.
Theorem 2.44
Let \(( X,d^{*} ) \) be a complete MMS and \(f:X\rightarrow X\) a mapping satisfying the condition
for all \(x,y\in X\), where \(\phi^{*}:[1,+\infty)\rightarrow [1,+\infty)\), \(\phi^{*}\) is an l.s.c. function. Then f has an FP in X.
Now, we have the following result.
Theorem 2.45
Theorems 2.43 and 2.44 are equivalent.
Proof
Omitted. □
In 1965, Prešić [36] extended the Banach contraction mapping principle to mappings defined on product spaces and proved the following theorem.
Theorem 2.46
Let \(( X,d ) \) be a complete metric space, k a positive integer, and \(f:X^{k}\rightarrow X\) a mapping satisfying the following contractive type condition:
for every \(x_{1},x_{2},\ldots,x_{k+1}\in X\), where \(q_{1},q_{2},\ldots ,q_{k}\) are nonnegative constants such that \(q_{1}+q_{2}+\cdots+q_{k}<1\). Then there exists a unique point \(x\in X\) such that \(f ( x,x,\ldots,x ) =x\). Moreover, if \(x_{1},x_{2},\ldots,x_{k} \) are arbitrary points in X and, for \(n\in\mathbb{N}\),
then the sequence \(\{ x_{n} \} \) is convergent and
The analogous result in the framework of MMS is the following.
Theorem 2.47
Let \(( X,d^{*} ) \) be a complete metric space, k a positive integer, and \(f:X^{k}\rightarrow X\) a mapping satisfying the following contractive type condition:
for all \(x_{1},x_{2},\ldots,x_{k+1}\in X\), where \(q_{1},q_{2},\ldots,q_{k}\) are nonnegative constants such that \(q_{1}+q_{2}+\cdots+q_{k}<1\). Then there exists a unique point \(x\in X\) such that \(f ( x,x,\ldots ,x ) =x\). Moreover, if \(x_{1},x_{2},\ldots,x_{k} \) are arbitrary points in X and, for \(n\in\mathbb{N}\),
then the sequence \(\{ x_{n} \} \) is convergent and
Finally, our result is the following.
Theorem 2.48
Theorem 2.46 and Theorem 2.47 are equivalent.
Proof
Omitted. □
Remark 2.49
According to [37], new results are possible.
Further work
Encouraged by this research, the idea for the following definitions emerged.
Definition 4.1
Let \(X \neq\emptyset\) and let \(s \geq1\) be a given real number. A function \(d_{b}^{*}:X \times X \to\mathbb{R}^{+}\) is called a bMM, provided that, for all \(x,y,z \in X\),

(1)
\(d_{b}^{*}(x,y)=0\) iff \(x=y\);

(2)
\(d_{b}^{*}(x,y)=d_{b}^{*}(y,x)\);

(3)
\(d_{b}^{*}(x,z)\leq[d_{b}^{*}(x,y)\cdot d_{b}^{*}(y,z)]^{s}\).
The pair \((X, d_{b}^{*})\) is called a bMMS.
Definition 4.2
A partial MM on a (nonempty) set X is a function \(p^{*}:X\times X\to\mathbb{R}^{+}\) such that for all \(x, y, z\in X\) the following are satisfied:

(1)
\(x=y \Leftrightarrow p^{*}(x, x) =p^{*}(x, y) =p^{*}(y, y)\);

(2)
\(p^{*}(x, x)\leq p^{*}(x, y)\);

(3)
\(p^{*}(x, y) =p^{*}(y, x)\);

(4)
\(p^{*}(x, z)\leq {\frac{p^{*}(x, y) \cdot p^{*}(y, z)}{p^{*}(y, y)}}\).
A partial MMS is a pair \((X, p^{*})\) such that \(X \neq\emptyset\) and \(p^{*}\) is a partial MM on X.
For future work, it would be interesting to research analogous results with wellknown results in bmetric and partial metric spaces, respectively.
References
 1.
He, X, Song, M, Chen, D: Common fixed points for weak commutative mappings on a multiplicative metric space. Fixed Point Theory Appl. 2014, 48 (2014)
 2.
Mongkolkeha, C, Sintunavarat, W: Best proximity points for multiplicative proximal contraction mapping on multiplicative metric spaces. J. Nonlinear Sci. Appl. 8, 11341140 (2015)
 3.
Abdou, AAN: Fixed point theorems for generalized contraction mappings in multiplicative metric spaces. J. Nonlinear Sci. Appl. 9, 23472363 (2016)
 4.
Bashirov, A, Kurpinar, E, Ozyapici, A: Multiplicative calculus and its applications. J. Math. Anal. Appl. 337(1), 3648 (2008)
 5.
Abbas, M, Ali, B, Suleiman, Y: Common fixed points of locally contractive mappings in multiplicative metric spaces with applications. Int. J. Math. Math. Sci. 2015, Article ID 218683 (2015)
 6.
Abbas, M, De La Sen, M, Nazir, T: Common fixed points of generalized rational type cocyclic mappings in multiplicative metric spaces. Discrete Dyn. Nat. Soc. 2015, Article ID 532725 (2015)
 7.
Abodayeh, K, Pitea, A, Shatanawi, W, Abdeljawad, T: Remarks on multiplicative metric spaces and related fixed points (2015). arXiv:1512.03771v1 [math.GN]
 8.
Agarwal, RP, Karapinar, E, Samet, B: An essential remark on fixed point results on multiplicative metric spaces. Fixed Point Theory Appl. 2016, 21 (2016)
 9.
Došenović, T, Radenović, S: Some critical remarks on the paper: ‘An essential remark on fixed point results on multiplicative metric spaces’. J. Adv. Math. Stud. (in press)
 10.
Grossman, M, Katz, R: NonNewtonian Calculus. Lee Press, Pigeon Cove (1972)
 11.
Kang, SM, Kumar, P, Kumar, S, Nagpal, P, Garg, SK: Common fixed points for compatible mappings and its variants in multiplicative metric spaces. Int. J. Pure Appl. Math. 102(2), 383406 (2015)
 12.
Nemytzki, VV: The fixed point method in analysis. Usp. Mat. Nauk 1, 141174 (1936) (in Russian)
 13.
Özavsar, M, Cevikel, AC: Fixed points of multiplicative contraction mappings on multiplicative metric spacers (2012). arXiv:1205.5131v1 [math.GM]
 14.
Shukla, S: Some critical remarks on the multiplicative metric spaces and fixed point results. J. Adv. Math. Stud. (2017, to appear)
 15.
Stanley, D: A multiplicative calculus. PRIMUS IX(4), 310326 (1999)
 16.
Yamaod, O, Sintunavarat, W: Some fixed point results for generalized contraction mappings with cyclic \((\alpha,\beta)\)admissible mapping in multiplicative metric spaces. J. Inequal. Appl. 2014, 488 (2014)
 17.
Banach, S: Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales. Fundam. Math. 3, 133181 (1922)
 18.
Edelstein, M: On fixed and periodic points under contractive mappings. J. Lond. Math. Soc. 37, 7479 (1962)
 19.
Boyd, DW, Wong, JS: On linear contractions. Proc. Am. Math. Soc. 20, 458464 (1969)
 20.
Meir, A, Keeler, E: A theorem on contraction mappings. J. Math. Anal. Appl. 28, 326329 (1969)
 21.
Kannan, R: Some results on fixed points. Bull. Calcutta Math. Soc. 60, 7176 (1968)
 22.
Rhoades, BE: A comparison of various definitions of contractive mappings. Trans. Am. Math. Soc. 226, 257290 (1977)
 23.
Chatterjea, SK: Fixed point theorems. C. R. Acad. Bulgare Sci. 25, 727730 (1972)
 24.
Zamfirescu, T: Fixed point theorems in metric spaces. Arch. Math. 23, 292298 (1972)
 25.
Reich, S: Some remarks concerning contraction mappings. Can. Math. Bull. 14, 121124 (1971)
 26.
Hardy, GE, Rogers, TD: A generalization of a fixed point theorem of Reich. Can. Math. Bull. 16, 201206 (1973)
 27.
Geraghty, M: On contractive mappings. Proc. Am. Math. Soc. 40, 604608 (1973)
 28.
Bianchini, RMT: Su un problema di S. Reich riguardante la teoria dei punti fissi. Boll. UMI 5(4), 103106 (1972)
 29.
Ćirić, LB: A generalization of Banach’s contraction principle. Proc. Am. Math. Soc. 45, 267273 (1974)
 30.
Sehgal, VM: A fixed point theorem for mappings with a contractive iterate. Proc. Am. Math. Soc. 23, 633634 (1969)
 31.
Guseman, LF: Fixed point theorems for mappings with a contractive iterate at a point. Proc. Am. Math. Soc. 26, 615618 (1970)
 32.
Rhoades, BE: Some theorems on weakly contractive maps. Nonlinear Anal. 47, 26832693 (2001)
 33.
Ekeland, I: Sur les problemmes variationels. C. R. Acad. Sci. Paris 275, 10571059 (1972)
 34.
Pasicki, L: A short proof of the Caristi theorem. Comment. Math. Prace Mat. 20, 427428 (1977/78)
 35.
Caristi, J: Fixed point theorems for mappings satisfying inwardness conditions. Trans. Am. Math. Soc. 215, 241251 (1976)
 36.
Prešić, SB: Sur la convergence des suites. C. R. Acad. Sci. Paris 260, 38283830 (1965)
 37.
Ćirić, LB, Prešić, SB: On Prešić type generalization of the Banach contraction mapping principle. Acta Math. Univ. Comen. 76(2), 143147 (2007)
 38.
Sarwar, M, BadshaheRome: Some unique fixed point theorems in multiplicative metric space (2014). arXiv:1410.3384v2 [math.GM]
Acknowledgements
The authors are indebted to anonymous referees who helped us to improve this text. The first author is thankful to Ministry of Education, Sciences and Technological Development of Serbia.
Author information
Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Došenović, T., Postolache, M. & Radenović, S. On multiplicative metric spaces: survey. Fixed Point Theory Appl 2016, 92 (2016). https://doi.org/10.1186/s1366301605846
Received:
Accepted:
Published:
MSC
 47H10
 54H25
Keywords
 multiplicative metric space
 fixed point
 continuous
 nondecreasing
 lower semicontinuous mapping