 Research
 Open Access
 Published:
New conditions on fuzzy coupled coincidence fixed point theorem
Fixed Point Theory and Applications volume 2014, Article number: 153 (2014)
Abstract
Recently, Choudhury et al. proved a coupled coincidence point theorem in a partial order fuzzy metric space. In this paper, we give a new version of the result of Choudhury et al. by removing some restrictions. In our result, the mappings are not required to be compatible, continuous or commutable, and the tnorm is not required to be of Hadžićtype. Finally, two examples are presented to illustrate the main result of this paper.
MSC:54E70, 47H25.
1 Introduction
The concept of fuzzy metric spaces was defined in different ways [1–3]. Grabiec [4] presented a fuzzy version of Banach contraction principle in a fuzzy metric space of Kramosi and Michalek’s sense. Fang [5] proved some fixed point theorems in fuzzy metric spaces, which improve, generalize, unify, and extend some main results of Edelstein [6], Istratescu [7], Sehgal and BharuchaReid [8].
In order to obtain a Hausdorff topology, George and Veeramani [9, 10] modified the concept of fuzzy metric space due to Kramosil and Michalek [11]. Many fixed point theorems in complete fuzzy metric spaces in the sense of George and Veeramani [9, 10] have been obtained. For example, Singh and Chauhan [12] proved some common fixed point theorems for four mappings in GV fuzzy metric spaces. Gregori and Sapena [13] proved that each fuzzy contractive mapping has a unique fixed point in a complete GV fuzzy metric space in which fuzzy contractive sequences are Cauchy.
The coupled fixed point theorem and its applications in metric spaces are firstly obtained by Bhaskar and Lakshmikantham [14]. Recently, some authors considered coupled fixed point theorems in fuzzy metric spaces; see [15–18].
In [15], the authors gave the following results.
Theorem 1.1 [[15], Theorem 2.5]
Let $a\ast b>ab$ for all $a,b\in [0,1]$ and $(X,M,\ast )$ be a complete fuzzy metric space such that M has nproperty. Let $F:X\times X\to X$ and $g:X\to X$ be two functions such that
for all $x,y,u,v\in X$, where $0<k<1$, $F(X\times X)\subseteq g(X)$ and g is continuous and commutes with F. Then there exists a unique $x\in X$ such that $x=gx=F(x,x)$.
Let $\mathrm{\Phi}=\{\varphi :{\mathbb{R}}^{+}\to {\mathbb{R}}^{+}\}$, where ${\mathbb{R}}^{+}=[0,+\mathrm{\infty})$ and each $\varphi \in \mathrm{\Phi}$ satisfies the following conditions:
(ϕ1) ϕ is nondecreasing;
(ϕ2) ϕ is upper semicontinuous from the right;
(ϕ3) ${\sum}_{n=0}^{\mathrm{\infty}}{\varphi}^{n}(t)<+\mathrm{\infty}$ for all $t>0$ where ${\varphi}^{n+1}(t)=\varphi ({\varphi}^{n}(t))$, $n\in \mathbb{N}$.
In [16], Hu proved the following result.
Theorem 1.2 [[16], Theorem 1]
Let $(X,M,\ast )$ be a complete fuzzy metric space, where ∗ is a continuous tnorm of Htype. Let $F:X\times X\to X$ and $g:X\to X$ be two mappings and let there exist $\varphi \in \mathrm{\Phi}$ such that
for all $x,y,u,v\in X$, $t>0$. Suppose that $F(X\times X)\subseteq g(X)$, and g is continuous; F and g are compatible. Then there exists $x\in X$ such that $x=gx=F(x,x)$, that is, F and g have a unique common fixed point in X.
Choudhury et al. [17] gave the following coupled coincidence fixed point result in a partial order fuzzy metric space.
Theorem 1.3 [[17], Theorem 3.1]
Let $(X,M,\ast )$ be a complete fuzzy metric space with a Hadžić type tnorm $M(x,y,t)\to 1$ as $t\to \mathrm{\infty}$ for all $x,y\in X$. Let ⪯ be a partial order defined on X. Let $F:X\times X\to X$ and $g:X\to X$ be two mappings such that F has mixed gmonotone property and satisfies the following conditions:

(i)
$F(X\times X)\subseteq g(X)$,

(ii)
g is continuous and monotonic increasing,

(iii)
$(g,F)$ is a compatible pair,

(iv)
$M(F(x,y),F(u,v),kt)\ge \gamma (M(g(x),g(u),t)\ast M(g(y),g(v),t))$ for all $x,y,u,v\in X$, $t>0$ with $g(x)\u2aafg(u)$ and $g(y)\u2ab0g(v)$, where $k\in (0,1)$, $\gamma :[0,1]\to [0,1]$ is a continuous function such that $\gamma (a)\ast \gamma (a)\ge a$ for each $0\le a\le 1$.
Also suppose that X has the following properties:

(a)
if we have a nondecreasing sequence $\{{x}_{n}\}\to x$, then ${x}_{n}\u2aafx$ for all $n\in \mathbb{N}\cup \{0\}$,

(b)
if we have a nonincreasing sequence $\{{y}_{n}\}\to y$, then ${y}_{n}\u2ab0y$ for all $n\in \mathbb{N}\cup \{0\}$.
If there exist ${x}_{0},{y}_{0}\in X$ such that $g({x}_{0})\u2aafF({x}_{0},{y}_{0})$, $g({y}_{0})\u2ab0F({y}_{0},{x}_{0})$, and $M(g({x}_{0}),F({x}_{0},{y}_{0}),t)\ast M(g({y}_{0}),F({y}_{0},{x}_{0}),t)>0$ for all $t>0$, then there exist $x,y\in X$ such that $g(x)=F(x,y)$ and $g(y)=F(y,x)$, that is, g and F have a coupled coincidence point in X.
Wang et al. [18] proved the following coupled fixed point result in a fuzzy metric space.
Theorem 1.4 [[18], Theorem 3.1]
Let $(X,M,\ast )$ be a fuzzy metric space under a continuous tnorm ∗ of Htype. Let $\varphi :(0,\mathrm{\infty})\to (0,\mathrm{\infty})$ be a function satisfying ${lim}_{n\to \mathrm{\infty}}{\varphi}^{n}(t)=0$ for any $t>0$. Let $F:X\times X\to X$ and $g:X\to X$ be two mappings with $F(X\times X)\subseteq g(X)$ and assume that for any $t>0$,
for all $x,y,u,v\in X$. Suppose that $F(X\times X)$ is complete and g and F are wcompatible, then g and F have a unique common fixed point ${x}^{\ast}\in X$, that is, ${x}^{\ast}=g({x}^{\ast})=F({x}^{\ast},{x}^{\ast})$.
In this paper, by modifying the conditions on the result of Choudhury et al. [17], we give a new coupled coincidence fixed point theorem in partial order fuzzy metric spaces. In our result, we do not require that the tnorm is of Hadžićtype [19], the mappings are compatible [16], commutable, continuous or monotonic increasing. Our proof method is different from the one of Choudhury et al. Finally, some examples are presented to illustrate our result.
2 Preliminaries
Definition 2.1 [9]
A binary operation $\ast :[0,1]\times [0,1]\to [0,1]$ is continuous tnorm if ∗ satisfies the following conditions:

(1)
∗ is associative and commutative,

(2)
∗ is continuous,

(3)
$a\ast 1=a$ for all $a\in [0,1]$,

(4)
$a\ast b\le c\ast d$ whenever $a\le c$ and $b\le d$ for all $a,b,c,d\in [0,1]$.
Typical examples of the continuous tnorm are $a{\ast}_{1}b=ab$ and $a{\ast}_{2}b=min\{a,b\}$ for all $a,b\in [0,1]$.
A tnorm ∗ is said to be positive if $a\ast b>0$ for all $a,b\in (0,1]$. Obviously, ∗_{1} and ∗_{2} are positive tnorms.
Definition 2.2 [9]
The 3tuple $(X,M,\ast )$ is called a fuzzy metric space if X is an arbitrary nonempty set, ∗ is a continuous tnorm and M is a fuzzy set on ${X}^{2}\times (0,\mathrm{\infty})$ satisfying the following conditions for each $x,y,z\in X$ and $t,s>0$:
(GV1) $M(x,y,t)>0$,
(GV2) $M(x,y,t)=1$ if and only if $x=y$,
(GV3) $M(x,y,t)=M(y,x,t)$,
(KM4) $M(x,y,\cdot ):(0,\mathrm{\infty})\to [0,1]$ is continuous,
(KM5) $M(x,y,t+s)\ge M(x,z,t)\ast M(y,z,s)$.
Lemma 2.1 [4]
Let $(X,M,\ast )$ be a fuzzy metric space. Then $M(x,y,\ast )$ is nondecreasing for all $x,y\in X$.
Lemma 2.2 [20]
Let $(X,M,\ast )$ be a fuzzy metric space. Then M is a continuous function on ${X}^{2}\times (0,\mathrm{\infty})$.
Definition 2.3 [9]
Let $(X,M,\ast )$ be a fuzzy metric space. A sequence $\{{x}_{n}\}$ in X is called an MCauchy sequence, if for each $\u03f5\in (0,1)$ and $t>0$ there is ${n}_{0}\in \mathbb{N}$ such that $M({x}_{n},{x}_{m},t)>1\u03f5$ for all $m,n\ge {n}_{0}$. The fuzzy metric space $(X,M,\ast )$ is called Mcomplete if every MCauchy sequence is convergent.
Let $(X,\u2aaf)$ be a partially ordered set and F be a mapping from X to itself. A sequence $\{{x}_{n}\}$ in X is said to be nondecreasing if for each $n\in \mathbb{N}$, ${x}_{n}\u2aaf{x}_{n+1}$. A mapping $g:X\to X$ is called monotonic increasing if for all $x,y\in X$ with $x\u2aafy$, $g(x)\u2aafg(y)$.
Definition 2.4 [21]
Let $(X,\u2aaf)$ be a partially ordered set and $F:X\times X\to X$ and $g:X\to X$ be two mappings. The mapping F is said to have the mixed gmonotone property if for all ${x}_{1},{x}_{2}\in X$, $g({x}_{1})\u2aafg({x}_{2})$ implies $F({x}_{1},y)\u2aafF({x}_{2},y)$ for all $y\in X$, and for all ${y}_{1},{y}_{2}\in X$, $g({y}_{1})\u2aafg({y}_{2})$ implies $F(x,{y}_{1})\u2ab0F(x,{y}_{2})$ for all $x\in X$.
Definition 2.5 [14]
An element $(x,y)\in X\times X$ is called a coupled coincidence point of the mappings $F:X\times X\to X$ and $g:X\to X$ if
Here $(gx,gy)$ is called a coupled point of coincidence.
3 Main results
Lemma 3.1 Let $\gamma :[0,1]\to [0,1]$ be a left continuous function and ∗ be a continuous tnorm. Assume that $\gamma (a)\ast \gamma (a)>a$ for all $a\in (0,1)$. Then $\gamma (1)=1$.
Proof Let $\{{a}_{n}\}\subseteq (0,1)$ be a nondecreasing sequence with ${lim}_{n\to \mathrm{\infty}}{a}_{n}=1$. By hypothesis we have
Since γ is left continuous and ∗ is continuous, we get
which implies that $\gamma (1)\ast \gamma (1)=1$. Since $\gamma (1)\ge \gamma (1)\ast \gamma (1)$, one has $\gamma (1)=1$. This completes the proof. □
Theorem 3.1 Let $(X,M,\ast )$ be a fuzzy metric space with a continuous and positive tnorm. Let ⪯ be a partial order defined on X. Let $\varphi :(0,\mathrm{\infty})\to (0,\mathrm{\infty})$ be a function satisfying $\varphi (t)\le t$ for all $t>0$ and let $\gamma :[0,1]\to [0,1]$ be a left continuous and increasing function satisfying $\gamma (a)\ast \gamma (a)>a$ for all $a\in (0,1)$. Let $F:X\times X\to X$ and $g:X\to X$ be two mappings such that F has the mixed gmonotone property and assume that $g(X)$ is complete. Suppose that the following conditions hold:

(i)
$F(X\times X)\subseteq g(X)$,

(ii)
we have
$$M(F(x,y),F(u,v),\varphi (t))\ge \gamma (M(g(x),g(u),t)\ast M(g(y),g(v),t)),$$(3.1)
for all $x,y,u,v\in X$, $t>0$ with $g(x)\u2aafg(u)$ and $g(y)\u2ab0g(v)$,

(iii)
if a nondecreasing sequence $\{{x}_{n}\}\to x$, then ${x}_{n}\u2aafx$ for all $n\in \mathbb{N}\cup \{0\}$,

(iv)
if a nonincreasing sequence $\{{y}_{n}\}\to y$, then ${y}_{n}\u2ab0y$ for all $n\in \mathbb{N}\cup \{0\}$.
If there exist ${x}_{0},{y}_{0}\in X$ such that $g({x}_{0})\u2aafF({x}_{0},{y}_{0})$, $g({y}_{0})\u2ab0F({y}_{0},{x}_{0})$ and $M(g({x}_{0}),F({x}_{0},{y}_{0}),t)\ast M(g({y}_{0}),F({y}_{0},{x}_{0}),t)>0$ for all $t>0$, then there exist ${x}^{\ast},{y}^{\ast}\in X$ such that $g({x}^{\ast})=F({x}^{\ast},{y}^{\ast})$ and $g({y}^{\ast})=F({y}^{\ast},{x}^{\ast})$.
Proof Let ${x}_{0},{y}_{0}\in X$ such that $g({x}_{0})\u2aafF({x}_{0},{y}_{0})$ and $F({y}_{0},{x}_{0})\u2aafg({y}_{0})$. Define the sequences $\{{x}_{n}\}$ and $\{{y}_{n}\}$ in X by
Along the lines of the proof of [17], we see that
By (3.1) and (3.2) we have
and
Since ∗ is positive, we have
Repeating the process (3.3) and (3.4), we get
and further we have
Continuing the above process, we get, for each $n\in \mathbb{N}$,
and
Since ∗ is positive, one has
Now we prove by induction that, for each $n\in \mathbb{N}$ and $k\in \mathbb{N}$ with $k\ge n$, one has
Obviously (3.5) holds for $k=n$. Assume that (3.5) holds for some $k\in \mathbb{N}$ with $k>n$. Then we have
Since $M(g({x}_{n}),g({x}_{k}),t/2)>0$, $M(g({x}_{k}),g({x}_{k+1}),t/2)>0$, and ∗ is positive, we have
Similarly, we have
Therefore, (3.5) holds for all $k\in \mathbb{N}$ with $k\ge n$.
Now we use the method of Wang [22] to show that both $\{g({x}_{n})\}$ and $\{g({y}_{n})\}$ are Cauchy sequences. Fix $t>0$. Let
For $k\ge n+1$, by (3.1) and (3.2) we have
Similarly,
So, by (3.5) and the hypothesis we have
which implies that
Since $\{{a}_{n}\}$ is bounded, there exists $a\in (0,1]$ such that ${lim}_{n\to \mathrm{\infty}}{a}_{n}=a$. Assume that $a<1$. Since γ is increasing, we have
and further
From (3.6) and (3.7) it follows that
i.e.,
Since γ is left continuous, by hypothesis we get
This is a contradiction. So $a=1$.
For any given $\u03f5>0$, there exists ${n}_{0}\in \mathbb{N}$ such that
Thus for each $k\ge n\ge {n}_{0}$,
which implies that
It follows that both $\{g({x}_{n})\}$ and $\{g({y}_{n})\}$ are Cauchy sequences. Since $g(X)$ is complete, there exist ${x}^{\ast},{y}^{\ast}\in X$ such that $g({x}_{n})\to g({x}^{\ast})$ and $g({y}_{n})\to g({y}^{\ast})$ as $n\to \mathrm{\infty}$.
By hypothesis, we have
Now, for all $t>0$, by (3.1) and (3.8) we have
Since γ is left continuous and ∗ is continuous, letting $n\to \mathrm{\infty}$ in (3.9), we get
It follows that $F({x}^{\ast},{y}^{\ast})=g({x}^{\ast})$. Similarly, we can prove that $F({y}^{\ast},{x}^{\ast})=g({y}^{\ast})$. This completes the proof. □
If $\varphi (t)=t$ for all $t>0$ in Theorem 3.1, we get the following corollary.
Corollary 3.1 Let $(X,M,\ast )$ be a fuzzy metric space with a positive tnorm. Let ⪯ be a partial order defined on X. Let $\gamma :[0,1]\to [0,1]$ be a left continuous and increasing function satisfying $\gamma (a)\ast \gamma (a)>a$ for all $a\in (0,1)$. Let $F:X\times X\to X$ and $g:X\to X$ be two mappings such that F has mixed gmonotone property and assume that $g(X)$ is complete. Suppose that the following conditions hold:

(i)
$F(X\times X)\subseteq g(X)$.

(ii)
We have
$$M(F(x,y),F(u,v),t)\ge \gamma (M(g(x),g(u),t)\ast M(g(y),g(v),t)),$$
for all $x,y,u,v\in X$, $t>0$ with $g(x)\u2aafg(u)$ and $g(y)\u2ab0g(v)$.

(iii)
If we have a nondecreasing sequence $\{{x}_{n}\}\to x$, then ${x}_{n}\u2aafx$ for all $n\in \mathbb{N}\cup \{0\}$.

(iv)
If we have a nonincreasing sequence $\{{y}_{n}\}\to y$, then ${y}_{n}\u2ab0y$ for all $n\in \mathbb{N}\cup \{0\}$.
If there exist ${x}_{0},{y}_{0}\in X$ such that $g({x}_{0})\u2aafF({x}_{0},{y}_{0})$, $g({y}_{0})\u2ab0F({y}_{0},{x}_{0})$ and $M(g({x}_{0}),F({x}_{0},{y}_{0}),t)\ast M(g({y}_{0}),F({y}_{0},{x}_{0}),t)>0$ for all $t>0$, then there exist ${x}^{\ast},{y}^{\ast}\in X$ such that $g({x}^{\ast})=F({x}^{\ast},{y}^{\ast})$ and $g({y}^{\ast})=F({y}^{\ast},{x}^{\ast})$.
Letting $g(x)=x$ for all $x\in X$ in Theorem 3.1 and Corollary 3.1, we get the following corollaries.
Corollary 3.2 Let $(X,M,\ast )$ be a complete fuzzy metric space with a positive tnorm. Let ⪯ be a partial order defined on X. Let $\varphi :(0,\mathrm{\infty})\to (0,\mathrm{\infty})$ be a function satisfying $\varphi (t)\le t$ for all $t>0$ and let $\gamma :[0,1]\to [0,1]$ be a left continuous and increasing function satisfying $\gamma (a)\ast \gamma (a)>a$ for all $a\in (0,1)$. Let $F:X\times X\to X$ and assume F has mixed monotone property. Suppose that the following conditions hold:

(i)
We have
$$M(F(x,y),F(u,v),\varphi (t))\ge \gamma (M(x,u,t)\ast M(y,v,t)),$$for all $x,y,u,v\in X$, $t>0$ with $x\u2aafu$ and $y\u2ab0v$.

(ii)
If we have a nondecreasing sequence $\{{x}_{n}\}\to x$, then ${x}_{n}\u2aafx$ for all $n\in \mathbb{N}\cup \{0\}$.

(iii)
If we have a nonincreasing sequence $\{{y}_{n}\}\to y$, then ${y}_{n}\u2ab0y$ for all $n\in \mathbb{N}\cup \{0\}$.
If there exist ${x}_{0},{y}_{0}\in X$ such that ${x}_{0}\u2aafF({x}_{0},{y}_{0})$, ${y}_{0}\u2ab0F({y}_{0},{x}_{0})$ and $M({x}_{0},F({x}_{0},{y}_{0}),t)\ast M({y}_{0},F({y}_{0},{x}_{0}),t)>0$ for all $t>0$, then there exist ${x}^{\ast},{y}^{\ast}\in X$ such that ${x}^{\ast}=F({x}^{\ast},{y}^{\ast})$ and ${y}^{\ast}=F({y}^{\ast},{x}^{\ast})$.
Corollary 3.3 Let $(X,M,\ast )$ be a complete fuzzy metric space with a positive tnorm. Let ⪯ be a partial order defined on X. Let $\gamma :[0,1]\to [0,1]$ be a left continuous and increasing function satisfying $\gamma (a)\ast \gamma (a)>a$ for all $a\in (0,1)$. Let $F:X\times X\to X$ and assume F has mixed monotone property. Suppose that the following conditions hold:

(i)
We have
$$M(F(x,y),F(u,v),t)\ge \gamma (M(x,u,t)\ast M(y,v,t)),$$for all $x,y,u,v\in X$, $t>0$ with $x\u2aafu$ and $y\u2ab0v$.

(ii)
If we have a nondecreasing sequence $\{{x}_{n}\}\to x$, then ${x}_{n}\u2aafx$ for all $n\in \mathbb{N}\cup \{0\}$.

(iii)
If we have a nonincreasing sequence $\{{y}_{n}\}\to y$, then ${y}_{n}\u2ab0y$ for all $n\in \mathbb{N}\cup \{0\}$.
If there exist ${x}_{0},{y}_{0}\in X$ such that ${x}_{0}\u2aafF({x}_{0},{y}_{0})$, ${y}_{0}\u2ab0F({y}_{0},{x}_{0})$, and $M({x}_{0},F({x}_{0},{y}_{0}),t)\ast M({y}_{0},F({y}_{0},{x}_{0}),t)>0$ for all $t>0$, then there exist ${x}^{\ast},{y}^{\ast}\in X$ such that ${x}^{\ast}=F({x}^{\ast},{y}^{\ast})$ and ${y}^{\ast}=F({y}^{\ast},{x}^{\ast})$.
First, we illustrate Theorem 3.1 by modifying [[17], Example 3.4] as follows.
Example 3.1 Let $(X,\u2aaf)$ is the partially ordered set with $X=[0,1]$ and the natural ordering ≤ of the real numbers as the partial ordering ⪯. Define $M:{X}^{2}\times (0,\mathrm{\infty})$ by
Let $a\ast b=ab$ for all $a,b\in [0,1]$. Then $(X,M,\ast )$ is a (complete) fuzzy metric space.
Let $\psi (t)=t$ for all $t>0$ and $\gamma (s)={s}^{\frac{1}{3}}$ for all $s\in [0,1]$. It is easy to see that $\gamma (s)\ast \gamma (s)>s$ for all $s\in (0,1)$.
Define the mappings $g:X\to X$ by
and $F:X\times X\to X$ by
Then $F(X\times X)\subseteq g(X)$, F satisfies the mixed gmonotone property; see [[17], Example 3.4]. Obviously $g(X)$ is complete.
Let ${x}_{0}=0$ and ${y}_{0}=1$, then $g({x}_{0})\le F({x}_{0},{y}_{0})$ and $g({y}_{0})\ge F({y}_{0},{x}_{0})$; see [[17], Example 3.4]. Moreover, $M(g({x}_{0}),F({x}_{0},{y}_{0}),t)\ast M(g({y}_{0}),F({y}_{0},{x}_{0}),t)>0$ for all $t>0$.
Next we show that for all $t>0$ and all $x,y,u,v\in X$ with $g(x)\le g(u)$ and $g(y)\ge g(v)$, i.e., $x\le u$ and $y\ge v$, one has
We prove the above inequality by a contradiction. Assume
Then
i.e.,
This is a contradiction. Thus, (3.10) holds. Therefore, all the conditions of Theorem 3.1 are satisfied. Then by Theorem 3.1 we conclude that there exist ${x}^{\ast}$, ${y}^{\ast}$ such that $g({x}^{\ast})=F({x}^{\ast},{y}^{\ast})$ and $g({y}^{\ast})=F({y}^{\ast},{x}^{\ast})$. It is easy to see that $({x}^{\ast},{y}^{\ast})=(\sqrt{\frac{2}{3}},\sqrt{\frac{2}{3}})$, as desired.
Example 3.2 Let $(X,\u2aaf)$ is the partially ordered set with $X=[0,1)\cup \{2\}$ and the natural ordering ≤ of the real numbers as the partial ordering ⪯. Define a mapping $M:{X}^{2}\times (0,\mathrm{\infty})$ by $M(x,x,t)={e}^{xy}$ for all $x,y\in X$ and $t>0$. Let $a\ast b=ab$ for all $a,b\in [0,1]$. Then $(X,M,\ast )$ is a fuzzy metric space but not complete.
Define the mappings $g:X\to X$ and $F:X\times X\to X$ by
and $F(x,y)=\frac{yx}{16}+\frac{1}{8}$ for all $x,y\in X$. Then $F(X\times X)\subseteq g(X)$, F satisfies the mixed gmonotone property, and $g(X)$ is complete. Take $({x}_{0},{y}_{0})=(\frac{23}{28},\frac{1}{4})$. By a simple calculation we see that $g({x}_{0})\le F({x}_{0},{y}_{0})$ and $g({y}_{0})\ge F({y}_{0},{x}_{0})$. Moreover, $M(g({x}_{0}),F({x}_{0},{y}_{0}),t)\ast M(g({y}_{0}),F({y}_{0},{x}_{0}),t)>0$ for all $t>0$.
Let $\varphi (t)=t$ for all $t>0$. Let γ be a function from $[0,1]$ to $[0,1]$ defined by
Obviously, γ is left continuous and increasing, and $\gamma (s)\ast \gamma (s)>s$ for all $s\in (0,1)$.
Let $t>0$ and $x,y,u,v\in X$ with $g(x)\le g(u)$ and $g(y)\ge g(v)$, i.e., $u\le x$ and $y\le v$, since
Hence (3.1) is satisfied. Therefore, all the conditions of Theorem 3.1 are satisfied. Then by Theorem 3.1 F and g have a coincidence point. It is easy to check that $({x}^{\ast},{y}^{\ast})=(\frac{3}{4},\frac{3}{4})$.
The above two examples cannot be applied to [[17], Theorem 3.1], since ∗ is not of Hadžićtype, or g is not monotonic increasing or continuous, or $M(x,y,t)\nrightarrow 1$ as $t\to \mathrm{\infty}$ for all $x,y\in X$.
4 Conclusion
In this paper, we prove a new coupled coincidence fixed point result in a partial order fuzzy metric space in which some restrictions required in [[17], Theorem 3.1] are removed, such that the conditions required in our result are fewer than the ones required in [[17], Theorem 3.1]. The purpose of this paper is to give some new conditions on the coupled coincidence fixed point theorem. Our result is not an improvement of [[17], Theorem 3.1], since we add some other restrictions such as requiring that the function γ is increasing and $M(g({x}_{0}),F({x}_{0},{y}_{0}),t)\ast M(g({y}_{0}),F({y}_{0},{x}_{0}),t)>0$ for all $t>0$. As pointed out in the conclusion part of [17], it still is an interesting open problem to find simpler or fewer conditions on the coupled coincidence fixed point theorem in a fuzzy metric space.
References
 1.
Deng ZK: Fuzzy pseudo metric spaces. J. Math. Anal. Appl. 1982, 86: 74–95. 10.1016/0022247X(82)902554
 2.
Erceg MA: Metric spaces in fuzzy set theory. J. Math. Anal. Appl. 1979, 69: 205–230. 10.1016/0022247X(79)901896
 3.
Kaleva O, Seikkala S: On fuzzy metric spaces. Fuzzy Sets Syst. 1984, 12: 215–229. 10.1016/01650114(84)900691
 4.
Grabiec M: Fixed points in fuzzy metric spaces. Fuzzy Sets Syst. 1988, 27: 385–389. 10.1016/01650114(88)900644
 5.
Fang JX: On fixed point theorems in fuzzy metric spaces. Fuzzy Sets Syst. 1992, 46: 107–113. 10.1016/01650114(92)902715
 6.
Edelstein M: On fixed and periodic points under contraction mappings. J. Lond. Math. Soc. 1962, 37: 74–79.
 7.
Istratescu I: A fixed point theorem for mappings with a probabilistic contractive iterate. Rev. Roum. Math. Pures Appl. 1981, 26: 431–435.
 8.
Sehgal VM, BharuchaReid AT: Fixed points of contraction mappings on PMspaces. Math. Syst. Theory 1972, 6: 97–100. 10.1007/BF01706080
 9.
George A, Veeramani P: On some results in fuzzy metric spaces. Fuzzy Sets Syst. 1994, 64: 395–399. 10.1016/01650114(94)901627
 10.
George A, Veeramani P: On some results of analysis for fuzzy metric spaces. Fuzzy Sets Syst. 1997, 90: 365–368. 10.1016/S01650114(96)002072
 11.
Kramosil O, Michalek J: Fuzzy metric and statistical metric space. Kybernetika 1975, 11: 326–334.
 12.
Singh B, Chauhan MS: Common fixed points of compatible maps in fuzzy metric spaces. Fuzzy Sets Syst. 2000, 115: 471–475. 10.1016/S01650114(98)000992
 13.
Gregori V, Sapena A: On fixedpoint theorems in fuzzy metric spaces. Fuzzy Sets Syst. 2002, 125: 245–252. 10.1016/S01650114(00)000889
 14.
Bhashkar TG, Lakshmikantham V: Fixed point theorems in partially ordered metric spaces and applications. Nonlinear Anal. 2006, 65: 1379–1393. 10.1016/j.na.2005.10.017
 15.
Sedghi S, Altun I, Shobe N: Coupled fixed point theorems for contractions in fuzzy metric spaces. Nonlinear Anal. 2010, 72: 1298–1304. 10.1016/j.na.2009.08.018
 16.
Hu XQ: Common coupled fixed point theorems for contractive mappings in fuzzy metric spaces. Fixed Point Theory Appl. 2011., 2011: Article ID 363716
 17.
Choudhury BS, Das K, Das P: Coupled coincidence point results for compatible mappings in partially ordered fuzzy metric spaces. Fuzzy Sets Syst. 2013, 222: 84–97.
 18.
Wang SH, Alsulami SM, Ćirić L: Common fixed point theorems for nonlinear contractive mappings in fuzzy metric spaces. Fixed Point Theory Appl. 2013., 2013: Article ID 191
 19.
Hadžić O, Pap E Mathematics and Its Application 536. In Fixed Point Theory in Probabilistic Metric Spaces. Kluwer Academic, Dordrecht; 2001.
 20.
López J, Romaguera S: The Hausdorff fuzzy metric on compact sets. Fuzzy Sets Syst. 2004, 147: 273–283. 10.1016/j.fss.2003.09.007
 21.
Lakahmikantham V, Ćirić L: Coupled fixed point theorems for nonlinear contractions in partially ordered metric spaces. Nonlinear Anal. 2009, 70: 4341–4349. 10.1016/j.na.2008.09.020
 22.
Wang SH: Answers to some open questions on fuzzy ψ contractions in fuzzy metric spaces. Fuzzy Sets Syst. 2013, 222: 115–119.
Acknowledgements
This work is supported by the Fundamental Research Funds for the Central Universities (Grant Numbers: 13MS109, 2014ZD44) and funded by the Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah. The authors Alsulami and Ćirić, therefore, acknowledge with thanks the DSR financial support.
Author information
Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
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 (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, 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 license, and indicate if changes were made.
About this article
Cite this article
Wang, S., Luo, T., Ćirić, L. et al. New conditions on fuzzy coupled coincidence fixed point theorem. Fixed Point Theory Appl 2014, 153 (2014). https://doi.org/10.1186/168718122014153
Received:
Accepted:
Published:
Keywords
 fuzzy metric space
 contraction mapping
 coincidence fixed point
 partial order