The purpose of this paper is to emphasize the role of “common limit range property” to ascertain the existence of common fixed points in modified intuitionistic fuzzy metric spaces enjoying an implicit function utilized in Tanveer et al. (2012) and Imdad et al. (2012). As an application to our main result, we derive a fixed point theorem for finite families of self-mappings. We also give some examples which demonstrate the validity of the hypotheses and degree of generality of our main results. Our results improve and extend several previously known fixed point theorems of the existing literature.
1. Introduction
The fruitful and productive idea of fuzzy set was initiated by Zadeh [1]. In an attempt to generalize the idea of fuzzy set, Atanassov [2] introduced the notion of intuitionistic fuzzy set. Thereafter, Çoker [3] defined a topology on intuitionistic fuzzy sets, while Mondal and Samanta [4] introduced the idea of intuitionistic gradation of openness. Park [5] introduced the notion of intuitionistic fuzzy metric space (abbreviated by IFMS in the sequel) as a generalization of fuzzy metric space, especially the one due to George and Veeramani [6]. In recent years, many authors proved a multitude of fixed point theorems in IFMS (e.g., see [7–15]).
Later on, Gregori et al. [16] showed that the topology induced by fuzzy metric coincides with the topology induced by intuitionistic fuzzy metric. In an attempt to remove this shortcoming, Saadati and Park [17] proposed the idea of modified IFMS wherein the notions of continuous t-norm and continuous t-conorm are employed besides adopting the notion of compatible mappings (essentially due to Jungck [18]). Jain et al. [19] proved some unique common fixed point theorems for four self-mappings satisfying a new contractive condition in modified IFMS through compatibility of type (P). Saadati and Park [17] extended the notion of weak compatibility (due to Jungck and Rhoades [20]) to modified IFMS. However, the study of common fixed points of noncompatible mappings due to Pant [21] is also equally natural. Tanveer et al. [22] and Imdad et al. [23] utilized the notions of the property (E.A) (due to Aamri and Moutawakil [24]) and the common property (E.A) (due to Liu et al. [25]) to prove some interesting results in modified intuitionistic fuzzy metric spaces. One may notice that the property (E.A) does require the closedness of certain underlying subspaces to ascertain the existence of common fixed point. Sintunavarat and Kumam [26] coined the idea of “common limit range property” which never requires the closedness of any underlying subspace for the existence of common fixed points (also see [27]). Most recently, Chauhan et al. [28, 29] and Sintunavarat et al. [14] proved some interesting fixed point results for mappings defined on modified IFMS via common limit range property. Imdad et al. [30] extended the notion of common limit range property to two pairs of self-mappings and proved some fixed point results in Menger and metric spaces. We cite some recent papers (e.g., [31–37]) which demonstrate the superiority of common limit range property over the property (E.A) in various settings.
In this paper, utilizing an implicit function due to Tanveer et al. [22] (also Imdad et al. [23]), we prove some common fixed point theorems for two pairs of weakly compatible mappings in modified IFMS employing the common limit range property. In process, many known results (especially those contained in Imdad et al. [23]) are enriched and improved. Some related results are also derived besides furnishing illustrative examples.
2. PreliminariesLemma 1 (see [38]).
Consider the set L* and operation ≤L* defined by
(1)L*={(x1,x2):(x1,x2)∈[0,1]2,x1+x2≤1},(x1,x2)≤L*(y1,y2)⇔x1≤y1 and x2≥y2, for every (x1,x2),(y1,y2)∈L*. Then (L*,≤L*) is a complete lattice.
Definition 2 (see [2]).
An intuitionistic fuzzy set Aζ,η in a universe 𝒰 is an object Aζ,η={(ζA(u),ηA(u)∣u∈𝒰)}, where, for all u∈𝒰, ζA(u)∈[0,1] and ηA(u)∈[0,1] are, respectively, called the membership degree and the nonmembership degree of u∈Aζ,η which also satisfy ζA(u)+ηA(u)≤1.
For every zi=(xi,yi)∈L*, if ci∈[0,1] such that ∑j=1ncj=1, then it is easy to see that
(2)c1(x1,y1)+⋯+cn(xn,yn)=∑j=1ncj(xj,yj)=(∑j=1ncjxj,∑j=1ncjyj)∈L*.
We denote its units by 0L*=(0,1) and 1L*=(1,0). Classically, a triangular norm *=T on [0,1] is defined as an increasing, commutative, associative mapping T:[0,1]2→[0,1] satisfying T(1,x)=1*x=x, for all x∈[0,1]. A triangular conorm S=⋄ is defined as an increasing, commutative, associative mapping S:[0,1]2→[0,1] satisfying S(0,x)=0⋄x=x, for all x∈[0,1]. Using the lattice (L*,≤L*), these definitions can be easily extended.
Definition 3 (see [39]).
A triangular norm (t-norm) on L* is a mapping 𝒯:(L*)2→L* satisfying the following conditions for all x,y,x′,y′∈L*:
𝒯(x,1L*)=x,
𝒯(x,y)=𝒯(y,x),
𝒯(x,𝒯(y,z))=𝒯(𝒯(x,y),z),
x≤L*x′ and y≤L*y′⇒𝒯(x,y)≤L*𝒯(x′,y′).
Definition 4 (see [38, 39]).
A continuous t-norm 𝒯 on L* is called continuous t-representable if and only if there exist a continuous t-norm * and a continuous t-conorm ⋄ on [0,1] such that, for all x=(x1,x2), y=(y1,y2)∈L*,
(3)𝒯(x,y)=(x1*y1,x2⋄y2).
Now, we define a sequence {𝒯n} recursively by {𝒯1=𝒯} and
(4)𝒯n(x(1),…,x(n+1))=𝒯(𝒯n-1(x(1),…,x(n)),x(n+1)),
for n≥2 and x(i)∈L*.
Definition 5 (see [38, 39]).
A negator on L* is any decreasing mapping 𝒩:L*→L* satisfying 𝒩(0L*)=1L* and 𝒩(1L*)=0L*. If 𝒩(𝒩(x))=x, for all x∈L*, then 𝒩 is called an involutive negator. A negator on [0,1] is a decreasing mapping N:[0,1]→[0,1] satisfying N(0)=1 and N(1)=0. Notice that Ns stands for standard negator on [0,1] defined by (for all x∈[0,1]) Ns(x)=1-x.
Definition 6 (see [17]).
Let M, N be fuzzy sets from X2×(0,∞) to [0,1] such that M(x,y,t)+N(x,y,t)≤1 for all x,y∈X and t>0. The 3-tuple (X,ℳM,N,𝒯) is said to be a modified IFMS if X is an arbitrary nonempty set, 𝒯 is a continuous t-representable, and ℳM,N is an intuitionistic fuzzy set from X2×(0,∞)→L* satisfying the following conditions (for every x,y,z∈X and t,s>0):
ℳM,N(x,y,t)>L*0L*,
ℳM,N(x,y,t)=1L* if and only if x=y,
ℳM,N(x,y,t)=ℳM,N(y,x,t),
ℳM,N(x,y,t+s)≥L*𝒯(ℳM,N(x,z,t),ℳM,N(z,y,s)),
ℳM,N(x,y,·):(0,∞)→L* is continuous.
In this case, ℳM,N is called a modified intuitionistic fuzzy metric. Here,
(5)ℳM,N(x,y,t)=(M(x,y,t),N(x,y,t)).
Remark 7.
In an intuitionistic fuzzy metric space (X,ℳM,N,𝒯), M(x,y,·) is nondecreasing and N(x,y,·) is nonincreasing for all x,y∈X. Hence (X,ℳM,N,𝒯) is nondecreasing function for all x,y∈X.
Example 8 (see [17]).
Let (X,d) be a metric space. Define 𝒯(a,b)=(a1b1,min{a2+b2,1}) for all a=(a1,a2) and b=(b1,b2)∈L*, and let M and N be fuzzy sets on X2×(0,∞) defined as follows:
(6)ℳM,N(x,y,t)=(M(x,y,t),N(x,y,t))=(htnhtn+md(x,y),md(x,y)htn+md(x,y)),
for all h,m,n,t∈ℝ+. Then (X,ℳM,N,𝒯) is a modified IFMS.
Example 9 (see [17]).
Let X=ℕ. Define 𝒯(a,b)=(max{0,a1+b1-1},a2+b2-a2b2) for all a=(a1,a2) and b=(b1,b2)∈L*, and let M and N be fuzzy sets on X2×(0,∞). Then ℳM,N(x,y,t) is defined as (for all x,y∈X and t>0) follows:
(7)ℳM,N(x,y,t)=(M(x,y,t),N(x,y,t))={(xy,y-xy),ifx≤y,(yx,x-yx),ify≤x.
Then (X,ℳM,N,𝒯) is a modified IFMS.
Definition 10 (see [17]).
Let (X,ℳM,N,𝒯) be a modified IFMS. For t>0, define the open ball ℬ(x,r,t) with center x∈X and radius 0<r<1 as
(8)ℬ(x,r,t)={y∈X:ℳM,N(x,y,t)>L*(Ns(r),r)}.
A subset 𝒜⊂X is called open if for each x∈𝒜 there exist t>0 and 0<r<1 such that ℬ(x,r,t)⊆𝒜. If τℳM,N denotes the family of all open subsets of X, then τℳM,N is called the topology induced by intuitionistic fuzzy metric ℳM,N. Notice that this topology is Hausdorff (see [5], Remark 3.3, Theorem 3.5).
Definition 11 (see [17]).
A sequence {xn} in a modified IFMS (X,ℳM,N,𝒯) is called a Cauchy sequence if for each 0<ϵ<1 and t>0 there exists n0∈ℕ such that
(9)ℳM,N(xn,ym,t)>L*(Ns(ϵ),ϵ),
and for each n,m≥n0, where Ns is a standard negator. The sequence {xn} is said to be convergent to x∈X in the modified IFMS (X,ℳM,N,𝒯) and is generally denoted by xn→ℳM,Nx if ℳM,N(xn,x,t)→1L* whenever n→∞ for every t>0. A modified IFMS is said to be complete if and only if every Cauchy sequence is convergent.
Lemma 12 (see [17]).
Let ℳM,N be an intuitionistic fuzzy metric. Then, for any t>0, ℳM,N(x,y,t) is nondecreasing with respect to t in (L*,≤L*), for all x,y∈X.
Definition 13 (see [17]).
Let (X,ℳM,N,𝒯) be a modified IFMS. Then ℳM,N is said to be continuous on X×X×(0,∞), if
(10)limn→∞ℳM,N(xn,yn,tn)=ℳM,N(x,y,t),
whenever a sequence {(xn,yn,tn)} in X×X×(0,∞) converges to a point {(x,y,t)}∈X×X×(0,∞); that is,
(11)limn→∞ℳM,N(xn,x,t)=limn→∞ℳM,N(yn,y,t)=1L*,limn→∞ℳM,N(x,y,tn)=ℳM,N(x,y,t).
Lemma 14 (see [17]).
Let (X,ℳM,N,𝒯) be a modified IFMS. Then, ℳM,N is continuous function on X×X×(0,∞).
Definition 15.
Let A and S be two mappings from a modified IFM space (X,ℳM,N,𝒯) into itself. Then this pair of mappings is said to be
commuting if ASx=SAx, for all x∈X;
weakly commuting [17] if
(12)ℳM,N(ASx,SAx,t)≥L*ℳM,N(Ax,Sx,t),
for all x∈X and t>0;
compatible [17] if
(13)limn→∞ℳM,N(ASxn,SAxn,t)=1L*,
for all t>0 whenever {xn} is a sequence in X such that
(14)limn→∞Axn=limn→∞Sxn=x∈X;
noncompatible [22] if there exists at least one sequence {xn} in X such that
(15)limn→∞Axn=limn→∞Sxn=x∈X,
but limn→∞ℳM,N(ASxn,SAxn,t)≠1L* or nonexistent for at least one t>0.
Definition 16 (see [40]).
Two families of self-mappings {Ai}i=1m and {Sk}k=1n are said to be pairwise commuting if
AaAb=AbAa, for all a,b∈{1,2,…,m};
ScSd=SdSc, for all c,d∈{1,2,…,n};
AaSc=ScAa, for all a∈{1,2,…,m} and c∈{1,2,…,n}.
Definition 17 (see [12]).
Let A and S be two mappings from a modified IFMS (X,ℳM,N,𝒯) into itself. Then this pair of mappings is said to satisfy the property (E.A) if there exists a sequence {xn} in X such that for all t>0(16)limn→∞ℳM,N(Axn,z,t)=limn→∞ℳM,N(Sxn,z,t)=1L*,
for some z∈X.
Definition 18 (see [22]).
Two pairs (A,S) and (B,T) of self-mappings of a modified IFMS (X,ℳM,N,𝒯) are said to satisfy the common property (E.A) if there exist sequences {xn} and {yn} in X such that
(17)limn→∞ℳM,N(Axn,z,t)=limn→∞ℳM,N(Sxn,z,t)=limn→∞ℳM,N(Byn,z,t)=limn→∞ℳM,N(Tyn,z,t)=1L*,
for some z∈X and t>0.
Definition 19 (see [14]).
A pair (A,S) of self-mappings of a modified IFMS (X,ℳM,N,𝒯) is said to satisfy the common limit range property with respect to S, denoted by (CLRS), if there exists a sequence {xn} in X such that for all t>0(18)limn→∞ℳM,N(Axn,z,t)=limn→∞ℳM,N(Sxn,z,t)=1L*,
where z∈S(X).
Thus, one can infer that a pair (A,S) satisfying the property (E.A) along with closedness of the subspace S(X) always enjoys the (CLRS) property with respect to the mapping S (see [14, 29]).
Now, we extend common limit range property for two pairs of self-mappings in the framework of modified IFMS (X,ℳM,N,𝒯) as follows.
Definition 20.
Two pairs (A,S) and (B,T) of self-mappings of a modified IFMS (X,ℳM,N,𝒯) are said to satisfy the common limit range property with respect to mappings S and T, denoted by (CLRST), if there exist two sequences {xn} and {yn} in X such that
(19)limn→∞ℳM,N(Axn,z,t)=limn→∞ℳM,N(Sxn,z,t)=limn→∞ℳM,N(Byn,z,t)=limn→∞ℳM,N(Tyn,z,t)=1L*,
where z∈S(X)∩T(X) and t>0.
By setting A=B and S=T in Definition 20 implies Definition 19 (due to Sintunavarat et al. [14]), whereas Definition 20 implies Definition 18, but the converse implications are not true in general. The following example substantiates this fact.
Example 21.
Let (X,ℳM,N,𝒯) be a modified IFMS, where X=[3,20] and ℳM,N(x,y,t)=(t/(t+|x-y|),|x-y|/(t+|x-y|)) for all x,y∈X and t>0. Define four self-mappings A, B, S, and T on X as
(20)A(x)={7,ifx=3;5,if3<x≤14;x+15,ifx>14,B(x)={4,ifx=3;4x+35,if3<x≤14;13,ifx>14,S(x)={5,ifx=3;15,if3<x≤14;(2x-1)9,ifx>14,T(x)={6,ifx=3;x+32,if3<x≤14;17,ifx>14.
If we choose two sequences as {xn}={14+1/n}n∈ℕ and {yn}={3+1/n}n∈ℕ), then the pairs (A,S) and (B,T) enjoy the common property (E.A) for all t>0:
(21)limn→∞ℳM,N(Axn,3,t)=limn→∞ℳM,N(Sxn,3,t)=limn→∞ℳM,N(Byn,3,t)=limn→∞ℳM,N(Tyn,3,t)=1L*,
where 3∈X. Here it is noticed that 3∉S(X)∩T(X). Therefore, the pairs (A,S) and (B,T) do not satisfy the common limit range property with respect to mappings S and T.
In view of Example 21, the following proposition is predictable.
Proposition 22.
If the pairs (A,S) and (B,T) share the common property (E.A) and S(X) as well as T(X) are closed subsets of X, then the pairs also enjoy the (CLRST) property.
3. Implicit Relations
On the lines of Imdad et al. [23], we adopt an implicit function which covers a multitude of contraction conditions in one go as exhibited by demonstrative examples.
Let Ψ be the set of all upper continuous functions φ(t1,t2,t3,t4,t5,t6):L*6→L*, satisfying the following conditions (for all u,0,1∈L*, where u=(u1,u2), 0=0L*=(0,0), and 1=1L*=(1,0)):
φ(u,1,u,1,1,u)<L*0, for all u>L*0;
φ(u,1,1,u,u,1)<L*0, for all u>L*0;
φ(u,u,1,1,u,u)<L*0, for all u>L*0.
Example 23.
Define φ(t1,t2,t3,t4,t5,t6):L*6→L* as
(22)φ(t1,t2,t3,t4,t5,t6)=t1-αmin{t2,t3,t4,t5,t6},
where α>1.
Example 24.
Define φ(t1,t2,t3,t4,t5,t6):L*6→L* as
(23)φ(t1,t2,t3,t4,t5,t6)=t12-α1min{t22,t32,t42}-α2min{t3t6,t4t5},
where α1,α2>0, α1+α2>1, and α1≥1.
Example 25.
Define φ(t1,t2,t3,t4,t5,t6):L*6→L* as
(24)φ(t1,t2,t3,t4,t5,t6)=t13-αmin{t12t2,t1t3t4,t52t6,t5t62},
where α>1.
Example 26.
Define φ(t1,t2,t3,t4,t5,t6):L*6→L* as
(25)φ(t1,t2,t3,t4,t5,t6)=t13-αt32t42+t52t62t2+t3+t4,
where α≥3/2.
Example 27.
Define φ(t1,t2,t3,t4,t5,t6):L*6→L* as
(26)φ(t1,t2,t3,t4,t5,t6)=(1+αt2)t1-αmin{t3t4,t5t6}-ψ(min{t2,t3,t4,t5,t6}),
where α≥0 and ψ:L*→L* is a continuous function such that ψ(s)>L*s for all s∈L*∖{0,1}.
Example 28.
Define φ(t1,t2,t3,t4,t5,t6):L*6→L* as
(27)φ(t1,t2,t3,t4,t5,t6)=t12-αt22+t32+t42t5+t6,
where α≥2.
Example 29.
Define φ(t1,t2,t3,t4,t5,t6):L*6→L* as
(28)φ(t1,t2,t3,t4,t5,t6)=t1-ψ(min{t2,t3,t4,t5,t6}),
where ψ:L*→L* is a continuous function such that ψ(s)>L*s for all s∈L*∖{0,1}.
Example 30.
Define φ(t1,t2,t3,t4,t5,t6):L*6→L* as
(29)φ(t1,t2,t3,t4,t5,t6)=t13-αt32t42t2+t5+t6,
where α≥3.
Example 31.
Define φ(t1,t2,t3,t4,t5,t6):L*6→L* as
(30)φ(t1,t2,t3,t4,t5,t6)=t12-α1min{t22,t32,t42}-α2t5t5+t6,
where α1≥1 and α2>0.
Example 32.
Define φ(t1,t2,t3,t4,t5,t6):L*6→L* as
(31)φ(t1,t2,t3,t4,t5,t6)=t12-α1min{t22,t52,t62}-α2t3t3+t4,
where α1≥1 and α2>0.
Example 33.
Define φ(t1,t2,t3,t4,t5,t6):L*6→L* as
(32)φ(t1,t2,t3,t4,t5,t6)=t1-α1t2-α2t3-α3t4-α4t5-α5t6,
where α1,α2,α3,α4,α5>0, α2+α5≥1, α3+α4≥1, and α1+α4+α5≥1.
On the lines of Tanveer et al. [22], let Φ be the set of all continuous functions ϕ(t1,t2,t3,t4,t5,t6):L*6→L*, satisfying (for all u,v,1∈L*, where u=(u1,u2), v=(v1,v2), and 1=1L*=(1,0)) the following:
for all u,v>L*0, ϕ(u,v,u,v,v,u)≥L*0 or ϕ(u,v,v,u,u,v)≥L*0 implies that u≥L*v;
ϕ(u,u,1,1,u,u)≥L*0 implies that u≥L*1.
Example 34.
Define ϕ(t1,t2,t3,t4,t5,t6)=18t1-16t2+8t3-10t4+t5-t6. Then ϕ∈Φ.
Example 35.
Define ϕ(t1,t2,t3,t4,t5,t6)=t1-(1/2)t2-(5/6)t3+(1/3)t4+t5-t6. Then ϕ∈Φ.
Here, it can be pointed out that the abovementioned classes of functions, namely, Ψ and Φ, are independent to each other as the implicit function φ(t1,t2,t3,t4,t5,t6)=t1-αmin{t2,t3,t4,t5,t6} (where α>1 and φ∈Ψ) does not belong to Φ as φ(u,u,1,1,u,u)<L*0, for all u>L*0, while the implicit function ϕ(t1,t2,t3,t4,t5,t6)=15t1-13t2+5t3-7t4+t5-t6 (where ϕ∈Φ) does not belong to Ψ as ϕ(u,v,u,v,v,u)=0 implies u=v instead of u>L*v.
For an extensive collection of implicit relations on different settings, we refer to [41–45].
4. Results
Before proving our main results, we observe the following.
Lemma 36.
Let A, B, S, and T be self-mappings of a modified IFMS (X,ℳM,N,𝒯). Suppose that
the pair (A,S) satisfies the (CLRS) property (or (B,T) satisfies the (CLRT) property),
A(X)⊂T(X) (or B(X)⊂S(X)),
T(X) (or S(X)) is a closed subset of X,
{Byn} converges for every sequence {yn} in X whenever {Tyn} converges (or {Axn} converges for every sequence {xn} in X whenever {Sxn} converges),
Then the pairs (A,S) and (B,T) share the (CLRST) property.
Proof.
If the pair (A,S) enjoys the (CLRS) property with respect to mapping S, then there exists a sequence {xn} in X such that
(34)limn→∞ℳM,N(Axn,z,t)=limn→∞ℳM,N(Sxn,z,t)=1L*,
where z∈S(X). Since A(X)⊂T(X), for each sequence {xn}, there exists a sequence {yn} in X such that Axn=Tyn. Therefore, due to closedness of T(X),
(35)limn→∞ℳM,N(Tyn,z,t)=limn→∞ℳM,N(Axn,z,t)=1L*,
where z∈S(X)∩T(X). Thus, in all, we have Axn→z, Sxn→z, and Tyn→z as n→∞. Moreover, in view of (4), {Byn} converges. Now, we show that Byn→z as n→∞. On using inequality (33) with x=xn, y=yn, we have(36)φ(ℳM,N(Axn,Byn,t),ℳM,N(Sxn,Tyn,t),ℳM,N(Axn,Sxn,t),ℳM,N(Byn,Tyn,t),ℳM,N(Sxn,Byn,t),ℳM,N(Axn,Tyn,t))≥L*0.
Let, on contrary, Byn→l(≠z) as n→∞. Then, on making n→∞, we get
(37)φ(ℳM,N(z,l,t),ℳM,N(z,z,t),ℳM,N(z,z,t),ℳM,N(l,z,t),ℳM,N(z,l,t),ℳM,N(z,z,t))≥L*0,
or, equivalently,
(38)φ(ℳM,N(z,l,t),1,1,ℳM,N(l,z,t),ℳM,N(z,l,t),1)≥L*0,
which is a contradiction to (φ2). Hence ℳM,N(z,l,t)=1, that is, z=l, which shows that Byn→z as n→∞. Hence both the pairs (A,S) and (B,T) share the (CLRST) property. This concludes the proof.
Remark 37.
In general, the converse of Lemma 36 is not true. For a counter example, one can see Example 42.
Now, we state and prove our first main result as follows.
Theorem 38.
Let A, B, S, and T be self-mappings of a modified IFMS (X,ℳM,N,𝒯) satisfying inequality (33) of Lemma 36. If the pairs (A,S) and (B,T) share the (CLRST) 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 the pairs (A,S) and (B,T) are weakly compatible.
Proof.
Since the pairs (A,S) and (B,T) satisfy the (CLRST) property, there exist two sequences {xn} and {yn} in X such that
(39)limn→∞ℳM,N(Axn,z,t)=limn→∞ℳM,N(Sxn,z,t)=limn→∞ℳM,N(Byn,z,t)=limn→∞ℳM,N(Tyn,z,t)=1L*,
where z∈S(X)∩T(X). Since z∈S(X), there exists a point w∈X such that Sw=z. We show that Aw=Sw. If not, then using inequality (33) with x=w, y=yn, we get(40)φ(ℳM,N(Aw,Byn,t),ℳM,N(Sw,Tyn,t),ℳM,N(Aw,Sw,t),ℳM,N(Byn,Tyn,t),ℳM,N(Sw,Byn,t),ℳM,N(Aw,Tyn,t))≥L*0,
which, on making n→∞, reduces to(41)φ(ℳM,N(Aw,z,t),ℳM,N(z,z,t),ℳM,N(Aw,z,t),ℳM,N(z,z,t),ℳM,N(z,z,t),ℳM,N(Aw,z,t))≥L*0
so that(42)φ(ℳM,N(Aw,z,t),1,ℳM,N(Aw,z,t),1,1,ℳM,N(Aw,z,t))≥L*0,
a contradiction to (φ1). Hence ℳM,N(Aw,z,t)=1; that is, Aw=Sw=z. Therefore, w is a coincidence point of the pair (A,S).
Also z∈T(X); there exists a point v∈X such that Tv=z. We assert that Bv=Tv. If not, then using inequality (33) with x=w, y=v, we get(43)φ(ℳM,N(Aw,Bv,t),ℳM,N(Sw,Tv,t),ℳM,N(Aw,Sw,t),ℳM,N(Bv,Tv,t),ℳM,N(Sw,Bv,t),ℳM,N(Aw,Tv,t))≥L*0
so that(44)φ(ℳM,N(z,Bv,t),ℳM,N(z,z,t),ℳM,N(z,z,t),ℳM,N(Bv,z,t),ℳM,N(z,Bv,t),ℳM,N(z,z,t))≥L*0
a contradiction to (φ2). Hence ℳM,N(z,Bv,t)=1, and so Bv=Tv=z, which shows that v is a coincidence point of the pair (B,T).
Since the pair (A,S) is weakly compatible and Aw=Sw, hence Az=ASw=SAw=Sz. Now, we show that z is a common fixed point of the pair (A,S). Suppose that Az≠z; using inequality (33) with x=z, y=v, we have(46)φ(ℳM,N(Az,Bv,t),ℳM,N(Sz,Tv,t),ℳM,N(Az,Sz,t),ℳM,N(Bv,Tv,t),ℳM,N(Sz,Bv,t),ℳM,N(Az,Tv,t))≥L*0
so that(47)φ(ℳM,N(Az,z,t),ℳM,N(Az,z,t),ℳM,N(Az,Az,t),ℳM,N(z,z,t),ℳM,N(Az,z,t),ℳM,N(Az,z,t))≥L*0
or
(48)φ(ℳM,N(Az,z,t),ℳM,N(Az,z,t),1,1,ℳM,N(Az,z,t),ℳM,N(Az,z,t))≥L*0,
a contradiction to (φ3) yielding thereby 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; therefore, Bz=BTv=TBv=Tz. Suppose that Bz≠z; then using inequality (33) with x=w, y=z, we have(49)φ(ℳM,N(Aw,Bz,t),ℳM,N(Sw,Tz,t),ℳM,N(Aw,Sw,t),ℳM,N(Bz,Tz,t),ℳM,N(Sw,Bz,t),ℳM,N(Aw,Tz,t))≥L*0,
so that(50)φ(ℳM,N(z,Bz,t),ℳM,N(z,Bz,t),ℳM,N(z,z,t),ℳM,N(Bz,Bz,t),ℳM,N(z,Bz,t),ℳM,N(z,Bz,t))≥L*0
or
(51)φ(ℳM,N(z,Bz,t),ℳM,N(z,Bz,t),1,1,ℳM,N(z,Bz,t),ℳM,N(z,Bz,t))≥L*0,
a contradiction to (φ3). 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 the pairs (A,S) and (B,T). Uniqueness of common fixed point is an easy consequence of inequality (33) (owing to condition (φ3)). This completes the proof.
Remark 39.
Theorem 38 improves the corresponding results contained in Imdad et al. [23] as closedness of the underlying subspaces is not required.
Now, we present an example which demonstrates the validity of the hypotheses and degree of generality of our main result over comparable ones from the existing literature.
Example 40.
Let (X,ℳM,N,𝒯) be a modified IFMS, wherein X=[5,21), 𝒯(a,b)=(a1b1,min{a2+b2,1}) for all a=(a1,a2) and b=(b1,b2)∈L* with ℳM,N(x,y,t)=(t/(t+|x-y|),|x-y|/(t+|x-y|)) for all x,y∈X and t>0. Define four self-mappings A, B, S, and T by
(52)A(x)={5,ifx∈{5}∪(9,21);20,ifx∈(5,9],B(x)={5,ifx∈{5}∪(9,21);13,ifx∈(5,9],S(x)={5,ifx=5;10,ifx∈(5,9];x+12,ifx∈(9,21),T(x)={5,ifx=5;18,ifx∈(5,9];x-4,ifx∈(9,21).
Define an implicit function φ(t1,t2,t3,t4,t5,t6):L*6→L* by
(53)φ(t1,t2,t3,t4,t5,t6)=t1-ψ(min{t2,t3,t4,t5,t6}),
where ψ:L*→L* is a continuous function such that ψ(s)>L*s (that is, ψ(s)=s) for all s∈L*∖{0,1} and φ∈Ψ. Hence (53) implies(54)ℳM,N(Ax,By,t)≥L*min{ℳM,N(Sx,Ty,t),ℳM,N(Ax,Sx,t),ℳM,N(By,Ty,t),ℳM,N(Sx,By,t),ℳM,N(Ax,Ty,t)},
for all x,y∈X and t>0. With two sequences {xn}={9+1/n}n∈ℕ and {yn}={5} (or {xn}={5}, {yn}={9+1/n}n∈ℕ), the pairs (A,S) and (B,T) satisfy the (CLRST) property:
(55)limn→∞ℳM,N(Axn,5,t)=limn→∞ℳM,N(Sxn,5,t)=limn→∞ℳM,N(Byn,5,t)=limn→∞ℳM,N(Tyn,5,t)=1L*,
where 5∈S(X)∩T(X). Also, A(X)={5,20}⊈[5,17)∪{18}=T(X) and B(X)={5,13}⊈[5,11)=S(X). By a routine calculation, one can easily verify the inequality (54) for all x,y∈X. Thus all the conditions of Theorem 38 are satisfied, and 5 is a unique common fixed point of the pairs (A,S) and (B,T), which also remains a point of coincidence as well. Here, one may notice that all the involved mappings are discontinuous even at their unique common fixed point 5.
Notice that the subspaces S(X) and T(X) are not closed subspaces of X; therefore, the main result contained in Imdad et al. [23] can not be used in the context of this example which establishes the genuineness of our extension.
In the proof of our next theorem, Lemma 36 is utilized.
Theorem 41.
Let A, B, S, and T be self-mappings of a modified IFMS (X,ℳM,N,𝒯) satisfying all the hypotheses of Lemma 36. Then A, B, S, and T have a unique common fixed point provided both the pairs (A,S) and (B,T) are weakly compatible.
Proof.
In view of Lemma 36, the pairs (A,S) and (B,T) share the (CLRST) property so that there exist two sequences {xn} and {yn} in X such that
(56)limn→∞ℳM,N(Axn,z,t)=limn→∞ℳM,N(Sxn,z,t)=limn→∞ℳM,N(Byn,z,t)=limn→∞ℳM,N(Tyn,z,t)=1L*,
where z∈S(X)∩T(X). The rest of the proof can be completed on the lines of the proof of Theorem 38. This completes the proof.
The following example demonstrates the utility of Theorem 41 over Theorem 38.
Example 42.
In the setting of Example 40, replace the self-mappings A, B, S, and T by the following, besides retaining the rest:
(57)A(x)={5,ifx∈{5}∪(9,21);15,ifx∈(5,9],B(x)={5,ifx∈{5}∪(9,21);10,ifx∈(5,9],S(x)={5,ifx=5;11,ifx∈(5,9];x+12,ifx∈(9,21),T(x)={5,ifx=5;17,ifx∈(5,9];x-4,ifx∈(9,21).
Then, like the earlier example, it is easy to see that both the pairs (A,S) and (B,T) satisfy the (CLRST) property. Consider an implicit function described by Example 40. Also, A(X)={5,15}⊂[5,17]=T(X) and B(X)={5,10}⊂[5,11]=S(X). The pairs (A,S) and (B,T) commute at 5 which is also their common coincidence point. Thus all the conditions of Theorems 41 are satisfied, and 5 is a unique common fixed point of the involved mappings A, B, S, and T.
Here, it can be pointed out that Theorem 38 is not applicable to this example as both S(X), T(X) are closed subsets of X which demonstrates the situational utility of Theorem 41 over Theorem 38.
In view of the earlier demonstrative examples, one can outline the following corollary.
Corollary 43.
The conclusions of Lemma 36, Theorem 38, and Theorem 41 remain true if inequality (33) is replaced by one of the following contraction conditions. For all x,y∈X and t>0,(58)ℳM,N(Ax,By,t)≥L*αmin{ℳM,N(Sx,Ty,t),ℳM,N(Ax,Sx,t),ℳM,N(By,Ty,t),ℳM,N(Sx,By,t),ℳM,N(Ax,Ty,t)},
where α>1,(59)ℳM,N2(Ax,By,t)≥L*α1min{ℳM,N2(Sx,Ty,t),ℳM,N2(Ax,Sx,t),ℳM,N2(By,Ty,t)}+α2min{ℳM,N(Ax,Sx,t)ℳM,N(Ax,Ty,t),ℳM,N(By,Ty,t)ℳM,N(Sx,By,t)},
where α1,α2>0, α1+α2>1 and α1≥1,(60)ℳM,N3(Ax,By,t)≥L*αmin{ℳM,N2(Ax,By,t)ℳM,N(Sx,Ty,t),ℳM,N(Ax,By,t)ℳM,N(Ax,Sx,t)ℳM,N(By,Ty,t),ℳM,N2(Sx,By,t)ℳM,N(Ax,Ty,t),ℳM,N(Sx,By,t)ℳM,N2(Ax,Ty,t)},
where α>1, (61)ℳM,N3(Ax,By,t)≥L*αℳM,N2(Ax,Sx,t)ℳM,N2(By,Ty,t)+ℳM,N2(Sx,By,t),ℳM,N2(Ax,Ty,t)ℳM,N(Sx,Ty,t)+ℳM,N(Ax,Sx,t)+ℳM,N(By,Ty,t),
where α≥3/2,(62)(1+αℳM,N(Sx,Ty,t))ℳM,N(Ax,By,t)≥L*αmin{ℳM,N(Ax,Sx,t)ℳM,N(By,Ty,t),ℳM,N(Sx,By,t)ℳM,N(Ax,Ty,t)}-ψ(min{ℳM,N(Sx,Ty,t),ℳM,N(Ax,Sx,t),ℳM,N(By,Ty,t),ℳM,N(Sx,By,t),ℳM,N(Ax,Ty,t)}),
where α≥0 and ψ:L*→L* is a continuous function such that ψ(s)>L*s for all s∈L*∖{0,1},(63)ℳM,N2(Ax,By,t)≥L*αℳM,N2(Sx,Ty,t)+ℳM,N2(Ax,Sx,t)+ℳM,N2(By,Ty,t)ℳM,N(Sx,By,t)+ℳM,N(Ax,Ty,t),
where α≥2, (64)ℳM,N(Ax,By,t)≥L*ψ(min{ℳM,N(Sx,Ty,t),ℳM,N(Ax,Sx,t),ℳM,N(By,Ty,t),ℳM,N(Sx,By,t),ℳM,N(Ax,Ty,t)}),
where ψ:L*→L* is a continuous function such that ψ(s)>L*s for all s∈L*∖{0,1},(65)ℳM,N3(Ax,By,t)≥L*αℳM,N2(Ax,Sx,t)ℳM,N2(By,Ty,t)ℳM,N(Sx,Ty,t)+ℳM,N(Sx,By,t)+ℳM,N(Ax,Ty,t),
where α≥3,(66)ℳM,N2(Ax,By,t)≥L*α1min{ℳM,N2(Sx,Ty,t),ℳM,N2(Ax,Sx,t),ℳM,N2(By,Ty,t)}+α2ℳM,N(Sx,By,t)ℳM,N(Sx,By,t)+ℳM,N(Ax,Ty,t),
where α1≥1 and α2>0,(67)ℳM,N2(Ax,By,t)≥L*α1min{ℳM,N2(Sx,Ty,t),ℳM,N2(Sx,By,t),ℳM,N2(Ax,Ty,t)}+α2ℳM,N(Ax,Sx,t)ℳM,N(Ax,Sx,t)+ℳM,N(By,Ty,t),
where α1≥1 and α2>0,(68)ℳM,N(Ax,By,t)≥L*α1ℳM,N(Sx,Ty,t)+α2ℳM,N(Ax,Sx,t)+α3ℳM,N(By,Ty,t)+α4ℳM,N(Sx,By,t)+α5ℳM,N(Ax,Ty,t),
where α1,α2,α3,α4,α5>0, α2+α5≥1, α3+α4≥1, and α1+α4+α5≥1.
Proof.
The proof for each inequality (58)–(68) easily follows from Theorem 38 in view of Examples 23–33.
Remark 44.
Corollary 43 improves and generalizes a multitude of well-known results especially those contained in [8, 10, 11, 17, 19, 22, 23].
Now we state the next theorem for another independent class of implicit functions ϕ∈Φ utilized in Tanveer et al. [22].
Theorem 45.
Let A, B, S, and T be self-mappings of a modified IFMS (X,ℳM,N,𝒯) satisfying(69)ϕ(ℳM,N(Ax,By,t),ℳM,N(Sx,Ty,t),ℳM,N(Ax,Sx,t),ℳM,N(By,Ty,t),ℳM,N(Sx,By,t),ℳM,N(Ax,Ty,t))≥L*0,
for all x,y∈X and ϕ∈Φ. If the pairs (A,S) and (B,T) share the (CLRST) 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 the pairs (A,S) and (B,T) are weakly compatible.
Proof.
The proof of this theorem can be completed on the lines of the proof of Theorem 38; hence we skip the details.
Example 46.
In the setting of Example 40, one can define an implicit function ϕ(t1,t2,t3,t4,t5,t6):L*6→L* by ϕ(t1,t2,t3,t4,t5,t6)=18t1-16t2+8t3-10t4+t5-t6, where ϕ∈Φ (besides retaining the rest). Hence the pairs (A,S) and (B,T) enjoy the (CLRST) property. Thus all the conditions of Theorem 45 are satisfied, and 5 is a unique common fixed point of the pairs (A,S) and (B,T).
By choosing A, B, S, and T suitably, we can deduce corollaries involving two as well as three self-mappings. For the sake naturality, we only derive the following corollary involving a pair of self-mappings.
Corollary 47.
Let A and S be self-mappings of a modified IFMS (X,ℳM,N,𝒯). Suppose that
Then (A,S) has a coincidence point. Moreover, if the pair (A,S) is weakly compatible then the pair has a unique common fixed point in X.
As an application of Theorem 38, we have the following result involving four finite families of self-mappings.
Theorem 48.
Let {Ai}i=1m, {Bj}r=1n, {Sk}k=1p, and {Tl}l=1q be four finite families of self-mappings of a modified IFMS (X,ℳM,N,𝒯) with A=A1A2⋯Am, B=B1B2⋯Bn, S=S1S2⋯Sp, and T=T1T2⋯Tq satisfying the condition (33). Suppose that the pairs (A,S) and (B,T) enjoy the (CLRST) property; then (A,S) and (B,T) have a point of coincidence each.
Moreover {Ai}i=1m, {Bj}j=1n, {Sk}k=1p, and {Tl}l=1q have a unique common fixed point if the families ({Ai},{Sk}) and ({Br},{Th}) commute pairwise, wherein i∈{1,2,…,m}, k∈{1,2,…,p}, j∈{1,2,…,n}, and l∈{1,2,…,q}.
Proof.
The proof of this theorem can be completed on the lines of the proof of a similar theorem contained in Imdad et al. [40].
Remark 49.
A result similar to Theorem 48 can be outlined in respect of Theorem 38. Notice that Theorem 48 generalizes certain results of Sharma and Deshpande [13].
Now, we indicate that Theorem 48 can be utilized to derive common fixed point theorems for any finite number of mappings. As a sample, we derive a theorem involving five mappings by setting one family of two members while the remaining three of single members.
Corollary 50.
Let A, B, R, S, and T be self-mappings of a modified IFMS (X,ℳM,N,𝒯). Suppose that
the pairs (A,SR) and (B,T) share the (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 the pairs (A,SR) and (B,T) commute pairwise; that is, AS=SA, AR=RA, SR=RS, and 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.
Corollary 51.
Let A, B, H, R, S, and T be self-mappings of a modified IFMS (X,ℳM,N,𝒯). Suppose that
the pairs (A,SR) and (B,TH) share the (CLR(SR)(TH)) property,
Then (A,SR) and (B,TH) have a coincidence point each. Moreover, A, B, H, R, S, and T have a unique common fixed point provided both the pairs (A,SR) and (B,TH) commute pairwise; that is, AS=SA, AR=RA, SR=RS, BT=TB, BH=HB, and TH=HT.
By setting A1=A2=⋯=Am=A, B1=B2=⋯=Bn=B, S1=S2=⋯=Sp=S, and T1=T2=⋯=Tq=T in Theorem 48, we deduce the following.
Corollary 52.
Let A, B, S, and T be self-mappings of a modified IFMS (X,ℳM,N,𝒯). Suppose that
the pairs (Am,Sp) and (Bn,Tq) share the (CLRSpTq) property,
Then A, B, S, and T have a unique common fixed point provided AS=SA and BT=TB.
Remark 53.
Corollary 52 is a slight but partial generalization of Theorem 38 as the commutativity requirements (that is, AS=SA and BT=TB) in this corollary are relatively stronger as compared to weak compatibility in Theorem 38.
Remark 54.
Results similar to Corollary 52 can be derived from Theorem 38 and Corollary 43.
Remark 55.
It is noticed that Lemma 36, Theorems 38–48, and Corollaries 43–52 can be also proved for the implicit function Φ, but due to paucity of the space we have opted not to include the entire details.
Conflict of Interests
The authors declare that they have no conflict of interests.
Acknowledgments
The authors are thankful to all anonymous referees for their valuable suggestions and critical remarks towards the improvement of this paper. The authors are also very grateful to Professor Erdal Karapnar (Guest Editor of Abstract and Applied Analysis) for his encouragements, especially in the course of two revisions.
ZadehL. A.Fuzzy sets19658338353MR0219427AtanassovK. T.Intuitionistic fuzzy sets1986201879610.1016/S0165-0114(86)80034-3MR852871ÇokerD.An introduction to intuitionistic fuzzy topological spaces1997881818910.1016/S0165-0114(96)00076-0MR1449497MondalT. K.SamantaS. K.On intuitionistic gradation of openness2002131332333610.1016/S0165-0114(01)00235-4MR1939845ParkJ. H.Intuitionistic fuzzy metric spaces20042251039104610.1016/j.chaos.2004.02.051MR2078831GeorgeA.VeeramaniP.On some results in fuzzy metric spaces199464339539910.1016/0165-0114(94)90162-7MR1289545Abu-DoniaH. M.NasefA. A.Common fixed point theorems in intuitionistic fuzzy metric spaces2008222100106MR2428179AlacaC.TurkogluD.YildizC.Fixed points in intuitionistic fuzzy metric spaces20062951073107810.1016/j.chaos.2005.08.066MR2227667ĆirićL. B.JešićS. N.UmeJ. S.The existence theorems for fixed and periodic points of nonexpansive mappings in intuitionistic fuzzy metric spaces200837378179110.1016/j.chaos.2006.09.093MR2400331HuangX.ZhuC.WenX.Common fixed point theorems for families of compatible mappings in intuitionistic fuzzy metric spaces201056230532610.1007/s11565-010-0105-1MR2733416PantB. D.KumarS.ChauhanS.Common fixed point of weakly compatible maps on intuitionistic fuzzy metric spaces2010114149MR2745053SedghiS.ShobeN.AlioucheA.Common fixed point theorems in intuitionistic fuzzy metric spaces through conditions of integral type2008216182MR2419868SharmaS.DeshpandeB.Common fixed point theorems for finite number of mappings without continuity and compatibility on intuitionistic fuzzy metric spaces20094052242225610.1016/j.chaos.2007.10.011MR2533217SintunavaratW.ChauhanS.KumamP.Some fixed point results in modofied intuitionistic fuzzy metric spaces201310.1007/s13370-012-0128-0SintunavaratW.KumamP.Fixed point theorems for a generalized intuitionistic fuzzy contraction in intuitionistic fuzzy metric spaces2012101123135MR2949144GregoriV.RomagueraS.VeeramaniP.A note on intuitionistic fuzzy metric spaces200628490290510.1016/j.chaos.2005.08.113MR2212778SaadatiR.ParkJ. H.On the intuitionistic fuzzy topological spaces200627233134410.1016/j.chaos.2005.03.019MR2166392JungckG.Compatible mappings and common fixed points19869477177910.1155/S0161171286000935MR870534JainS.JainS.Bahadur JainL.Compatibility of type (P) in modified intuitionistic fuzzy metric space20103296109MR2601847JungckG.RhoadesB. E.Fixed points for set valued functions without continuity1998293227238MR1617919PantR. P.Common fixed point theorems for contractive maps1998226125125810.1006/jmaa.1998.6029MR1646430TanveerM.ImdadM.GopalD.PatelD. K.Common fixed point theorems in modified intuitionistic fuzzy metric spaces with common property (E.A.)20122012article 36ImdadM.AliJ.HasanM.Common fixed point theorems in modified intuitionistic fuzzy metric spaces2012957792AamriM.El MoutawakilD.Some new common fixed point theorems under strict contractive conditions2002270118118810.1016/S0022-247X(02)00059-8MR1911759LiuY.WuJ.LiZ.Common fixed points of single-valued and multivalued maps2005193045305510.1155/IJMMS.2005.3045MR2206083SintunavaratW.KumamP.Common fixed point theorems for a pair of weakly compatible mappings in fuzzy metric spaces201120111463795810.1155/2011/637958MR2822403SintunavaratW.KumamP.Common fixed points for R-weakly commuting in fuzzy metric spaces201258238940610.1007/s11565-012-0150-zMR2996467ChauhanS.ImdadM.SametB.Coincidence and common fixed point theorems in modified intuitionistic fuzzy metric spaces201358892900ChauhanS.PantB. D.RadenovićS.Common fixed point theorems for R-weakly commuting mappings with common limit in the range propertyJournal of the Indian Mathematical Society. In pressImdadM.PantB. D.ChauhanS.Fixed point theorems in Menger spaces using the (CLRST) property and applications201232225237MR2982410BabuG. V. R.SubhashiniP.Coupled common fixed point theorems of Ćirić type g-weak contractions with CLRg property201341ChauhanS.KhanM. A.KumarS.Unified fixed point theorems in fuzzy metric spaces via common limit range property201320131710.1186/1029-242X-2013-182MR3057245ChauhanS.KhanM. A.SintunavaratW.Common fixed point theorems in fuzzy metric spaces satisfying ϕ-contractive condition with common limit range property201320131473521710.1155/2013/735217JainM.KumarS.A common fixed point theorem in fuzzy metric space using the property (CLRg)Thai Journal of Mathematics. In pressJainM.TasK.KumarS.GuptaN.Coupled fixed point theorems for a pair of weakly compatible maps along with CLRg property in fuzzy metric spaces2012201213961210MR295998410.1155/2012/961210KumarM.KumarP.KumarS.Some common fixed point theorems using (CLRg) property in cone metric spaces201223340356VermaR. K.PathakH. K.Common fixed point theorems using property (E.A) in complex-valued metric spaces2013112DeschrijverG.CornelisC.KerreE. E.On the representation of intuitionistic fuzzy t-norm and t-conorm2004124561DeschrijverG.KerreE. E.On the relationship between some extensions of fuzzy set theory2003133222723510.1016/S0165-0114(02)00127-6MR1949024ImdadM.AliJ.TanveerM.Coincidence and common fixed point theorems for nonlinear contractions in Menger PM spaces20094253121312910.1016/j.chaos.2009.04.017MR2562820ChauhanS.ImdadM.VetroC.Unified metrical common fixed point theorems in 2-metric spaces via an implicit relation201320131118691010.1155/2013/186910GülU.KarapınarE.On almost contraction in partially ordered metric spaces via implicit relation20122012article 21710.1186/1029-242X-2012-217MR3016661GülyazS.KarapınarE.YüceI. S.A coupled coincidence point theorem in partially ordered metric spaces with an implicit relation201320131110.1186/1687-1812-2013-38MR3033729Nguyen Manh HungKarapınarE.Nguyen Van LuongCoupled coincidence point theorem in partially ordered metric spaces via implicit relation20121479696410.1155/2012/796964MR2947734ImdadM.ChauhanS.Employing common limit range property to prove unified metrical common fixed point theorems201320131076326110.1155/2013/763261