Skip to main content

Existence and uniqueness of a common fixed point under a limit contractive condition

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 ϵ theory (see, [46] 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. [713]). In 2009, Abbas et al. [14] utilized the notions of the property (E.A) (which contains the class of non-compatible 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 [1838]. 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, GV-type) 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 :[0,1]×[0,1][0,1] is a continuous t-norm if it satisfies the following conditions:

  1. (1)

    is associative and commutative,

  2. (2)

    is continuous,

  3. (3)

    a1=a for all a[0,1],

  4. (4)

    abcd, whenever ac and bd for all a,b,c,d[0,1].

Examples of continuous t-norms are ab=min{a,b}, ab=ab and ab=max{a+b1,0}.

Definition 2.2 [3]

A 3-tuple (X,M,) is said to be a fuzzy metric space if X is an arbitrary set, is a continuous t-norm, and M is a fuzzy set on X 2 ×(0,) satisfying the following conditions: for all x,y,zX, t,s>0,

(GV-1) M(x,y,t)>0,

(GV-2) M(x,y,t)=1 if and only if x=y,

(GV-3) M(x,y,t)=M(y,x,t),

(GV-4) M(x,y,t)M(y,z,s)M(x,z,t+s),

(GV-5) M(x,y,):[0,)[0,1] is continuous.

In view of (GV-1) and (GV-2), it is worth pointing out that 0<M(x,y,t)<1 (for all t>0) provided xy (see [32]). In what follows, fuzzy metric spaces in the sense of George and Veeramani [3] will be referred to as GV-fuzzy 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 R + be a one-one function, and let g: R + [0,) be an increasing continuous function. For fixed α,β>0, define M as

M(x,y,t)= ( ( min { f ( x ) , f ( y ) } ) α + g ( t ) ( max { f ( x ) , f ( y ) } ) α + g ( t ) ) β ,

then (X,M,) is a fuzzy metric space on X, wherein is the product t-norm, i.e., ab=ab.

Example 2.2 [11]

Define a function M as

M(x,y,t)= e d ( x , y ) g ( t ) ,

then (X,M,) is a fuzzy metric space on X, wherein is the product t-norm and g: R + [0,) 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,yX). Let g: R + [k,) be an increasing continuous function. Define a function M as

M(x,y,t)=1 d ( x , y ) g ( t ) ,

then (X,M,) is a fuzzy metric space on X, wherein is a Lukasiewicz t-norm, i.e., ab=max{a+b1,0}.

Definition 2.3 [32]

A sequence { x n } in a GV-fuzzy metric space (X,M,) is said to be convergent to some xX if for all t>0, there is some n 0 N such that

lim n M( x n ,x,t)=1,

for all n n 0 .

Definition 2.4 [42]

A pair (A,S) of self mappings of a GV-fuzzy metric space (X,M,) is said to be compatible if and only if M(AS x n ,SA x n ,t)1 for all t>0, whenever { x n } is a sequence in X such that A x n ,S x n z for some zX as n.

Definition 2.5 [43]

A pair (A,S) of self mappings of a non-empty set X is said to be weakly compatible (or coincidentally commuting) if they commute at their coincidence points, that is, if Az=Sz some zX, then ASz=SAz.

Definition 2.6 [14]

A pair (A,S) of self mappings of a GV-fuzzy metric space (X,M,) is said to satisfy the property (E.A) if there exists a sequence { x n } in X such that (for some zX)

lim n A x n = lim n S x n =z.

Definition 2.7 [14]

Two pairs (A,S) and (B,T) of self mappings of a GV-fuzzy metric space (X,M,) 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 zX)

lim n A x n = lim n S x n = lim n B y n = lim n T y n =z.

Definition 2.8 [15]

A pair (A,S) of self mappings of a GV-fuzzy metric space (X,M,) is said to satisfy the ( CLR S ) property with respect to mapping S if there exists a sequence { x n } in X such that

lim n A x n = lim n S x n =z,

where zS(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 ( CLR S ) property.

Definition 2.9 [17]

Two pairs (A,S) and (B,T) of self mappings of a GV-fuzzy metric space (X,M,) are said to satisfy the ( CLR S T ) property with respect to mappings S and T if there exist two sequences { x n } and { y n } in X such that

lim n A x n = lim n S x n = lim n B y n = lim n T y n =z,

where zS(X)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. (1)

    A i A j = A j A i for all i,j{1,2,,m},

  2. (2)

    S k S l = S l S k for all k,l{1,2,,n},

  3. (3)

    A i S k = S k A i for all i{1,2,,m} and k{1,2,,n}.

3 Results

On the lines of Zhu et al. [39], let (X,M,) be a GV-fuzzy metric space, while let A, B, S and T be self mappings of X. For any x,yX and t>0, we write

min ( x , y , t ) = min { M ( S x , T y , t ) , M ( S x , A x , t ) , M ( T y , B y , t ) , M ( S x , B y , t ) , M ( T y , A x , t ) } .
(3.1)

(C-1) 0< lim ̲ n min( x n , y n ,t)=L(t)<1 implies that lim ¯ n 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 GV-fuzzy metric space (X,M,) satisfying conditions (C-1) and (3.1). Suppose that

  1. (1)

    the pair (A,S) satisfies the ( CLR S ) property (or the pair (B,T) satisfies the ( CLR T ) property),

  2. (2)

    A(X)T(X) (or B(X)S(X)),

  3. (3)

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

  4. (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 ( CLR S T ) property.

Proof Since the pair (A,S) satisfies the ( CLR S ) property with respect to mapping S, there exists a sequence { x n } in X such that

lim n A x n = lim n S x n =z,

where zS(X). As A(X)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),

lim n T y n = lim n A x n =z,

where zS(X)T(X). Thus in all, we have A x n z, S x n z and T y n z as n. Now, we require to show that B y n z as n. By using (3.1) with x= x n , y= y n and any t>0, we have

lim ̲ n min ( x n , y n , t ) = lim ̲ n min { 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 ) } = lim ̲ n M ( z , B y n , t ) ,

or

lim ̲ n min( x n , y n ,t)= lim ¯ n M(z,B y n ,t)= lim n M(z,B y n ,t).

If B y n z as n, then there is some t>0 such that 0<M(B y n ,z,t)<1 as n. Hence, (C-1) implies that

lim n M(B y n ,z,t)> lim ̲ n min( x n , y n ,t),

which is a contradiction. Hence, B y n z, which shows that the pairs (A,S) and (B,T) enjoy the ( CLR S T ) 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 ( CLR S T ) property.

Theorem 3.1 Let A, B, S and T be self mappings of a GV-fuzzy metric space (X,M,) satisfying conditions (C-1) and (3.1). If the pairs (A,S) and (B,T) share the ( CLR S T ) 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 ( CLR S T ) property, then there exist two sequences { x n } and { y n } in X such that

lim n A x n = lim n S x n = lim n B y n = lim n T y n =z,

where zS(X)T(X). Since zS(X), there exists a point uX 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)

lim ̲ n min ( u , y n , t ) = lim ̲ n min { M ( S u , T y n , t ) , M ( S u , A u , t ) , M ( T y n , B y n , t ) , M ( S u , B y n , t ) , M ( T y n , A u , t ) } = M ( A u , z , t ) = lim n M ( A u , B y n , t ) ,

or

lim ̲ n min(u, y n ,t)= lim ¯ n M(Au,B y n ,t)= lim n M(Au,z,t).

If Auz, then there is some t>0 such that 0<M(Au,z,t)<1. Therefore, (C-1) implies that

lim n M(Au,B y n ,t)> lim ̲ n min(u, y n ,t),

which is a contradiction. Hence, Au=Su=z. Therefore, u is a coincidence point of the pair (A,S).

Also zT(X), there exists a point vX such that Tv=z. We assert that Bv=Tv. By using (3.1) with x=u, y=v and t>0, we have

min ( u , v , t ) = min { M ( S u , T v , t ) , M ( S u , A u , t ) , M ( T v , B v , t ) , M ( S u , B v , t ) , M ( T v , A u , t ) } = M ( z , B v , t ) .

In view of (C-1), 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

min ( z , v , t ) = min { M ( S z , T v , t ) , M ( S z , A z , t ) , M ( T v , B v , t ) , M ( S z , B v , t ) , M ( T v , A z , t ) } = M ( A z , z , t ) .

By (C-1), 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

min ( u , z , t ) = min { M ( S u , T z , t ) , M ( S u , A u , t ) , M ( T z , B z , t ) , M ( S u , B z , t ) , M ( T z , A u , t ) } = M ( z , B z , t ) .

In view of (C-1), 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 GV-fuzzy metric space (X,M,) 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 ( CLR S T ) property, so that there exist two sequences { x n } and { y n } in X such that

lim n A x n = lim n S x n = lim n T y n = lim n B y n =z,

where zS(X)T(X). The rest of the proof runs on the lines of the proof of Theorem 3.1. This completes the proof. □

Let ϕ:[0,1] R + be a non-negative and Lebesgue integrable function satisfying

0 ϵ ϕ(t)dt>0
(3.2)

for each 0<ϵ1. We denote d= 0 1 ϕ(t)dt.

(C-2) There exists a function ψ:[0,1][0,1] such that for any 0<s<d, ψ(s)<s, lim ¯ u s ψ(u)<s and for any x,yX, t(0,), 0<min(x,y,t)<1 implies that

ψ ( 0 M ( A x , B y , t ) ϕ ( s ) d s ) 0 min ( x , y , t ) ϕ(s)ds.
(3.3)

(C-3) There exists a function φ:[0,1][0,1] such that for any 0<s<d, φ(s)>s, lim ̲ t s φ(t)>s and for any x,yX, t(0,), 0<min(x,y,t)<1 implies that

0 M ( A x , B y , t ) ϕ(s)dsφ ( 0 min ( x , y , t ) ϕ ( s ) d s ) ,
(3.4)

then (C-1) holds. It can be easily considered from the proof of Theorem 2.2 contained in [39].

By taking ϕ(t)=1 in conditions (C-1) and (C-2), we can deduce the following contractive conditions:

(C-4) There exists a function ψ:[0,1][0,1] such that for any 0<s<1, ψ(s)<s, lim ¯ u s ψ(u)<s and for any x,yX, t(0,), 0<min(x,y,t)<1 implies that

ψ ( M ( A x , B y , t ) ) min(x,y,t).
(3.5)

(C-5) There exists a function φ:[0,1][0,1] such that for any 0<s<1, φ(s)>s, lim ̲ t s φ(t)>s and for any x,yX, t(0,), 0<min(x,y,t)<1 implies that

M(Ax,By,t)φ ( min ( x , y , t ) ) .
(3.6)

Remark 3.3 The conclusion of Lemma 3.1, Theorem 3.1 and Theorem 3.2 remains true in view of conditions (C-2)-(C-5).

Remark 3.4 It may be noted that condition (C-4) is also valid, if one can define a function ψ:[0,1][0,1] by

  1. (1)

    ψ is non-increasing for any 0<s<1, ψ(s)<s, lim ¯ u s ψ(u)<s.

  2. (2)

    ψ is a upper semi-continuous function such that for any 0<s<1, ψ(s)<s.

  3. (3)

    ψ is non-increasing and left-upper semi-continuous such that ψ(s)<s for 0<s<1.

Remark 3.5 It may be pointed out that condition (C-5) is also valid if one can define a function φ:[0,1][0,1] by

  1. (1)

    φ is a non-decreasing and left continuous function such that for any 0<s<1, φ(s)>s.

  2. (2)

    φ is a lower semi-continuous function such that for any 0<s<1, φ(s)>s.

  3. (3)

    φ(s)=s+ρ(s), where ρ:[0,1][0,1] is a continuous function with for all 0<s<1, ρ(s)>0.

Theorem 3.3 Let A, B, S and T be self mappings of a GV-fuzzy metric space (X,M,). Suppose that there exists an upper semi-continuous function r:[0,+)[0,+) with r(s)<s for every s>0 such that

1 M ( A x , B y , t ) 1r ( 1 min ( x , y , t ) 1 )
(3.7)

for each x,yX and t>0. If the pairs (A,S) and (B,T) share the ( CLR S T ) 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 φ:[0,1][0,1] as

φ(t)= { 0 , if  t = 0 ; 1 1 + r ( 1 t 1 ) , if  0 < t 1 .

For every s>0, we have

lim ̲ t s φ ( t ) = 1 1 + lim ¯ t s r ( 1 t 1 ) = 1 1 + r ( 1 s 1 ) > 1 1 + 1 s 1 = s .

Hence, inequality (3.7) can be deduced by

M(Ax,By,t)φ ( min ( x , y , t ) ) ,

for any x,yX, t(0,1), 0<min(x,y,t)<1, that is, condition (C-5) 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 GV-fuzzy metric space (X,M,). Suppose that there exists a strictly decreasing and left continuous function ν:[0,1][0,1] with ν(λ)=0 if and only if λ=1 and a function k:(0,)(0,1) such that

ν ( M ( A x , B y , t ) ) k(t)ν ( min ( x , y , t ) )
(3.8)

for each x,yX, where (xy) and t>0. If the pairs (A,S) and (B,T) share the ( CLR S T ) 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 φ:[0,1]×[0,+)[0,1] as

φ(s,t)= ν 1 ( k ( t ) ν ( s ) ) .

Since ν is strictly decreasing and left continuous, we have that ν 1 is strictly decreasing and right continuous, and φ(s,t) is increasing in s. Then we have

lim ̲ u s φ(u,t)= ν 1 ( k ( t ) ν ( s ) ) .

Also we have that φ(u,t)φ(s,t) for u>s, which shows that

lim ̲ u s + φ(u,t) ν 1 ( k ( t ) ν ( s ) ) .

Hence, we get

lim ̲ u s φ(u,t)φ(s,t)= ν 1 ( k ( t ) ν ( s ) ) > ν 1 ( ν ( s ) ) =s.

Therefore, inequality (3.8) can be written as

M(Ax,By,t)φ ( min ( x , y , t ) , t ) .

If { x n }, { y n } in X and 0< lim ̲ n 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 min( x n i , y n i ,t)=L, which shows that

lim ̲ i φ ( min ( x n i , y n i , t ) , t ) lim ̲ t l φ(t,t)= lim ̲ i min( x n i , y n i ,t).

It follows from M(Ax,By,t)φ(min(x,y,t),t), we get

lim ¯ n M ( A x n , B y n , t ) lim ¯ n φ ( min ( x n , y n , t ) , t ) lim ¯ i φ ( min ( x n i , y n i , t ) , t ) = lim ¯ n φ ( min ( x n i , y n i , t ) , t ) > L ( t ) .

Hence, condition (C-1) 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,yX and t>0, we define

min(x,y,t)=min { M ( S x , T y , t ) , M ( S x , A x , t ) , M ( T y , B y , t ) } .
(3.9)

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,) be a GV-fuzzy metric space, let A and S be self mappings of a set X. For any x,yX and t>0, we define

min ( x , y , t ) = min { M ( S x , S y , t ) , M ( S x , A x , t ) , M ( S y , A y , t ) , M ( S x , A y , t ) , M ( S y , A x , t ) } .
(3.10)

(D-1) 0< lim ̲ n min( x n , y n ,t)=L(t)<1 implies that lim ¯ n 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 GV-fuzzy metric space (X,M,) satisfying conditions (D-1) and (3.10). If the pair (A,S) enjoys the ( 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 GV-fuzzy metric space (X,M,) with A= A 1 A 2 A m , B= B 1 B 2 B n , S= S 1 S 2 S p and T= T 1 T 2 T q satisfying one of the conditions (C-1)-(C-5) along with (3.1). Suppose that the pairs (A,S) and (B,T) share the ( CLR S T ) 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{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 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,) be a GV-fuzzy metric space, let A, B, R, S and T be self mappings of a set X. For any x,yX and t>0, we define

min ( x , y , t ) = min { M ( S R x , T y , t ) , M ( S R x , A x , t ) , M ( T y , B y , t ) , M ( S R x , B y , t ) , M ( T y , A x , t ) } .
(3.11)

Corollary 3.2 Let A, B, R, S and T be self mappings of a GV-fuzzy metric space (X,M,) satisfying one of the conditions (C-1)-(C-5) along with inequality (3.11). Suppose that the pairs (A,SR) and (B,T) share the ( CLR ( S R ) ( 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,) be a GV-fuzzy metric space, let A, B, H, R, S and T be self mappings of a set X. For any x,yX and t>0, we define

min ( x , y , t ) = min { M ( S R x , T H y , t ) , M ( S R x , A x , t ) , M ( T H y , B y , t ) , M ( S R x , B y , t ) , M ( T H y , A x , t ) } .
(3.12)

Corollary 3.3 Let A, B, H, R, S and T be self mappings of a GV-fuzzy metric space (X,M,) satisfying one of the conditions (C-1)-(C-5) along with inequality (3.12). Suppose that the pairs (A,SR) and (B,TH) share the ( CLR ( S R ) ( T H ) ) 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 == A m =A, B 1 = B 2 == B n =B, S 1 = S 2 == S p =S and T 1 = T 2 == T q =T in Theorem 3.5, we deduce the following:

Let (X,M,) be a GV-fuzzy metric space, let A, B, S and T be self mappings of a set X. For any x,yX and t>0, we define

min ( x , y , t ) = min { M ( S p x , T q y , t ) , M ( S p x , A m x , t ) , M ( T q y , B n y , t ) , M ( S p x , B n y , t ) , M ( T q y , A m x , t ) } ,
(3.13)

where m, n, p, q are fixed positive integers.

(E-1) 0< lim ̲ n min( x n , y n ,t)=L(t)<1 implies that lim ¯ n 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 GV-fuzzy metric space (X,M,) satisfying condition (E-1) with inequality (3.13). Suppose that the pairs ( A m , S p ) and ( B n , T q ) share the ( 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,) be a fuzzy metric space, where X=[3,23), with t-norm is defined by ab=min{a,b} for all a,b[0,1] and

M(x,y,t)= { t t + | x y | , if  t > 0 ; 0 , if  t = 0 ,

for all x,yX. Define the self mappings A, B, S and T by

A ( x ) = { 3 , if  x { 3 } ( 11 , 23 ) ; 15 , if  x ( 3 , 11 ] ; B ( x ) = { 3 , if  x { 3 } ( 11 , 23 ) ; 6 , if  x ( 3 , 11 ] ; S ( x ) = { 3 , if  x = 3 ; 15 , if  x ( 3 , 11 ] ; x + 1 4 , if  x ( 11 , 23 ) ; T ( x ) = { 3 , if  x = 3 ; 14 , if  x ( 3 , 11 ] ; x 8 , if  x ( 11 , 23 ) .

Consider the sequences { x n }= { 11 + 1 n } n N , { y n }={3} or { x n }={3}, { y n }= { 11 + 1 n } n N , it is obvious that both pairs (A,S) and (B,T) satisfy the ( CLR S T ) property.

lim n A x n = lim n S x n = lim n B y n = lim n T y n =3S(X)T(X).

It is noted that A(X)={3,15}[3,15)=T(X) and B(X)={3,6}[3,6){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:

S(x)= { 3 , if  x = 3 ; 6 , if  x ( 3 , 11 ] ; x + 1 4 , if  x ( 11 , 23 ) ; T(x)= { 3 , if  x = 3 ; 15 , if  x ( 3 , 11 ] ; x 8 , if  x ( 11 , 23 ) .

Hence, the pairs (A,S) and (B,T) satisfy the ( CLR S T ) property. It is noted that A(X)={3,15}[3,15]=T(X) and B(X)={3,6}[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 (C-1) does not hold, then the involved mappings may have no common fixed point.

Example 4.3 Let (X,M,) be a fuzzy metric space, where X=[0,1] with t-norm is defined by ab=min{a,b} for all a,b[0,1], and

M(x,y,t)= { t t + | x y | , if  t > 0 ; 0 , if  t = 0

for all x,yX. Define the self mappings A=B and S=T by

A(x)= { 1 5 , if  x = 0 ; x 4 , if  x ( 0 , 1 ) ; 0 , if  x = 1 ; S(x)= { 0 , if  x = 0 ; x 8 , if  x ( 0 , 1 ) ; 1 10 , if  x = 1 .

Then

  1. (1)

    The mappings A and S satisfy the ( CLR S ) property for the sequence x n = 1 n , n=1,2, , i.e.,

    lim n A x n = lim n S x n =0[0, 1 8 )=S(X).
  2. (2)

    The pair (A,S) is weakly compatible.

  3. (3)

    A(X)=[0, 1 4 )[0, 1 8 )=S(X), wherein A(X) and S(X) are not closed subsets of X.

  4. (4)

    (C-1) does not hold. In fact, for x n = 1 n and y n =0, n=1,2, , we have

    min ( x n , y n , t ) = min { 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 ) } = min { M ( 1 8 n , 0 , t ) , M ( 1 8 n , 1 4 n , t ) , M ( 0 , 1 5 , t ) , M ( 1 8 n , 1 5 , t ) , M ( 0 , 1 4 n , t ) } = min { t t + 1 8 n , t t + 1 8 n , t t + 1 5 , t t + 1 5 1 8 n , t t + 1 4 n } = t t + 1 5 ( n ) .

And

lim ¯ n M(A x n ,B y n ,t)= lim ¯ n M ( 1 4 n , 1 5 , t ) = lim ¯ n t t + 1 5 1 4 n = t t + 1 5 ,

which shows that (C-1) does not hold.

  1. (5)

    A and S have no common fixed point.

Thus, (C-1) is important for the existence of common fixed point.

References

  1. Zadeh LA: Fuzzy sets. Inf. Control 1965, 8: 338–353. MR0219427 (36 #2509) 10.1016/S0019-9958(65)90241-X

    Article  MathSciNet  Google Scholar 

  2. Kramosil I, Michalek J: Fuzzy metric and statistical metric spaces. Kybernetika 1975, 11(5):336–344. MR0410633 (53 #14381)

    MathSciNet  Google Scholar 

  3. George A, Veeramani P: On some result in fuzzy metric space. Fuzzy Sets Syst. 1994, 64: 395–399. MR1289545 10.1016/0165-0114(94)90162-7

    Article  MathSciNet  Google Scholar 

  4. El Naschie MS: On the uncertainty of Cantorian geometry and two-slit experiment. Chaos Solitons Fractals 1998, 9(3):517–529. MR1625647 10.1016/S0960-0779(97)00150-1

    Article  MathSciNet  Google Scholar 

  5. El Naschie MS: A review of E-infinity theory and the mass spectrum of high energy particle physics. Chaos Solitons Fractals 2004, 19: 209–236. 10.1016/S0960-0779(03)00278-9

    Article  Google Scholar 

  6. El Naschie MS: A review of applications and results of E-infinity theory. Int. J. Nonlinear Sci. Numer. Simul. 2007, 8: 11–20.

    Google Scholar 

  7. Cho YJ: Fixed points in fuzzy metric spaces. J. Fuzzy Math. 1997, 5(4):949–962. MR1488041 (98h:54011)

    MathSciNet  Google Scholar 

  8. Cho YJ, Pathak HK, Kang SM, Jung JS:Common fixed points of compatible maps of type (β) on fuzzy metric spaces. Fuzzy Sets Syst. 1998, 93(1):99–111. MR1600404 10.1016/S0165-0114(96)00200-X

    Article  MathSciNet  Google Scholar 

  9. 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

    Article  MathSciNet  Google Scholar 

  10. Grabiec M: Fixed points in fuzzy metric spaces. Fuzzy Sets Syst. 1988, 27(3):385–389. MR0956385 (89j:54007) 10.1016/0165-0114(88)90064-4

    Article  MathSciNet  Google Scholar 

  11. 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

    Article  MathSciNet  Google Scholar 

  12. Subrahmanyam PV: A common fixed point theorem in fuzzy metric spaces. Inf. Sci. 1995, 83(3–4):109–112. MR1323308 10.1016/0020-0255(94)00043-B

    Article  MathSciNet  Google Scholar 

  13. 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

    MathSciNet  Google Scholar 

  14. 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

    MathSciNet  Google Scholar 

  15. 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

    Google Scholar 

  16. Imdad M, Pant BD, Chauhan S:Fixed point theorems in Menger spaces using the ( CLR S T ) property and applications. J. Nonlinear Anal. Optim. 2012, 3(2):225–237.

    MathSciNet  Google Scholar 

  17. 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.

    MathSciNet  Google Scholar 

  18. Beg I, Sedghi S, Shobe N: Fixed point theorems in fuzzy metric spaces. Int. J. Anal. 2013., 2013: Article ID 934145

    Google Scholar 

  19. Chauhan S, Bhatnagar S, Radenović S: Common fixed point theorems for weakly compatible mappings in fuzzy metric spaces. Matematiche 2013, 68(1):87–98.

    MathSciNet  Google Scholar 

  20. 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

    Article  Google Scholar 

  21. 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

    Google Scholar 

  22. 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

    Google Scholar 

  23. Chauhan S, Kumar S: Coincidence and fixed points in fuzzy metric spaces using common property (E.A). Kochi J. Math. 2013, 8: 135–154.

    MathSciNet  Google Scholar 

  24. Chauhan S, Pant BD: Common fixed point theorems in fuzzy metric spaces. Bull. Allahabad Math. Soc. 2012, 27(1):27–43.

    MathSciNet  Google Scholar 

  25. 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

    Google Scholar 

  26. Imdad M, Ali J: Some common fixed point theorems in fuzzy metric spaces. Math. Commun. 2006, 11(2):153–163. MR2298646

    MathSciNet  Google Scholar 

  27. 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.

    Google Scholar 

  28. 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

    Article  MathSciNet  Google Scholar 

  29. 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.

    MathSciNet  Google Scholar 

  30. 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)

    MathSciNet  Google Scholar 

  31. Kutukcu S, Turkoglu D, Yildiz C:Common fixed points of compatible maps of type (β) on fuzzy metric spaces. Commun. Korean Math. Soc. 2006, 21(1):89–100. MR2199304 (2006j:54053)

    Article  MathSciNet  Google Scholar 

  32. 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

    Article  MathSciNet  Google Scholar 

  33. 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)

    MathSciNet  Google Scholar 

  34. 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.

    MathSciNet  Google Scholar 

  35. Pant V, Pant RP: Fixed points in fuzzy metric space for noncompatible maps. Soochow J. Math. 2007, 33(4):647–655. MR2404591

    MathSciNet  Google Scholar 

  36. Sedghi S, Turkoglu D, Shobe N:Common fixed point of compatible maps of type (γ) on complete fuzzy metric spaces. Commun. Korean Math. Soc. 2009, 24(4):581–594. MR2568992 10.4134/CKMS.2009.24.4.581

    Article  MathSciNet  Google Scholar 

  37. 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/s11565-012-0150-z

    Article  MathSciNet  Google Scholar 

  38. 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

    MathSciNet  Google Scholar 

  39. 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

    Google Scholar 

  40. 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

    Article  MathSciNet  Google Scholar 

  41. Schweizer B, Sklar A North-Holland Series in Probability and Applied Mathematics. In Probabilistic Metric Spaces. North-Holland, New York; 1983. MR0790314

    Google Scholar 

  42. 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

    Article  MathSciNet  Google Scholar 

  43. Jungck G, Rhoades BE: Fixed points for set valued functions without continuity. Indian J. Pure Appl. Math. 1998, 29(3):227–238. MR1617919

    MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Sunny Chauhan.

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.

Reprints and permissions

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/1029-242X-2013-519

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1029-242X-2013-519

Keywords