Skip to main content

Some fixed point theorems in complex valued metric spaces

Abstract

Owning the concept of complex valued metric spaces introduced by Azam et al., we prove several fixed point theorems for mappings satisfying certain point-dependent contractive conditions. The main results announced by Sintunavarat and Kumam (J. Inequal. Appl. 2012:84, 2012), Rouzkard and Imdad (Comput. Math. Appl., 2012, doi:10.1016/j.camwa.2012.02.063), and Dass and Gupta (Indian J. Pure Appl. Math. 6(12):1455-1458, 1975) are deduced from our results under weaker assumptions.

1 Introduction

The concept of a complex valued metric space which is a generalization of the classical metric space was recently introduced by Azam, Fisher and Khan (see [1]). To mention this, let us recall a natural relation on , the set of complex numbers as follows: for z 1 , z 2 C

z 1 z 2 def Re ( z 1 ) Re ( z 2 ) and Im ( z 1 ) Im ( z 2 ) , z 1 z 2 def Re ( z 1 ) < Re ( z 2 ) and Im ( z 1 ) < Im ( z 2 ) .

Definition 1.1 Let X be a nonempty set. A mapping d:X×XC is called a complex valued metric on X if the following conditions are satisfied:

(CM1) 0d(x,y) for all x,yX and d(x,y)=0x=y;

(CM2) d(x,y)=d(y,x) for all x,yX;

(CM3) d(x,y)d(x,z)+d(z,y) for all x,y,zX.

In this case, we say that (X,d) is a complex valued metric space.

It is obvious that this concept is a generalization of the classical metric. In fact, if d:X×XR satisfies (CM1)-(CM3), then this d is a metric in the classical sense; that is, the following conditions are satisfied:

(M1) 0d(x,y) for all x,yX and d(x,y)=0x=y;

(M2) d(x,y)=d(y,x) for all x,yX;

(M3) d(x,y)d(x,z)+d(z,y) for all x,y,zX.

The following definition is an analogue of several concepts in the classical theory of metric spaces and they are discussed in [1]. There are also other interesting types of generalization of metric spaces; for example, see [2, 3].

Definition 1.2 Suppose that (X,d) is a complex valued metric space.

  • We say that a sequence { x n } is a Cauchy sequence if for every 0cC there exists an integer N such that d( x n , x m )c for all n,mN.

  • We say that { x n }converges to an elementxX if for every 0cC there exists an integer N such that d( x n ,x)c for all nN. In this case, we write x n d x.

  • We say that (X,d) is complete if every Cauchy sequence in X converges to a point in X.

The following fact is summarized from Azam, Fisher and Khan’s paper [1]. In fact, (b) and (c) of Proposition 1.3 are their Lemmas 2 and 3.

Proposition 1.3 Let (X,d) be a complex value metric space. Suppose that d= d 1 +i d 2 where d 1 , d 2 :X×XR, that is, d 1 =Re(d) and d 2 =Im(d). Then the following assertions hold.

  1. (a)

    |d|= ( d 1 2 + d 2 2 ) 1 / 2 :X×XR is a (classical) metric on X.

  2. (b)

    If { x n } is a sequence in X and xX, then x n d x if and only if x n | d | x.

  3. (c)

    (X,d) is complete if and only if (X,|d|) is complete.

The following common fixed point theorem was also proved by Azam, Fisher and Khan. This can be viewed as a generalization of the well-known Banach fixed point theorem.

Theorem 1.4 ([1])

Let (X,d) be a complete complex valued metric space, and let λ, μ be nonnegative real numbers such that λ+μ<1. Suppose that S,T:XX are mappings satisfying:

d(Sx,Ty)λd(x,y)+ μ d ( x , S x ) d ( y , T y ) 1 + d ( x , y ) x,yX.
(1)

Then S and T have a unique common fixed point.

In this paper, we continue the study of fixed point theorems in complex valued metric spaces. The obtained results are generalizations of recent results proved by Sintunavarat and Kumam [4], Rouzkard and Imdad [5]. Moreover, we improve several assumptions on the involved mappings. It should be noted that there are also some different fixed point theorems recently proved in [6].

2 Main result

Throughout the paper, let (X,d) be a complete complex valued metric space and S,T:XX.

Proposition 2.1 Let x 0 X and define the sequence { x n } by

x 2 n + 1 = S x 2 n , x 2 n + 2 = T x 2 n + 1 , for all  n = 0 , 1 , 2 , .
(2)

Assume that there exists a mapping λ:X×X[0,1) satisfying

λ(TSx,y)λ(x,y)andλ(x,STy)λ(x,y)for all x,yX.

Then λ( x 2 n ,y)λ( x 0 ,y) and λ(x, x 2 n + 1 )λ(x, x 1 ) for all x,yX and n=0,1,2,.

Proof Let x,yX and n=0,1,2, . Then we have

λ( x 2 n ,y)=λ(TS x 2 n 2 ,y)λ( x 2 n 2 ,y)=λ(TS x 2 n 4 ,y)λ( x 0 ,y).

Similarly, we have

λ(x, x 2 n + 1 )=λ(x,ST x 2 n 1 )λ(x, x 2 n 1 )=λ(x,ST x 2 n 3 )λ(x, x 1 ).

 □

Lemma 2.2 Let λ,μ:X×X[0,1) and x,yX. If S and T satisfy

d ( S x , T S x ) λ ( x , S x ) d ( x , S x ) + μ ( x , S x ) d ( x , S x ) d ( S x , T S x ) 1 + d ( x , S x ) , d ( S T y , T y ) λ ( T y , y ) d ( T y , y ) + μ ( T y , y ) d ( T y , S T y ) d ( y , T y ) 1 + d ( T y , y ) ,

then

| d ( S x , T S x ) | λ ( x , S x ) | d ( x , S x ) | + μ ( x , S x ) | d ( S x , T S x ) | , | d ( S T y , T y ) | λ ( T y , y ) | d ( T y , y ) | + μ ( T y , y ) | d ( T y , S T y ) | ,

respectively.

Proof We can write

| d ( S x , T S x ) | | λ ( x , S x ) d ( x , S x ) + μ ( x , S x ) d ( x , S x ) d ( S x , T S x ) 1 + d ( x , S x ) | λ ( x , S x ) | d ( x , S x ) | + μ ( x , S x ) | d ( x , S x ) 1 + d ( x , S x ) | | d ( S x , T S x ) | λ ( x , S x ) | d ( x , S x ) | + μ ( x , S x ) | d ( S x , T S x ) | .
(3)

Similarly, we get

| d ( S T y , T y ) | | λ ( T y , y ) d ( T y , y ) + μ ( T y , y ) d ( T y , S T y ) d ( y , T y ) 1 + d ( T y , y ) | λ ( T y , y ) | d ( y , T y ) | + μ ( T y , y ) | d ( y , T y ) 1 + d ( y , T y ) | | d ( T y , S T y ) | λ ( T y , y ) | d ( y , T y ) | + μ ( T y , y ) | d ( S T y , T y ) | .
(4)

 □

Lemma 2.3 Let { x n } be a sequence in X and h[0,1). If a n =|d( x n , x n + 1 )| satisfies

a n h a n 1 ,for all nN,
(5)

then { x n } is a Cauchy sequence.

Proof Let h[0,1). Then

a n h a n 1 h 2 a n 2 h n a 0 ,for all nN.

For m,nN such that m>n, we have

| d ( x n , x m ) | a n + a n + 1 + + a m 1 h n ( 1 + h + h 2 + + h m n 1 ) a 0 h n 1 h a 0 .

Thus, we have |d( x n , x m )|0 as n, and hence { x n } is a Cauchy sequence. □

Theorem 2.4 Let (X,d) be a complete complex valued metric space and S,T:XX. If there exist mappings λ,μ,γ:X×X[0,1) such that for all x,yX:

  1. (a)

    λ(TSx,y)λ(x,y) and λ(x,STy)λ(x,y),

μ(TSx,y)μ(x,y) and μ(x,STy)μ(x,y),

γ(TSx,y)γ(x,y) and γ(x,STy)γ(x,y);

  1. (b)

    λ(x,y)+μ(x,y)+γ(x,y)<1;(c)

    d(Sx,Ty)λ(x,y)d(x,y)+μ(x,y) d ( x , S x ) d ( y , T y ) 1 + d ( x , y ) +γ(x,y) d ( y , S x ) d ( x , T y ) 1 + d ( x , y ) .
    (6)

Then S and T have a unique common fixed point.

Proof Let x,yX. From (6), we consider

d ( S x , T S x ) λ ( x , S x ) d ( x , S x ) + μ ( x , S x ) d ( x , S x ) d ( S x , T S x ) 1 + d ( x , S x ) + γ ( x , S x ) d ( S x , S x ) d ( x , T S x ) 1 + d ( x , S x ) = λ ( x , S x ) d ( x , S x ) + μ ( x , S x ) d ( x , S x ) d ( S x , T S x ) 1 + d ( x , S x ) .

From Lemma 2.2, we have

| d ( S x , T S x ) | λ(x,Sx) | d ( x , S x ) | +μ(x,Sx) | d ( S x , T S x ) | .
(7)

Similarly, we get

d ( S T y , T y ) λ ( T y , y ) d ( T y , y ) + μ ( T y , y ) d ( T y , S T y ) d ( y , T y ) 1 + d ( T y , y ) + γ ( T y , y ) d ( y , S T y ) d ( T y , T y ) 1 + d ( T y , y ) = λ ( T y , y ) d ( T y , y ) + μ ( T y , y ) d ( T y , S T y ) d ( y , T y ) 1 + d ( T y , y ) .

From Lemma 2.2, we have

| d ( S T y , T y ) | λ(Ty,y) | d ( T y , y ) | +μ(Ty,y) | d ( T y , S T y ) | .
(8)

Let x 0 X and the sequence { x n } be defined by (2). We show that { x n } is a Cauchy sequence. From Proposition 2.1, (7), (8) and for all k=0,1,2, , we have

| d ( x 2 k + 1 , x 2 k ) | = | d ( S T x 2 k 1 , T x 2 k 1 ) | λ ( T x 2 k 1 , x 2 k 1 ) | d ( T x 2 k 1 , x 2 k 1 ) | + μ ( T x 2 k 1 , x 2 k 1 ) | d ( T x 2 k 1 , S T x 2 k 1 ) | = λ ( x 2 k , x 2 k 1 ) | d ( x 2 k 1 , x 2 k ) | + μ ( x 2 k , x 2 k 1 ) | d ( x 2 k , x 2 k + 1 ) | λ ( x 0 , x 2 k 1 ) | d ( x 2 k 1 , x 2 k ) | + μ ( x 0 , x 2 k 1 ) | d ( x 2 k + 1 , x 2 k ) | λ ( x 0 , x 1 ) | d ( x 2 k 1 , x 2 k ) | + μ ( x 0 , x 1 ) | d ( x 2 k + 1 , x 2 k ) | ,

which implies that

| d ( x 2 k + 1 , x 2 k ) | λ ( x 0 , x 1 ) 1 μ ( x 0 , x 1 ) | d ( x 2 k 1 , x 2 k ) | .
(9)

Similarly, we get

| d ( x 2 k + 2 , x 2 k + 1 ) | = | d ( T S x 2 k , S x 2 k ) | λ ( x 2 k , S x 2 k ) | d ( x 2 k , S x 2 k ) | + μ ( x 2 k , S x 2 k ) | d ( S x 2 k , T S x 2 k ) | = λ ( x 2 k , x 2 k + 1 ) | d ( x 2 k , x 2 k + 1 ) | + μ ( x 2 k , x 2 k + 1 ) | d ( x 2 k + 1 , x 2 k + 2 ) | λ ( x 0 , x 2 k + 1 ) | d ( x 2 k , x 2 k + 1 ) | + μ ( x 0 , x 2 k + 1 ) | d ( x 2 k + 2 , x 2 k + 1 ) | λ ( x 0 , x 1 ) | d ( x 2 k , x 2 k + 1 ) | + μ ( x 0 , x 1 ) | d ( x 2 k + 2 , x 2 k + 1 ) | ,

which implies that

| d ( x 2 k + 2 , x 2 k + 1 ) | λ ( x 0 , x 1 ) 1 μ ( x 0 , x 1 ) | d ( x 2 k , x 2 k + 1 ) | .
(10)

Let h= λ ( x 0 , x 1 ) 1 μ ( x 0 , x 1 ) <1. Then we have

| d ( x n + 1 , x n ) | h | d ( x n 1 , x n ) | ,for all nN.
(11)

From Lemma 2.3, we have { x n } is a Cauchy sequence in (X,d). By the completeness of X, there exists zX such that x n z as n.

Next, we show that z is a fixed point of S. By (6) and Proposition 2.1, we have

d ( z , S z ) d ( z , T x 2 n + 1 ) + d ( T x 2 n + 1 , S z ) = d ( z , x 2 n + 2 ) + d ( S z , T x 2 n + 1 ) d ( z , x 2 n + 2 ) + λ ( z , x 2 n + 1 ) d ( z , x 2 n + 1 ) + μ ( z , x 2 n + 1 ) d ( z , S z ) d ( x 2 n + 1 , T x 2 n + 1 ) 1 + d ( z , x 2 n + 1 ) + γ ( z , x 2 n + 1 ) d ( x 2 n + 1 , S z ) d ( z , T x 2 n + 1 ) 1 + d ( z , x 2 n + 1 ) d ( z , x 2 n + 2 ) + λ ( z , x 1 ) d ( z , x 2 n + 1 ) + μ ( z , x 1 ) d ( z , S z ) d ( x 2 n + 1 , x 2 n + 2 ) 1 + d ( z , x 2 n + 1 ) + γ ( z , x 1 ) d ( x 2 n + 1 , S z ) d ( z , x 2 n + 2 ) 1 + d ( z , x 2 n + 1 ) .

Thus, d(z,Sz)=0 and hence z=Sz.

We also show that z is a fixed point of T. By (6), we have

d ( z , T z ) d ( z , S x 2 n ) + d ( S x 2 n , T z ) d ( z , x 2 n + 1 ) + λ ( x 2 n , z ) d ( x 2 n , z ) + μ ( x 2 n , z ) d ( x 2 n , S x 2 n ) d ( z , T z ) 1 + d ( x 2 n , z ) + γ ( x 2 n , z ) d ( z , S x 2 n ) d ( x 2 n , T y ) 1 + d ( x 2 n , z ) d ( z , x 2 n + 1 ) + λ ( x 0 , z ) d ( x 2 n , z ) + μ ( x 0 , z ) d ( x 2 n , x 2 n + 1 ) d ( z , T z ) 1 + d ( x 2 n , z ) + γ ( x 0 , z ) d ( z , x 2 n + 1 ) d ( x 2 n , T y ) 1 + d ( x 2 n , z ) .

Thus, d(z,Tz)=0 and hence z=Tz. Therefore, z is a common fixed point of S and T.

Finally, we show the uniqueness. Suppose that there is z X such that z =S z =T z . Then

d ( z , z ) = d ( S z , T z ) λ ( z , z ) d ( z , z ) + μ ( z , z ) d ( z , S z ) d ( z , T z ) 1 + d ( z , z ) + γ ( z , z ) d ( z , S z ) d ( z , T z ) 1 + d ( z , z ) = λ ( z , z ) d ( z , z ) + γ ( z , z ) d ( z , z ) d ( z , z ) 1 + d ( z , z ) .

Therefore, we have

| d ( z , z ) | λ ( z , z ) | d ( z , z ) | + γ ( z , z ) | d ( z , z ) | | d ( z , z ) 1 + d ( z , z ) | λ ( z , z ) | d ( z , z ) | + γ ( z , z ) | d ( z , z ) | ( λ ( z , z ) + γ ( z , z ) ) | d ( z , z ) | .

Since λ(z, z )+γ(z, z )<1, we have |d(z, z )|=0. Thus z= z . □

By setting S=T in Theorem 2.4, we deduce the following corollary.

Corollary 2.5 Let (X,d) be a complete complex valued metric space and T:XX. If there exist mappings λ,μ,γ:X×X[0,1) such that for all x,yX:

  1. (a)

    λ(Tx,y)λ(x,y) and λ(x,Ty)λ(x,y),

μ(Tx,y)μ(x,y) and μ(x,Ty)μ(x,y),

γ(Tx,y)γ(x,y) and γ(x,Ty)γ(x,y);

  1. (b)

    λ(x,y)+μ(x,y)+γ(x,y)<1;(c)

    d(Tx,Ty)λ(x,y)d(x,y)+μ(x,y) d ( x , T x ) d ( y , T y ) 1 + d ( x , y ) +γ(x,y) d ( y , T x ) d ( x , T y ) 1 + d ( x , y ) .
    (12)

Then T has a unique common fixed point.

By choosing γ=0 in Theorem 2.4, we deduce the following corollary.

Corollary 2.6 Let (X,d) be a complete complex valued metric space and S,T:XX. If there exist mappings λ,μ:X×X[0,1) such that for all x,yX:

  1. (a)

    λ(TSx,y)λ(x,y) and λ(x,STy)λ(x,y),

μ(TSx,y)μ(x,y) and μ(x,STy)μ(x,y);

  1. (b)

    λ(x,y)+μ(x,y)<1;(c)

    d(Sx,Ty)λ(x,y)d(x,y)+μ(x,y) d ( x , S x ) d ( y , T y ) 1 + d ( x , y ) .
    (13)

Then S and T have a unique common fixed point.

By choosing μ=0 in Theorem 2.4, we deduce the following corollary.

Corollary 2.7 Let (X,d) be a complete complex valued metric space and S,T:XX. If there exist mappings λ,γ:X×X[0,1) such that for all x,yX:

  1. (a)

    λ(TSx,y)λ(x,y) and λ(x,STy)λ(x,y),

γ(TSx,y)γ(x,y) and γ(x,STy)γ(x,y);

  1. (b)

    λ(x,y)+γ(x,y)<1;(c)

    d(Sx,Ty)λ(x,y)d(x,y)+γ(x,y) d ( y , S x ) d ( x , T y ) 1 + d ( x , y ) .
    (14)

Then S and T have a unique common fixed point.

The following result is closely related to Corollary 2.5 with γ=0. The real valued metric space version of this result is an extension of Dass and Gupta’s result [7].

Theorem 2.8 Let (X,d) be a complete complex valued metric space and T:XX. If there exist mappings λ,μ:X×X[0,1) such that for all x,yX:

  1. (a)

    λ(Tx,y)λ(x,y) and λ(x,Ty)λ(x,y),

μ(Tx,y)μ(x,y) and μ(x,Ty)μ(x,y);

  1. (b)

    λ(x,y)+μ(x,y)<1;(c)

    d(Tx,Ty)λ(x,y)d(x,y)+μ(x,y) d ( y , T y ) [ 1 + d ( x , T x ) ] 1 + d ( x , y ) .
    (15)

Then T has a unique fixed point.

Proof Let x 0 X and the sequence { x n } be defined by

x n + 1 =T x n ,where n=0,1,2,.
(16)

We show that { x n } is a Cauchy sequence. From (15), we have

d ( x n + 1 , x n + 2 ) = d ( T x n , T x n + 1 ) λ ( x n , x n + 1 ) d ( x n , x n + 1 ) + μ ( x n , x n + 1 ) d ( x n + 1 , T x n + 1 ) [ 1 + d ( x n , T x n ) ] 1 + d ( x n , x n + 1 ) = λ ( x n , x n + 1 ) d ( x n , x n + 1 ) + μ ( x n , x n + 1 ) d ( x n + 1 , x n + 2 ) [ 1 + d ( x n , x n + 1 ) ] 1 + d ( x n , x n + 1 ) = λ ( x n , x n + 1 ) d ( x n , x n + 1 ) + μ ( x n , x n + 1 ) d ( x n + 1 , x n + 2 ) .

It follows from (a) that

d ( x n + 1 , x n + 2 ) λ ( x n , x n + 1 ) d ( x n , x n + 1 ) + μ ( x n , x n + 1 ) d ( x n + 1 , x n + 2 ) λ ( x 0 , x n + 1 ) d ( x n , x n + 1 ) + μ ( x 0 , x n + 1 ) d ( x n + 1 , x n + 2 ) λ ( x 0 , x 0 ) d ( x n , x n + 1 ) + μ ( x 0 , x 0 ) d ( x n + 1 , x n + 2 ) .

Therefore,

| d ( x n + 1 , x n + 2 ) | λ( x 0 , x 0 ) | d ( x n , x n + 1 ) | +μ( x 0 , x 0 ) | d ( x n + 1 , x n + 2 ) | ,

and hence

| d ( x n + 1 , x n + 2 ) | λ ( x 0 , x 0 ) 1 μ ( x 0 , x 0 ) | d ( x n , x n + 1 ) | ,for all n=0,1,2,.
(17)

Let h= λ ( x 0 , x 0 ) 1 μ ( x 0 , x 0 ) <1. Then

| d ( x n + 1 , x n + 2 ) | h | d ( x n , x n + 1 ) | ,for all n=0,1,2,.

From Lemma 2.3, we have { x n } is a Cauchy sequence in (X,d). By the completeness of X, there exists zX such that x n z as n. Next, we show that z is a fixed point of T. Then

d ( z , T z ) d ( z , T x n ) + d ( T x n , T z ) d ( z , x n + 1 ) + λ ( x n , z ) d ( x n , z ) + μ ( x n , z ) d ( z , T z ) [ 1 + d ( x n , T x n ) ] 1 + d ( z , x n ) d ( z , x n + 1 ) + λ ( x 0 , z ) d ( x n , z ) + μ ( x 0 , z ) d ( z , T z ) [ 1 + d ( x n , x n + 1 ) ] 1 + d ( z , x n ) .

Notice that μ( x 0 ,z)[0,1). Therefore, we get d(z,Tz)μ( x 0 ,z)d(z,Tz), that is, z=Tz.

Finally, we show the uniqueness. Suppose that there is z X such that z =T z . Then

d ( z , z ) = d ( T z , T z ) λ ( z , z ) d ( z , z ) + μ ( z , z ) d ( z , T z ) [ 1 + d ( z , T z ) ] 1 + d ( z , z ) = λ ( z , z ) d ( z , z ) .

Since λ(z, z )[0,1), we have d(z, z )=0, that is, z= z . This completes the proof. □

3 Deduced results

3.1 Sintunavarat and Kumam’s results

We deduce the main result of [4] as follows.

Theorem 3.1 ([[4], Theorem 3.1])

Let (X,d) be a complete complex valued metric space and S,T:XX. If there exist mappings Λ,Ξ:X[0,1) such that for all x,yX:

  1. (i)

    Λ(Sx)Λ(x) and Ξ(Sx)Ξ(x);

  2. (ii)

    Λ(Tx)Λ(x) and Ξ(Tx)Ξ(x);

  3. (iii)

    (Λ+Ξ)(x)<1;(iv)

    d(Sx,Ty)Λ(x)d(x,y)+ Ξ ( x ) d ( x , S x ) d ( y , T y ) 1 + d ( x , y ) .

Then S and T have a unique common fixed point.

Proof Define λ,μ:X×X[0,1) by

λ(x,y)=Λ(x)andμ(x,y)=Ξ(x),for all x,yX.
(18)

Then for all x,yX,

  1. (a)

    λ(TSx,y)=Λ(TSx)Λ(Sx)Λ(x)=λ(x,y) and λ(x,STy)=Λ(x)=λ(x,y);

μ(TSx,y)=Ξ(TSx)Ξ(Sx)Ξ(x)=μ(x,y) and μ(x,STy)=Ξ(x)=μ(x,y);

  1. (b)

    λ(x,y)+μ(x,y)=Λ(x)+Ξ(x)<1;(c)

    d ( S x , T y ) Λ ( x ) d ( x , y ) + Ξ ( x ) d ( x , S x ) d ( y , T y ) 1 + d ( x , y ) = λ ( x , y ) d ( x , y ) + μ ( x , y ) d ( x , S x ) d ( y , T y ) 1 + d ( x , y ) .

By Corollary 2.6, S and T have a unique common fixed point. □

Remark 1 It is worth mentioning that (i) and (ii) of Theorem 3.1 above can be weakened by the condition

Λ(TSx)Λ(x)andΞ(TSx)Ξ(x),for all xX.

3.2 Rouzkard and Imdad’s results

The following corollary is easily obtained from our Theorem 2.4.

Corollary 3.2 Let (X,d) be a complete complex valued metric space and S,T:XX. If there exist mappings λ,μ,γ:X[0,1) such that for all x,yX:

  1. (a)

    λ(TSx)λ(x), μ(TSx)μ(x) and γ(TSx)γ(x);

  2. (b)

    λ(x)+μ(x)+γ(y)<1;(c)

    d(Sx,Ty)λ(x)d(x,y)+μ(x) d ( x , S x ) d ( y , T y ) 1 + d ( x , y ) +γ(x) d ( y , S x ) d ( x , T y ) 1 + d ( x , y ) .
    (19)

Then S and T have a unique common fixed point.

Proof Define λ,μ,γ:X×X[0,1) by

λ(x,y)=λ(x),μ(x,y)=μ(x)andγ(x,y)=γ(x),for all x,yX.
(20)

Then for all x,yX,

  1. (a)

    λ(TSx,y)=λ(TSx)λ(x)=λ(x,y) and λ(x,STy)=λ(x)=λ(x,y);

μ(TSx,y)=μ(TSx)μ(x)=μ(x,y) and μ(x,STy)=μ(x)=μ(x,y);

γ(TSx,y)=γ(TSx)γ(x)=γ(x,y) and γ(x,STy)=γ(x)=γ(x,y);

  1. (b)

    λ(x,y)+μ(x,y)+γ(x,y)=λ(x)+μ(x)+γ(x)<1;(c)

    d ( S x , T y ) λ ( x ) d ( x , y ) + μ ( x ) d ( x , S x ) d ( y , T y ) 1 + d ( x , y ) + γ ( x ) d ( y , S x ) d ( x , T y ) 1 + d ( x , y ) = λ ( x , y ) d ( x , y ) + μ ( x , y ) d ( x , S x ) d ( y , T y ) 1 + d ( x , y ) + γ ( x , y ) d ( y , S x ) d ( x , T y ) 1 + d ( x , y ) .

By Theorem 2.4, S and T have a unique common fixed point. □

Letting λ()=λ, μ()=μ and γ()=γ in Corollary 3.2 gives the following result proved by Rouzkard and Imdad in [5].

Corollary 3.3 ([5])

If S and T are self-mappings defined on a complete complex valued metric space (X,d) satisfying the condition

d(Sx,Ty)λd(x,y)+μ d ( x , S x ) d ( y , T y ) 1 + d ( x , y ) +γ d ( y , S x ) d ( x , T y ) 1 + d ( x , y )

for all x,yX, where λ, μ, γ are nonnegative reals with λ+μ+γ<1, then S and T have a unique common fixed point.

3.3 Dass and Gupta’s results

Applying the proof of our Theorem 2.8, we can deduce the following result of Dass and Gupta [7] in the context of real valued metric spaces.

Theorem 3.4 ([7])

Let (X,d) be a real valued metric space. Let T:XX be such that (i)

d(Tx,Ty)λd(x,y)+ μ d ( y , T y ) [ 1 + d ( x , T x ) ] 1 + d ( x , y )

for all x,yX, λ>0, μ>0, λ+μ<1, and

  1. (ii)

    for some x 0 X, the sequence of iterates { T n ( x 0 )} has a subsequence { T n k ( x 0 )} with z= lim k T n k ( x 0 ).

Then z is a unique fixed point of T.

Proof Define λ,μ:X×X[0,1) by

λ(x,y)=λandμ(x,y)=μ,for all x,yX.

Then the conditions (a), (b) and (c) of Theorem 2.8 are satisfied. Hence, we have { x n } is a Cauchy sequence in (X,d). By (ii), the whole sequence x n z as n. It follows again from the proof of Theorem 2.8 that z is a unique fixed point of T as desired. □

References

  1. Azam A, Fisher B, Khan M: Common fixed point theorems in complex valued metric spaces. Numer. Funct. Anal. Optim. 2011, 32(3):243–253. 10.1080/01630563.2011.533046

    Article  MathSciNet  MATH  Google Scholar 

  2. Ding HS, Kadelburg Z, Karapinar E, Radenović S: Common fixed points of weak contractions in cone metric spaces. Abstr. Appl. Anal. 2012., 2012: Article ID 793862. doi:10.1155/2012/793862

    Google Scholar 

  3. Ding HS, Kadelburg Z, Nashine HK: Common fixed point theorems for weakly increasing mappings on ordered orbitally complete metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 85. doi:10.1186/1687–1812–2012–85

    Google Scholar 

  4. Sintunavarat W, Kumam P: Generalized common fixed point theorems in complex valued metric spaces and applications. J. Inequal. Appl. 2012., 2012: Article ID 84. doi:10.1186/1029–242X-2012–84

    Google Scholar 

  5. Rouzkard F, Imdad M: Some common fixed point theorems on complex valued metric spaces. Comput. Math. Appl. 2012. doi:10.1016/j.camwa.2012.02.063

    Google Scholar 

  6. Bhatt S, Chaukiyal S, Dimri RC: Common fixed point of mappings satisfying rational inequality in complex valued metric space. Int. J. Pure Appl. Math. 2011, 73(2):159–164.

    MathSciNet  MATH  Google Scholar 

  7. Dass BK, Gupta S: An extension of Banach contraction principle through rational expression. Indian J. Pure Appl. Math. 1975, 6(12):1455–1458.

    MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

The authors thank the referee for their comments and suggestions on the manuscript. The first author is supported by Khon Kaen University-Integrated Multidisciplinary Research Cluster (Sciences and Technologies). The research work of the second author was also supported by the Higher Education Research Promotion and National Research University Project of Thailand, Office of the Higher Education Commission, through the Cluster of Research to Enhance the Quality of Basic Education.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Satit Saejung.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally and significantly to this research work. 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

Sitthikul, K., Saejung, S. Some fixed point theorems in complex valued metric spaces. Fixed Point Theory Appl 2012, 189 (2012). https://doi.org/10.1186/1687-1812-2012-189

Download citation

  • Received:

  • Accepted:

  • Published:

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

Keywords