Skip to main content

Common fixed point theorem for a hybrid pair of mappings in Hausdorff fuzzy metric spaces

Abstract

In this paper, we prove a coupled fixed point theorem for a multivalued fuzzy contraction mapping in complete Hausdorff fuzzy metric spaces. As an application of the first theorem, a coupled coincidence and coupled common fixed point theorem has been proved for a hybrid pair of multivalued and single-valued mappings. It is worth mentioning that to find coupled coincidence points, we do not employ the condition of continuity of any mapping involved therein. Also, coupled coincidence points are obtained without exploiting any type of commutativity condition. Our results extend, improve, and unify some well-known results in the literature.

MSC:47H10, 47H04, 47H07.

1 Introduction and preliminaries

Bhaskar and Lakshmikantham [1] introduced the concept of a coupled fixed point of a mapping F from X×X to X and established some coupled fixed point theorems in partially ordered sets. Later on some authors gave improved and generalized results in this context. For details, we refer to [2, 3].

The concept of fuzzy sets was initiated by Zadeh [4] in 1965. Fuzzy metric spaces were introduced by Kramosil and Michalek [5]. George and Veeramani [6, 7] modified the notion of fuzzy metric spaces by using continuous t-norm and generalized the concept of a probabilistic metric space to a fuzzy situation. Then a number of authors started the study of fixed point theory in fuzzy metric spaces; for a detailed survey, we refer to [818] and the references therein. Recently López and Romaguera [19] introduced a Hausdorff fuzzy metric on a set of nonempty compact subsets of a given fuzzy metric space. In 2011, Kiany et al. [20] proved fixed point and endpoint theorems for set-valued fuzzy contraction maps in fuzzy metric spaces.

Recently Abbas [21] introduced the concept of coupled fixed points of a mapping F:X×X 2 X (a collection of all nonempty subsets of X) and coupled coincidence points of a hybrid pair F and g:XX. The aim of this paper is to obtain a coupled fixed point theorem for F and a coupled coincidence and coupled common fixed point theorem for a hybrid pair {F,g} which satisfies a contractive condition in complete Hausdorff fuzzy metric spaces. It is to be noted that to find coupled coincidence points, we do not employ the condition of commutativity and continuity of any mapping involved therein. Our results unify, extend, and generalize various known comparable results given in existing literature (see, for example, [20] and some references therein).

Definition 1 [22]

A binary operation : [ 0 , 1 ] 2 [0,1] is called a continuous t-norm if

  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.

Definition 2 [6]

Let X be a nonempty set and be a continuous t-norm. If a mapping M: X 2 ×[0,)[0,1] satisfies the following conditions:

(F1) M(x,y,t)>0;

(F2) M(x,y,t)=1 if and only if x=y;

(F3) M(x,y,t)=M(y,x,t);

(F4) M(x,y,t)M(y,z,s)M(x,z,t+s);

(F5) M(x,y,t):(0,)[0,1] is continuous;

for each x,y,zX and s,t>0, then 3-tuple (X,M,) is called a fuzzy metric space.

Example 3 [6]

Let (X,d) be a metric space. Define ab=min{a,b} and

M(x,y,t)= t t + d ( x , y )

for all x,yX and t>0. Then (X,M,) is a fuzzy metric space. We call this a fuzzy metric M, the standard fuzzy metric induced by d.

Definition 4 [6]

Let (X,M,) be a fuzzy metric space.

  1. (i)

    A sequence { x n } is said to be convergent to a point xX if lim n M( x n ,x,t)=1 for all t>0.

  2. (ii)

    A sequence { x n } is said to be a Cauchy sequence if lim n M( x m , x n ,t)=1 for all t>0.

  3. (iii)

    A fuzzy metric space in which every Cauchy sequence is convergent is said to be complete.

  4. (iv)

    A subset AX is said to be closed if for each convergent sequence { x n } with x n A and x n x, we have xA.

  5. (v)

    A subset AX is said to be compact if each sequence in A has a convergent subsequence. The set of all compact subsets of X will be denoted by K(X).

Lemma 5 [10]

For all x,yX, M(x,y,) is nondecreasing.

Definition 6 Let (M,X,) be a fuzzy metric space, M is said to be continuous on X 2 ×(0,) if

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

whenever {( x n , y n , t n )} is a sequence in X 2 ×(0,) which converges to a point (x,y,t) X 2 ×(0,); that is,

lim n M( x n ,x,t)= lim n M( y n ,y,t)=1and lim n M(x,y, t n )=M(x,y,t).

Lemma 7 [10]

M is a continuous function on X 2 ×(0,).

Kiany et al. [20] introduced the following lemma in fuzzy metric spaces.

Lemma 8 [20]

Let (X,M,) be a fuzzy metric space satisfying

lim n i = n M ( x , y , t h i ) =1
(1)

for every x,yX, t>0, and h>1. Suppose { x n } is a sequence in X satisfying

M( x n , x n + 1 ,αt)M( x n 1 , x n ,t)

for all nN and 0<α<1. Then { x n } is a Cauchy sequence.

Lemma 9 [19]

Let (X,M,) be a fuzzy metric space. Then, for each aX, BK(X), and t>0, there is a b 0 B such that M(a,B,t)=M(a, b 0 ,t), where

M(a,B,t)= sup b B M(a,b,t).

Definition 10 [19]

Let (X,M,) be a fuzzy metric space. For each A,BK(X) and t>0, set

H M (A,B,t)=min { inf x A M ( x , B , t ) , inf y B M ( A , y , t ) } .

The 3-tuple (K(X), H M ,) is called a Hausdorff fuzzy metric space.

Lemma 11 [23]

Let X be a nonempty set and g:XX be a mapping. Then there exists a subset EX such that g(E)=g(X) and g:EX is one-to-one.

Theorem 12 [20]

Let (X,M,) be a complete fuzzy metric. Suppose F:X×XK(X) is a multivalued mapping such that

H M ( F x , F y , ϕ ( d ( x , y , t ) ) t ) M(x,y,t),

for each x,yX and t>0, where ϕ:[0,)[0,1] satisfying lim sup r t + ϕ(r)<1, for all t[0,), and d(x,y,t)= t M ( x , y , t ) t. Furthermore, assume that (X,M,) satisfies (1) for some x 0 and x 1 F( x 0 ). Then F has a fixed point.

We also need the following definitions given in [21].

Definition 13 [21]

Let X be a nonempty set, F:X×X 2 X (a collection of all nonempty subsets of X) and g:XX. An element (x,y)X×X is called

(C1) a coupled fixed point of F if xF(x,y) and yF(y,x);

(C2) a coupled coincidence point of a hybrid pair {F,g} if g(x)F(x,y) and g(y)F(y,x);

(C3) a coupled common fixed point of a hybrid pair {F,g} if x=g(x)F(x,y) and y=g(y)F(y,x).

We denote the set of coupled coincidence points of mappings F and g by C(F,g). Note that if (x,y)C(F,g), then (y,x) is also in C(F,g).

Definition 14 [21]

Let F:X×X 2 X be a multivalued mapping and g be a self-map on X. The hybrid pair {F,g} is called w-compatible if g(F(x,y))F(gx,gy) whenever (x,y)C(F,g).

Definition 15 [21]

Let F:X×X 2 X be a multivalued mapping and g be a self-mapping on X. The mapping g is called F-weakly commuting at some point (x,y)X×X if g 2 (x)F(gx,gy) and g 2 (y)F(gy,gx).

2 Coupled fixed and coincidence point theorems

In the following theorem, we obtain a coupled fixed point for a multivalued mapping satisfying a contractive condition.

Theorem 16 Let (X,M,) be a complete fuzzy metric space and let F:X×XK(X) be a set-valued mapping satisfying

H M ( F ( x , y ) , F ( u , v ) , ϕ ( d ( x , u , t ) ) t ) min { M ( x , u , t ) , M ( x , F ( x , y ) , t ) }
(2)

for each x,y,u,vX, t>0. Suppose that d(x,u,t)= t M ( x , u , t ) t and ϕ:[0,)[0,1) is a mapping satisfying

lim sup r t + ϕ(r)<1

for all t[0,). Furthermore, assume that (X,M,) satisfies (1) for some x 0 , x 1 F( x 0 , y 0 ) and y 0 , y 1 F( y 0 , x 0 ). Then F has a coupled fixed point.

Proof Let x 0 , y 0 X be arbitrary. Choose x 1 F( x 0 , y 0 ) and y 1 F( y 0 , x 0 ). Since F is compact valued, then by Lemma 9 there exists x 2 F( x 1 , y 1 ) such that

M ( x 1 , x 2 , t ) M ( x 1 , x 2 , ϕ ( d ( x 0 , x 1 , t ) ) t ) = sup y F ( x 1 , y 1 ) M ( x 1 , y , ϕ ( d ( x 0 , x 1 , t ) ) t ) H M ( F ( x 0 , y 0 ) , F ( x 1 , y 1 ) , ϕ ( d ( x 0 , x 1 , t ) ) t ) min { M ( x 0 , x 1 , t ) , M ( x 0 , F ( x 0 , y 0 ) , t ) } M ( x 0 , x 1 , t ) .

Since F is compact valued, there exists y 2 F( y 1 , x 1 ) such that

M ( y 1 , y 2 , t ) M ( y 1 , y 2 , ϕ ( d ( y 0 , y 1 , t ) ) t ) = sup y F ( y 1 , x 1 ) M ( y 1 , y , ϕ ( d ( y 0 , y 1 , t ) ) t ) H M ( F ( y 0 , x 0 ) , F ( y 1 , x 1 ) , ϕ ( d ( y 0 , y 1 , t ) ) t ) min { M ( y 0 , y 1 , t ) , M ( y 0 , F ( y 0 , x 0 ) , t ) } M ( y 0 , y 1 , t ) .

Continuing this process, we obtain a sequence { x n } n 0 and { y n } n 0 in X such that x n + 1 F( x n , y n ) and y n + 1 F( y n , x n ) satisfying

M ( x n , x n + 1 , t ) M ( x n , x n + 1 , ϕ ( d ( x n 1 , x n , t ) ) t ) = sup y F ( x n , y n ) M ( x n , y , ϕ ( d ( x n 1 , x n , t ) ) t ) H M ( F ( x n 1 , y n 1 ) , F ( x n , y n ) , ϕ ( d ( x n 1 , x n , t ) ) t ) min { M ( x n 1 , x n , t ) , M ( x n 1 , F ( x n 1 , y n 1 ) , t ) } M ( x n 1 , x n , t ) .

That is, we obtain

M( x n , x n + 1 ,t)M( x n 1 , x n ,t).
(3)

Similarly,

M( y n , y n + 1 ,t)M( y n 1 , y n ,t).
(4)

Inequalities (3) and (4) show that the sequences { M ( x n , x n + 1 , t ) } n and { M ( y n , y n + 1 , t ) } n are nondecreasing. Thus, d( x n , x n + 1 ,t) and d( y n , y n + 1 ,t) are nonnegative nonincreasing and so they are convergent, say, to l 1 0 and l 2 0. Since, by the given assumption,

lim sup n ϕ ( d ( x n , x n + 1 , t ) ) lim sup r l 1 + ϕ ( r ) < 1 and lim sup n ϕ ( d ( y n , y n + 1 , t ) ) lim sup r l 2 + ϕ ( r ) < 1 ,
(5)

then there exist k 1 <1, k 2 <1, and N 1 , N 2 N such that

ϕ ( d ( x n , x n + 1 , t ) ) < k 1 for all  n > N 1 and  ϕ ( d ( y n , y n + 1 , t ) ) < k 2 for all  n > N 2 .
(6)

Since M(x,y,) is nondecreasing, then (3), (4), and (6) yield

Then we obtain

Hence, by Lemma 8, { x n } and { y n } are Cauchy sequences. Since (X,M,) is a complete fuzzy metric space, then there exist x and y in X such that lim n x n =x and lim n y n =y, we have

Thus

Since

then there exist λ 1 , λ 2 such that λ 1 <1, λ 2 <1, and n 1 , n 2 N such that

Now, we show that xF(x,y) and yF(y,x). Consider

H M ( F ( x n , y n ) , F ( x , y ) , λ 1 t ) H M ( F ( x n , y n ) , F ( x , y ) , ϕ ( d ( x n , x , t ) ) t ) min { M ( x n , x , t ) , M ( x n , F ( x n , y n ) , t ) } min { M ( x n , x , t ) , M ( x n , x n + 1 , t ) } min { M ( x n , x , t ) , M ( x n , x , t 2 ) M ( x , x n + 1 , t 2 ) } .

On taking limit as n, we obtain

lim n H M ( F ( x n , y n ) , F ( x , y ) , λ 1 t ) =1.

So that

lim n H M ( F ( x n , y n ) , F ( x , y ) , t ) =1.
(7)

Similarly, we can obtain

lim n H M ( F ( y n , x n ) , F ( y , x ) , t ) =1.
(8)

Since x n + 1 F( x n , y n ) and y n + 1 F( y n , x n ), from (7) and (8) we obtain

lim n sup a F ( x , y ) M( x n + 1 ,a,t)=1and lim n sup b F ( y , x ) M( y n + 1 ,b,t)=1.

There exist sequences w n F(x,y) and z n F(y,x) such that

lim n M( x n + 1 , w n + 1 ,t)=1and lim n M( y n + 1 , z n + 1 ,t)=1

for each t>0. Now, for each nN, we have

M( w n + 1 ,x,t)M ( w n + 1 , x n + 1 , t 2 ) M ( x n + 1 , x , t 2 ) .

On taking limit as n, we get

lim n M( w n + 1 ,x,t)=1.
(9)

Similarly, for each nN, we have

M( z n + 1 ,y,t)M ( z n + 1 , y n + 1 , t 2 ) M ( y n + 1 , y , t 2 ) .

On taking limit as n, we get

lim n M( z n + 1 ,y,t)=1.
(10)
  1. (9)

    and (10) imply

    lim n w n =xand lim n z n =y.

Since F(x,y) and F(y,x) are compact, we get xF(x,y) and yF(y,x). □

Corollary 17 Let (X,M,) be a complete fuzzy metric space and let F:X×XK(X) be a mapping satisfying

H M ( F ( x , y ) , F ( u , v ) , k t ) min { M ( x , u , t ) , M ( x , F ( x , y ) , t ) }
(11)

for each x,y,u,vX, t>0, and 0<k<1. Suppose that (X,M,) satisfies (1) for some x 0 , x 1 F( x 0 , y 0 ) and y 0 , y 1 F( y 0 , x 0 ). Then F has a coupled fixed point.

Corollary 18 Let (X,M,) be a complete fuzzy metric space and let F:X×XK(X) be a set-valued mapping satisfying

H M ( F ( x , y ) , F ( u , v ) , ϕ ( d ( x , u , t ) ) t ) M(x,u,t)

for each x,y,u,vX, t>0. Suppose that d(x,u,t)= t M ( x , u , t ) t and ϕ:[0,)[0,1) is a mapping satisfying

lim sup r t + ϕ(r)<1

for all t[0,). Furthermore, assume that (X,M,) satisfies (1) for some x 0 , x 1 F( x 0 , y 0 ) and y 0 , y 1 F( y 0 , x 0 ). Then F has a coupled fixed point.

Corollary 19 Let (X,M,) be a complete fuzzy metric space and let F:X×XK(X) be a mapping satisfying

H M ( F ( x , y ) , F ( u , v ) , k t ) M(x,u,t)

for each x,y,u,vX, t>0, and 0<k<1. Suppose that (X,M,) satisfies (1) for some x 0 , x 1 F( x 0 , y 0 ) and y 0 , y 1 F( y 0 , x 0 ). Then F has a coupled fixed point.

Example 20 Let X={0,1,2} and d:X×XR be defined as

Hence, (X,d) is a metric space. Consider

M(x,y,t)= t t + d ( x , y )

for t>0 and (X,M,) satisfies (1). Define F:X×XCB(X) as follows:

F(x,y)={ { 0 , 2 } when  x 1  and  y X , { 0 } when  x = 1  and  y X .

For x{0,2} and u{0,2} and for x=1 and u=1, we have

H M ( F ( x , y ) , F ( u , v ) , k t ) =1

for any k(0,1). Hence, (11) is satisfied. For the rest of cases,

H M ( F ( x , y ) , F ( u , v ) , k t ) = k t k t + 1

and

min { M ( x , u , t ) , M ( x , F ( x , y ) , t ) } { 0 , t t + 2 , t t + 1.5 } .

Hence, for all x,y,u,vX, t>0, and k= 2 3 , (11) holds. All the conditions of Corollary 17 and Theorem 16 with ϕ(t)=k are satisfied. Moreover, (0,0) and (2,2) are coupled fixed points of F.

Example 21 Let X=[0,1] be endowed with the usual metric d(x,y)=|xy| and F(x,y)=[ln(1+x),1] for each x,yX. Let M(x,y,t)= t t + d ( x , y ) and let ϕ(t)= ln ( 1 + t ) t for each t>0. Then we have

H M ( F ( x , y ) , F ( u , v ) , ϕ ( t ) t ) = H M ( F ( x , y ) , F ( u , v ) , t ) t t + | ln ( 1 + u ) ln ( 1 + x ) | t t + | u x | = M ( x , u , t )

for each x,yX and t>0. Then by Corollary 18, F has a coupled fixed point ((0,0) is a coupled fixed point of F).

Example 22 Let X=R be endowed with the usual metric d(x,y)=|xy| and let f(x,y)= 1 2 x for each x,yX. Let M(x,y,t)= t t + d ( x , y ) and let ϕ(t)= 1 2 for each t>0. Then we have

H M ( f ( x , y ) , f ( u , v ) , 1 2 t ) = M ( f ( x , y ) , f ( u , v ) , 1 2 t ) = M ( 1 2 x , 1 2 u , 1 2 t ) = M ( x , u , t )

for each x,yX and t>0. Then by Corollary 19, f has a coupled fixed point ((0,0) is a coupled fixed point of f).

Now, as an application of the above theorem, we obtain a coupled coincidence and common fixed point theorem for a hybrid pair of multivalued and single-valued mappings.

Theorem 23 Let (X,M,) be a complete fuzzy metric space and let F:X×XK(X) and g:XX be mappings satisfying

H M ( F ( x , y ) , F ( u , v ) , ϕ ( d ( x , u , t ) ) t ) min { M ( g x , g u , t ) , M ( g x , F ( g x , g y ) , t ) }
(12)

for each x,y,u,vX, t>0. Suppose that d(x,u,t)= t M ( x , u , t ) t and ϕ:[0,)[0,1) is a mapping satisfying

lim sup r t + ϕ(r)<1

for all t[0,). Furthermore, assume that F(X×X)g(X) and (X,M,) satisfies (1) for some g x 0 ,g x 1 F( x 0 , y 0 ) and g y 0 ,g y 1 F( y 0 , x 0 ). Then F and g have a coupled coincidence point. Moreover, F and g have a coupled common fixed point if one of the following conditions holds:

  1. (a)

    F and g are w-compatible, lim n g n x=u and lim n g n y=v for some (x,y)C(F,g), u,vX, and g is continuous at u and v.

  2. (b)

    g is F-weakly commuting for some (x,y)C(g,F), and gx and gy are fixed points of g, that is, g 2 x=gx and g 2 y=gy.

  3. (c)

    g is continuous at x, y for some (x,y)C(g,F) and for some u,vX, lim n g n u=x and lim n g n v=y.

Proof By Lemma 11 there exists EX such that g:EX is one-to-one and g(E)=g(X). Now, define a mapping A:g(E)×g(E)K(X) by

A(gx,gy)=F(x,y)for all gx,gyg(E),
(13)

and since g is one-one on E, so A is well defined. Further,

H M ( A ( g x , g y ) , A ( g u , g v ) , ϕ ( d ( x , u , t ) ) t ) = H M ( F ( x , y ) , F ( u , v ) , ϕ ( d ( x , u , t ) ) t ) min { M ( g x , g u , t ) , M ( g x , F ( g x , g y ) , t ) } .
(14)

Hence, A satisfies (2) and all the conditions of Theorem 16. By using Theorem 16 with a mapping A, it follows that A has a coupled fixed point (u,v)g(E)×g(E). Finally, it is left to prove that F and g have a coupled coincidence point. Since A has a coupled fixed point (u,v)g(E)×g(E), we get

uA(u,v),andvA(v,u).
(15)

Since F(X×X)g(X), so there exist u 1 , v 1 X×X such that g u 1 =u and g v 1 =v. Thus, it follows from (15),

This implies that ( u 1 , v 1 ) X×X is a coupled coincidence point of F and g. Hence, C(F,g) is nonempty. Suppose now that (a) holds. Then, for some (x,y)C(F,g),

lim n g n x=uand lim n g n y=v,

where u,vX. Since g is continuous at u and v, we have that u and v are fixed points of g. As F and g are w-compatible, so

( g n x , g n y ) C(F,g)for all n1.

That is, for all n1,

Using (12), we obtain

On taking limit as n, we get

M ( g u , F ( u , v ) , t ) M ( u , u , t 2 ) M ( u , u , t 2 ) 1 1 = 1 .

This implies guF(u,v). Similarly, gvF(v,u). Consequently, u=guF(u,v) and v=gvF(v,u). Hence, (u,v) is a coupled common fixed point of F and g. Suppose now that (b) holds. If for some (x,y)C(F,g), g is F-commuting and g 2 x=gx and g 2 y=gy, then

Hence, (gx,gy) is a coupled common fixed point of F and g. Suppose now that (c) holds and assume that for some (x,y)C(g,F) and for some u,vX, lim n g n u=x and lim n g n v=y. By the continuity of g at x and y, we get

Hence, (x,y) is a coupled common fixed point of F and g. □

References

  1. Bhashkar TG, Lakshmikantham V: Fixed point theorems in partially ordered metric spaces and applications. Nonlinear Anal. TMA 2006, 65: 1379–1393. 10.1016/j.na.2005.10.017

    Article  MathSciNet  MATH  Google Scholar 

  2. Lakshmikantham V, Ćirić L: Coupled fixed point theorems for nonlinear contractions in partially ordered metric space. Nonlinear Anal. TMA 2009, 70: 4341–4349. 10.1016/j.na.2008.09.020

    Article  MATH  Google Scholar 

  3. Sabetghadam F, Masiha HP, Sanatpour AH: Some coupled fixed point theorems in cone metric space. Fixed Point Theory Appl. 2009., 2009: Article ID 125426

    Google Scholar 

  4. Zadeh LA: Fuzzy sets. Inf. Control 1965, 8: 103–112.

    MathSciNet  Article  MATH  Google Scholar 

  5. Kramosil I, Michalek J: Fuzzy metric and statistical metric spaces. Kybernetika 1975, 11: 326–334.

    MathSciNet  MATH  Google Scholar 

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

    MathSciNet  Article  MATH  Google Scholar 

  7. George A, Veeramani P: On some results of analysis for fuzzy metric spaces. Fuzzy Sets Syst. 1997, 90: 365–368. 10.1016/S0165-0114(96)00207-2

    MathSciNet  Article  MATH  Google Scholar 

  8. Ray AD, Saha PK: Fixed point theorems on generalized fuzzy metric spaces. Hacet. J. Math. Stat. 2010, 39: 1–9.

    MathSciNet  MATH  Google Scholar 

  9. Fang JX: On fixed point theorems in fuzzy metric spaces. Fuzzy Sets Syst. 1992, 46: 107–113. 10.1016/0165-0114(92)90271-5

    Article  MathSciNet  MATH  Google Scholar 

  10. Grabiec M: Fixed points in fuzzy metric spaces. Fuzzy Sets Syst. 1983, 27: 385–389.

    MathSciNet  Article  MATH  Google Scholar 

  11. Gregori V, Sapena A: On fixed-point theorems in fuzzy metric spaces. Fuzzy Sets Syst. 2002, 125: 245–252. 10.1016/S0165-0114(00)00088-9

    MathSciNet  Article  MATH  Google Scholar 

  12. Liu Y, Li Z: Coincidence point theorems in probabilistic and fuzzy metric spaces. Fuzzy Sets Syst. 2007, 158: 58–70. 10.1016/j.fss.2006.07.010

    Article  MathSciNet  MATH  Google Scholar 

  13. Miheţ D: On the existence and the uniqueness of fixed points of Sehgal contractions. Fuzzy Sets Syst. 2005, 156: 135–141. 10.1016/j.fss.2005.05.024

    Article  MathSciNet  MATH  Google Scholar 

  14. Miheţ D: On fuzzy contractive mappings in fuzzy metric spaces. Fuzzy Sets Syst. 2007, 158: 915–921. 10.1016/j.fss.2006.11.012

    Article  MathSciNet  MATH  Google Scholar 

  15. Razani A: A contraction theorem in fuzzy metric space. Fixed Point Theory Appl. 2005, 3: 257–265.

    MathSciNet  MATH  Google Scholar 

  16. Sedghi S, Altun I, Shobe N: Coupled fixed point theorems for contractions in fuzzy metric spaces. Nonlinear Anal. 2010, 72: 1298–1304. 10.1016/j.na.2009.08.018

    MathSciNet  Article  MATH  Google Scholar 

  17. Som T, Mukherjee RN: Some fixed point theorems for fuzzy mappings. Fuzzy Sets Syst. 1989, 33: 213–219. 10.1016/0165-0114(89)90242-X

    MathSciNet  Article  MATH  Google Scholar 

  18. Žikić T: On fixed point theorems of Gregori and Sapena. Fuzzy Sets Syst. 2004, 144: 421–429. 10.1016/S0165-0114(03)00179-9

    Article  MathSciNet  MATH  Google Scholar 

  19. Rodríguez-López J, Romaguera S: The Hausdorff fuzzy metric on compact sets. Fuzzy Sets Syst. 2004, 147: 273–283. 10.1016/j.fss.2003.09.007

    Article  MathSciNet  MATH  Google Scholar 

  20. Kiany F, Amini-Harandi A: Fixed point and endpoint theorems for set-valued fuzzy contraction maps in fuzzy metric spaces. Fixed Point Theory Appl. 2011., 2011: Article ID 94. doi:10.1186/1687–1812–2011–94

    Google Scholar 

  21. Abbas M, Ćirić L, Damjanović B, Khan MA: Coupled coincidence and common fixed point theorems for hybrid pair of mappings. Fixed Point Theory Appl. 2012. doi:10.1186/1687–1812–2012–4

    Google Scholar 

  22. Schweizer B, Sklar A: Statistical metric spaces. Pac. J. Math. 1960, 10: 314–334.

    MATH  Google Scholar 

  23. Haghi RH, Rezapour SH, Shahzad N: Some fixed point generalizations are not real generalizations. Nonlinear Anal. 2011, 74: 1799–1803. 10.1016/j.na.2010.10.052

    MathSciNet  Article  MATH  Google Scholar 

Download references

Acknowledgements

The authors would like to thank the editor and anonymous reviewers for their helpful comments that helped to improve the presentation of this paper. The third author was partially supported by the Center of Excellence for Mathematics, University of Shahrekord, Iran and by a grant from IPM (No. 91470412).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Basit Ali.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors read and approved the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 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

Abbas, M., Ali, B. & Amini-Harandi, A. Common fixed point theorem for a hybrid pair of mappings in Hausdorff fuzzy metric spaces. Fixed Point Theory Appl 2012, 225 (2012). https://doi.org/10.1186/1687-1812-2012-225

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1687-1812-2012-225

Keywords

  • coupled fixed point
  • coupled coincidence point
  • coupled common fixed point
  • t-norm