Skip to main content

Fixed points for generalized (α,ψ)-contractions on generalized metric spaces

Abstract

In this paper, we introduce some generalized (α,ψ)-contractive mappings in the setting of generalized metric spaces and, based on the very recent paper (Kirk and Shahzad in Fixed Point Theory Appl. 2013:129, 2013), we omit the Hausdorff hypothesis to prove some fixed point results involving such mappings. Some consequences on existing fixed point theorems are also derived.

MSC:46T99, 47H10, 54H25.

1 Introduction and preliminaries

The topology of generalized metrics has some disadvantages:

  1. (P1)

    A generalized metric does not need to be continuous.

  2. (P2)

    A convergent sequence in generalized metric spaces does not need to be Cauchy.

  3. (P3)

    A generalized metric space does not need to be Hausdorff, and hence the uniqueness of limits cannot be guaranteed.

Very recently, Samet et al. [1] suggested a very interesting class of mappings, known as α-ψ contractive mappings, to investigate the existence and uniqueness of a fixed point. Several well-known fixed point theorems, including the Banach mapping principle were concluded as consequences of the main result of this interesting paper. The techniques used in this paper have been studied and improved by a number of authors; see e.g. [27].

In this paper, we investigate the existence and uniqueness of fixed points of (α,ψ)-contractive mappings in the setting of generalized metric spaces by caring the problems (P1)-(P3) mentioned above. In the literature, notice that there are distinct notions that are called ‘a generalized metric’. In the sequel, when we mention a ‘generalized metric’ we mean the metric introduced by Branciari [8] who introduced the concept of a generalized metric space by replacing the triangle inequality by a more general inequality. As such, any metric space is a generalized metric space but the converse is not true [8]. He proved the Banach fixed point theorem in such a space. For more details, the reader can refer to [5, 924].

First, we recollect some fundamental definitions and notations and basic results that will be used throughout this paper.

and R + denote the set of positive integers and the set of nonnegative reals, respectively. Let Ψ be the family of functions ψ:[0,)[0,) satisfying the following conditions:

  1. (i)

    ψ is upper semicontinuous;

  2. (ii)

    ( ψ n ( t ) ) n N converges to 0 as n, for all t>0;

  3. (iii)

    ψ(t)<t, for any t>0.

In the following, we recall the notion of a generalized metric space.

Definition 1 [8]

Let X be a nonempty set and let d:X×X[0,] satisfy the following conditions, for all x,yX and all distinct u,vX each of which is different from x and y.

( GMS 1 ) d ( x , y ) = 0  if and only if  x = y , ( GMS 2 ) d ( x , y ) = d ( y , x ) , ( GMS 3 ) d ( x , y ) d ( x , u ) + d ( u , v ) + d ( v , y ) .
(1.1)

Then the map d is called a generalized metric and abbreviated as GMS. Here, the pair (X,d) is called a generalized metric space.

In the above definition, if d satisfies only (GMS1) and (GMS2), then it is called a semimetric (see e.g. [25]).

The concepts of convergence, Cauchy sequence, completeness, and continuity on a GMS are defined below.

Definition 2

  1. (1)

    A sequence { x n } in a GMS (X,d) is GMS convergent to a limit x if and only if d( x n ,x)0 as n.

  2. (2)

    A sequence { x n } in a GMS (X,d) is GMS Cauchy if and only if for every ε>0 there exists positive integer N(ε) such that d( x n , x m )<ε, for all n>m>N(ε).

  3. (3)

    A GMS (X,d) is called complete if every GMS Cauchy sequence in X is GMS convergent.

  4. (4)

    A mapping T:(X,d)(X,d) is continuous if for any sequence { x n } in X such that d( x n ,x)0 as n, we have d(T x n ,Tx)0 as n.

The following assumption was suggested by Wilson [25] to replace the triangle inequality with the weakened condition.

(W) For each pair of (distinct) points u, v, there is a number r u , v >0 such that for every zX,

r u , v <d(u,z)+d(z,v).

Proposition 3 [26]

In a semimetric space, the assumption (W) is equivalent to the assertion that limits are unique.

Proposition 4 [26]

Suppose that { x n } is a Cauchy sequence in a GMS (X,d) with lim n d( x n ,u)=0, where uX. Then lim n d( x n ,z)=d(u,z), for all zX. In particular, the sequence { x n } does not converge to z if zu.

Recall that Samet et al. [1] introduced the following concepts.

Definition 5 [1]

For a nonempty set X, let T:XX and α:X×X[0,) be mappings. We say that T is α-admissible if, for all x,yX, we have

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

Some interesting examples of such mappings were given in [1]. The notion of a α-ψ contractive mapping is also defined in the following way.

Definition 6 [1]

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

α(x,y)d(Tx,Ty)ψ ( d ( x , y ) ) ,for all x,yX.
(1.3)

It is obvious that any contractive mapping that is a mapping satisfying the Banach contraction is a α-ψ contractive mapping with α(x,y)=1, for all x,yX and ψ(t)=kt, k(0,1).

Very recently, Karapınar [5] gave the analog of the notion of a α-ψ contractive mapping, in the context of generalized metric spaces as follows.

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

α(x,y)d(Tx,Ty)ψ ( d ( x , y ) ) ,for all x,yX.
(1.4)

Karapınar [5] also stated the following fixed point theorems.

Theorem 8 Let (X,d) be a complete generalized metric space and T:XX be a α-ψ contractive mapping. Suppose that

  1. (i)

    T is α-admissible;

  2. (ii)

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

  3. (iii)

    T is continuous.

Then there exists a uX such that Tu=u.

Theorem 9 Let (X,d) be a complete generalized metric space and T:XX be a α-ψ contractive mapping. Suppose that

  1. (i)

    T is α-admissible;

  2. (ii)

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

  3. (iii)

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

Then there exists a uX such that Tu=u.

For the uniqueness, we need an additional condition:

  1. (U)

    For all x,yFix(T), we have α(x,y)1, where Fix(T) denotes the set of fixed points of T.

Theorem 10 Adding condition (U) to the hypotheses of Theorem 8 (resp. Theorem 9), we find that u is the unique fixed point of T.

As an alternative condition for the uniqueness of a fixed point of a α-ψ contractive mapping, we shall consider the following hypothesis.

(H) For all x,yFix(T), there exists zX such that α(x,z)1 and α(y,z)1.

Theorem 11 Adding conditions (H) and (W) to the hypotheses of Theorem 8 (resp. Theorem 9), we find that u is the unique fixed point of T.

Corollary 12 Adding condition (H) to the hypotheses of Theorem 8 (resp. Theorem 9) and assuming that (X,d) is Hausdorff, we find that u is the unique fixed point of T.

In this paper, we give some generalized (α,ψ)-contractive mappings. Using such mappings, we prove some fixed point results in the setting of generalized metric spaces. Our results have been found without the assumption that the GMS space (X,d) is Hausdorff. Note that this statement has been observed first in [26]. Some consequences on existing fixed point theorems are provided.

2 Main results

First, we give in the following definitions a generalization of the notion of α-ψ contractive mappings in the context of a generalized metric space.

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

α(x,y)d(Tx,Ty)ψ ( M ( x , y ) ) ,for all x,yX,
(2.1)

where

M(x,y)=max { d ( x , y ) , d ( x , T x ) , d ( y , T y ) } .
(2.2)

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

α(x,y)d(Tx,Ty)ψ ( N ( x , y ) ) ,for all x,yX,
(2.3)

where

N(x,y)=max { d ( x , y ) , d ( x , T x ) + d ( y , T y ) 2 } .
(2.4)

Now, we state our first fixed point result.

Theorem 15 Let (X,d) be a complete generalized metric space and T:XX be a generalized α-ψ contractive mapping of type I. Suppose that

  1. (i)

    T is α-admissible;

  2. (ii)

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

  3. (iii)

    T is continuous.

Then there exists a uX such that Tu=u.

Proof By assumption (ii), there exists a point x 0 X such that α( x 0 ,T x 0 )1 and α( x 0 , T 2 x 0 )1. We define a sequence { x n } in X by x n + 1 =T x n = T n + 1 x 0 , for all n0. Suppose that x n 0 = x n 0 + 1 for some n 0 . So the proof is completed since u= x n 0 = x n 0 + 1 =T x n 0 =Tu. Consequently, throughout the proof, we assume that

x n x n + 1 ,for all n.
(2.5)

Observe that

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

since T is α-admissible. By repeating the process above, we derive

α( x n , x n + 1 )1,for all n=0,1,.
(2.6)

By using the same technique above, we get

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

The expression above yields

α( x n , x n + 2 )1,for all n=0,1,.
(2.7)

Step 1: We shall prove

lim n d( x n , x n + 1 )=0.
(2.8)

Combining (2.1) and (2.6), we find 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.9)

for all n1, where

M ( x n 1 , x n ) = max { d ( x n 1 , x n ) , d ( x n 1 , T x n 1 ) , d ( x n , T x n ) } = max { d ( x n 1 , x n ) , d ( x n 1 , x n ) , d ( x n , x n + 1 ) } = max { d ( x n 1 , x n ) , d ( x n , x n + 1 ) } .
(2.10)

If for some n, M( x n 1 , x n )=d( x n , x n + 1 ) (≠0), then the inequality (2.9) turns into

d( x n , x n + 1 )ψ ( M ( x n 1 , x n ) ) =ψ ( d ( x n , x n + 1 ) ) <d( x n , x n + 1 ),

which is a contradiction. Hence, M( x n 1 , x n )=d( x n 1 , x n ), for all nN, and (2.9) becomes

d( x n , x n + 1 )ψ ( d ( x n 1 , x n ) ) ,for all nN.
(2.11)

This yields

d( x n , x n + 1 )<d( x n 1 , x n ),for all nN.
(2.12)

By (2.11), we find that

d( x n , x n + 1 ) ψ n ( d ( x 0 , x 1 ) ) ,for all nN.
(2.13)

By the property of ψ, it is evident that

lim n d( x n , x n + 1 )=0.

Step 2: We shall prove

lim n d( x n , x n + 2 )=0.
(2.14)

Regarding (2.1) and (2.7), we deduce that

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

for all n1, where

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

By (2.12), we have

M( x n 1 , x n + 1 )=max { d ( x n 1 , x n + 1 ) , d ( x n 1 , x n ) } .

Take a n =d( x n , x n + 2 ) and b n =d( x n , x n + 1 ). Thus, from (2.16)

a n =d( x n , x n + 2 )ψ ( M ( x n 1 , x n + 1 ) ) =ψ ( max { a n 1 , b n 1 } ) ,for all nN.
(2.17)

Again, by (2.12)

b n b n 1 max{ a n 1 , b n 1 }.

Therefore

max{ a n , b n }max{ a n 1 , b n 1 },for all nN.

Then the sequence {max{ a n , b n }} is monotone nonincreasing, so it converges to some t0. Assume that t>0. Now, by (2.8)

lim sup n a n = lim sup n max{ a n , b n }= lim n max{ a n , b n }=t.

Taking n in (2.17)

t= lim sup n a n lim sup n ψ ( max { a n 1 , b n 1 } ) ψ ( lim n max { a n 1 , b n 1 } ) =ψ(t)<t,

which is a contradiction, that is, (2.14) is proved.

Step 3: We shall prove that

x n x m ,for all nm.
(2.18)

We argue by contradiction. Suppose that x n = x m for some m,nN with mn. Since d( x p , x p + 1 )>0, for each pN, without loss of generality, we may assume that m>n+1. Consider now

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

where

M ( x m 1 , x m ) = max { d ( x m 1 , x m ) , d ( x m 1 , T x m 1 ) , d ( x m , T x m ) } = max { d ( x m 1 , x m ) , d ( x m 1 , x m ) , d ( x m , x m + 1 ) } = max { d ( x m 1 , x m ) , d ( x m , x m + 1 ) } .
(2.20)

If M( x m 1 , x m )=d( x m 1 , x m ), then from (2.19) we get

d ( x n , x n + 1 ) = d ( x n , T x n ) = d ( x m , T x m ) = d ( x m , x m + 1 ) α ( x m , x m + 1 ) d ( T x m 1 , T x m ) ψ ( M ( x m 1 , x m ) ) = ψ ( d ( x m 1 , x m ) ) ψ m n ( d ( x n , x n + 1 ) ) .
(2.21)

If M( x m 1 , x m )=d( x m , x m + 1 ), the inequality (2.19) becomes

d ( x n , x n + 1 ) = d ( x n , T x n ) = d ( x m , T x m ) = d ( T x m 1 , T x m ) α ( x m 1 , x m ) d ( T x m 1 , T x m ) ψ ( M ( x m 1 , x m ) ) = ψ ( d ( x m , x m + 1 ) ) ψ m n + 1 ( d ( x n , x n + 1 ) ) .
(2.22)

Due to a property of ψ, the inequalities (2.21) and (2.22) together yield

d( x n , x n + 1 ) ψ m n ( d ( x n , x n + 1 ) ) <d( x n , x n + 1 )
(2.23)

and

d( x n , x n + 1 ) ψ m n + 1 ( d ( x n , x n + 1 ) ) <d( x n , x n + 1 ),
(2.24)

respectively. In each case, there is a contradiction.

Step 4: We shall prove that { x n } is a Cauchy sequence, that is,

lim n d( x n , x n + k )=0,for all kN.
(2.25)

The cases k=1 and k=2 are proved, respectively, by (2.8) and (2.14). Now, take k3 arbitrary. It is sufficient to examine two cases.

Case (I): Suppose that k=2m+1 where m1. Then, by using step 3 and the quadrilateral inequality together with (2.13), we find

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

Case (II): Suppose that k=2m where m2. Again, by applying the quadrilateral inequality and step 3 together with (2.13), we find

d ( x n , x n + k ) = d ( x n , x n + 2 m ) d ( x n , x n + 2 ) + d ( x n + 2 , x n + 3 ) + + d ( x n + 2 m 1 , x n + 2 m ) d ( x n , x n + 2 ) + p = n + 2 n + 2 m 1 ψ p ( d ( x 0 , x 1 ) ) d ( x n , x n + 2 ) + p = n + ψ p ( d ( x 0 , x 1 ) ) 0 as  n .
(2.27)

By combining the expressions (2.26) and (2.27), we have

lim n d( x n , x n + k )=0,for all k3.

We conclude that { x n } is a Cauchy sequence in (X,d). Since (X,d) is complete, there exists uX such that

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

Since T is continuous, we obtain from (2.28) that

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

that is, lim n x n + 1 =Tu. Taking Proposition 4 into account, we conclude that Tu=u, that is, u is a fixed point of T. □

The following result is deduced from Theorem 15 due to the obvious inequality N(x,y)M(x,y).

Theorem 16 Let (X,d) be a complete generalized metric space and T:XX be a generalized α-ψ contractive mapping of type II. Suppose that

  1. (i)

    T is α-admissible;

  2. (ii)

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

  3. (iii)

    T is continuous.

Then there exists a uX such that Tu=u.

Theorem 15 remains true if we replace the continuity hypothesis by the following property:

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

This statement is given as follows.

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

  1. (i)

    T is α-admissible;

  2. (ii)

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

  3. (iii)

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

Then there exists uX such that Tu=u.

Proof Following the proof of Theorem 8, we know that the sequence { x n } defined by x n + 1 =T x n , for all n0, is Cauchy and converges to some uX. In view of Proposition 4,

lim k d( x n ( k ) + 1 ,Tu)=d(u,Tu).
(2.30)

We shall show that Tu=u. Suppose, on the contrary, that Tuu, i.e., d(Tu,u)>0. From (2.6) and condition (iii), there exists a subsequence { x n ( k ) } of { x n } such that α( x n ( k ) ,u)1, for all k.

By applying (2.1), we get

d( x n ( k ) + 1 ,Tu)α( x n ( k ) ,u)d(T x n ( k ) ,Tu)ψ ( M ( x n ( k ) , u ) ) ,
(2.31)

where

M ( x n ( k ) , u ) = max { d ( x n ( k ) , u ) , d ( x n ( k ) , T x n ( k ) ) , d ( u , T u ) } = max { d ( x n ( k ) , u ) , d ( x n ( k ) , x n ( k ) + 1 ) , d ( u , T u ) } .
(2.32)

By (2.8) and (2.30), we have

lim k M( x n ( k ) ,u)=d(u,Tu).
(2.33)

Letting k in (2.31) and regarding that ψ is upper semicontinuous

d(u,Tu)ψ ( d ( u , T u ) ) <d(u,Tu),
(2.34)

which is a contradiction. Hence, we find that u is a fixed point of T, that is, Tu=u. □

In the following, the hypothesis of upper semicontinuity of ψ is not required. Similar to Theorem 17, for the generalized α-ψ contractive mappings of type II, we have the following.

Theorem 18 Let (X,d) be a complete generalized metric space and T:XX be a generalized α-ψ contractive mapping of type II. Suppose that

  1. (i)

    T is α-admissible;

  2. (ii)

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

  3. (iii)

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

Then there exists uX such that Tu=u.

Proof Following the proof of Theorem 16 (which is the same as Theorem 15), we know that the sequence { x n } defined by x n + 1 =T x n , for all n0, is Cauchy and converges to some uX. Similarly, in view of Proposition 4,

lim k d( x n ( k ) + 1 ,Tu)=d(u,Tu).
(2.35)

We shall show that Tu=u. Suppose, on the contrary, that Tuu. From (2.6) and condition (iii), there exists a subsequence { x n ( k ) } of { x n } such that α( x n ( k ) ,u)1, for all k. By applying (2.3), for all k, we get

d( x n ( k ) + 1 ,Tu)α( x n ( k ) ,u)d(T x n ( k ) ,Tu)ψ ( N ( x n ( k ) , u ) ) ,
(2.36)

where

N( x n ( k ) ,u)=max { d ( x n ( k ) , u ) , d ( x n ( k ) , T x n ( k ) ) + d ( u , T u ) 2 } .
(2.37)

Letting k in (2.36), we have

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

From (2.38), for k large enough, we have N( x n ( k ) ,u)>0, which implies that

ψ ( N ( x n ( k ) , u ) ) <N( x n ( k ) ,u).

Thus, from (2.36) and (2.38), we have

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

which is a contradiction. Hence, we find that u is a fixed point of T, that is, Tu=u. □

Theorem 19 Adding condition (U) to the hypotheses of Theorem 15 (resp. Theorem 17), we obtain that u is the unique fixed point of T.

Proof In what follows we shall show that u is a unique fixed point of T. Let v be another fixed point of T with vu. By hypothesis (U),

1α(u,v)=α(Tu,Tv).

Now, due to (2.1), we have

d ( u , v ) α ( u , v ) d ( u , v ) = α ( T u , T v ) d ( T u , T v ) ψ ( M ( u , v ) ) = ψ ( max { d ( u , v ) , d ( u , T u ) , d ( v , T v ) } ) = ψ ( d ( u , v ) ) < d ( u , v ) ,
(2.39)

which is a contradiction. Hence, u=v. □

Theorem 20 Adding condition (U) to the hypotheses of Theorem 16 (resp. Theorem 18), we see that u is the unique fixed point of T.

Proof The proof is an analog of the proof of Theorem 19. Suppose, on the contrary, that v is another fixed point of T with vu. It is evident that 1α(u,v)=α(Tu,Tv).

Now, due to (2.3), we have

d ( u , v ) α ( u , v ) d ( u , v ) = α ( T u , T v ) d ( T u , T v ) ψ ( N ( u , v ) ) = ψ ( max { d ( u , v ) , d ( u , T u ) + d ( v , T v ) 2 } ) = ψ ( d ( u , v ) ) < d ( u , v ) ,
(2.40)

which is a contradiction. Hence, u=v. □

As alternative conditions for the uniqueness of a fixed point of a generalized α-ψ contractive mapping, we shall consider the following hypotheses:

(H1) For all x,yFix(T), there exists z in X such that α(x,z)1 and α(y,z)1.

(H2) Let x,yFix(T). If there exists { z n } in X such that α(x, z n )1 and α(y, z n )1, then

d( z n , z n + 1 )inf { d ( x , z n ) , d ( y , z n ) } ,for all nN.

Theorem 21 Adding conditions (H1), (H2), and (W) to the hypotheses of Theorem 15 (resp. Theorem 17), we find that u is the unique fixed point of T.

Proof Suppose that v is another fixed point of T, so d(u,v)>0. From (H1), there exists zX such that

α(u,z)1andα(v,z)1.
(2.41)

Since T is α-admissible, from (2.41), we have

α ( u , T n z ) 1andα ( v , T n z ) 1,for all n.
(2.42)

Define the sequence { z n } in X by z n + 1 =T z n , for all n0 and z 0 =z. From (2.42), for all n, we have

d(u, z n + 1 )=d(Tu,T z n )α(u, z n )d(Tu,T z n )ψ ( M ( u , z n ) ) ,
(2.43)

where

M(u, z n )=max { d ( u , z n ) , d ( u , T u ) , d ( z n , T z n ) } =max { d ( u , z n ) , d ( z n , z n + 1 ) } .
(2.44)

By (H2), we get

M(u, z n )=d(u, z n ),for all n.

Iteratively, by using the inequality (2.43), we get

d(u, z n ) ψ n ( d ( u , z 0 ) ) ,
(2.45)

for all n. Letting n in the above inequality, we obtain

lim n d( z n ,u)=0.
(2.46)

Similarly, one can show that

lim n d( z n ,v)=0.
(2.47)

Regarding (W), there exists r u , v >0 such that, for all n,

r u , v <d(u, z n )+d(v, z n ).

From (2.46) and (2.47), by passing n, it follows that r u , v =0, which is a contradiction. Thus, we proved that u is the unique fixed point of T. □

Theorem 22 Adding conditions (H1), (H2) and (W) to the hypotheses of Theorem 16 (resp. Theorem 18), we find that u is the unique fixed point of T.

Proof Suppose that v is another fixed point of T and uv. From (H1), there exists zX such that

α(u,z)1andα(v,z)1.
(2.48)

Since T is α-admissible, from (2.48), we have

α ( u , T n z ) 1andα ( v , T n z ) 1,for all n.
(2.49)

Define the sequence { z n } in X by z n + 1 =T z n , for all n0 and z 0 =z. From (2.49), for all n, we have

d(u, z n + 1 )=d(Tu,T z n )α(u, z n )d(Tu,T z n )ψ ( N ( u , z n ) ) ,
(2.50)

where

N(u, z n )=max { d ( u , z n ) , d ( u , T u ) + d ( z n , T z n ) 2 } =max { d ( u , z n ) , d ( z n , z n + 1 ) 2 } .
(2.51)

By (H2), we get

N(u, z n )=d(u, z n ),for all n.

Iteratively, by using the inequality (2.50), we get

d(u, z n ) ψ n ( d ( u , z 0 ) ) ,
(2.52)

for all n. Letting n in the above inequality, we obtain

lim n d( z n ,u)=0.
(2.53)

Similarly, one can show that

lim n d( z n ,v)=0.
(2.54)

Similarly, regarding (W) together with (2.53) and (2.54), it follows that u=v. Thus we proved that u is the unique fixed point of T. □

It is well known that the Hausdorff property implies the uniqueness of the limit, so the (W) condition in Theorem 21 (resp. Theorem 22) can be replaced by the Hausdorff property. Then the proof of the following result is clear and hence it is omitted.

Corollary 23 Adding conditions (H1) and (H2) to the hypotheses of Theorem 15 (resp. Theorem 17, Theorem 16, Theorem 18) and assuming that (X,d) is Hausdorff, we find that u is the unique fixed point of T.

3 Consequences

Now, we will show that many existing results in the literature can be deduced easily from our obtained results.

Corollary 24 Let (X,d) be a complete generalized metric space and T:XX be a given continuous mapping. Suppose that there exists a function ψΨ such that

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

for all x,yX. Then T has a unique fixed point.

Proof It suffices to take α(x,y)=1 in Theorem 19. □

The following fixed point theorems follow immediately from Corollary 24 by taking ψ(t)=λt, where λ(0,1).

Corollary 25 Let (X,d) be a complete generalized metric space and T:XX be a given continuous mapping. Suppose that there exists a constant λ(0,1) such that

d(Tx,Ty)λM(x,y),

for all x,yX. Then T has a unique fixed point.

Following Corollary 3.8 of Karapınar and Samet [6], we deduce an existing result on generalized metric spaces endowed with a partial order. At first, we need to recall some concepts.

Definition 26 Let (X,) be a partially ordered set and T:XX be a given mapping. We say that T is nondecreasing with respect to if

x,yX,xyTxTy.

Definition 27 Let (X,) be a partially ordered set. A sequence { x n }X is said to be nondecreasing with respect to if x n x n + 1 , for all n.

Definition 28 Let (X,) be a partially ordered set and d be a generalized metric on X. We say that (X,,d) is regular if for every nondecreasing sequence { x n }X such that x n xX as n, there exists a subsequence { x n ( k ) } of { x n } such that x n ( k ) x, for all k.

Corollary 29 Let (X,) be a partially ordered set and d be a generalized metric on X such that (X,d) is complete. Let T:XX be a nondecreasing mapping with respect to . Suppose that there exists a function ψΨ such that

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

for all x,yX with xy. Suppose also that the following conditions hold:

  1. (i)

    there exists x 0 X such that x 0 T x 0 and x 0 T 2 x 0 ;

  2. (ii)

    T is continuous or (X,,d) is regular.

Then T has a fixed point.

Proof Define the mapping α:X×X[0,) by

α(x,y)= { 1 if  x y  or  x y , 0 otherwise .

The rest of proof follows similarly to the proof of Corollary 3.8 of Karapınar and Samet [6]. □

References

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

    Article  MathSciNet  Google Scholar 

  2. Ali MU, Kamran T:On ( α ,ψ)-contractive multi-valued mappings. Fixed Point Theory Appl. 2013. Article ID 137, 2013: Article ID 137

    Google Scholar 

  3. Jleli M, Karapınar E, Samet B: Best proximity points for generalized α - ψ -proximal contractive type mappings. J. Appl. Math. 2013. Article ID 534127, 2013: Article ID 534127

    Google Scholar 

  4. Jleli M, Karapınar E, Samet B: Fixed point results for α - ψ λ contractions on gauge spaces and applications. Abstr. Appl. Anal. 2013. Article ID 730825, 2013: Article ID 730825

    Google Scholar 

  5. Karapınar E:Discussion on (α,ψ) contractions on generalized metric spaces. Abstr. Appl. Anal. 2014. Article ID 962784, 2014: Article ID 962784

    Google Scholar 

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

    Google Scholar 

  7. Mohammadi B, Rezapour S, Shahzad N: Some results on fixed points of α - ψ -Ćirić generalized multifunctions. Fixed Point Theory Appl. 2013. Article ID 24, 2013: Article ID 24

    Google Scholar 

  8. Branciari A: A fixed point theorem of Banach-Caccioppoli type on a class of generalized metric spaces. Publ. Math. (Debr.) 2000, 57: 31-37.

    MathSciNet  Google Scholar 

  9. Aydi H, Karapınar E, Lakzian H: Fixed point results on the class of generalized metric spaces. Math. Sci. 2012. Article ID 46, 6: Article ID 46

    Google Scholar 

  10. Azam A, Arshad M: Kannan fixed point theorems on generalized metric spaces. J. Nonlinear Sci. Appl. 2008, 1: 45-48.

    MathSciNet  Google Scholar 

  11. Azam A, Arshad M, Beg I: Banach contraction principle on cone rectangular metric spaces. Appl. Anal. Discrete Math. 2009, 3: 236-241. 10.2298/AADM0902236A

    Article  MathSciNet  Google Scholar 

  12. Bilgili N, Karapınar E:A note on ‘Common fixed points for (ψ,α,β)-weakly contractive mappings in generalized metric spaces’. Fixed Point Theory Appl. 2013. Article ID 287, 2013: Article ID 287

    Google Scholar 

  13. Das P: A fixed point theorem on a class of generalized metric spaces. Korean J. Math. Sci. 2002, 9: 29-33.

    Google Scholar 

  14. Das P: A fixed point theorem in generalized metric spaces. Soochow J. Math. 2007, 33: 33-39.

    MathSciNet  Google Scholar 

  15. Das P, Lahiri BK: Fixed point of a Ljubomir Ćirić’s quasi-contraction mapping in a generalized metric space. Publ. Math. (Debr.) 2002, 61: 589-594.

    MathSciNet  Google Scholar 

  16. Das P, Lahiri BK: Fixed point of contractive mappings in generalized metric space. Math. Slovaca 2009, 59: 499-504. 10.2478/s12175-009-0143-2

    Article  MathSciNet  Google Scholar 

  17. Erhan IM, Karapınar E, Sekulić T:Fixed points of (ψ,ϕ) contractions on rectangular metric spaces. Fixed Point Theory Appl. 2012. Article ID 138, 2012: Article ID 138

    Google Scholar 

  18. Jleli M, Samet B: The Kannan’s fixed point theorem in a cone rectangular metric space. J. Nonlinear Sci. Appl. 2009,2(3):161-167.

    MathSciNet  Google Scholar 

  19. Kikina L, Kikina K: A fixed point theorem in generalized metric space. Demonstr. Math. 2013, XLVI: 181-190.

    MathSciNet  Google Scholar 

  20. Lakzian H, Samet B:Fixed points for (ψ,φ)-weakly contractive mapping in generalized metric spaces. Appl. Math. Lett. 2012, 25: 902-906. 10.1016/j.aml.2011.10.047

    Article  MathSciNet  Google Scholar 

  21. Mihet D: On Kannan fixed point principle in generalized metric spaces. J. Nonlinear Sci. Appl. 2009,2(2):92-96.

    MathSciNet  Google Scholar 

  22. Ming CM, Chen CH: Periodic points for the weak contraction mappings in complete generalized metric spaces. Fixed Point Theory Appl. 2012. Article ID 79, 2012: Article ID 79

    Google Scholar 

  23. Samet B: Discussion on: a fixed point theorem of Banach-Caccioppoli type on a class of generalized metric spaces by A. Branciari. Publ. Math. (Debr.) 2010,76(4):493-494.

    MathSciNet  Google Scholar 

  24. Shatanawi W, Al-Rawashdeh A, Aydi H, Nashine HK: On a fixed point for generalized contractions in generalized metric spaces. Abstr. Appl. Anal. 2012. Article ID 246085, 2012: Article ID 246085

    Google Scholar 

  25. Wilson WA: On semimetric spaces. Am. J. Math. 1931,53(2):361-373. 10.2307/2370790

    Article  Google Scholar 

  26. Kirk WA, Shahzad N: Generalized metrics and Caristi’s theorem. Fixed Point Theory Appl. 2013. Article ID 129, 2013: Article ID 129

    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, suggestions, and ideas that helped us 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 version of manuscript.

Rights and permissions

Open Access  This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made.

The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.

To view a copy of this licence, visit https://creativecommons.org/licenses/by/4.0/.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Aydi, H., Karapınar, E. & Samet, B. Fixed points for generalized (α,ψ)-contractions on generalized metric spaces. J Inequal Appl 2014, 229 (2014). https://doi.org/10.1186/1029-242X-2014-229

Download citation

  • Received:

  • Accepted:

  • Published:

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

Keywords