 Research
 Open Access
 Published:
On ϕcontractions in partially ordered fuzzy metric spaces
Fixed Point Theory and Applications volume 2015, Article number: 233 (2015)
Abstract
Under some weaker conditions, some coincidence point and common fixed point theorems are established in partially ordered fuzzy metric spaces using weakly compatible mappings. By using the theorems, we obtain some coupled and multidimensional fixed point results, which are generalization and improvement of very recent theorems in the corresponding literature. In order to illustrate our main results, we give three examples.
Introduction
In 1987, the notion of coupled fixed point was first introduced by Guo and Lakshmikantham [1]. Recently, GnanaBhaskar and Lakshmikantham [2] established some coupled fixed point theorems in partially ordered metric space. The fuzzy version of the results of GnanaBhaskar and Lakshmikantham [2] was studied by Sedghi et al. [3]. After that, common coupled fixed point results in fuzzy metric spaces were established by Hu [4] and Hu et al. [5]. Very recently, Choudhury et al. [6] established coupled coincidence point and fixed point results for compatible mappings in partially ordered fuzzy metric spaces. Later, Roldán et al. [7] obtained multidimensional coincidence point theorems for nonlinear mappings in any number of variables in partially ordered fuzzy metric spaces. Their results generalize, clarify and unify several classical and very recent related results in the literature in the setting of metric spaces.
But many results (see, e.g., [4–7]) are obtained under the assumptions: (a) \(\phi(t)=kt\) for all \(t>0\), where \(k\in(0,1)\); or (b) \(\sum^{\infty}_{n=1}\phi^{n}(t)<\infty\) for all \(t>0\). It is obvious that the condition (a) is special. In [8], Ćirić [8] has pointed out, the condition (b) is very strong and difficult for testing in practice. Then Ćirić introduced the condition (CBW): \(\phi(0)=0\), \(\phi(t)< t\) and \(\liminf_{r\rightarrow t^{+}}\phi(t)< t\) for all \(t>0\). Later, Jachymski [9] presented the condition (c): \(0<\phi(t)<t\) and \(\lim_{n\rightarrow\infty}\phi^{n}(t)=0\) for all \(t>0\). In order to weaken the condition (c) further, Fang [10] introduced the condition (d): for each \(t>0\) there exists \(r\geq t\) such that \(\lim_{n\rightarrow \infty}\phi^{n}(r)=0\) in the context of Menger probabilistic metric spaces and fuzzy metric spaces. In this paper, under the condition (d), we present some coincidence point and common fixed point results for weakly compatible mappings in partially ordered fuzzy metric spaces. By using the theorems, we obtain some coupled and multidimensional fixed point results, which are generalization and improvement of very recent theorems in the corresponding literature. In addition, we illustrate our main results with three examples.
Preliminaries
In order to fix the framework needed to state our main results, we recall the following notions. Let \(n\in \mathbb {N}\), X be a nonempty set and \(X^{n}\) be the Cartesian product of n copies of X. For brevity, \(g(x)\), \((y_{1},y_{2},\ldots,y_{n})\), \((y^{1}_{m},y^{2}_{m},\ldots,y^{n}_{m})\), \((z^{1}_{m},z^{2}_{m},\ldots,z^{n}_{m})\), \((z_{1},z_{2},\ldots,z_{n})\), \((v_{1},v_{2},\ldots,v_{n})\) and \((x^{1}_{0},x^{2}_{0},\ldots,x^{n}_{0})\) will be denoted by gx, Y, \(Y_{m}\), \(Z_{m}\), Z, V, and \(X_{0}\), respectively.
Throughout this paper, let \(\{A,B\}\) be a partition of the set \(\Lambda_{n}=\{1,2,\ldots,n\}\), i.e., \(A\cup B=\Lambda_{n}\) and \(A\cap B=\emptyset\). Let \(\sigma_{1},\sigma_{2},\ldots,\sigma_{n}:\Lambda_{n}\rightarrow \Lambda_{n}\) be n mappings from \(\Lambda_{n}\) into itself. We denote \(\Omega _{A,B}=\{ \sigma:\Lambda_{n}\rightarrow\Lambda_{n}:\sigma(A)\subseteq A \text{ and } \sigma(B)\subseteq B\}\), \(\Omega^{'}_{A,B}=\{\sigma:\Lambda_{n}\rightarrow\Lambda_{n}:\sigma (A)\subseteq B \text{ and } \sigma(B)\subseteq A\}\), \(\mathbb {N}_{0}=\{0,1,\ldots,n,\ldots \}\), \(\mathbb {N}=\{1,\ldots,n,\ldots\}\), \(\mathbb{R}^{+}=[0,\infty)\), and \(\mathbb {I}=[0,1]\). If \((X,\preceq)\) is a partially ordered space, we use the following notation from [11], for \(y,v\in X\) and \(i\in \Lambda_{n}\)
Consider on \(X^{n}\) the next natural partial order: for \(Y,V\in X^{n}\)
for all i. If \(Y\preceq_{n} V\) or \(Y\succeq_{n} V\), then two points Y and V are comparable (denoted by \(Y\asymp V\)).
Proposition 2.1
([12])
If \(Y\preceq_{n} V\), it follows that \((y_{\sigma(1)},y_{\sigma (2)},\ldots,y_{\sigma(n)})\preceq_{n}(v_{\sigma(1)},v_{\sigma (2)},\ldots, v_{\sigma(n)})\) if \(\sigma\in\Omega_{AB}\), \((y_{\sigma (1)},y_{\sigma(2)},\ldots,y_{\sigma(n)})\succeq _{n}(v_{\sigma (1)},v_{\sigma(2)},\ldots,v_{\sigma(n)})\) if \(\sigma\in \Omega'_{AB}\).
Definition 2.2
([13])
Let \((X^{n},\preceq_{n})\) be a partially ordered set, and T and G be selfmappings of \(X^{n}\). It is said that T is a Gisotone mapping if, for any \(Y_{1},Y_{2}\in X^{n}\)
Definition 2.3
([14])
Let \((X,\preceq)\) be a partially ordered set and \(F:X^{2}\rightarrow X\). We say F has the mixed gmonotone property if F is monotone nondecreasing in its first argument and is monotone nonincreasing in its second argument, that is, for any \(x,y\in X\),
and
Definition 2.4
([11])
Let \((X,\preceq)\) be a partially ordered space. We say that F has the mixed gmonotone property if F is gmonotone nondecreasing in arguments of A and gmonotone nonincreasing in arguments of B, i.e., for all \(x_{1},x_{2},\ldots,x_{n}, y,z\in X\) and all i
Definition 2.5
([13])
An element \(Y\in X^{n}\) is called a coincidence point of the mappings \(T:X^{n}\rightarrow X^{n}\) and \(G:X^{n}\rightarrow X^{n}\) if \(T(Y)=G(Y)\). Furthermore, if \(T(Y)=G(Y)=Y\), then we say that Y is a common fixed point of T and G.
Definition 2.6
Let \(F:X^{n}\rightarrow X\) and \(g:X\rightarrow X\) be two mappings. A point \((x_{1},x_{2},\ldots,x_{n})\in X^{n}\) is:

(i)
A coupled coincidence point ([14]) if \(n=2\), \(F(x_{1},x_{2})=g(x_{1})\), and \(F(x_{2},x_{1})=g(x_{2})\). If g is the identity mapping on X, then \((x_{1},x_{2})\in X^{2}\) is called a coupled fixed point of the mapping F ([2]). A coupled common fixed point of F and g ([15]) if \(n=2\), \(F(x_{1},x_{2})=g(x_{1})=x_{1}\), and \(F(x_{2},x_{1})=g(x_{2})=x_{2}\).

(ii)
A ϒcoincidence point ([16]) of F and g if
$$F(x_{\sigma_{i}(1)},x_{\sigma_{i}(2)},\ldots,x_{\sigma_{i}(n)})=gx_{i} $$for \(i\in\Lambda_{n}\). If g is the identity mapping on X, then \((x_{1},x_{2},\ldots,x_{n})\in X^{n}\) is called a ϒfixed point of the mapping F.
Definition 2.7
([17])
A triple \((X,\tau,\preceq)\) is called a partially ordered topological space if τ is a Hausdorff topology on X and ⪯ is a partial order on X. A partially ordered topological space \((X,\tau,\preceq)\) is said to have the sequential gmonotone property if it verifies:

(i)
If \(\{x_{m}\}\) is a nondecreasing sequence and \(\{x_{m}\}\rightarrow x\), then \(gx_{m}\preceq gx\) for all m.

(ii)
If \(\{y_{m}\}\) is a nonincreasing sequence and \(\{y_{m}\}\rightarrow y\), then \(gy_{m}\succeq gy\) for all m.
If g is the identity mapping, then X is said to have the sequential monotone property.
Definition 2.8
([18])
A triangular norm (also called a tnorm) is a map \(\ast:\mathbb {I}\times\mathbb{I}\rightarrow\mathbb{I}\) that is associative, commutative, nondecreasing in both arguments and has 1 as identity. A tnorm is continuous if it is continuous in \(\mathbb{I}^{2}\) as mapping. If \(a_{1},a_{2},\ldots,a_{m}\in\mathbb{I}\), then
For each \(a\in[0,1]\), the sequence \(\{\ast^{m}a\}^{\infty}_{m=1}\) is defined inductively by \(\ast^{1}a=a\) and \(\ast^{m+1}a=(\ast ^{m}a)\ast a\) for all \(m\geq1\).
Definition 2.9
([19])
A tnorm is said to be of Htype if the sequence \(\{\ast^{m}a\}^{\infty}_{m=1}\) is equicontinuous at \(a=1\), i.e., for all \(\varepsilon\in(0,1)\), there exists \(\eta\in (0,1)\) such that if \(a\in(1\eta,1]\), then \(\ast^{m}a>1\varepsilon\) for all \(m\in \mathbb {N}\).
Definition 2.10
([20])
A fuzzy metric space in the sense of Kramosil and Michálek (briefly, a FMS) is a triple \((X,M,\ast)\) where X is a nonempty set, ∗ is a tnorm and \(M:X\times X\times\mathbb{R}^{+}\rightarrow\mathbb{I}\) is a fuzzy set satisfying the following conditions for all \(x,y,z\in X\) and \(t,s\geq0\):

(FM1)
\(M(x,y,0)=0\);

(FM2)
\(M(x,y,t)=1\), for all \(t>0\) if and only if \(x=y\);

(FM3)
\(M(x,y,t)=M(y,x,t)\);

(FM4)
\(M(x,y,t)\ast M(y,z,s)\leq M(x,z,t+s)\);

(FM5)
\(M(x,y,\cdot):\mathbb{R}^{+}\rightarrow\mathbb{I}\) is left continuous.
Remark 2.11
Note that ∗ is continuous in the original definition in [20].
Definition 2.12
([21])
A triple \((X,M,\ast)\) is called a fuzzy metric space (in the sense of George and Veeramani) if X is an arbitrary nonempty set, ∗ is a continuous tnorm and \(M:X\times X\times\mathbb{R}^{+}\rightarrow\mathbb{I}\) is a fuzzy set satisfying, for each \(x,y,z\in X\) and \(t,s>0\), conditions (FM2), (FM3), (FM4), (GV5): \(M(x,y,\cdot):(0,\infty)\rightarrow\mathbb{I}\) is continuous, and (GV1): \(M(x,y,t)>0\).
Definition 2.13
([21])
Let \((X,M,\ast)\) be a FMS. A sequence \(\{ x_{n}\}\) in X is said to be convergent to \(x\in X\) if \(\lim_{n\rightarrow\infty}M(x_{n},x,t)=1\) for all \(t>0\). A sequence \(\{x_{n}\}\) in X is said to an MCauchy sequence, if for each \(\varepsilon\in (0,1)\) and \(t>0\) there exists \(n_{0}\in \mathbb {N}\) such that \(M(x_{n},x_{m},t)>1\varepsilon\) for all \(m,n\geq n_{0}\). A fuzzy metric space is called complete if every MCauchy sequence is convergent in X.
Lemma 2.14
([22])
If \((X,M)\) is a FMS under some tnorm and \(x,y\in X\), then \(M(x,y,\cdot)\) is a nondecreasing function on \((0,\infty)\).
Definition 2.15
([7])
A partially ordered fuzzy metric space (for short, poFMS) is a quadruple \((X,M,\ast,\preceq)\) such that \((X,M,\ast)\) is a FMS and ⪯ is a partial order on X.
Definition 2.16
([7])
Let \(p\in \mathbb {N}\) and let \((X,M,\ast)\) be a FMS. A mapping \(G:X^{p}\rightarrow X\) is said to be continuous at a point \(Y_{0}\in X^{p}\) if, for any sequence \(\{Y_{m}\}_{m\geq0}\) in \(X^{p}\) converging to \(Y_{0}\), the sequence \(\{G(Y_{m})\}_{m\geq0}\) converges to \(G(Y_{0})\). If G is continuous at each \(Y_{0}\in X^{p}\), then G is said continuous on \(X^{p}\).
Definition 2.17
([4])
Let \((X,M,\ast)\) be a FMS. The mappings F and g where \(F:X^{2}\rightarrow X\) and \(g:X\rightarrow X\), are said to be compatible if for all \(t>0\)
and
whenever \(\{x_{n}\}\) and \(\{y_{n}\}\) are sequences in X such that \(\lim_{n\rightarrow\infty}F(x_{n},y_{n})=\lim_{n\rightarrow\infty}g(x_{n})=x\) and \(\lim_{n\rightarrow\infty}F(y_{n},x_{n})=\lim_{n\rightarrow\infty}g(y_{n})=y\) for some \(x,y\in X\).
Definition 2.18
([7])
Let \((X,M,\ast,\preceq)\) be a poFMS and let \(\Phi=(\sigma _{1},\sigma _{2},\ldots,\sigma_{n})\) be an ntuple of mappings from \(\Lambda_{n}\) into itself. Two mappings \(F:X^{n}\rightarrow X\) and \(g:X\rightarrow X\) are said to be Φcompatible if, for all sequences \(\{x^{1}_{m}\}_{m\geq 0},\{x^{2}_{m}\}_{m\geq0},\ldots,\{x^{n}_{m}\}_{m\geq0}\subset X\) such that \(\{gx^{1}_{m}\}_{m\geq0},\{gx^{2}_{m}\}_{m\geq0},\ldots, \{gx^{n}_{m}\} _{m\geq0}\) are monotone and
we have
for all \(t>0\) and all i.
Remark 2.19
If \(n=1\) in Definition 2.18, then \(F,g:X\rightarrow X\) are compatible w.r.t. \((X,M, \ast,\preceq)\).
Definition 2.20
([23])
We will say that the maps \(f,g:X\rightarrow X\) are weakly compatible (or the pair \((f,g)\) is wcompatible) if \(fgx=gfx\) for all \(x\in X\) such that \(fx=gx\).
Let \(\Phi'\) denote the family of all functions \(\phi:\mathbb {R}^{+}\rightarrow\mathbb{R}^{+}\) such that \(\lim_{n\rightarrow \infty }\phi^{n}(t)=0\) for all \(t>0\), and let \(\Phi_{w}\) denote the family of all functions \(\phi:\mathbb{R}^{+}\rightarrow\mathbb{R}^{+}\) verifying the condition (d), that is, for each \(t>0\) there exists \(r\geq t\) such that \(\lim_{n\rightarrow\infty}\phi^{n}(r)=0\).
It is evident that the condition \(\lim_{n\rightarrow\infty}\phi ^{n}(t)=0\) for all \(t>0\) implies the condition (d). However, the following example shows that the reverse is not true in general. Hence \(\Phi'\subseteq\Phi_{w}\).
Example 2.21
([10])
Let the function \(\phi:\mathbb{R}^{+}\rightarrow\mathbb{R}^{+}\) be defined by
Notice that \(\phi\in\Phi_{w}\) but \(\phi\notin\Phi'\).
Lemma 2.22
([10])
Let \(\phi\in\Phi_{w}\), then for each \(t>0\) there exists \(r\geq t\) such that \(\phi(r)< t\).
Main results
In this section we establish our main results and use them to obtain some coupled and multidimensional fixed point theorems.
Lemma 3.1
If \((X,M,\ast)\) is a FMS with \(M(x,y,\cdot):\mathbb {R}^{+}\rightarrow \mathbb{I}\) is continuous, then M is a continuous mapping on \(X^{2}\times(0,\infty)\).
Proof
The proof is the same as that for a fuzzy metric space in the sense of George and Veeramani (see RodríguezLópez and Romaguera [24], Proposition 1). □
Lemma 3.2
Let \((X,M,\ast)\) be a FMS such that ∗ is a tnorm of Htype. Let \(\{x_{n}\}\) be a sequence in \((X,M,\ast)\). If there exists a function \(\phi\in\Phi_{w}\) satisfying

(i)
\(\phi(t)>0\) for all \(t>0\);

(ii)
\(M(x_{n},x_{m},\phi(t))\geq M(x_{n1},x_{m1},t)\) for all \(n,m\in \mathbb {N}\) and \(t>0\);

(iii)
\(\lim_{t\rightarrow\infty}M(x_{0},x_{1},t)=1\),
then \(\{x_{m}\}\) is a Cauchy sequence.
Proof
We proceed with the following steps:
Step 1. We claim that for any \(t>0\),
By (iii), for any \(\varepsilon\in(0,1)\), there exists \(t_{0}>0\) such that \(M(x_{0},x_{1},t_{0})>1\varepsilon\). Since \(\phi\in\Phi_{w}\), there exists \(t_{1}\geq t_{0}\) such that \(\lim_{n\rightarrow\infty}\phi^{n}(t_{1})=0\). Thus, for each \(t>0\), there exists \(n_{0}\in \mathbb {N}\) such that \(\phi ^{n}(t_{1})< t\) for all \(n\geq n_{0}\). It is evident that (ii) implies that
It follows from (i) that \(\phi^{n}(t)>0\) for all \(n\in \mathbb {N}\) and \(t>0\). By induction, it follows from (4) that
So, by (5) and the monotonicity of \(M(x,y,\cdot)\), we have
for all \(n\geq n_{0}\). Taking into account that \(\varepsilon,t>0\) are arbitrary, we conclude that (3) holds.
Step 2. We claim that for any \(t>0\),
where \(r\geq t\). Since \(\phi\in\Phi_{w}\), for any \(t>0\), there exists \(r\geq t\) such that \(\phi(r)< t\) by Lemma 2.22. Since \(M(x_{n},x_{n+1},t)\geq M(x_{n},x_{n+1},t\phi(r))=\ast ^{1}M(x_{n},x_{n+1},t\phi(r))\), then (6) holds for \(m={n+1}\). Suppose now that \(M(x_{n},x_{m},t)\geq\ast^{mn}M(x_{n},x_{n+1},t\phi(r))\) holds for some fixed \(m\geq n+1\). By (FM4), (ii) and the monotonicity of ∗, we get
Thus, we prove that if (6) holds for some \(m\geq n+1\), then it also holds for \(m+1\). By induction, we conclude that (6) holds for all \(m\geq n+1\).
Step 3. We claim that \(\{x_{n}\}\) is a Cauchy sequence. As ∗ is a tnorm of Htype, for any \(\varepsilon\in(0,1)\) there exists \(\eta\in(0,1)\) such that
It follows from (3) that there exists \(n_{1}\in \mathbb {N}\) such that \(M(x_{n},x_{n+1},t\phi(r))>1\eta\) for all \(n\geq n_{1}\). So, by (7), we have
for all \(m>n\geq n_{1}\). By (6) and (8), we get for each \(t>0\) and \(\varepsilon\in(0,1)\), \(M(x_{n},x_{m},t)>1\varepsilon\) for all \(m>n\geq n_{1}\), which implies that \(\{x_{n}\}\) is a Cauchy sequence. □
Now, we state and prove some fixed point results for weakly compatible mappings in partially ordered fuzzy metric spaces.
Theorem 3.3
Let \((X,M,\ast,\preceq)\) be a complete poFMS such that ∗ is a tnorm of Htype. Let \(T:X\rightarrow X\) and \(G:X\rightarrow X\) be two mappings such that T is a Gisotone mapping and \(T(X)\subseteq G(X)\). Assume that there exists \(\phi\in\Phi_{w}\) such that, for all \(t>0\) and \(y, v\in X\) with \(G(y)\preceq G(v)\),
Also suppose that either

(C1)
T and G are continuous and compatible and \(M(x,y,\cdot ):\mathbb{R}^{+}\rightarrow\mathbb{I}\) is continuous or

(C2)
\((X,\tau_{M},\preceq)\) has the sequential monotone property and \(G(X)\) is closed.
If there exists \(y_{0}\in X\) such that \(G(y_{0})\asymp T(y_{0})\) and \(\lim_{t\rightarrow\infty}M(G(y_{0}),T(y_{0}),t)=1\). Then T and G have a coincidence point.
Proof
Let \(y_{0}\in X\) such that \(G(y_{0})\asymp T(y_{0})\) and \(\lim_{t\rightarrow \infty}M(G(y_{0}),T(y_{0}),t)=1\). Since \(T(X)\subseteq G(X)\), there exists \(y_{1}\in X\) such that \(G(y_{1})=T(y_{0})\). Recursively, we see that, for every \(m\in \mathbb {N}_{0}\), there exists \(y_{m+1}\in X\) such that \(G(y_{m+1})=T(y_{m})\). Set \(z_{0}=G(y_{0})\) and \(z_{m+1}=G(y_{m+1})=T(y_{m})\) for every \(m\in \mathbb {N}_{0}\).
Since \(G(y_{0})\asymp T(y_{0})\), we suppose that \(G(y_{0})\preceq T(y_{0})\), i.e., \(z_{0}\preceq z_{1}\) (the case \(G(y_{0})\succeq T(y_{0})\) is treated similarly). Assume that \(z_{m1}\preceq z_{m}\) for some \(m\in \mathbb {N}_{0}\), that is, \(G(y_{m1})\preceq G(y_{m})\). Since T is a Gisotone mapping, we get \(z_{m}=T(y_{m1})\preceq T(y_{m})=z_{m+1}\). This actually means that the sequence \(\{z_{m}\}\) is nondecreasing. Using (9) and monotonicity of \(\{z_{m}\}\), we get
for all \(m,n\in \mathbb {N}\) and \(t>0\). Obviously, the inequality (9) implies that \(\phi(t)>0\) for all \(t>0\). Indeed, if there exists some \(t_{0}>0\) such that \(\phi(t_{0})=0\). It follows from (9) that
which is a contradiction. Since \(\lim_{t\rightarrow\infty }M(G(y_{0}),T(y_{0}),t)=1\), we have \(\lim_{t\rightarrow\infty }M(z_{0},z_{1}, t)=1\). So, by Lemma 3.2, \(\{z_{m}\}\) is a Cauchy sequence.
Now suppose that the condition (C1) holds. Since \((X,M,\ast,\preceq)\) is complete, there exists \(\hat{z}\in X\) such that \(\lim_{m\rightarrow \infty}z_{m}=\hat{z}\), that is,
Since T and G are compatible, we have
for all \(t>0\). As G is continuous, we have
Using Lemma 3.1, we find that M is a continuous mapping on \(X^{2}\times (0,\infty)\). By the continuity of M and (10)(12), we have \(1=\lim_{m\rightarrow\infty}M(G(G(y_{m+1})),T(G(y_{m})),t)=M(G(\hat {z}),T(\hat{z}),t)\) for all \(t>0\), which implies that \(G(\hat {z})=T(\hat {z})\) and ẑ is a coincidence point of T and G.
Now suppose that the condition (C2) holds. Since \((X,M,\ast,\preceq)\) is complete and \(G(X)\) is closed, there exists \(z\in X\) such that \(\lim_{m\rightarrow\infty}T(y_{m})=\lim_{m\rightarrow\infty}G(y_{m})=G(z)\). Since \((X,\tau_{M},\preceq)\) has the sequential monotone property, we have \(G(y_{m})\preceq G(z)\) for all \(m\in \mathbb {N}_{0}\). Since \(\phi\in\Phi_{w}\), for each \(t>0\) there exists \(r\geq t\) such that \(\phi(r)< t\) by Lemma 2.22. So, by (9) and the monotonicity of \(M(x,y,\cdot)\), we have
for all \(t>0\) and \(m\in \mathbb {N}_{0}\). Letting \(m\rightarrow\infty\) in the above inequality, we get \(T(y_{m})\rightarrow T(z)\) as \(m\rightarrow\infty\). By the uniqueness of the limit, we conclude that \(G(z)=T(z)\) and z is a coincidence point of T and G. □
Theorem 3.4
In addition to the hypotheses of Theorem 3.3, let G be weakly compatible with T if assumption (C2) holds. Suppose that for all coincidence points \(y,v\in X\) of mappings T and G, there exists \(u\in X\) such that

(C3)
\(G(u)\) is comparable to \(G(y)\) and \(G(v)\);

(C4)
\(\lim_{t\rightarrow\infty}M(G(u),G(y),t)=\lim_{t\rightarrow \infty}M(G(u),G(v),t)=1\).
Then T and G have a unique common fixed point.
Proof
Put \(u_{0}=u\) and define a sequence \(\{G(u_{m})\}\) by \(G(u_{m+1})=T(u_{m})\) for \(m\in \mathbb {N}\). We may assume that \(G(y)\preceq G(u_{0})\) (the case \(G(y)\succeq G(u_{0})\) is treated similarly). Since T is a Gisotone mapping, we have \(G(y)=T(y)\preceq T(u_{0})=G(u_{1})\). By induction we obtain \(G(y)\preceq G(u_{m})\) for all \(m\in \mathbb {N}_{0}\). Owing to \(\lim_{t\rightarrow\infty }M(G(u),G(y),t)=1\), for any \(\varepsilon\in(0,1)\), there exists \(t_{2}>0\) such that \(M(G(u_{0}),G(y),t_{2})>1\varepsilon\). Since \(\phi\in\Phi_{w}\), there exists \(t_{3}\geq t_{2}\) such that \(\phi ^{m}(t_{3})\rightarrow0\) as \(m\rightarrow\infty\). Thus, for each \(t>0\), there exists \(m_{0}\in \mathbb {N}\) such that \(\phi^{m}(t_{3})< t\) for all \(m\geq m_{0}\). So, by (9) and the monotonicity of \(M(x,y,\cdot)\), we get for all \(m\geq m_{0}\) and \(t>0\),
Since \(\varepsilon,t>0\) are arbitrary, we deduce that \(M(G(u_{m}),G(y),t)\rightarrow1\) as \(m\rightarrow\infty\). This shows that \(\lim_{m\rightarrow\infty}G(u_{m})=G(y)\). Similarly, we find that \(\lim_{m\rightarrow\infty}G(u_{m})=G(v)\). The uniqueness of the limit proves that \(G(y)=G(v)\).
Denote \(w=T(y)=G(y)\). Since T and G are weakly compatible mappings, we have \(T(w)=TG(y)=GT(y)=G(w)\). So, w is also a coincidence point of T and G. Therefore, \(G(w)=G(y)=w\) and w is a common fixed point of T and G. In order to prove the uniqueness, assume that \(w^{*}\) is another common fixed point of T and G. Then we have \(w^{*}=G(w^{*})=G(w)=w\). This completes the proof. □
Example 3.5
Let \((X,\preceq)\) be the partially ordered set with \(X=[0,1]\) and the natural ordering ≤ of the real numbers as the partial ordering ⪯. Define \(M:X\times X\times\mathbb{R}^{+}\rightarrow \mathbb {I}\) by
Then \(M(x,y,\cdot):\mathbb{R}^{+}\rightarrow\mathbb{I}\) is continuous. Let \(x\ast y=\min\{x,y\}\) for all \(x,y\in X\). Then \((X,M,\ast)\) is a complete FMS with \(M(x,y,t)\rightarrow1\) as \(t\rightarrow\infty\), for all \(x,y\in X\). Consider \(T,G:X\rightarrow X\) defined by \(T(x)=\frac {x^{2}}{3}+\frac{2}{3}\) and \(G(x)=x\).
It is easy to verify the following statements.

(i)
\(T(X)\subseteq G(X)\) and T is a Gisotone mapping.

(ii)
The condition (C1) holds.

(iii)
There exists \(y_{0}=0\) such that \(G(y_{0})=0\leq\frac{2}{3}=T(y_{0})\).
Let \(y,v\in X\) such that \(G(y)\preceq G(v)\), that is, \(y\leq v\). Next, we show that the inequality (9) is satisfied with \(\phi (t)=\frac {3}{4}t\), for all \(t>0\). If (9) does not hold, then there exists \(t>0\) such that
that is,
that is,
Since \(y,v\in[0,1]\),
which is impossible. Hence (9) holds.
By Theorems 3.3 and 3.4, T and G have a unique common fixed point, which is \(z=1\). In this example, computing according to \(z_{0}=G(y_{0})\) and \(z_{m+1}=G(y_{m+1})=T(y_{m})\) for every \(m\in \mathbb {N}_{0}\), we obtain \(\{ z_{0}=0,z_{1}=\frac{2}{3},z_{2}=\frac{22}{27},z_{3}=\frac{1942}{2187},\ldots\}\). Thus the sequence \(\{z_{n}\}\) is a nontrivial sequence.
Example 3.6
Let \(X=\{0, 0.25, 0.5,1.5,1.75, 2\}\) and define \(M:X\times X\times \mathbb{R}^{+}\rightarrow\mathbb{I}\) as follows:
As Gregori et al. have pointed out in [25], any \(\mathit {FMS}(X,M)\) is equivalent to Menger space in the sense that \(M(x,y,t)=F_{x,y}(t)\) for all \(x,y\in X\) and \(t\geq0\). Thus, \((X,M)\) is a FMS under \(\ast=\min\) (see Example in [8]).
Let \(\tau_{M}\) be the discrete topology on X. Note that the metric space \((X,d)\) is complete, where d is defined by \(d(x,y)=\vert xy\vert \). Next, we claim that if \(\{x_{n}\}\) is a Cauchy sequence in \((X,M,\ast)\), then \(\{x_{n}\}\) is also a Cauchy sequence in \((X,d)\). Indeed, if \(\{x_{n}\} \) is not a Cauchy sequence in \((X,d)\), then there exist \(\varepsilon _{0}>0\) and two sequences \(\{n_{i}\}\) and \(\{m_{i}\}\) such that \(m_{i}>n_{i}\geq i\) and \(d(x_{m_{i}},x_{n_{i}})\geq\varepsilon_{0}\) for all \(i\in \mathbb {N}\). Taking \(\lambda_{0}\in(0,\frac{1}{2}]\), it follows from (13) that
which contradicts that \(\{x_{n}\}\) is a Cauchy sequence in \((X,M,\ast)\). So, \(\{x_{n}\}\) is also a Cauchy sequence in \((X,d)\). Since \((X,d)\) is complete, there exists \(x\in X\) such that \(x_{n}\rightarrow x\) as \(n\rightarrow\infty\), and so for any \(t>0\) there exists \(n_{2}\in \mathbb {N}\) such that \(\vert x_{n}x\vert < t\) for all \(n\geq n_{2}\). Thus, for any \(t>0\) and \(\varepsilon\in(0,1)\), by (13), we have \(M(x_{n},x,t)=1>1\varepsilon\) for all \(n\geq n_{2}\), which implies that \((X,M,\ast)\) is complete.
Endow X with the following partial order:
Let \(\phi:\mathbb{R}^{+}\rightarrow\mathbb{R}^{+}\) be defined by (2). Consider \(T,G:X\rightarrow X\) defined by
It is not difficult to prove the following statements.

(i)
\(T(X)\subseteq G(X)\).

(ii)
The condition (C2) holds (since \(\tau_{M}\) is the discrete topology on X).

(iii)
There exists \(y_{0}=0\) such that \(G(y_{0})\preceq T(y_{0})\) and \(\lim_{t\rightarrow\infty}M(G(y_{0}),T(y_{0}),t)=1\).

(iv)
All conditions of Theorem 3.4 hold. In fact, \(y=0\) and \(v=0.5\) are all coincidence points of T and G. Since \(TG(0)=GT(0)\) and \(TG(0.5)=GT(0.5)\), by Definition 2.20, G is weakly compatible with T. In addition, there exists \(u=1.5\) such that \(G(y)\preceq G(u)\) and \(G(v)\preceq G(u)\). It follows from (13) that (C4) holds.

(v)
T is a Gisotone mapping. Indeed, let \(y,v\in X\) such that \(G(y)\preceq G(v)\).

(a)
If \(G(y)=G(v)\) then \(y=v\) or \(y,v\in\{0,0.5\}\) or \(y,v\in\{ 0.25,1.75,2\}\). Thus, \(T(y)=T(v)\).

(b)
If \((G(y),G(v))=(0,0.25)\), then \(y\in\{0,0.5\}\) and \(v\in\{ 0.25,1.75,2\}\). Thus, \(T(y)=T(v)\).

(c)
If \((G(y),G(v))=(0,0.5)\), then \(y\in\{0,0.5\}\) and \(v=1.5\). Thus, \((T(y),T(v))=(0,0.25)\).

(a)
Therefore, \(T(y)\preceq T(v)\).
Next, we shall prove that (9) holds. Let \(y,v\in X\) such that \(G(y)\preceq G(v)\). It follows from (a) and (b) that \(0=\vert T(y)T(v)\vert <\phi (t)\) for all \(t>0\). Thus, \(M(T(y),T(v),\phi(t))=1\geq M(G(y),G(v),t)\) for all \(t>0\), i.e., (9) holds. By (c), we have \(\vert T(y)T(v)\vert =0.25\) and \(\vert G(y)G(v)\vert =0.5\). If \(\phi(t)>0.25\), by (13), it is evident that (9) holds. Suppose that \(\phi(t)\leq 0.25\). From (2), it is easy to see that \(\phi(t)\geq\frac {t}{1+t}\) for all \(t\geq0\). So, we have \(t\leq\frac{1}{3}\). Therefore, \(\vert G(y)G(v)\vert >t\). By (13), we have
i.e., (9) holds.
By Theorems 3.3 and 3.4, T and G have a unique common fixed point, which is \(z=0\). However, the totally ordered version of Theorems 3.3 and 3.4 cannot be applied to this example (since (9) does not hold). In fact, if \((G(y),G(v))=(0.5,0.25)\), then \(y=1.5\) and \(v\in\{ 0.25,1.75,2\}\). Taking \(t=\frac{7}{24}\), by (2), we have \(\phi (t)=\frac{7}{31}<\frac{1}{4}=\vert T(y)T(v)\vert \). By (13), we have
So, (9) does not hold.
If G is the identity mapping on X in Theorems 3.3 and 3.4, then the following corollary is obtained immediately.
Corollary 3.7
Let \((X,M,\ast,\preceq)\) be a complete poFMS such that ∗ is a tnorm of Htype. Let \(T:X\rightarrow X\) be a nondecreasing mapping. Assume that there exists \(\phi\in\Phi_{w}\) such that, for all \(t>0\) and \(y, v\in X\) with \(y\preceq v\),
Also suppose that either T and \(M(x,y,\cdot):\mathbb{R}^{+}\rightarrow\mathbb{I}\) are continuous or \((X,\tau_{M},\preceq)\) has the sequential monotone property. If there exists \(y_{0}\in X\), such that \(y_{0}\asymp T(y_{0})\) and \(\lim_{t\rightarrow\infty}M(y_{0},T(y_{0}),t)=1\), then T has a fixed point.
Furthermore, suppose that for all fixed points \(y,v\in X\) of T, there exists \(u\in X\) such that u is comparable to y and v and \(\lim_{t\rightarrow\infty}M(u,y,t)=\lim_{t\rightarrow \infty }M(u,v,t)=1\). Then T has a unique fixed point.
Remark 3.8
Corollary 3.7 can be considered as a partially ordered version of Theorem 4.1 in [10].
Example 3.9
Let \((X,M,\preceq,\ast)\), T, ϕ be the same as in Example 3.6. Using a similar argument to Example 3.6, we deduce that the conditions of Corollary 3.7 are satisfied. So, T has a unique fixed point, which is \(z=0\). However, Theorem 4.1 in [10] cannot be applied to this example because the condition ‘\(M(T(y),T(v),\phi(t))\geq M(y,v,t)\) for all \(y,v\in X\) and \(t>0\)’ does not hold. In fact, if \((y,v)=(1.75,1.5)\), then \(\vert T(y)T(v)\vert =\frac {1}{4}\). Taking \(t=\frac{1}{4}\), by (2), we have \(\phi (t)=\frac {1}{5}\). Thus, by (13), we have
Next, we give some basic concepts and results that we will need to obtain some coupled and multidimensional fixed point results.
Definition 3.10
Let \(F:X^{n}\rightarrow X\) and \(g:X\rightarrow X\) be two mappings. A point \((x_{1},x_{2},\ldots,x_{n})\in X^{n}\) is a common fixed point of F and g if \(F(x_{\sigma_{i}(1)},x_{\sigma _{i}(2)},\ldots,x_{\sigma_{i}(n)})=gx_{i}=x_{i}\) for \(i\in\Lambda_{n}\).
Definition 3.11
Given \(n\geq2\), the mappings \(F:X^{n}\rightarrow X\) and \(g:X\rightarrow X\) are weakly compatible (or the pair \((F,g)\) is wcompatible) if
Lemma 3.12
Let \((X,M,\ast)\) be a FMS such that ∗ is a continuous tnorm. Let \(M^{n}:X^{n}\times X^{n}\times\mathbb{R}^{+}\rightarrow\mathbb{I}\) be given by
for all \(A=(a_{1},a_{2},\ldots,a_{n})\), \(B=(b_{1},b_{2},\ldots,b_{n})\in X^{n}\), and all \(t\geq0\). Then the following properties hold:

(i)
\((X^{n},M^{n},\ast)\) is also a FMS.

(ii)
Let \(\{A_{m}=(a^{1}_{m},a^{2}_{m},\ldots,a^{n}_{m})\}\) be a sequence on \(X^{n}\) and let \(A=(a_{1},a_{2},\ldots,a_{n})\in X^{n}\). Then \(\{A_{m}\} \rightarrow A\) if, and only if, \(\{a^{i}_{m}\}\rightarrow a_{i}\) for all \(i\in\{ 1,2,\ldots,n\}\).

(iii)
If \((X,M,\ast)\) is complete, then \((X^{n},M^{n},\ast)\) is complete.
Proof
The proofs of (i) and (ii) in Lemma 3.12 are the same as Lemma 13 in [15]. Next, we shall prove that (iii) holds. Suppose that \(\{Y_{m}\}\) is a Cauchy sequence in \((X^{n},M^{n},\ast)\). Thus, for any \(\varepsilon\in(0,1)\) and \(t>0\), there exists \(n_{3}\in \mathbb {N}\) such that \(M^{n}(Y_{n},Y_{m},t)>1\varepsilon\) for all \(n,m\geq n_{3}\). By (14), we have
Thus, for \(n,m\geq n_{3}\), we have \(M(y^{i}_{n},y^{i}_{m},t)>1\varepsilon\) for each \(i\in\Lambda_{n}\). Therefore, \(\{y^{i}_{m}\}\) is a Cauchy sequence in \((X,M,\ast)\) for each \(i\in\Lambda_{n}\). Since \((X,M,\ast)\) is complete, then \(\{y^{i}_{m}\}\) converges to a point \(y_{i}\) of X for each \(i\in\Lambda_{n}\). Thus, \(\{Y_{m}\}\) converges to a point Y of \(X^{n}\). That is, \((X^{n},M^{n},\ast)\) is complete. This completes the proof. □
The following multidimensional fixed point theorem is an immediate consequence of Theorems 3.3 and 3.4.
Theorem 3.13
Let \((X,M,\ast,\preceq)\) be a complete poFMS with a continuous tnorm ∗ of Htype. Let \(\Phi=(\sigma_{1},\sigma_{2},\ldots ,\sigma _{n})\) be an ntuple of mappings from \(\Lambda_{n}\) into itself verifying \(\sigma_{i}\in\Omega_{A,B}\) if \(i\in A\) and \(\sigma_{i}\in\Omega^{'}_{A,B}\) if \(i\in B\). Suppose that \(F:X^{n}\rightarrow X\) and \(g:X\rightarrow X\) are two mappings such that F has the mixed gmonotone property on X and \(F(X^{n})\subseteq g(X)\). Assume that there exists \(\phi\in\Phi _{w}\) such that
for all \(t>0\) and all \(x_{1},x_{2},\ldots,x_{n},y_{1},y_{2},\ldots,y_{n}\in X\) with \(gx_{i}\preceq_{i} gy_{i}\) for \(i\in\Lambda_{n}\), where \(\gamma :[0,1]\rightarrow [0,1]\) is a mapping such that \(\ast^{n}\gamma(a)\geq a\) for each \(a\in [0,1]\). Suppose that
for all \(x_{1},x_{2},\ldots,x_{n},y_{1},y_{2},\ldots,y_{n}\in X\) with \(gx_{i}\preceq _{i} gy_{i}\) for \(i\in\Lambda_{n}\). Suppose that either

(C5)
F and g are continuous and Φcompatible and \(M(x,y,\cdot ):\mathbb{R}^{+}\rightarrow\mathbb{I}\) is continuous, or

(C6)
\((X,\tau_{M},\preceq)\) has the sequential monotone property and \(g(X)\) is closed.
If there exist \(x^{1}_{0},x^{2}_{0},\ldots,x^{n}_{0}\in X\) satisfying
for \(i\in\Lambda_{n}\), then F and g have, at least, one ϒcoincidence point.
Furthermore, assume that for all pairs of ϒcoincidence points \((x_{1},x_{2},\ldots,x_{n})\), \((y_{1},y_{2}, \ldots,y_{n})\in X^{n}\) of F and g there exists \((u_{1},u_{2},\ldots,u_{n})\in X^{n}\) such that

(C7)
\((gu_{1},gu_{2},\ldots,gu_{n})\) is comparable to \((gx_{1},gx_{2},\ldots,gx_{n})\) and \((gy_{1},gy_{2},\ldots,gy_{n})\);

(C8)
\(\lim_{t\rightarrow\infty}M(gu_{i},gx_{i},t)=\lim_{t\rightarrow \infty}M(gu_{i},gy_{i},t)=1\) for \(i\in\Lambda_{n}\).
Also, assume that F is weakly compatible with g if assumption (C6) holds. Then F and g have a unique common fixed point.
Proof
Since \((X,M,\ast,\preceq)\) is a complete poFMS such that ∗ is a continuous tnorm of Htype, so is \((X^{n},M^{n},\ast,\preceq_{n})\) by Lemma 3.12. Let \(T:X^{n}\rightarrow X^{n}\) and \(G:X^{n}\rightarrow X^{n}\) be two mappings defined by
and
for \(Y\in X^{n}\). It follows from \(F(X^{n})\subseteq g(X)\) that \(T(X^{n})\subseteq G(X^{n})\). By (14), (17) and the continuity of ∗, there exists \(X_{0}\) such that \(G(X_{0})\preceq_{n} T(X_{0})\) and \(\lim_{t\rightarrow \infty }M^{n}(G(X_{0}),T(X_{0}),t)=1\).
Suppose that \(\{Y_{m}\}_{m\geq0}\subset X^{n}\) such that \(\{G(Y_{m})\} _{m\geq 0}\) is monotone and the following limit exists: \(\lim_{m\rightarrow \infty}T(Y_{m})=\lim_{m\rightarrow\infty}G(Y_{m})\in X^{n}\). From (18) and (19), we see that, for sequences \(\{y^{1}_{m}\}_{m\geq0},\{ y^{2}_{m}\}_{m\geq0},\ldots,\{y^{n}_{m}\}_{m\geq0}\subset X\) such that \(\{ gy^{1}_{m}\}_{m\geq0},\{gy^{2}_{m}\}_{m\geq0},\ldots,\{gy^{n}_{m}\}_{m\geq0}\) are monotone and the following limit exists: for all \(i\in\Lambda_{n}\), \(\lim_{m\rightarrow\infty}F(y^{\sigma_{i}(1)}_{m},y^{\sigma _{i}(2)}_{m},\ldots,y^{\sigma_{i}(n)}_{m})=\lim_{m\rightarrow\infty }gy^{i}_{m}\in X\). Since F and g are Φcompatible, we have
Therefore, T and G are compatible.
Now, we show that T is a Gisotone mapping. Suppose that \(G(Y)\preceq_{n} G(V)\) for \(Y,V\in X^{n}\). By (1) and (19), we have \(gy_{j}\preceq gv_{j}\) when \(j\in A\) and \(gy_{j}\succeq gv_{j}\) when \(j\in B\). For each \(i\in A\), we have \(\sigma_{i}\in\Omega _{A,B}\). So, for fixed \(i\in A\), we have \(gy_{\sigma_{i}(j)}\preceq gv_{\sigma_{i}(j)}\) when \(j\in A\) and \(gy_{\sigma_{i}(j)}\succeq gv_{\sigma_{i}(j)}\) when \(j\in B\). Thus, by the mixed gmonotone property of F, for fixed \(i\in A\), we have
when \(j\in A\). Similarly, if \(j\in B\), then inequality (20) holds for fixed \(i\in A\). So, for fixed \(i\in A\), inequality (20) holds for all j. From this, we have
for \(i\in A\). Similarly, we have
for \(i\in B\). Thus, by (18), (21), and (22), we deduce that T is a Gisotone mapping.
The conditions (C7) and (C8) imply that (C3) and (C4) hold w.r.t. \((X^{n},M^{n},\ast,\preceq_{n})\). It is easy to deduce that T and G are weakly compatible if assumption (C2) holds w.r.t. \((X^{n},M^{n},\ast ,\preceq _{n})\). If F and g are continuous, then T and G are continuous.
Given \(G(Y)\preceq_{n} G(V)\), by Proposition 2.1, \((gy_{\sigma _{i}(1)},gy_{\sigma_{i}(2)},\ldots,gy_{\sigma_{i}(n)})\) and \((gv_{\sigma _{i}(1)},gv_{\sigma_{i}(2)},\ldots, gv_{\sigma_{i}(n)})\) are comparable by \(\preceq_{n}\). Therefore, (15) and (16) can be applied to these points, and it follows that for all \(t>0\),
Next we shall prove that the condition (C2) of Theorem 3.3 holds w.r.t. \((X^{n},M^{n},\ast,\preceq_{n})\). Since \(g(X)\) is closed, so is \(G(X)\). Suppose that \(\{Z_{m}\}\) is a nondecreasing sequence in \(X^{n}\) such that \(Z_{m}\rightarrow Z\) (\(m\rightarrow\infty\)). Using Lemma 3.12, we have \(z^{i}_{m}\rightarrow z^{i}\) (\(m\rightarrow\infty\)) for all \(i\in\Lambda_{n}\). Since \(Z_{m}\preceq_{n} Z_{m+1}\) for all \(m\in \mathbb {N}_{0}\), then \((z^{i}_{m})_{m\in \mathbb {N}_{0}}\) is a nondecreasing sequence when \(i\in A\) and \((z^{i}_{m})_{m\in \mathbb {N}_{0}}\) is a nonincreasing sequence when \(i\in B\). If \(i\in A\), as \((X,\tau_{M},\preceq)\) has the sequential monotone property, then we have \(z^{i}_{m}\preceq z^{i}\) for all \(m\in \mathbb {N}_{0}\). Similarly, if \(i\in B\), then \(z^{i}_{m}\succeq z^{i}\) for all \(m\in \mathbb {N}_{0}\). That is, \(Z_{m}\preceq_{n} Z\) for every \(m\in \mathbb {N}_{0}\). The other case is treated similarly.
Therefore, all conditions of Theorems 3.3 and 3.4 hold w.r.t. \((X^{n},M^{n},\ast,\preceq_{n})\). Theorem 3.3 implies that T and G have a coincidence point, which is a ϒcoincidence point of F and g. Moreover, it follows from Theorem 3.4 that T and G have a unique common fixed point, which is a unique common fixed point of F and g. □
Remark 3.14
Theorem 3.13 improves Theorems 18 and 26 in [7]:

(i)
We use \(\phi\in\Phi_{w}\), and \(\Phi_{w}\) is a class of more general functions than \(\phi(t)=kt\), \(k\in(0,1)\).

(ii)
The continuity of g and Φcompatible of F and g are omitted if assumption (C6) holds. The continuity of γ is not necessary.

(iii)
The condition \(\lim_{t\rightarrow\infty}M(x,y,t)=1\) for all \(x,y\in X\) is weakened by conditions (17) and (C8).

(iv)
Our result is valid for fuzzy metric spaces in the sense of Kramosil and Michálek, so it is also valid for fuzzy metric spaces in the sense of George and Veeramani. The completeness is a weaker kind of completeness in Theorem 3.13 (see [26]).
Taking \(n=2\), \(A=\{1\}\), and \(B=\{2\}\) in Theorem 3.13, we deduce the following coupled fixed point theorem improving Theorem 3.1 in [6].
Corollary 3.15
Let \((X,M,\ast,\preceq)\) be a complete poFMS such that ∗ is a continuous tnorm of Htype. Let \(F:X^{2}\rightarrow X\) and \(g:X\rightarrow X\) be two mappings such that F has the mixed gmonotone property on X and \(F(X^{2})\subseteq g(X)\). Assume that there exists \(\phi\in\Phi_{w}\) such that
for all \(t>0\) and \(x_{1},x_{2},y_{1},y_{2}\in X\) with \(g(x_{1})\preceq g(y_{1})\) and \(g(x_{2})\succeq g(y_{2})\), where \(\gamma:[0,1]\rightarrow[0,1]\) is a mapping such that \(\gamma(a)\ast\gamma(a)\geq a\) for each \(a\in[0,1]\). Suppose that either F and g are continuous and compatible and \(M(x,y,\cdot):\mathbb{R}^{+}\rightarrow\mathbb{I}\) is continuous or condition (C6) holds. If there are \(x^{1}_{0},x^{2}_{0}\in X\) such that \(g(x^{1}_{0})\preceq F(x^{1}_{0},x^{2}_{0})\), \(g(x^{2}_{0})\succeq F(x^{2}_{0},x^{1}_{0})\) and \(\lim_{t\rightarrow\infty}M(g(x^{1}_{0}),F(x^{1}_{0},x^{2}_{0}),t)=\lim_{t\rightarrow\infty}M(g(x^{2}_{0}),F(x^{2}_{0},x^{1}_{0}),t)=1\), then F and g have a coupled coincidence point in X.
Furthermore, assume that for all pairs of coupled coincidence points \((x_{1},x_{2})\), \((y_{1},y_{2})\in X^{2}\) of F and g there exists \((u_{1},u_{2})\in X^{2}\) such that \((gu_{1},gu_{2})\) is comparable to \((gx_{1},gx_{2})\) and \((gy_{1},gy_{2})\), \(\lim_{t\rightarrow\infty}M(gu_{i},gx_{i},t)=\lim_{t\rightarrow\infty }M(gu_{i},gy_{i},t)=1\) for \(i\in\Lambda_{2}\). Also, assume that F are weakly compatible with g if assumption (C6) holds. Then F and g have a unique common coupled fixed point.
Remark 3.16
Corollary 3.15 is better than Theorem 3.2 in [5] in two senses.

(i)
In Corollary 3.15, we use \(\phi\in\Phi_{w}\), and \(\Phi _{w}\) is a class of more general functions than Φ in Theorem 3.2 of [5].

(ii)
Corollary 3.15 is valid for partially ordered fuzzy metric spaces in the sense of Kramosil and Michálek, so it is also valid for fuzzy metric spaces in the sense of George and Veeramani.
References
 1.
Guo, D, Lakshmikantham, V: Coupled fixed points of nonlinear operators with applications. Nonlinear Anal. 11, 623632 (1987)
 2.
Bhaskar, TG, Lakshmikantham, V: Fixed point theorems in partially ordered metric spaces and applications. Nonlinear Anal. 65, 13791393 (2006)
 3.
Sedghi, S, Altun, I, Shobe, N: Coupled fixed point theorems for contractions in fuzzy metric spaces. Nonlinear Anal. 72, 12981304 (2010)
 4.
Hu, XQ: Common coupled fixed point theorems for contractive mappings in fuzzy metric spaces. Fixed Point Theory Appl. 2011, 363716 (2011). doi:10.1155/2011/363716
 5.
Hu, XQ, Zheng, MX, Damjanović, B, Shao, XF: Common coupled fixed point theorems for weakly compatible mappings in fuzzy metric spaces. Fixed Point Theory Appl. 2013, 220 (2013). doi:10.1186/168718122013220
 6.
Choudhury, BS, Das, K, Das, P: Coupled coincidence point results for compatible mappings in partially ordered fuzzy metric spaces. Fuzzy Sets Syst. 222, 8497 (2013)
 7.
Roldán, A, MartínezMoreno, J, Roldán, C, Cho, YJ: Multidimensional coincidence point results for compatible mappings in partially ordered fuzzy metric spaces. Fuzzy Sets Syst. 251(16), 7182 (2014)
 8.
Ćirić, L: Solving the Banach fixed point principle for nonlinear contractions in probabilistic metric spaces. Nonlinear Anal. 72, 20092018 (2010)
 9.
Jachymski, J: On probabilistic ϕcontractions on Menger spaces. Nonlinear Anal. 73, 21992203 (2010)
 10.
Fang, JX: On φcontractions in probabilistic and fuzzy metric spaces. Fuzzy Sets Syst. 267, 8699 (2015)
 11.
Roldán, A, MartínezMoreno, J, Roldán, C: Multidimensional fixed point theorems in partially ordered metric spaces. J. Math. Anal. Appl. 396, 536545 (2012)
 12.
Roldán, A, MartínezMoreno, J, Roldán, C, Karapınar, E: Some remarks on multidimensional fixed point theorems. Fixed Point Theory 15(2), 545558 (2014)
 13.
Wang, S: Coincidence point theorems for Gisotone mappings in partially ordered metric spaces. Fixed Point Theory Appl. 2013, 96 (2013). doi:10.1186/16871812201396
 14.
Lakshmikantham, V, Ćirić, L: Coupled fixed point theorems for nonlinear contractions in partially ordered metric spaces. Nonlinear Anal. 70, 43414349 (2009)
 15.
Francisco, A, Hierro, RL, Sintunavarat, W: Common fixed point theorems in fuzzy metric spaces using the CLRg property. In: Fuzzy Sets Syst (2014). doi:10.1016/j.fss.2014.11.005
 16.
Karapınar, E, Roldán, A, MartinezMoreno, J, Roldán, C: MeirKeeler type multidimensional fixed point theorems in partially ordered metric spaces. Abstr. Appl. Anal. 2013, Article ID 406026 (2013)
 17.
Ćirić, L, Abbas, M, Damjanovic, B, Saadati, R: Common fuzzy fixed point theorems in ordered metric spaces. Math. Comput. Model. 53, 17371741 (2011)
 18.
Schweizer, B, Sklar, A: Probabilistic Metric Spaces. Dover, New York (2005)
 19.
Hadžić, O, Pap, E: Fixed Point Theory in Probabilistic Metric Spaces. Kluwer Academic, Dordrecht (2001)
 20.
Kramosil, I, Michálek, J: Fuzzy metrics and statistical metric spaces. Kybernetika 11, 336344 (1975)
 21.
George, A, Veeramani, P: On some result in fuzzy metric space. Fuzzy Sets Syst. 64, 395399 (1994)
 22.
Grabiec, M: Fixed points in fuzzy metric spaces. Fuzzy Sets Syst. 27(3), 385389 (1988)
 23.
Abbas, M, Khan, MA, Radenovic, S: Common coupled fixed point theorems in cone metric spaces for wcompatible mappings. Appl. Math. Comput. 217(1), 195202 (2010)
 24.
RodríguezLópez, J, Romaguera, S: The Hausdorff fuzzy metric on compact sets. Fuzzy Sets Syst. 147, 273283 (2004)
 25.
Gregori, V, Morillas, S, Sapena, A: On a class of completable fuzzy metric spaces. Fuzzy Sets Syst. 161, 21932205 (2010)
 26.
Vasuki, R, Veeramani, P: Fixed point theorems and Cauchy sequences in fuzzy metric spaces. Fuzzy Sets Syst. 135, 415417 (2003)
Acknowledgements
The author thanks the editor and the referees for their useful comments and suggestions. Supported by the Natural Science Foundation of Jiangsu Province under grant (13KJB110028).
Author information
Additional information
Competing interests
The author declares that she has no competing interests.
Author’s contributions
SW completed the paper herself. The author 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
Received
Accepted
Published
DOI
MSC
 47H10
 54H25
Keywords
 fuzzy metric spaces
 weakly compatible mappings
 common fixed points
 coupled coincidence points
 multidimensional coincidence points
 partially ordered