Skip to main content

Fixed point theorems for generalized w α -contraction multivalued mappings in α-complete metric spaces

Abstract

In this paper, using the concept of a w-distance on a metric space, we first prove the existence of a fixed point theorem for generalized w α -contraction multivalued mappings without completeness in metric spaces. Our presented results generalize, extend, and improve the result of Kutbi and Sintunavarat (Abstr. Appl. Anal. 2013:165434, 2013) and various well-known results on the topic in the literature. Also, we give some examples to which the results of Kutbi and Sintunavarat (Abstr. Appl. Anal. 2013:165434, 2013) are not applied, but our results are.

MSC:47H10, 54H25.

1 Introduction

In 1996, Kada et al. [1] introduced the concept of w-distance on a metric space, which is a real generalization of a metric. By using this concept, they extended and improved Caristi’s fixed point theorem, Ekland’s variational principle, and Takahashi’s existence theorem from the metric version to a w-distance version. Later, Suzuki and Takahashi [2] using the concept of w-distance to established the fixed point result for multivalued mapping. This result is an improvement of the famous Nadler fixed point theorem.

In 2013, Kutbi [3] improved a useful lemma given in [4] for the w-distance version and established the fixed point results via this lemma. Recently, Kutbi and Sintunavarat [5] introduced the notion of generalized w α -contraction mapping and proved a fixed point theorem for such a mapping in complete metric spaces via the concept of α-admissible mapping due to Mohammadi et al. [6]. On the other hand, Hussain et al. [7] introduced the concepts of α-complete metric spaces and also established fixed point results in such spaces.

The purpose of this work is to weaken the condition of completeness of the metric space in the result of Kutbi and Sintunavarat [5] by using the concept of α-completeness of the metric space. We also give the example of a nonlinear contraction mapping which is not applied by the results of Kutbi and Sintunavarat [5], but can be applied to our results. The presented results extend and complement recent results of Kutbi and Sintunavarat [5] and many known existence results from the literature.

2 Preliminaries

Throughout this paper, we denote by and the sets of positive integers and real numbers, respectively.

For a metric space (X,d), we denote by 2 X , Cl(X), and CB(X) the collection of nonempty subsets of X, nonempty closed subsets of X and nonempty closed bounded subsets of X, respectively.

For A,BCB(X), we define the Hausdorff distance with respect to d by

H(A,B)=max { sup x A d ( x , B ) , sup y B d ( y , A ) } ,

where d(x,B):= inf y B d(x,y). It is well known that (CB(X),H) is a metric space and (CB(X),H) is complete if (X,d) is complete.

Definition 2.1 Let (X,d) be a metric space and T:X 2 X be a multivalued mapping. A point xX is called a fixed point of T if xT(x) and the set of fixed points of T is denoted by F(T).

Definition 2.2 ([8])

Let (X,d) be a metric space and let T:XCB(X) be a multivalued mapping. T is said to be a contraction if there exists a constant λ(0,1) such that for each x,yX,

H ( T ( x ) , T ( y ) ) λd(x,y).

Definition 2.3 ([1])

Let (X,d) be a metric space. A function ω:X×X[0,) is called a w-distance on X if it satisfies the following conditions for each x,y,zX:

(w1) ω(x,z)ω(x,y)+ω(y,z);

(w2) a mapping ω(x,):X[0,) is lower semicontinuous;

(w3) for any ϵ>0, there exists δ>0 such that ω(z,x)δ and ω(z,y)δ imply d(x,y)ϵ.

For a metric space (X,d), it is easy to see that the metric d is a w-distance on X. But the converse is not true in the general case (see Examples 2.4 and 2.5). Therefore, the w-distance is a real generalization of the metric.

Example 2.4 Let (X,d) be a metric space. For a fixed positive real number c, define a function ω:X×X[0,) by ω(x,y)=c for all x,yX. Then ω is a w-distance on X.

Example 2.5 Let (X,) be a normed linear space.

  1. 1.

    A function ω:X×X[0,) defined by ω(x,y)=x+y for all x,yX is a w-distance on X.

  2. 2.

    A function ω:X×X[0,) defined by ω(x,y)=y for all x,yX is a w-distance on X.

Remark 2.6 From Example 2.5, we obtain in general for x,yX, ω(x,y)ω(y,x) and neither of the implications ω(x,y)=0x=y necessarily holds.

Definition 2.7 ([9])

Let (X,d) be a metric space. The w-distance ω:X×X[0,) on X is said to be a w 0 -distance if ω(x,x)=0 for all xX.

For more details of other examples and properties of the w-distance, one can refer to [1, 2, 9]. The following lemmas are useful for the main results in this paper.

Lemma 2.8 ([1])

Let (X,d) be a metric space and ω:X×X[0,) be a w-distance on X. Suppose that { x n } and { y n } are sequences in X and { α n } and { β n } are sequences in [0,) converging to 0. Then the following hold for x,y,zX:

  1. 1.

    if ω( x n ,y) α n and ω( x n ,z) β n for any nN, then y=z; in particular, if ω(x,y)=0 and ω(x,z)=0, then y=z;

  2. 2.

    if ω( x n , y n ) α n and ω( x n ,z) β n for any nN, then { y n } converges to z;

  3. 3.

    if ω( x n , x m ) α n for any n,mN with m>n, then { x n } is a Cauchy sequence;

  4. 4.

    if ω(y, x n ) α n for any nN, then { x n } is a Cauchy sequence.

Next, we give the definition of some type of mapping. Before giving the next definition, we give the following notation. Let (X,d) be a metric space and ω:X×X[0,) be a w-distance on X. For xX and A 2 X , we denote ω(x,A):= inf y A ω(x,y).

Definition 2.9 ([2])

Let (X,d) be a metric space. The multivalued mapping T:XCl(X) is said to be a w-contraction if there exist a w-distance ω:X×X[0,) on X and λ(0,1) such that for any x,yX and uT(x) there is vT(y) with

ω(u,v)λω(x,y).

Definition 2.10 ([5])

Let (X,d) be a metric space and α:X×X[0,) be a given mapping. The multivalued mapping T:XCl(X) is said to be a w α -contraction if there exist a w-distance ω:X×X[0,) on X and λ(0,1) such that for any x,yX and uT(x) there is vT(y) with

α(u,v)ω(u,v)λω(x,y).

Definition 2.11 ([5])

Let (X,d) be a metric space and α:X×X[0,) be a given mapping. The multivalued mapping T:XCl(X) is said to be a generalized w α -contraction if there exist a w 0 -distance ω on X and λ(0,1) such that for any x,yX and uT(x) there is vT(y) with

α(u,v)ω(u,v)λmax { ω ( x , y ) , ω ( x , T ( x ) ) , ω ( y , T ( y ) ) , 1 2 [ ω ( x , T ( y ) ) + ω ( y , T ( x ) ) ] } .

Next, we give the concepts of an α-admissible multivalued mapping and α-completeness of metric spaces.

Definition 2.12 ([6])

Let X be a nonempty set, T:X 2 X and α:X×X[0,) be a given mapping. We say that T is an α-admissible whenever, for each xX and yT(x) with α(x,y)1, we have α(y,z)1 for all zT(y).

Remark 2.13 The concept of α-admissible multivalued mapping is extension of concept of α -admissible multivalued mapping due to Asl et al. [10].

Many fixed point results via the concepts of α-admissible mappings occupy a prominent place in many aspects (see [5, 1117] and references therein).

Definition 2.14 ([7])

Let (X,d) be a metric space and α:X×X[0,) be a given mapping. The metric space X is said to be α-complete if and only if every Cauchy sequence { x n } in X with α( x n , x n + 1 )1 for all nN, converges in X.

Example 2.15 Let X=(0,) and define metric d:X×X[0,) by d(x,y)=|xy| for all x,yX. Let A be a closed subset of X. Define α:X×X[0,) by

α(x,y)= { x 3 + 4 x 2 y + 5 x y 2 + y 3 ( x + y ) 3 , x , y A , | x y | x + y , otherwise .

Clearly, (X,d) is not a complete metric space, but (X,d) is an α-complete metric space. Indeed, if { x n } is a Cauchy sequence in X such that α( x n , x n + 1 )1 for all nN, then x n A for all nN. Now, since (A,d) is a complete metric space, there exists x A such that x n x as n.

3 Main results

In this section, we prove a fixed point theorem for generalized w α -contraction multivalued mappings in α-complete metric space.

Theorem 3.1 Let (X,d) be a metric space, α:X×X[0,) and T:XCl(X) be a generalized w α -contraction multivalued mapping. Suppose that (X,d) is an α-complete metric space and the following conditions hold:

  1. (a)

    T is an α-admissible mapping;

  2. (b)

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

  3. (c)

    if for every yX with yT(y), we have

    inf { ω ( x , y ) + ω ( x , T ( x ) ) : x X } >0.

Then F(T).

Proof We start from x 0 X and x 1 T( x 0 ) in (b). From the definition of a generalized w α -contraction of T, we can find x 2 T( x 1 ) such that

α ( x 1 , x 2 ) ω ( x 1 , x 2 ) λ max { ω ( x 0 , x 1 ) , ω ( x 0 , T ( x 0 ) ) , ω ( x 1 , T ( x 1 ) ) , 1 2 [ ω ( x 0 , T ( x 1 ) ) + ω ( x 1 , T ( x 0 ) ) ] } .
(3.1)

Since T is an α-admissible mapping and x 1 T( x 0 ) such that α( x 0 , x 1 )1, we have

α( x 1 , x 2 )1.
(3.2)

From (3.1) and (3.2), we obtain

ω ( x 1 , x 2 ) α ( x 1 , x 2 ) ω ( x 1 , x 2 ) λ max { ω ( x 0 , x 1 ) , ω ( x 0 , T ( x 0 ) ) , ω ( x 1 , T ( x 1 ) ) , 1 2 [ ω ( x 0 , T ( x 1 ) ) + ω ( x 1 , T ( x 0 ) ) ] } .

Again, using the definition of a generalized w α -contraction of T, there exists x 3 T( x 2 ) such that

α ( x 2 , x 3 ) ω ( x 2 , x 3 ) λ max { ω ( x 1 , x 2 ) , ω ( x 1 , T ( x 1 ) ) , ω ( x 2 , T ( x 2 ) ) , 1 2 [ ω ( x 1 , T ( x 2 ) ) + ω ( x 2 , T ( x 1 ) ) ] } .
(3.3)

Since α( x 1 , x 2 )1 and T is an α-admissible mapping, we get

α( x 2 , x 3 )1.
(3.4)

From (3.3) and (3.4), we have

ω ( x 2 , x 3 ) α ( x 2 , x 3 ) ω ( x 2 , x 3 ) λ max { ω ( x 1 , x 2 ) , ω ( x 1 , T ( x 1 ) ) , ω ( x 2 , T ( x 2 ) ) , 1 2 [ ω ( x 1 , T ( x 2 ) ) + ω ( x 2 , T ( x 1 ) ) ] } .

Continuing this process, we can construct the sequence { x n } in X such that x n T( x n 1 ),

α( x n , x n + 1 )1
(3.5)

and

ω ( x n , x n + 1 ) λ max { ω ( x n 1 , x n 2 ) , ω ( x n 1 , T ( x n 1 ) ) , ω ( x n 2 , T ( x n 2 ) ) , 1 2 [ ω ( x n 1 , T ( x n 2 ) ) + ω ( x n 2 , T ( x n 1 ) ) ] }
(3.6)

for all nN. Now, for each nN, we have

ω ( x n , x n + 1 ) λ max { ω ( x n 1 , x n ) , ω ( x n 1 , T ( x n 1 ) ) , ω ( x n , T ( x n ) ) , 1 2 [ ω ( x n 1 , T ( x n ) ) + ω ( x n , T ( x n 1 ) ) ] } λ max { ω ( x n 1 , x n ) , ω ( x n 1 , x n ) , ω ( x n , x n + 1 ) , 1 2 [ ω ( x n 1 , x n + 1 ) + ω ( x n , x n ) ] } = λ max { ω ( x n 1 , x n ) , ω ( x n , x n + 1 ) , 1 2 [ ω ( x n 1 , x n + 1 ) ] } λ max { ω ( x n 1 , x n ) , ω ( x n , x n + 1 ) , 1 2 [ ω ( x n 1 , x n ) + ω ( x n , x n + 1 ) ] } λ max { ω ( x n 1 , x n ) , ω ( x n , x n + 1 ) } .
(3.7)

If max{ω( x n 1 , x n ),ω( x n , x n + 1 )}=ω( x n , x n + 1 ) for some n N, then we have ω( x n , x n + 1 )=0 and hence ω( x n 1 , x n )=0. By the property of the w-distance, we get

ω( x n 1 , x n + 1 )ω( x n 1 , x n )+ω( x n , x n + 1 )=0.

We find from Lemma 2.8, ω( x n 1 , x n )=0, and ω( x n 1 , x n + 1 )=0 that x n = x n + 1 . This implies that x n T( x n ) and so x n is a fixed point of T.

Next, we assume that max{ω( x n 1 , x n ),ω( x n , x n + 1 )}=ω( x n 1 , x n ) for all nN. We obtain from (3.7)

ω( x n , x n + 1 )λω( x n 1 , x n )
(3.8)

for all nN.

By repeating (3.8), we get

ω( x n , x n + 1 ) λ n ω( x 0 , x 1 )

for all nN.

For m,nN with m>n, we obtain

ω ( x n , x m ) ω ( x n , x n + 1 ) + ω ( x n + 1 , x n + 2 ) + + ω ( x m 1 , x m ) λ n ω ( x 0 , x 1 ) + λ n + 1 ω ( x 0 , x 1 ) + + λ m 1 ω ( x 0 , x 1 ) λ n 1 λ ω ( x 0 , x 1 ) .

Since 0<λ<1, we get λ n 1 λ ω( x 0 , x 1 )0 as n. By Lemma 2.8, we find that { x n } is a Cauchy sequence in X. From (3.5) we know that α( x n , x n + 1 )1 for all nN. Using α-completeness of X, we obtain x n z as n for some zX. Since ω( x n ,) is lower semicontinuous, we have

ω ( x n , z ) lim inf m ω ( x n , x m ) λ n 1 λ ω ( x 0 , x 1 ) .

Finally, we will assume that zT(z). By hypothesis, we get

0 < inf { ω ( x , z ) + ω ( x , T ( x ) ) : x X } inf { ω ( x n , z ) + ω ( x n , T ( x n ) ) : n N } inf { ω ( x n , z ) + ω ( x n , x n + 1 ) : n N } inf { λ n 1 λ ω ( x 0 , x 1 ) + λ n ω ( x 0 , x 1 ) : n N } = ( { 2 λ 1 λ } ω ( x 0 , x 1 ) ) inf { λ n : n N } = 0 ,

which is a contradiction. Consequently, zT(z), that is, z is a fixed point of T as required. This completes the proof. □

Corollary 3.2 (Theorem 3.1 in [5])

Let (X,d) be a complete metric space, α:X×X[0,) and T:XCl(X) be a generalized w α -contraction mapping. Suppose that the following conditions hold:

  1. (a)

    T is an α-admissible mapping;

  2. (b)

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

  3. (c)

    if for every yX with yT(y), we have

    inf { ω ( x , y ) + ω ( x , T ( x ) ) : x X } >0.

Then F(T).

Proof We find that the completeness of the metric space (X,d) implies α-completeness. Therefore, by using Theorem 3.1, we obtain the desired result. □

Theorem 3.3 Let (X,d) be a complete metric space, α:X×X[0,) and T:XCl(X) be a w α -contraction mapping. Suppose that (X,d) is an α-complete metric space and the following conditions hold:

  1. (a)

    T is α-admissible mapping;

  2. (b)

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

  3. (c)

    for every yX with yT(y), we have

    inf { ω ( x , y ) + ω ( x , T ( x ) ) : x X } >0.

Then F(T).

Proof We see that this result can be proven by using a similar method to Theorem 3.1. In order to avoid repetition, the details are omitted. □

Example 3.4 Let X=(1,) and define metric d:X×X[0,) by d(x,y)=|xy| for all x,yX. Define α:X×X[0,) by

α(x,y)= { x 2 + y 2 + 1 , x , y [ 0 , 1 ] , 0 , otherwise .

Let a multivalued mapping T:XCl(X) be defined by

T(x)= { { x 6 } , x [ 0 , 1 ] , { x , 5 | x | } , otherwise .

Now we show that T is a w α -contraction multivalued mapping with λ= 1 2 and w-distance ω:X×X[0,) defined by ω(x,y)=y for all x,yX. For x,y[0,1], let uT(x)={ x 6 }, that is, u= x 6 , we can find v= y 6 T(y) such that

α ( u , v ) ω ( u , v ) = α ( x 6 , y 6 ) ω ( x 6 , y 6 ) = ( x 2 36 + y 2 36 + 1 ) y 6 ( 1 + 1 + 1 ) y 6 = 1 2 y = λ ω ( x , y ) .

Otherwise, it is easy to see that the w α -contractive condition holds. Therefore, T is a w α -contraction multivalued mapping.

Clearly, (X,d) is not a complete metric space and then the main results of Kutbi and Sintunavarat [5] cannot be applied to this case.

Next, we show that our results in this paper can be used for this case. First, we claim that (X,d) is an α-complete metric space. Let { x n } be a Cauchy sequence in X such that α( x n , x n + 1 )1 for all nN. So x n [0,1] for all nN. Now, since ([0,1],d) is a complete metric space, there exists x A such that x n x as n. Consequently, (X,d) is an α-complete metric space. Also, it is easy to see that T is α-admissible and there exists x 0 =1 such that x 1 =1/6T(1) and α( x 0 , x 1 )=α(1,1/6)1. Finally, we see that for yX with yT(y), we obtain y(0,1] and hence inf{ω(x,y)+ω(x,T(x)):xX}>0.

Therefore, all the conditions of Theorem 3.3 are satisfied and so T has a fixed point.

References

  1. Kada O, Susuki T, Takahashi W: Nonconvex minimization theorems and fixed point theorems in complete metric spaces. Math. Jpn. 1996, 44: 381–391.

    Google Scholar 

  2. Suzuki T, Takahashi W: Fixed point theorems and characterizations of metric completeness. Topol. Methods Nonlinear Anal. 1996, 8: 371–382.

    MathSciNet  Google Scholar 

  3. Kutbi MA: f -Contractive multivalued maps and coincidence points. J. Inequal. Appl. 2013., 2013: Article ID 141

    Google Scholar 

  4. Jungck G: Commuting mappings and fixed points. Am. Math. Mon. 1976, 83: 261–263. 10.2307/2318216

    Article  MathSciNet  Google Scholar 

  5. Kutbi MA, Sintunavarat W: The existence of fixed point theorems via w -distance and α -admissible mappings and applications. Abstr. Appl. Anal. 2013., 2013: Article ID 165434

    Google Scholar 

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

    Google Scholar 

  7. Hussain N, Kutbi MA, Salami P: Fixed point in α -complete metric spaces with applications. Abstr. Appl. Anal. 2014., 2014: Article ID 280817

    Google Scholar 

  8. Nadler SB: Multivalued contraction mappings. Pac. J. Math. 1969, 30: 475–488. 10.2140/pjm.1969.30.475

    Article  MathSciNet  Google Scholar 

  9. Du W-S: Fixed point theorems for generalized Hounders metrics. Int. Math. Forum 2008, 3: 1011–1022.

    MathSciNet  Google Scholar 

  10. Asl JH, Rezapour S, Shahzad N: On fixed points of α - ψ -contractive multifunctions. Fixed Point Theory Appl. 2012., 2012: Article ID 212

    Google Scholar 

  11. Agarwal RP, Sintunavarat W, Kumam P:PPF dependent fixed point theorems for an α c -admissible non-self mapping in the Razumikhin class. Fixed Point Theory Appl. 2013., 2013: Article ID 280

    Google Scholar 

  12. Fathollahi S, Salimi P, Sintunavarat W, Vetro P: On fixed points of α - η - ψ -contractive multifunctions. Wulfenia 2014, 21(2):353–365.

    Google Scholar 

  13. Hussain N, Salimi P, Latif A: Fixed point results for single and set-valued α - η - ψ -contractive mappings. Fixed Point Theory Appl. 2013., 2013: Article ID 212

    Google Scholar 

  14. Kutbi MA, Ahmad J, Azam A: On fixed points of α - ψ -contractive multi-valued mappings in cone metric spaces. Abstr. Appl. Anal. 2013., 2013: Article ID 313782

    Google Scholar 

  15. Latif A, Mongkolkeha C, Sintunavarat W: Fixed point theorems for generalized α - β -weakly contraction mappings in metric spaces and applications. Sci. World J. 2014., 2014: Article ID 784207

    Google Scholar 

  16. Latif A, Gordji ME, Karapınar E, Sintunavarat W:Fixed point results for generalized (αψ)-Meir Keeler contractive mappings and applications. J. Inequal. Appl. 2014., 2014: Article ID 68

    Google Scholar 

  17. Salimi P, Latif A, Hussain N: Modified α - ψ -contractive mappings with applications. Fixed Point Theory Appl. 2013., 2013: Article ID 151

    Google Scholar 

Download references

Acknowledgements

The first author gratefully acknowledges the support from the Deanship of Scientific Research (DSR) at King Abdulaziz University (KAU) during this research. The second author would like to thank the Thailand Research Fund and Thammasat University under Grant No. TRG5780013 for financial support during the preparation of this manuscript. Moreover, the authors thank the editors and referees for their insightful comments.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Wutiphol Sintunavarat.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally and significantly in writing this paper. 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 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, 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 license, and indicate if changes were made.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Kutbi, M.A., Sintunavarat, W. Fixed point theorems for generalized w α -contraction multivalued mappings in α-complete metric spaces. Fixed Point Theory Appl 2014, 139 (2014). https://doi.org/10.1186/1687-1812-2014-139

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1687-1812-2014-139

Keywords