Skip to main content

Generalized α-ψ contractive mappings in quasi-metric spaces and related fixed-point theorems

Abstract

In this paper, we characterize α-ψ contractive mappings in the setting of quasi-metric spaces and investigate the existence and uniqueness of a fixed point of such mappings. We notice that by using our result some fixed-point theorems in the context of G-metric space can be deduced.

MSC:46T99, 47H10, 54H25, 46J10.

1 Introduction and preliminaries

Let Ψ be the family of functions ψ:[0,)[0,) satisfying the following conditions:

( ψ 1 ) ψ is nondecreasing;

( ψ 2 ) n = 1 + ψ n (t)< for all t>0, where ψ n is the n th iterate of ψ.

These functions are known in the literature as (c)-comparison functions. One can easily deduce that if ψ is a (c)-comparison function, then ψ(t)<t for any t>0.

Definition 1 Let X be a non-empty and let d:X×X[0,) be a function which satisfies:

(d1) d(x,y)=0 if and only if x=y,

(d2) d(x,y)d(x,z)+d(z,y). Then d called a quasi-metric and the pair (X,d) is called a quasi-metric space.

Remark 2 Any metric space is a quasi-metric space, but the converse is not true in general.

Now, we give convergence and completeness on quasi-metric spaces.

Definition 3 Let (X,d) be a quasi-metric space, { x n } be a sequence in X, and xX. The sequence { x n } converges to x if and only if

lim n d( x n ,x)= lim n d(x, x n )=0.
(1.1)

Definition 4 Let (X,d) be a quasi-metric space and { x n } be a sequence in X. We say that { x n } is left-Cauchy if and only if for every ε>0 there exists a positive integer N=N(ε) such that d( x n , x m )<ε for all nm>N.

Definition 5 Let (X,d) be a quasi-metric space and { x n } be a sequence in X. We say that { x n } is right-Cauchy if and only if for every ε>0 there exists a positive integer N=N(ε) such that d( x n , x m )<ε for all mn>N.

Definition 6 Let (X,d) be a quasi-metric space and { x n } be a sequence in X. We say that { x n } is Cauchy if and only if for every ε>0 there exists a positive integer N=N(ε) such that d( x n , x m )<ε for all m,n>N.

Remark 7 A sequence { x n } in a quasi-metric space is Cauchy if and only if it is left-Cauchy and right-Cauchy.

Definition 8 Let (X,d) be a quasi-metric space. We say that

  1. (1)

    (X,d) is left-complete if and only if each left-Cauchy sequence in X is convergent.

  2. (2)

    (X,d) is right-complete if and only if each right-Cauchy sequence in X is convergent.

  3. (3)

    (X,d) is complete if and only if each Cauchy sequence in X is convergent.

Definition 9 Let (X,d) be a quasi-metric space and T:XX be a given mapping. We say that T is an α-ψ contractive mapping if there exist two functions α:X×X[0,) and ψΨ such that

α(x,y)d(Tx,Ty)ψ ( d ( x , y ) ) ,x,yX.
(1.2)

Remark 10 We easily see that any contractive mapping, that is, a mapping satisfying the Banach contraction, is an α-ψ contractive mapping with α(x,y)=1 for all x,yX and ψ(t)=kt, k(0,1).

Definition 11 Let T:XX and α:X×X[0,). We say that T is α admissible if for all x,yX we have

α(x,y)1α(Tx,Ty)1.
(1.3)

2 Main results

We start this section by the following definition, which is a characterization of α-ψ contractive mappings [1] in the context of a quasi-metric space.

Definition 12 (cf. [2])

Let (X,d) be a quasi-metric space and T:XX be a given mapping. We say that T is an α-ψ contractive mapping if there exist two functions α:X×X[0,) and ψΨ such that for all x,yX, we have

α(x,y)d(Tx,Ty)ψ ( d ( x , y ) ) .
(2.1)

Theorem 13 Let (X,d) be a complete quasi-metric space. Suppose that T:XX is a α-ψ contractive mapping which satisfies

  1. (i)

    T is α admissible;

  2. (ii)

    there exists x 0 X such that α(T x 0 , x 0 )1 and α( x 0 ,T x 0 )1;

  3. (iii)

    T is continuous.

Then T has a fixed point.

Proof By (ii), there exists x 0 X such that α(T x 0 , x 0 )1 and α( x 0 ,T x 0 )1. Let us define a sequence { x n } in X by x n + 1 =T x n for all nN. If x n 0 = x n 0 + 1 for some n 0 , then it is evident that x n 0 is a fixed point of T. Consequently, throughout the proof, we suppose that x n x n + 1 for all nN. Regarding the assumption (i), we derive

α( x 1 , x 0 )=α(T x 0 , x 0 )1α(T x 1 ,T x 0 )=α( x 2 , x 1 )1.
(2.2)

Recursively, we get

α( x n + 1 , x n )1for all nN.
(2.3)

Taking (2.1) and (2.3) into account, we find that

d( x n + 1 , x n )=d(T x n ,T x n 1 )α( x n , x n 1 )d(T x n ,T x n 1 )ψ ( d ( x n , x n 1 ) ) ,
(2.4)

for all n1. Inductively, we obtain

d( x n + 1 , x n ) ψ n ( d ( x 1 , x 0 ) ) ,n1.
(2.5)

By using the triangular inequality and (2.5), for all k1, we get

d ( x n + k , x n ) d ( x n + k , x n + k 1 ) + + d ( x n + 1 , x n ) p = n n + k 1 ψ n ( d ( x 1 , x 0 ) ) p = n ψ n ( d ( x 1 , x 0 ) ) .
(2.6)

Letting n in the above inequality, we derive p = n ψ n (d( x 1 , x 0 ))0. Hence, d( x n + k , x n )0 as n. Therefore, { x n } is a left-Cauchy sequence in (X,d).

Analogously, we deduce that { x n } is a right-Cauchy sequence in (X,d). Indeed, by assumption (i), we obtain

α( x 0 , x 1 )=α( x 0 ,T x 0 )1α(T x 0 ,T x 1 )=α( x 1 , x 2 )1.
(2.7)

Recursively, we find that

α( x n , x n + 1 )1for all nN.
(2.8)

By combining (2.1) with (2.8), we find

d( x n , x n + 1 )=d(T x n 1 ,T x n )α( x n 1 , x n )d(T x n 1 ,T x n )ψ ( d ( x n 1 , x n ) ) ,
(2.9)

for all n1. By iteration, we have

d( x n , x n + 1 ) ψ n ( d ( x 0 , x 1 ) ) ,n1.
(2.10)

Due to the triangular inequality, together with (2.10), for all k1, we get

d ( x n , x n + k ) d ( x n , x n + 1 ) + + d ( x n + k 1 , x n + k ) p = n n + k 1 ψ n ( d ( x 0 , x 1 ) ) p = n ψ n ( d ( x 0 , x 1 ) ) 0 as  n .
(2.11)

Consequently, { x n } is a right-Cauchy sequence in (X,d). By Remark 7, we deduce that { x n } is a Cauchy sequence in complete quasi-metric space (X,d). It implies that there exists uX such that

lim n d( x n ,u)= lim n d(u, x n )=0.
(2.12)

Then, by using the property (d1) together with the continuity of T, we obtain

lim n d( x n ,Tu)= lim n d(T x n 1 ,Tu)=0
(2.13)

and

lim n d(Tu, x n )= lim n d(T x n 1 ,Tu)=0.
(2.14)

Thus, we have

lim n d( x n ,Tu)= lim n d(Tu, x n )=0.
(2.15)

Keeping (2.12) and (2.15) in mind together with the uniqueness of the limit, we conclude that u=Tu, that is, u is a fixed point of T. □

Theorem 14 Let (X,d) be a complete quasi-metric space. Suppose that T:XX is an α-ψ contractive mapping which satisfies:

  1. (i)

    T is α admissible;

  2. (ii)

    there exists x 0 X such that α(T x 0 , x 0 )1;

  3. (iii)

    if { x n } is a sequence in X such that α( x n + 1 , x n )1 for all n and x n xX as n, then there exists a subsequence { x n ( k ) } of { x n } such that α(x, x n ( k ) )1 for all k.

Then T has a fixed point.

Proof Following the lines of the proof of Theorem 13, we know that the sequence { x n } defined by x n + 1 =T x n , for all n0, converges for some uX. From (2.3) and condition (iii), there exists a subsequence { x n ( k ) } of { x n } such that α(u, x n ( k ) )1 for all k. Applying (2.1), for all k, we get

d(Tu, x n ( k ) + 1 )=d(Tu,T x n ( k ) )α(u, x n ( k ) )d(Tu,T x n ( k ) )ψ ( d ( u , x n ( k ) ) ) .
(2.16)

Letting k in the above equality, we obtain

d(Tu,u)0.
(2.17)

Thus, we have d(Tu,u)=0, that is, Tu=u. □

Definition 15 (cf. [3])

Let (X,d) be a quasi-metric space and T:XX be a given mapping. We say that T is a generalized α-ψ contractive mapping of type A if there exist two functions α:X×X[0,) and ψΨ such that for all x,yX and we have

α(x,y)d(Tx,Ty)ψ ( M ( x , y ) ) ,
(2.18)

where

M(x,y)=max { d ( x , y ) , d ( T x , x ) , d ( T y , y ) , 1 2 [ d ( T x , y ) + d ( T y , x ) ] } .
(2.19)

Definition 16 Let (X,d) be a quasi-metric space and T:XX be a given mapping. We say that T is a generalized α-ψ contractive mapping of type B if there exist two functions α:X×X[0,) and ψΨ such that for all x,yX and we have

α(x,y)d(Tx,Ty)ψ ( N ( x , y ) ) ,
(2.20)

where

N(x,y)=max { d ( x , y ) , 1 2 [ d ( T x , x ) + d ( T y , y ) ] , 1 2 [ d ( T x , y ) + d ( T y , x ) ] } .
(2.21)

Theorem 17 Let (X,d) be a complete quasi-metric space. Suppose that T:XX is a generalized α-ψ contractive mapping of type A and satisfies

  1. (i)

    T is α admissible;

  2. (ii)

    there exists x 0 X such that α(T x 0 , x 0 )1 and α( x 0 ,T x 0 )1;

  3. (iii)

    T is continuous.

Then T has a fixed point.

Proof By assumption (ii), there exists x 0 X such that α(T x 0 , x 0 )1 and α( x 0 ,T x 0 )1. We construct a sequence { x n } in X in the following way:

x n + 1 =T x n for all nN.

If x n 0 = x n 0 + 1 for some n 0 , then it is clear that x n 0 is a fixed point of T. Hence, we assume that x n x n + 1 for all nN. Due to assumption (i), we have

α( x 1 , x 0 )=α(T x 0 , x 0 )1α(T x 1 ,T x 0 )=α( x 2 , x 1 )1.
(2.22)

If we continue in this way, we obtain

α( x n + 1 , x n )1for all nN.
(2.23)

From (2.18) and (2.23), for all n1, we derive

d( x n + 1 , x n )=d(T x n ,T x n 1 )α( x n , x n 1 )d(T x n ,T x n 1 )ψ ( M ( x n , x n 1 ) ) ,
(2.24)

where

M ( x n , x n 1 ) = max { d ( x n , x n 1 ) , d ( T x n , x n ) , d ( T x n 1 , x n 1 ) , 1 2 [ d ( T x n , x n 1 ) + d ( T x n 1 , x n ) ] } = max { d ( x n , x n 1 ) , d ( x n + 1 , x n ) , d ( x n , x n 1 ) , 1 2 [ d ( x n + 1 , x n 1 ) + d ( x n , x n ) ] } max { d ( x n , x n 1 ) , d ( x n + 1 , x n ) } .
(2.25)

Since ψ is a nondecreasing function, (2.24) implies that

d( x n + 1 , x n )ψ ( max { d ( x n , x n 1 ) , d ( x n + 1 , x n ) } ) ,
(2.26)

for all n1. We shall examine two cases. Suppose that d( x n + 1 , x n )>d( x n , x n 1 ). Since d( x n + 1 , x n )>0, we obtain

d( x n + 1 , x n )ψ ( d ( x n + 1 , x n ) ) <d( x n + 1 , x n ),
(2.27)

a contradiction. Therefore, we find that max{d( x n , x n 1 ),d( x n + 1 , x n )}=d( x n , x n 1 ). Since ψΨ, (2.26) yields

d( x n + 1 , x n )ψ ( d ( x n , x n 1 ) ) <d( x n , x n 1 )
(2.28)

for all n1. Recursively, we derive

d( x n + 1 , x n ) ψ n ( d ( x 1 , x 0 ) ) ,n1.
(2.29)

Together with (2.29) and the triangular inequality, for all k1, we get

d ( x n + k , x n ) d ( x n + k , x n + k 1 ) + + d ( x n + 1 , x n ) p = n n + k 1 ψ n ( d ( x 1 , x 0 ) ) p = n ψ n ( d ( x 1 , x 0 ) ) 0 as  n .
(2.30)

Therefore, { x n } is a left-Cauchy sequence in (X,d).

Analogously, we shall prove that { x n } is a right-Cauchy sequence in (X,d). Again by the assumption (i), we find that

α( x 0 , x 1 )=α( x 0 ,T x 0 )1α(T x 0 ,T x 1 )=α( x 1 , x 2 )1.
(2.31)

Recursively, we obtain

α( x n , x n + 1 )1for all nN.
(2.32)

From (2.18) and (2.32), for all n1, we deduce that

d( x n , x n + 1 )=d(T x n 1 ,T x n )α( x n 1 , x n )d(T x n 1 ,T x n )ψ ( M ( x n 1 , x n ) ) ,
(2.33)

where

M ( x n 1 , x n ) = max { d ( x n 1 , x n ) , d ( T x n 1 , x n 1 ) , d ( T x n , x n ) , 1 2 [ d ( T x n 1 , x n ) + d ( T x n , x n 1 ) ] } = max { d ( x n 1 , x n ) , d ( x n , x n 1 ) , d ( x n + 1 , x n ) , 1 2 [ d ( T x n 1 , x n ) + d ( T x n , x n 1 ) ] } max { d ( x n 1 , x n ) , d ( x n , x n 1 ) , d ( x n + 1 , x n ) } .
(2.34)

Since ψ is nondecreasing function, the inequality (2.33) turns into

d( x n , x n + 1 )ψ ( max { d ( x n 1 , x n ) , d ( x n , x n 1 ) , d ( x n + 1 , x n ) } ) ,
(2.35)

for all n1. We shall examine three cases.

Case 1. Assume that max{d( x n 1 , x n ),d( x n , x n 1 ),d( x n + 1 , x n )}=d( x n + 1 , x n ). Since d( x n + 1 , x n )>0 we get

d( x n + 1 , x n )ψ ( d ( x n + 1 , x n ) ) <d( x n + 1 , x n ),
(2.36)

a contradiction.

Case 2. Suppose that max{d( x n 1 , x n ),d( x n , x n 1 ),d( x n + 1 , x n )}=d( x n 1 , x n ). Since ψΨ, from (2.34) we find that

d( x n , x n + 1 )ψ ( d ( x n 1 , x n ) ) <d( x n 1 , x n )
(2.37)

for all n1. Inductively, we get

d( x n , x n + 1 ) ψ n ( d ( x 0 , x 1 ) ) ,n1.
(2.38)

By using the triangular inequality and taking (2.38) into consideration, for all k1, we get

d ( x n , x n + k ) d ( x n , x n + 1 ) + + d ( x n + k 1 , x n + k ) p = n n + k 1 ψ n ( d ( x 0 , x 1 ) ) p = n ψ n ( d ( x 0 , x 1 ) ) 0 as  n .
(2.39)

Case 3. Assume that max{d( x n 1 , x n ),d( x n , x n 1 ),d( x n + 1 , x n )}=d( x n , x n 1 ). Regarding ψΨ and (2.35), we obtain

d( x n , x n + 1 )ψ ( d ( x n , x n 1 ) ) <d( x n , x n 1 )
(2.40)

for all n1. From (2.18) and (2.23), for all n1, we derive

d ( x n , x n 1 ) = d ( T x n 1 , T x n 2 ) α ( x n 1 , x n 2 ) d ( T x n 1 , T x n 2 ) ψ ( M ( x n 1 , x n 2 ) ) ,
(2.41)

where

M ( x n 1 , x n 2 ) = max { d ( x n 1 , x n 2 ) , d ( T x n 1 , x n 1 ) , d ( T x n 2 , x n 2 ) , 1 2 [ d ( T x n 1 , x n 2 ) + d ( T x n 2 , x n 1 ) ] } = max { d ( x n 1 , x n 2 ) , d ( x n , x n 1 ) , d ( x n 1 , x n 2 ) , 1 2 [ d ( x n , x n 2 ) + d ( x n 1 , x n 1 ) ] } max { d ( x n 1 , x n 2 ) , d ( x n , x n 1 ) } .
(2.42)

Since ψ is a nondecreasing function, (2.24) implies that

d( x n , x n 1 )ψ ( max { d ( x n 1 , x n 2 ) , d ( x n , x n 1 ) } ) ,
(2.43)

for all n1.

We shall examine two cases. Suppose that d( x n , x n 1 )>d( x n 1 , x n 2 ). Since d( x n , x n 1 )>0, we obtain

d( x n , x n 1 )ψ ( d ( x n , x n 1 ) ) <d( x n , x n 1 ),
(2.44)

a contradiction. Therefore, we find that max{d( x n 1 , x n 2 ),d( x n , x n 1 )}=d( x n 1 , x n 2 ). Since ψΨ, (2.43) yields

d( x n , x n 1 )ψ ( d ( x n 1 , x n 2 ) ) <d( x n 1 , x n 2 )
(2.45)

for all n1. Recursively, we derive

d( x n , x n 1 ) ψ n 1 ( d ( x 1 , x 0 ) ) ,n1.
(2.46)

If we combine the inequalities (2.40) with (2.46), we derive

d( x n , x n + 1 )ψ ( d ( x n , x n 1 ) ) <d( x n , x n 1 ) ψ n 1 ( d ( x 1 , x 0 ) ) ,n1.
(2.47)

Together with (2.47) and the triangular inequality, for all k1, we get

d ( x n , x n + k ) d ( x n , x n + 1 ) + + d ( x n + k 1 , x n + k ) < d ( x n , x n 1 ) + + d ( x n + k 1 , x n + k 2 ) p = n n + k 1 ψ n 1 ( d ( x 1 , x 0 ) ) p = n ψ n 1 ( d ( x 1 , x 0 ) ) 0 as  n .
(2.48)

Therefore, by (2.39) and (2.48), we conclude that { x n } is a right-Cauchy sequence in (X,d).

From Remark 7, { x n } is a Cauchy sequence in complete quasi-metric space (X,d). This implies that there exists uX such that

lim n d( x n ,u)= lim n d(u, x n )=0.
(2.49)

Then, using property (d1) and the continuity of T, we obtain

lim n d( x n ,Tu)= lim n d(T x n 1 ,Tu)=0
(2.50)

and

lim n d(Tu, x n )= lim n d(T x n 1 ,Tu)=0.
(2.51)

Thus, we have

lim n d( x n ,Tu)= lim n d(Tu, x n )=0.
(2.52)

It follows from (2.49) and (2.52) that u=Tu, that is, u is a fixed point of T. □

Corollary 18 Let (X,d) be a complete quasi-metric space. Suppose that T:XX is a generalized α-ψ contractive mapping of type A and satisfies:

  1. (i)

    T is α admissible;

  2. (ii)

    there exists x 0 X such that α(T x 0 , x 0 )1 and α( x 0 ,T x 0 )1;

  3. (iii)

    T is continuous.

Then T has a fixed point.

The proof is evident due to Theorem 17. Indeed, ψ is nondecreasing and, hence,

α(x,y)d(Tx,Ty)ψ ( N ( x , y ) ) ψ ( M ( x , y ) ) ,

where M(x,y) and N(x,y) are defined as in Definition 15 and Definition 16. The rest follows from Theorem 17.

In the following theorem we are able to remove the continuity condition for the α-ψ contractive mappings of type B.

Theorem 19 Let (X,d) be a complete quasi-metric space. Suppose that T:XX is a generalized α-ψ contractive mapping of type B which satisfies:

  1. (i)

    T is α admissible;

  2. (ii)

    there exists x 0 X such that α(T x 0 , x 0 )1;

  3. (iii)

    if { x n } is a sequence in X such that α( x n + 1 , x n )1 for all n and x n xX as n, then there exists a subsequence { x n ( k ) } of { x n } such that α(x, x n ( k ) )1 for all k.

Then T has a fixed point.

Proof Following the lines in the proof of Theorem 17, we know that the sequence { x n } defined by x n + 1 =T x n for all n0, converges for some uX. From (2.23) and condition (iii), there exists a subsequence { x n ( k ) } of { x n } such that α(u, x n ( k ) )1 for all k. Applying (2.20), for all k, we get

d(Tu, x n ( k ) + 1 )=d(Tu,T x n ( k ) )α(u, x n ( k ) )d(Tu,T x n ( k ) )ψ ( N ( u , x n ( k ) ) ) .
(2.53)

Also, using (2.21) we find

N ( u , x n ( k ) ) = max { d ( u , x n ( k ) ) , 1 2 [ d ( T u , u ) + d ( T x n ( k ) , x n ( k ) ) ] , 1 2 [ d ( T u , x n ( k ) ) + d ( T x n ( k ) , u ) ] } .
(2.54)

Taking the limit as k in the above equality, we obtain

lim k N(u, x n ( k ) )= d ( T u , u ) 2 .
(2.55)

Assume that d(Tu,u)>0. From (2.55), for k large enough, we have N(u, x n ( k ) )>0, which implies that ψ(N(u, x n ( k ) ))<N(u, x n ( k ) ). Then, from (2.53), we have

d(Tu, x n ( k ) + 1 )<N(u, x n ( k ) ).
(2.56)

Taking the limit as k in the above equality, we get

d(Tu,u) d ( T u , u ) 2 ,
(2.57)

which is a contradiction. Therefore, we find d(Tu,u)=0, that is, Tu=u. □

3 Consequences: fixed-point result on G-metric spaces

In this section, we note that some existing fixed-point results in the context of G-metric spaces are consequences of our main theorems. For the sake of completeness, we recollect some basic definitions and crucial results on the topic in the literature. For more details, see e.g. [46].

Definition 20 Let X be a non-empty set, G:X×X×X R + be a function satisfying the following properties:

(G1) G(x,y,z)=0 if x=y=z,

(G2) 0<G(x,x,y) for all x,yX with xy,

(G3) G(x,x,y)G(x,y,z) for all x,y,zX with yz,

(G4) G(x,y,z)=G(x,z,y)=G(y,z,x)= (symmetry in all three variables),

(G5) G(x,y,z)G(x,a,a)+G(a,y,z) (rectangle inequality) for all x,y,z,aX.

Then the function G is called a generalized metric, or, more specifically, a G-metric on X, and the pair (X,G) is called a G-metric space.

Note that every G-metric on X induces a metric d G on X defined by

d G (x,y)=G(x,y,y)+G(y,x,x),for all x,yX.
(3.1)

For a better understanding of the subject we give the following examples of G-metrics.

Example 21 Let (X,d) be a metric space. The function G:X×X×X[0,+), defined by

G(x,y,z)=max { d ( x , y ) , d ( y , z ) , d ( z , x ) } ,

for all x,y,zX, is a G-metric on X.

Example 22 Let X=[0,). The function G:X×X×X[0,+), defined by

G(x,y,z)=|xy|+|yz|+|zx|,

for all x,y,zX, is a G-metric on X.

Definition 23 Let (X,G) be a G-metric space, and let { x n } be a sequence of points of X. We say that { x n } is G-convergent to xX if

lim n , m + G(x, x n , x m )=0,

that is, for any ε>0, there exists NN such that G(x, x n , x m )<ε, for all n,mN. We call x the limit of the sequence and write x n x or lim n + x n =x.

Proposition 24 Let (X,G) be a G-metric space. The following are equivalent:

  1. (1)

    { x n } is G-convergent to x,

  2. (2)

    G( x n , x n ,x)0 as n+,

  3. (3)

    G( x n ,x,x)0 as n+,

  4. (4)

    G( x n , x m ,x)0 as n,m+.

Definition 25 Let (X,G) be a G-metric space. A sequence { x n } is called a G-Cauchy sequence if, for any ε>0, there exists NN such that G( x n , x m , x l )<ε for all m,n,lN, that is, G( x n , x m , x l )0 as n,m,l+.

Proposition 26 Let (X,G) be a G-metric space. Then the following are equivalent:

  1. (1)

    the sequence { x n } is G-Cauchy,

  2. (2)

    for any ε>0, there exists NN such that G( x n , x m , x m )<ε, for all m,nN.

Definition 27 A G-metric space (X,G) is called G-complete if every G-Cauchy sequence is G-convergent in (X,G).

For more details of G-metric space, we refer e.g. to [79].

Theorem 28 Let (X,G) be a G-metric space. Let d:X×X[0,) be the function defined by d(x,y)=G(x,y,y). Then

  1. (1)

    (X,d) is a quasi-metric space;

  2. (2)

    { x n }X is G-convergent to xX if and only if { x n } is convergent to x in (X,d);

  3. (3)

    { x n }X is G-Cauchy if and only if { x n } is Cauchy in (X,d);

  4. (4)

    (X,G) is G-complete if and only if (X,d) is complete.

Every quasi-metric induces a metric, that is, if (X,d) is a quasi-metric space, then the function δ:X×X[0,) defined by

δ(x,y)=max { d ( x , y ) , d ( y , x ) }

is a metric on X.

As an immediate consequence of the definition above and Theorem 28, the following theorem is obtained.

Theorem 29 Let (X,G) be a G-metric space. Let d:X×X[0,) be the function defined by d(x,y)=G(x,y,y). Then

  1. (1)

    (X,d) is a quasi-metric space;

  2. (2)

    { x n }X is G-convergent to xX if and only if { x n } is convergent to x in (X,δ);

  3. (3)

    { x n }X is G-Cauchy if and only if { x n } is Cauchy in (X,δ);

  4. (4)

    (X,G) is G-complete if and only if (X,δ) is complete.

Now, we state the characterization of Definition 9 and Definition 11 in the context of G-metric space.

Definition 30 (See e.g. [10, 11])

Let (X,G) be a G-metric space and T:XX be a given mapping. We say that T is a β-ψ contractive mapping of type I if there exist two functions β:X×X×X[0,) and ψΨ such that for all x,yX, we have

β(x,y,y)G(Tx,Ty,Tz)ψ ( G ( x , y , y ) ) .
(3.2)

Definition 31 (See e.g. [10, 11])

Let T:XX and β:X×X×X[0,). We say that T is β admissible if for all x,yX we have

β(x,y,y)1β(Tx,Ty,Ty)1.
(3.3)

Lemma 32 Let T:XX where X is non-empty set. It is clear that the self-mapping T is β admissible if and only if T is α admissible.

Proof It is sufficient to let α(x,y)=β(x,y,y). □

Theorem 33 Let (X,G) be a complete G-metric space. Suppose that T:XX is a β-ψ contractive mapping which satisfies:

  1. (i)

    T is β admissible;

  2. (ii)

    there exists x 0 X such that β(T x 0 , x 0 , x 0 )1 and β( x 0 ,T x 0 ,T x 0 )1;

  3. (iii)

    T is continuous.

Then T has a fixed point.

Proof Consider the quasi-metric d(x,y)=G(x,y,y) for all x,yX. Due to Lemma 32 and (3.2), we have

α(x,y)d(Tx,Ty)ψ ( d ( x , y ) ) ,x,yX.
(3.4)

Then the result follows from Theorem 13. □

Definition 34 Let (X,G) be a G-metric space and T:XX be a given mapping. We say that T is a generalized β-ψ contractive mapping of type A if there exist two functions β:X×X×X[0,) and ψΨ such that for all x,yX we have

β(x,y,y)G(Tx,Ty,Ty)ψ ( M 1 ( x , y , y ) ) ,
(3.5)

where

M 1 (x,y,y)=max { G ( x , y , y ) , G ( T x , x , x ) , G ( T y , y , y ) , 1 2 [ G ( T x , y , y ) + G ( T y , x , x ) ] } .
(3.6)

Definition 35 Let (X,G) be a G-metric space and T:XX be a given mapping. We say that T is a generalized β-ψ contractive mapping of type B if there exist two functions β:X×X×X[0,) and ψΨ such that for all x,yX we have

β(x,y,y)G(Tx,Ty,Ty)ψ ( N 1 ( x , y , y ) ) ,
(3.7)

where

N 1 ( x , y , y ) = max { G ( x , y , y ) , 1 2 [ G ( T x , x , x ) + G ( T y , y , y ) ] , 1 2 [ G ( T x , y , y ) + d ( T y , x , x ) ] } .
(3.8)

Remark 36 It is simple to see that every β-ψ contractive mapping is a generalized β-ψ contractive mapping of type A.

Similarly, every β-ψ contractive mapping is a generalized β-ψ contractive mapping of type B.

Theorem 37 Let (X,G) be a complete G-metric space. Suppose that T:XX is a generalized β-ψ contractive mapping of type A and satisfies:

  1. (i)

    T is β admissible;

  2. (ii)

    there exists x 0 X such that β(T x 0 , x 0 , x 0 )1 and β( x 0 ,T x 0 ,T x 0 )1;

  3. (iii)

    T is continuous.

Then T has a fixed point.

Proof Consider the quasi-metric d(x,y)=G(x,y,y) for all x,yX. From Lemma 32 together with (3.5) and (3.6), we deduce that

α(x,y)d(Tx,Ty)ψ ( M ( x , y ) ) ,x,yX.
(3.9)

Then the result follows from Theorem 17. □

Theorem 38 Let (X,G) be a complete G-metric space. Suppose that T:XX is a β-ψ contractive mapping which satisfies:

  1. (i)

    T is β admissible;

  2. (ii)

    there exists x 0 X such that β(T x 0 , x 0 , x 0 )1;

  3. (iii)

    if { x n } is a sequence in X such that β( x n + 1 , x n , x n )1 for all n and x n xX as n, then there exists a subsequence { x n ( k ) } of { x n } such that β(x, x n ( k ) , x n ( k ) )1 for all k.

Then T has a fixed point.

Proof Consider the quasi-metric d(x,y)=G(x,y,y) for all x,yX. By Lemma 32 and (3.2), we find that

α(x,y)d(Tx,Ty)ψ ( d ( x , y ) ) ,x,yX.
(3.10)

Then the result follows from Theorem 14. □

Theorem 39 Let (X,G) be a complete G-metric space. Suppose that T:XX is a generalized β-ψ contractive mapping of type B which satisfies:

  1. (i)

    T is β admissible;

  2. (ii)

    there exists x 0 X such that β(T x 0 , x 0 , x 0 )1;

  3. (iii)

    if { x n } is a sequence in X such that β( x n + 1 , x n , x n )1 for all n and x n xX as n, then there exists a subsequence { x n ( k ) } of { x n } such that β(x, x n ( k ) , x n ( k ) )1 for all k.

Then T has a fixed point.

Proof Consider the quasi-metric d(x,y)=G(x,y,y) for all x,yX. Regarding Lemma 32, (3.7), and (3.8), we derive

α(x,y)d(Tx,Ty)ψ ( N ( x , y ) ) ,x,yX.
(3.11)

Then the result follows from Theorem 19. □

References

  1. Samet B, Vetro C, Vetro P: Fixed point theorem for α - ψ contractive type mappings. Nonlinear Anal. 2012, 75: 2154-2165. 10.1016/j.na.2011.10.014

    Article  MathSciNet  MATH  Google Scholar 

  2. Samet B, Vetro C, Vetro F: Remarks on metric spaces. Int. J. Anal. 2013., 2013: Article ID 917158

    Google Scholar 

  3. Karapınar E, Samet B: Generalized α - ψ contractive type mappings and related fixed point theorems with applications. Abstr. Appl. Anal. 2012., 2012: Article ID 793486 10.1155/2012/793486

    Google Scholar 

  4. Agarwal R, Karapınar E: Remarks on some coupled fixed point theorems in G -metric spaces. Fixed Point Theory Appl. 2013., 2013: Article ID 2

    Google Scholar 

  5. Agarwal R, Karapınar E: Further fixed point results on G -metric spaces. Fixed Point Theory Appl. 2013., 2013: Article ID 154

    Google Scholar 

  6. Jleli M, Samet B: Remarks on G -metric spaces and fixed point theorems. Fixed Point Theory Appl. 2012., 2012: Article ID 210

    Google Scholar 

  7. Mustafa Z, Sims B: A new approach to generalized metric spaces. J. Nonlinear Convex Anal. 2006, 7: 289-297.

    MathSciNet  MATH  Google Scholar 

  8. Mustafa Z, Sims B: Fixed point theorems for contractive mappings in complete G -metric spaces. Fixed Point Theory Appl. 2009., 2009: Article ID 917175

    Google Scholar 

  9. Mustafa, Z: A new structure for generalized metric spaces with applications to fixed point theory. Ph.D. thesis, The University of Newcastle, Australia (2005)

    Google Scholar 

  10. Alghamdi MA, Karapınar E: G - β - ψ Contractive type mappings and related fixed point theorems. J. Inequal. Appl. 2013., 2013: Article ID 70

    Google Scholar 

  11. Alghamdi MA, Karapınar E: G - β - ψ Contractive type mappings in G -metric spaces. Fixed Point Theory Appl. 2013., 2013: Article ID 123

    Google Scholar 

Download references

Acknowledgements

The authors thank the Visiting Professor Programming at King Saud University for funding this work. The authors thank the anonymous referees for their remarkable comments, suggestion, and ideas that helped to improve this paper.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Erdal Karapınar.

Additional information

Competing interests

The authors declare that there is no conflict of interests regarding the publication of this article.

Authors’ contributions

All authors contributed equally and significantly in writing this article. 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

Bilgili, N., Karapınar, E. & Samet, B. Generalized α-ψ contractive mappings in quasi-metric spaces and related fixed-point theorems. J Inequal Appl 2014, 36 (2014). https://doi.org/10.1186/1029-242X-2014-36

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1029-242X-2014-36

Keywords