 Research
 Open access
 Published:
Existence and uniqueness of a common fixed point under a limit contractive condition
Journal of Inequalities and Applications volume 2013, Article number: 519 (2013)
Abstract
In this paper, utilizing the notion of common limit range property for two pairs of self mappings, we prove common fixed point theorems in fuzzy metric spaces under a limit contractive condition, which improve and extend the results of Zhu et al. [Common fixed point theorems of new contractive conditions in fuzzy metric spaces, J. Appl. Math. 2013:145190, 2013]. We also give some examples to demonstrate the validity of the hypotheses of our results. As an application to our main result, we obtain a fixed point theorem for four finite families of self mappings in fuzzy metric space.
MSC: 47H10, 54H25.
1 Introduction
In 1965, Zadeh [1] initiated the concept of a fuzzy set in his seminal paper. In the last five decades, there have been a tremendous development and growth in fuzzy mathematics. The concept of fuzzy metric space was introduced by Kramosil and Michalek [2] in 1975, which opened an avenue for further development of analysis in such spaces. Thereafter, George and Veeramani [3] modified the concept of fuzzy metric space introduced by Kramosil and Michalek [2] with a view to obtain a Hausdoroff topology, which has very important applications in quantum particle physics, particularly in connection with both string and {\u03f5}^{\mathrm{\infty}} theory (see, [4–6] and references mentioned therein). Fuzzy set theory also has applications in several domains of applied sciences, which include neural network theory, stability theory, mathematical programming, modeling theory, engineering sciences, medical sciences (medical genetics, nervous system), image processing, control theory, communication, etc. Due to richness in applications, this theory progressed by leaps and bounds which also include interesting applications of the theory in diverse areas.
To use this concept in topology and analysis, several researchers have defined fuzzy metric spaces in several ways (e.g. [7–13]). In 2009, Abbas et al. [14] utilized the notions of the property (E.A) (which contains the class of noncompatible self mappings) and the common property (E.A) in fuzzy metric spaces and proved common fixed point theorems. Here, it can be pointed out that the use of the property (E.A) and the common property (E.A) requires the closedness of the underlying subspaces for the existence of common fixed points. Inspired by this observation, Sintunavarat and Kumam [15] coined the idea of ‘common limit range property,’ which never requires the closedness of such subspaces. Motivated by the results of Imdad et al. [16], Chauhan [17] extended the notion of common limit range property to two pairs of self mappings in fuzzy metric spaces and proved several results on the existence and uniqueness of common fixed points in fuzzy metric spaces. For the sake of completeness, we refer the readers to [18–38]. Most recently, Zhu et al. [39] proved common fixed point theorems by using the notions of the property (E.A) and the common property (E.A) in George and Veeramani type fuzzy metric spaces (briefly, GVtype) under a new limit contraction condition.
In the present paper, we prove some common fixed point theorems for weakly compatible mappings in fuzzy metric spaces employing the common limit range property. As an application to our main result, we also derive a common fixed point theorem for four finite families of mappings in fuzzy metric spaces using the notion of pairwise commuting families (due to Imdad et al.[40]) and utilize the same to derive common fixed point theorems for six mappings. In the process, many known results (especially the ones contained in Zhu et al. [39]) are enriched and improved. Some related results are also derived besides furnishing illustrative examples.
2 Preliminaries
In this section, we present background material required in our subsequent discussion.
Definition 2.1 [41]
A binary operation \ast :[0,1]\times [0,1]\to [0,1] is a continuous tnorm if it 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].
Examples of continuous tnorms are a\ast b=min\{a,b\}, a\ast b=ab and a\ast b=max\{a+b1,0\}.
Definition 2.2 [3]
A 3tuple (X,M,\ast ) is said to be a fuzzy metric space if X is an arbitrary set, ∗ is a continuous tnorm, and M is a fuzzy set on {X}^{2}\times (0,\mathrm{\infty}) satisfying the following conditions: for all x,y,z\in X, 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),
(GV4) M(x,y,t)\ast M(y,z,s)\le M(x,z,t+s),
(GV5) M(x,y,\cdot ):[0,\mathrm{\infty})\to [0,1] is continuous.
In view of (GV1) and (GV2), it is worth pointing out that 0<M(x,y,t)<1 (for all t>0) provided x\ne y (see [32]). In what follows, fuzzy metric spaces in the sense of George and Veeramani [3] will be referred to as GVfuzzy metric spaces.
Every metric space is a fuzzy metric space and is called a standard fuzzy metric space (see [3]). Here, we give some new and interesting examples of fuzzy metric spaces due to Gregori et al. [11]. For further details and related examples, one can see [11].
Example 2.1 [11]
Let f:X\to {\mathbb{R}}^{+} be a oneone function, and let g:{\mathbb{R}}^{+}\to [0,\mathrm{\infty}) be an increasing continuous function. For fixed \alpha ,\beta >0, define M as
then (X,M,\ast ) is a fuzzy metric space on X, wherein ∗ is the product tnorm, i.e., a\ast b=ab.
Example 2.2 [11]
Define a function M as
then (X,M,\ast ) is a fuzzy metric space on X, wherein ∗ is the product tnorm and g:{\mathbb{R}}^{+}\to [0,\mathrm{\infty}) is an increasing continuous function.
Example 2.3 [11]
Let (X,d) be a bounded metric space with d(x,y)<k (for all x,y\in X). Let g:{\mathbb{R}}^{+}\to [k,\mathrm{\infty}) be an increasing continuous function. Define a function M as
then (X,M,\ast ) is a fuzzy metric space on X, wherein ∗ is a Lukasiewicz tnorm, i.e., a\ast b=max\{a+b1,0\}.
Definition 2.3 [32]
A sequence \{{x}_{n}\} in a GVfuzzy metric space (X,M,\ast ) is said to be convergent to some x\in X if for all t>0, there is some {n}_{0}\in \mathbb{N} such that
for all n\ge {n}_{0}.
Definition 2.4 [42]
A pair (A,S) of self mappings of a GVfuzzy metric space (X,M,\ast ) is said to be compatible if and only if M(AS{x}_{n},SA{x}_{n},t)\to 1 for all t>0, whenever \{{x}_{n}\} is a sequence in X such that A{x}_{n},S{x}_{n}\to z for some z\in X as n\to \mathrm{\infty}.
Definition 2.5 [43]
A pair (A,S) of self mappings of a nonempty set X is said to be weakly compatible (or coincidentally commuting) if they commute at their coincidence points, that is, if Az=Sz some z\in X, then ASz=SAz.
Definition 2.6 [14]
A pair (A,S) of self mappings of a GVfuzzy metric space (X,M,\ast ) is said to satisfy the property (E.A) if there exists a sequence \{{x}_{n}\} in X such that (for some z\in X)
Definition 2.7 [14]
Two pairs (A,S) and (B,T) of self mappings of a GVfuzzy metric space (X,M,\ast ) are said to satisfy the common property (E.A) if there exist two sequences \{{x}_{n}\} and \{{y}_{n}\} in X such that (for some z\in X)
Definition 2.8 [15]
A pair (A,S) of self mappings of a GVfuzzy metric space (X,M,\ast ) is said to satisfy the ({\mathit{CLR}}_{S}) property with respect to mapping S if there exists a sequence \{{x}_{n}\} in X such that
where z\in S(X).
It is evident that a pair (A,S) of self mappings satisfying the property (E.A) along with closedness of the subspace S(X) always enjoys the ({\mathit{CLR}}_{S}) property.
Definition 2.9 [17]
Two pairs (A,S) and (B,T) of self mappings of a GVfuzzy metric space (X,M,\ast ) are said to satisfy the ({\mathit{CLR}}_{ST}) property with respect to mappings S and T if there exist two sequences \{{x}_{n}\} and \{{y}_{n}\} in X such that
where z\in S(X)\cap T(X).
Definition 2.10 [40]
Two families of self mappings {\{{A}_{i}\}}_{i=1}^{m} and {\{{S}_{k}\}}_{k=1}^{n} are said to be pairwise commuting if

(1)
{A}_{i}{A}_{j}={A}_{j}{A}_{i} for all i,j\in \{1,2,\dots ,m\},

(2)
{S}_{k}{S}_{l}={S}_{l}{S}_{k} for all k,l\in \{1,2,\dots ,n\},

(3)
{A}_{i}{S}_{k}={S}_{k}{A}_{i} for all i\in \{1,2,\dots ,m\} and k\in \{1,2,\dots ,n\}.
3 Results
On the lines of Zhu et al. [39], let (X,M,\ast ) be a GVfuzzy metric space, while let A, B, S and T be self mappings of X. For any x,y\in X and t>0, we write
(C1) 0<{\underline{lim}}_{n\to \mathrm{\infty}}min({x}_{n},{y}_{n},t)=L(t)<1 implies that {\overline{lim}}_{n\to \mathrm{\infty}}min(A{x}_{n},B{y}_{n},t)>L(t) for all t>0 and any sequence \{{x}_{n}\}, \{{y}_{n}\} in X.
The following lemma will be needed in our main theorem.
Lemma 3.1 Let A, B, S and T be self mappings of a GVfuzzy metric space (X,M,\ast ) satisfying conditions (C1) and (3.1). Suppose that

(1)
the pair (A,S) satisfies the ({\mathit{CLR}}_{S}) property (or the pair (B,T) satisfies the ({\mathit{CLR}}_{T}) property),

(2)
A(X)\subset T(X) (or B(X)\subset S(X)),

(3)
T(X) (or S(X)) is a closed subset of X,

(4)
B({y}_{n}) converges for every sequence \{{y}_{n}\} in X, whenever T({y}_{n}) converges (or A({x}_{n}) converges for every sequence \{{x}_{n}\} in X, whenever S({x}_{n}) converges).
Then the pairs (A,S) and (B,T) satisfy the ({\mathit{CLR}}_{ST}) property.
Proof Since the pair (A,S) satisfies the ({\mathit{CLR}}_{S}) property with respect to mapping S, there exists a sequence \{{x}_{n}\} in X such that
where z\in S(X). As A(X)\subset T(X), for every sequence \{{x}_{n}\}, there exists a sequence \{{y}_{n}\} in X such that A{x}_{n}=T{y}_{n}. Owing to closedness of T(X),
where z\in S(X)\cap T(X). Thus in all, we have A{x}_{n}\to z, S{x}_{n}\to z and T{y}_{n}\to z as n\to \mathrm{\infty}. Now, we require to show that B{y}_{n}\to z as n\to \mathrm{\infty}. By using (3.1) with x={x}_{n}, y={y}_{n} and any t>0, we have
or
If B{y}_{n}\nrightarrow z as n\to \mathrm{\infty}, then there is some t>0 such that 0<M(B{y}_{n},z,t)<1 as n\to \mathrm{\infty}. Hence, (C1) implies that
which is a contradiction. Hence, B{y}_{n}\to z, which shows that the pairs (A,S) and (B,T) enjoy the ({\mathit{CLR}}_{ST}) property. This completes the proof of lemma. □
Remark 3.1 In general, the converse of Lemma 3.1 is not true (see [[40], Example 3.5]).
Now, we state and prove our main result for two pairs of weakly compatible mappings satisfying the ({\mathit{CLR}}_{ST}) property.
Theorem 3.1 Let A, B, S and T be self mappings of a GVfuzzy metric space (X,M,\ast ) satisfying conditions (C1) and (3.1). If the pairs (A,S) and (B,T) share the ({\mathit{CLR}}_{ST}) property, then (A,S) and (B,T) have a coincidence point each. Moreover, A, B, S and T have a unique common fixed point provided both pairs (A,S) and (B,T) are weakly compatible.
Proof If the pairs (A,S) and (B,T) satisfy the ({\mathit{CLR}}_{ST}) property, then there exist two sequences \{{x}_{n}\} and \{{y}_{n}\} in X such that
where z\in S(X)\cap T(X). Since z\in S(X), there exists a point u\in X such that Su=z. We show that Au=Su. By using (3.1) with x=u, y={y}_{n}, we get (for any t>0)
or
If Au\ne z, then there is some t>0 such that 0<M(Au,z,t)<1. Therefore, (C1) implies that
which is a contradiction. Hence, Au=Su=z. Therefore, u is a coincidence point of the pair (A,S).
Also z\in T(X), there exists a point v\in X such that Tv=z. We assert that Bv=Tv. By using (3.1) with x=u, y=v and t>0, we have
In view of (C1), we get M(z,Bv,t)=1, which implies that Bv=z, and so Bv=Tv=z. Hence, v is a coincidence point of the pair (B,T).
Since the pair (A,S) is weakly compatible, and Au=Su, hence, Az=ASu=SAu=Sz. Now, we show that z is a common fixed point of the pair (A,S). By using (3.1) with x=z, y=v and t>0, we have
By (C1), we obtain M(Az,z,t)=1, and so Az=z=Sz, which shows that z is a common fixed point of the pair (A,S).
Also the pair (B,T) is weakly compatible, and Bv=Tv, then Bz=BTw=TBw=Tz. By using (3.1) with x=u, y=z and t>0, we have
In view of (C1), we get M(z,Bz,t)=1, which implies that Bz=z. Therefore, Bz=z=Tz, which shows that z is a common fixed point of the pair (B,T). Hence, z is a common fixed point of both pairs (A,S) and (B,T). Uniqueness of common fixed point is an easy consequence of inequality (3.1). This concludes the proof. □
Remark 3.2 Theorem 3.1 improves the corresponding results contained in Zhu et al. [39] as closedness of the underlying subspaces is not required.
Theorem 3.2 Let A, B, S and T be self mappings of a GVfuzzy metric space (X,M,\ast ) satisfying all the hypotheses of Lemma 3.1. Then A, B, S and T have a unique common fixed point provided both pairs (A,S) and (B,T) are weakly compatible.
Proof In view of Lemma 3.1, the pairs (A,S) and (B,T) satisfy the ({\mathit{CLR}}_{ST}) property, so that there exist two sequences \{{x}_{n}\} and \{{y}_{n}\} in X such that
where z\in S(X)\cap T(X). The rest of the proof runs on the lines of the proof of Theorem 3.1. This completes the proof. □
Let \varphi :[0,1]\to {\mathbb{R}}^{+} be a nonnegative and Lebesgue integrable function satisfying
for each 0<\u03f5\le 1. We denote d={\int}_{0}^{1}\varphi (t)\phantom{\rule{0.2em}{0ex}}dt.
(C2) There exists a function \psi :[0,1]\to [0,1] such that for any 0<s<d, \psi (s)<s, {\overline{lim}}_{u\to s}\psi (u)<s and for any x,y\in X, t\in (0,\mathrm{\infty}), 0<min(x,y,t)<1 implies that
(C3) There exists a function \phi :[0,1]\to [0,1] such that for any 0<s<d, \phi (s)>s, {\underline{lim}}_{t\to s}\phi (t)>s and for any x,y\in X, t\in (0,\mathrm{\infty}), 0<min(x,y,t)<1 implies that
then (C1) holds. It can be easily considered from the proof of Theorem 2.2 contained in [39].
By taking \varphi (t)=1 in conditions (C1) and (C2), we can deduce the following contractive conditions:
(C4) There exists a function \psi :[0,1]\to [0,1] such that for any 0<s<1, \psi (s)<s, {\overline{lim}}_{u\to s}\psi (u)<s and for any x,y\in X, t\in (0,\mathrm{\infty}), 0<min(x,y,t)<1 implies that
(C5) There exists a function \phi :[0,1]\to [0,1] such that for any 0<s<1, \phi (s)>s, {\underline{lim}}_{t\to s}\phi (t)>s and for any x,y\in X, t\in (0,\mathrm{\infty}), 0<min(x,y,t)<1 implies that
Remark 3.3 The conclusion of Lemma 3.1, Theorem 3.1 and Theorem 3.2 remains true in view of conditions (C2)(C5).
Remark 3.4 It may be noted that condition (C4) is also valid, if one can define a function \psi :[0,1]\to [0,1] by

(1)
ψ is nonincreasing for any 0<s<1, \psi (s)<s, {\overline{lim}}_{u\to s}\psi (u)<s.

(2)
ψ is a upper semicontinuous function such that for any 0<s<1, \psi (s)<s.

(3)
ψ is nonincreasing and leftupper semicontinuous such that \psi (s)<s for 0<s<1.
Remark 3.5 It may be pointed out that condition (C5) is also valid if one can define a function \phi :[0,1]\to [0,1] by

(1)
φ is a nondecreasing and left continuous function such that for any 0<s<1, \phi (s)>s.

(2)
φ is a lower semicontinuous function such that for any 0<s<1, \phi (s)>s.

(3)
\phi (s)=s+\rho (s), where \rho :[0,1]\to [0,1] is a continuous function with for all 0<s<1, \rho (s)>0.
Theorem 3.3 Let A, B, S and T be self mappings of a GVfuzzy metric space (X,M,\ast ). Suppose that there exists an upper semicontinuous function r:[0,+\mathrm{\infty})\to [0,+\mathrm{\infty}) with r(s)<s for every s>0 such that
for each x,y\in X and t>0. If the pairs (A,S) and (B,T) share the ({\mathit{CLR}}_{ST}) property, then (A,S) and (B,T) have a coincidence point each. Moreover, A, B, S and T have a unique common fixed point provided both pairs (A,S) and (B,T) are weakly compatible.
Proof Consider the function \phi :[0,1]\to [0,1] as
For every s>0, we have
Hence, inequality (3.7) can be deduced by
for any x,y\in X, t\in (0,1), 0<min(x,y,t)<1, that is, condition (C5) holds. The rest of the proof can be completed easily, hence, we did not include the details. □
Theorem 3.4 Let A, B, S and T be self mappings of a GVfuzzy metric space (X,M,\ast ). Suppose that there exists a strictly decreasing and left continuous function \nu :[0,1]\to [0,1] with \nu (\lambda )=0 if and only if \lambda =1 and a function k:(0,\mathrm{\infty})\to (0,1) such that
for each x,y\in X, where (x\ne y) and t>0. If the pairs (A,S) and (B,T) share the ({\mathit{CLR}}_{ST}) property, then (A,S) and (B,T) have a coincidence point each. Moreover, A, B, S and T have a unique common fixed point provided both pairs (A,S) and (B,T) are weakly compatible.
Proof Consider a function \phi :[0,1]\times [0,+\mathrm{\infty})\to [0,1] as
Since ν is strictly decreasing and left continuous, we have that {\nu}^{1} is strictly decreasing and right continuous, and \phi (s,t) is increasing in s. Then we have
Also we have that \phi (u,t)\ge \phi (s,t) for u>s, which shows that
Hence, we get
Therefore, inequality (3.8) can be written as
If \{{x}_{n}\}, \{{y}_{n}\} in X and 0<{\underline{lim}}_{n\to \mathrm{\infty}}min({x}_{n},{y}_{n},t)=L(t)<1, then there exists a subsequence \{min({x}_{{n}_{i}},{y}_{{n}_{i}},t)\} such that {lim}_{i\to \mathrm{\infty}}min({x}_{{n}_{i}},{y}_{{n}_{i}},t)=L, which shows that
It follows from M(Ax,By,t)\ge \phi (min(x,y,t),t), we get
Hence, condition (C1) holds. The conclusion can be deduced from Theorem 3.1. This completes the proof. □
Notice that the conclusion of Lemma 3.1 and Theorem 3.1, Theorem 3.2, Theorem 3.3 and Theorem 3.4 remains if we can replace inequality (3.1) by the following: for any x,y\in X and t>0, we define
By choosing A, B, S and T suitably, we can deduce corollaries involving two as well as three self mappings. For the sake of naturality, we only derive the following corollary involving a pair of self mappings:
Let (X,M,\ast ) be a GVfuzzy metric space, let A and S be self mappings of a set X. For any x,y\in X and t>0, we define
(D1) 0<{\underline{lim}}_{n\to \mathrm{\infty}}min({x}_{n},{y}_{n},t)=L(t)<1 implies that {\overline{lim}}_{n\to \mathrm{\infty}}min(A{x}_{n},A{y}_{n},t)>L(t) for all t>0 and any sequence \{{x}_{n}\}, \{{y}_{n}\} in X.
Corollary 3.1 Let A and S be self mappings of a GVfuzzy metric space (X,M,\ast ) satisfying conditions (D1) and (3.10). If the pair (A,S) enjoys the ({\mathit{CLR}}_{S}) property, then (A,S) has a coincidence point. Moreover, A and S have a unique common fixed point provided the pair (A,S) is weakly compatible.
Theorem 3.5 Let {\{{A}_{i}\}}_{i=1}^{m}, {\{{B}_{j}\}}_{j=1}^{n}, {\{{S}_{k}\}}_{k=1}^{p} and {\{{T}_{l}\}}_{l=1}^{q} be four finite families of self mappings of a GVfuzzy metric space (X,M,\ast ) with A={A}_{1}{A}_{2}\cdots {A}_{m}, B={B}_{1}{B}_{2}\cdots {B}_{n}, S={S}_{1}{S}_{2}\cdots {S}_{p} and T={T}_{1}{T}_{2}\cdots {T}_{q} satisfying one of the conditions (C1)(C5) along with (3.1). Suppose that the pairs (A,S) and (B,T) share the ({\mathit{CLR}}_{ST}) property, then (A,S) and (B,T) have a point of coincidence each.
Moreover, {\{{A}_{i}\}}_{i=1}^{m}, {\{{B}_{j}\}}_{j=1}^{n}, {\{{S}_{k}\}}_{k=1}^{p} and {\{{T}_{l}\}}_{l=1}^{q} have a unique common fixed point if the families (\{{A}_{i}\},\{{S}_{k}\}) and (\{{B}_{r}\},\{{T}_{h}\}) commute pairwise, wherein i\in \{1,2,\dots ,m\}, k\in \{1,2,\dots ,p\}, j\in \{1,2,\dots ,n\} and l\in \{1,2,\dots ,q\}.
Proof The proof of this theorem can be completed on the lines of Gopal et al. [25] □
Remark 3.6 A result similar to Theorem 3.5 can be outlined in respect of Theorem 3.1.
Now, we indicate that Theorem 3.5 can be utilized to derive common fixed point theorems for any finite number of mappings. As a sample for five mappings, we can derive the following by setting two families of two members, while the rest two of single members.
Let (X,M,\ast ) be a GVfuzzy metric space, let A, B, R, S and T be self mappings of a set X. For any x,y\in X and t>0, we define
Corollary 3.2 Let A, B, R, S and T be self mappings of a GVfuzzy metric space (X,M,\ast ) satisfying one of the conditions (C1)(C5) along with inequality (3.11). Suppose that the pairs (A,SR) and (B,T) share the ({\mathit{CLR}}_{(SR)(T)}) property. Then (A,SR) and (B,T) have a coincidence point each. Moreover, A, B, R, S and T have a unique common fixed point provided both pairs (A,SR) and (B,T) commute pairwise, that is, AS=SA, AR=RA, SR=RS, BT=TB.
Similarly, we can derive a common fixed point theorem for six mappings by setting two families of two members, while the rest two of single members.
Let (X,M,\ast ) be a GVfuzzy metric space, let A, B, H, R, S and T be self mappings of a set X. For any x,y\in X and t>0, we define
Corollary 3.3 Let A, B, H, R, S and T be self mappings of a GVfuzzy metric space (X,M,\ast ) satisfying one of the conditions (C1)(C5) along with inequality (3.12). Suppose that the pairs (A,SR) and (B,TH) share the ({\mathit{CLR}}_{(SR)(TH)}) property. Then (A,SR) and (B,TH) have a coincidence point each. Moreover, A, B, R, S and T have a unique common fixed point provided both pairs (A,SR) and (B,T) commute pairwise, that is, AS=SA, AR=RA, SR=RS, BT=TB, BH=HB and TH=HT.
By setting {A}_{1}={A}_{2}=\cdots ={A}_{m}=A, {B}_{1}={B}_{2}=\cdots ={B}_{n}=B, {S}_{1}={S}_{2}=\cdots ={S}_{p}=S and {T}_{1}={T}_{2}=\cdots ={T}_{q}=T in Theorem 3.5, we deduce the following:
Let (X,M,\ast ) be a GVfuzzy metric space, let A, B, S and T be self mappings of a set X. For any x,y\in X and t>0, we define
where m, n, p, q are fixed positive integers.
(E1) 0<{\underline{lim}}_{n\to \mathrm{\infty}}min({x}_{n},{y}_{n},t)=L(t)<1 implies that {\overline{lim}}_{n\to \mathrm{\infty}}min({A}^{m}{x}_{n},{B}^{n}{y}_{n},t)>L(t) for all t>0 and any sequence \{{x}_{n}\}, \{{y}_{n}\} in X.
Corollary 3.4 Let A, B, S and T be self mappings of a GVfuzzy metric space (X,M,\ast ) satisfying condition (E1) with inequality (3.13). Suppose that the pairs ({A}^{m},{S}^{p}) and ({B}^{n},{T}^{q}) share the ({\mathit{CLR}}_{{S}^{p},{T}^{q}}) property. Then A, B, S and T have a unique common fixed point provided AS=SA and BT=TB.
Remark 3.7 Corollary 3.4 is a slight but partial generalization of Theorem 3.1 as the commutativity requirements (that is, AS=SA and BT=TB) in this corollary are relatively stronger as compared to weak compatibility in Theorem 3.1.
Remark 3.8 Results similar to Corollary 3.4 can be derived from Theorem 3.1.
4 Illustrative examples
Example 4.1 Let (X,M,\ast ) be a fuzzy metric space, where X=[3,23), with tnorm ∗ is defined by a\ast b=min\{a,b\} for all a,b\in [0,1] and
for all x,y\in X. Define the self mappings A, B, S and T by
Consider the sequences \{{x}_{n}\}={\{11+\frac{1}{n}\}}_{n\in \mathbb{N}}, \{{y}_{n}\}=\{3\} or \{{x}_{n}\}=\{3\}, \{{y}_{n}\}={\{11+\frac{1}{n}\}}_{n\in \mathbb{N}}, it is obvious that both pairs (A,S) and (B,T) satisfy the ({\mathit{CLR}}_{ST}) property.
It is noted that A(X)=\{3,15\}\u2288[3,15)=T(X) and B(X)=\{3,6\}\u2288[3,6)\cup \{15\}=S(X). Notice that S(X) and T(X) are not closed subsets of X. Thus, all the conditions of Theorem 3.1 are satisfied, and 3 is a unique common fixed point of the pairs (A,S) and (B,T), which also remains a point of coincidence. Also all the involved mappings are even discontinuous at their unique common fixed point 3.
Example 4.2 In the setting of Example 4.1, replace the self mappings S and T by the following, besides retaining the rest:
Hence, the pairs (A,S) and (B,T) satisfy the ({\mathit{CLR}}_{ST}) property. It is noted that A(X)=\{3,15\}\subset [3,15]=T(X) and B(X)=\{3,6\}\subset [3,6]=S(X). The pairs (A,S) and (B,T) commute at 3, which is also their common coincidence point. Thus, all the conditions of Theorem 3.2 are satisfied, and 3 is a unique common fixed point of the involved mappings A, B, S and T. Here, it may be pointed out that Theorem 3.1 is not applicable to this example, as S(X) and T(X) are closed subsets of X.
Our next example shows that if (C1) does not hold, then the involved mappings may have no common fixed point.
Example 4.3 Let (X,M,\ast ) be a fuzzy metric space, where X=[0,1] with tnorm ∗ is defined by a\ast b=min\{a,b\} for all a,b\in [0,1], and
for all x,y\in X. Define the self mappings A=B and S=T by
Then

(1)
The mappings A and S satisfy the ({\mathit{CLR}}_{S}) property for the sequence {x}_{n}=\frac{1}{n}, n=1,2,\dots , i.e.,
\underset{n\to \mathrm{\infty}}{lim}A{x}_{n}=\underset{n\to \mathrm{\infty}}{lim}S{x}_{n}=0\in [0,\frac{1}{8})=S(X). 
(2)
The pair (A,S) is weakly compatible.

(3)
A(X)=[0,\frac{1}{4})\u2288[0,\frac{1}{8})=S(X), wherein A(X) and S(X) are not closed subsets of X.

(4)
(C1) does not hold. In fact, for {x}_{n}=\frac{1}{n} and {y}_{n}=0, n=1,2,\dots , we have
\begin{array}{rcl}min({x}_{n},{y}_{n},t)& =& min\left\{\begin{array}{c}M(S{x}_{n},T{y}_{n},t),M(S{x}_{n},A{x}_{n},t),M(T{y}_{n},B{y}_{n},t),\\ M(S{x}_{n},B{y}_{n},t),M(T{y}_{n},A{x}_{n},t)\end{array}\right\}\\ =& min\left\{\begin{array}{c}M(\frac{1}{8n},0,t),M(\frac{1}{8n},\frac{1}{4n},t),M(0,\frac{1}{5},t),\\ M(\frac{1}{8n},\frac{1}{5},t),M(0,\frac{1}{4n},t)\end{array}\right\}\\ =& min\{\frac{t}{t+\frac{1}{8n}},\frac{t}{t+\frac{1}{8n}},\frac{t}{t+\frac{1}{5}},\frac{t}{t+\frac{1}{5}\frac{1}{8n}},\frac{t}{t+\frac{1}{4n}}\}\\ =& \frac{t}{t+\frac{1}{5}}\phantom{\rule{1em}{0ex}}(n\to \mathrm{\infty}).\end{array}
And
which shows that (C1) does not hold.

(5)
A and S have no common fixed point.
Thus, (C1) is important for the existence of common fixed point.
References
Zadeh LA: Fuzzy sets. Inf. Control 1965, 8: 338–353. MR0219427 (36 #2509) 10.1016/S00199958(65)90241X
Kramosil I, Michalek J: Fuzzy metric and statistical metric spaces. Kybernetika 1975, 11(5):336–344. MR0410633 (53 #14381)
George A, Veeramani P: On some result in fuzzy metric space. Fuzzy Sets Syst. 1994, 64: 395–399. MR1289545 10.1016/01650114(94)901627
El Naschie MS: On the uncertainty of Cantorian geometry and twoslit experiment. Chaos Solitons Fractals 1998, 9(3):517–529. MR1625647 10.1016/S09600779(97)001501
El Naschie MS: A review of Einfinity theory and the mass spectrum of high energy particle physics. Chaos Solitons Fractals 2004, 19: 209–236. 10.1016/S09600779(03)002789
El Naschie MS: A review of applications and results of Einfinity theory. Int. J. Nonlinear Sci. Numer. Simul. 2007, 8: 11–20.
Cho YJ: Fixed points in fuzzy metric spaces. J. Fuzzy Math. 1997, 5(4):949–962. MR1488041 (98h:54011)
Cho YJ, Pathak HK, Kang SM, Jung JS:Common fixed points of compatible maps of type (\beta ) on fuzzy metric spaces. Fuzzy Sets Syst. 1998, 93(1):99–111. MR1600404 10.1016/S01650114(96)00200X
Cho YJ, Sedghi S, Shobe N: Generalized fixed point theorems for compatible mappings with some types in fuzzy metric spaces. Chaos Solitons Fractals 2009, 39(5):2233–2244. MR2519428 (2010e:54002) 10.1016/j.chaos.2007.06.108
Grabiec M: Fixed points in fuzzy metric spaces. Fuzzy Sets Syst. 1988, 27(3):385–389. MR0956385 (89j:54007) 10.1016/01650114(88)900644
Gregori V, Morillas S, Sapena A: Examples of fuzzy metrics and applications. Fuzzy Sets Syst. 2011, 170: 95–111. 10.1016/j.fss.2010.10.019
Subrahmanyam PV: A common fixed point theorem in fuzzy metric spaces. Inf. Sci. 1995, 83(3–4):109–112. MR1323308 10.1016/00200255(94)00043B
Vasuki R: Common fixed points for R weakly commuting maps in fuzzy metric spaces. Indian J. Pure Appl. Math. 1999, 30(4):419–423. MR1695690
Abbas M, Altun I, Gopal D: Common fixed point theorems for non compatible mappings in fuzzy metric spaces. Bull. Math. Anal. Appl. 2009, 1(2):47–56. MR2403120
Sintunavarat W, Kumam P: Common fixed point theorems for a pair of weakly compatible mappings in fuzzy metric spaces. J. Appl. Math. 2011., 2011: Article ID 637958 MR2822403
Imdad M, Pant BD, Chauhan S:Fixed point theorems in Menger spaces using the ({\mathit{CLR}}_{ST}) property and applications. J. Nonlinear Anal. Optim. 2012, 3(2):225–237.
Chauhan S: Fixed points of weakly compatible mappings in fuzzy metric spaces satisfying common limit in the range property. Indian J. Math. 2012, 54(3):375–397.
Beg I, Sedghi S, Shobe N: Fixed point theorems in fuzzy metric spaces. Int. J. Anal. 2013., 2013: Article ID 934145
Chauhan S, Bhatnagar S, Radenović S: Common fixed point theorems for weakly compatible mappings in fuzzy metric spaces. Matematiche 2013, 68(1):87–98.
Chauhan S, Dhiman N: Common fixed point theorems on fuzzy metric spaces using implicit relation. Math. Sci. Lett. 2012, 1(2):89–96. 10.12785/msl/010201
Chauhan S, Khan MA, Kumar S: Unified fixed point theorems in fuzzy metric spaces via common limit range property. J. Inequal. Appl. 2013., 2013: Article ID 182
Chauhan S, Khan MA, Sintunavarat W: Common fixed point theorems in fuzzy metric spaces satisfying ϕ contractive condition with common limit range property. Abstr. Appl. Anal. 2013., 2013: Article ID 735217
Chauhan S, Kumar S: Coincidence and fixed points in fuzzy metric spaces using common property (E.A). Kochi J. Math. 2013, 8: 135–154.
Chauhan S, Pant BD: Common fixed point theorems in fuzzy metric spaces. Bull. Allahabad Math. Soc. 2012, 27(1):27–43.
Gopal D, Imdad M, Vetro C: Impact of common property (E.A.) on fixed point theorems in fuzzy metric spaces. Fixed Point Theory Appl. 2011., 2011: Article ID 297360 MR2784507
Imdad M, Ali J: Some common fixed point theorems in fuzzy metric spaces. Math. Commun. 2006, 11(2):153–163. MR2298646
Imdad M, Ali J: A general fixed point theorem in fuzzy metric spaces via an implicit function. J. Appl. Math. Inform. 2008, 26(3–4):591–603.
Imdad M, Ali J, Hasan M: Common fixed point theorems in fuzzy metric spaces employing common property (E.A.). Math. Comput. Model. 2012, 55(3–4):770–778. 10.1016/j.mcm.2011.09.002
Kumar S, Chauhan S: Common fixed point theorems using implicit relation and property (E.A) in fuzzy metric spaces. Ann. Fuzzy Math. Inf. 2013, 5(1):107–114.
Kumar S, Fisher B: A common fixed point theorem in fuzzy metric space using property (E.A.) and implicit relation. Thai J. Math. 2010, 8(3):439–446. MR2763666 (2011m:54045)
Kutukcu S, Turkoglu D, Yildiz C:Common fixed points of compatible maps of type (\beta ) on fuzzy metric spaces. Commun. Korean Math. Soc. 2006, 21(1):89–100. MR2199304 (2006j:54053)
Miheţ D: Fixed point theorems in fuzzy metric spaces using property E.A. Nonlinear Anal. 2010, 73(7):2184–2188. MR2674194 10.1016/j.na.2010.05.044
Murthy PP, Kumar S, Taş K: Common fixed points of self maps satisfying an integral type contractive condition in fuzzy metric spaces. Math. Commun. 2010, 15(2):521–537. MR2814310 (2012d:54046)
Pant BD, Chauhan S: Common fixed point theorems for two pairs of weakly compatible mappings in Menger spaces and fuzzy metric spaces. Sci. Stud. Res. Ser. Math. Inf. 2011, 21(2):81–96.
Pant V, Pant RP: Fixed points in fuzzy metric space for noncompatible maps. Soochow J. Math. 2007, 33(4):647–655. MR2404591
Sedghi S, Turkoglu D, Shobe N:Common fixed point of compatible maps of type (\gamma ) on complete fuzzy metric spaces. Commun. Korean Math. Soc. 2009, 24(4):581–594. MR2568992 10.4134/CKMS.2009.24.4.581
Sintunavarat W, Kumam P: Common fixed points for R weakly commuting in fuzzy metric spaces. Ann. Univ. Ferrara, Sez. 7: Sci. Mat. 2012, 58(2):389–406. MR2996467 10.1007/s115650120150z
Sintunavarat W, Kumam P: Fixed point theorems for a generalized intuitionistic fuzzy contraction in intuitionistic fuzzy metric spaces. Thai J. Math. 2012, 10(1):123–135. MR2949144
Zhu J, Wang Y, Kang SM: Common fixed point theorems of new contractive conditions in fuzzy metric spaces. J. Appl. Math. 2013., 2013: Article ID 145190
Imdad M, Ali J, Tanveer M: Coincidence and common fixed point theorems for nonlinear contractions in Menger PM spaces. Chaos Solitons Fractals 2009, 42(5):3121–3129. MR2562820 (2010j:54064) 10.1016/j.chaos.2009.04.017
Schweizer B, Sklar A NorthHolland Series in Probability and Applied Mathematics. In Probabilistic Metric Spaces. NorthHolland, New York; 1983. MR0790314
Mishra SN, Sharma N, Singh SL: Common fixed points of maps on fuzzy metric spaces. Int. J. Math. Math. Sci. 1994, 17(2):253–258. MR1261071 10.1155/S0161171294000372
Jungck G, Rhoades BE: Fixed points for set valued functions without continuity. Indian J. Pure Appl. Math. 1998, 29(3):227–238. MR1617919
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License ( https://creativecommons.org/licenses/by/2.0 ), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Imdad, M., Chauhan, S. & Khan, M.A. Existence and uniqueness of a common fixed point under a limit contractive condition. J Inequal Appl 2013, 519 (2013). https://doi.org/10.1186/1029242X2013519
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1029242X2013519