Abstract
In this paper, using the concept of a wdistance on a metric space, we first prove the existence of a fixed point theorem for generalized {w}_{\alpha}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 wellknown 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.
Similar content being viewed by others
1 Introduction
In 1996, Kada et al. [1] introduced the concept of wdistance 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 wdistance version. Later, Suzuki and Takahashi [2] using the concept of wdistance 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 wdistance version and established the fixed point results via this lemma. Recently, Kutbi and Sintunavarat [5] introduced the notion of generalized {w}_{\alpha}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,B\in CB(X), we define the Hausdorff distance with respect to d by
where d(x,B):={inf}_{y\in 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\to {2}^{X} be a multivalued mapping. A point x\in X is called a fixed point of T if x\in T(x) and the set of fixed points of T is denoted by \mathcal{F}(T).
Definition 2.2 ([8])
Let (X,d) be a metric space and let T:X\to CB(X) be a multivalued mapping. T is said to be a contraction if there exists a constant \lambda \in (0,1) such that for each x,y\in X,
Definition 2.3 ([1])
Let (X,d) be a metric space. A function \omega :X\times X\to [0,\mathrm{\infty}) is called a wdistance on X if it satisfies the following conditions for each x,y,z\in X:
(w_{1}) \omega (x,z)\le \omega (x,y)+\omega (y,z);
(w_{2}) a mapping \omega (x,\cdot ):X\to [0,\mathrm{\infty}) is lower semicontinuous;
(w_{3}) for any \u03f5>0, there exists \delta >0 such that \omega (z,x)\le \delta and \omega (z,y)\le \delta imply d(x,y)\le \u03f5.
For a metric space (X,d), it is easy to see that the metric d is a wdistance on X. But the converse is not true in the general case (see Examples 2.4 and 2.5). Therefore, the wdistance 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 \omega :X\times X\to [0,\mathrm{\infty}) by \omega (x,y)=c for all x,y\in X. Then ω is a wdistance on X.
Example 2.5 Let (X,\parallel \cdot \parallel ) be a normed linear space.

1.
A function \omega :X\times X\to [0,\mathrm{\infty}) defined by \omega (x,y)=\parallel x\parallel +\parallel y\parallel for all x,y\in X is a wdistance on X.

2.
A function \omega :X\times X\to [0,\mathrm{\infty}) defined by \omega (x,y)=\parallel y\parallel for all x,y\in X is a wdistance on X.
Remark 2.6 From Example 2.5, we obtain in general for x,y\in X, \omega (x,y)\ne \omega (y,x) and neither of the implications \omega (x,y)=0\iff x=y necessarily holds.
Definition 2.7 ([9])
Let (X,d) be a metric space. The wdistance \omega :X\times X\to [0,\mathrm{\infty}) on X is said to be a {w}_{0}distance if \omega (x,x)=0 for all x\in X.
For more details of other examples and properties of the wdistance, 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 \omega :X\times X\to [0,\mathrm{\infty}) be a wdistance on X. Suppose that \{{x}_{n}\} and \{{y}_{n}\} are sequences in X and \{{\alpha}_{n}\} and \{{\beta}_{n}\} are sequences in [0,\mathrm{\infty}) converging to 0. Then the following hold for x,y,z\in X:

1.
if \omega ({x}_{n},y)\le {\alpha}_{n} and \omega ({x}_{n},z)\le {\beta}_{n} for any n\in \mathbb{N}, then y=z; in particular, if \omega (x,y)=0 and \omega (x,z)=0, then y=z;

2.
if \omega ({x}_{n},{y}_{n})\le {\alpha}_{n} and \omega ({x}_{n},z)\le {\beta}_{n} for any n\in \mathbb{N}, then \{{y}_{n}\} converges to z;

3.
if \omega ({x}_{n},{x}_{m})\le {\alpha}_{n} for any n,m\in \mathbb{N} with m>n, then \{{x}_{n}\} is a Cauchy sequence;

4.
if \omega (y,{x}_{n})\le {\alpha}_{n} for any n\in \mathbb{N}, 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 \omega :X\times X\to [0,\mathrm{\infty}) be a wdistance on X. For x\in X and A\in {2}^{X}, we denote \omega (x,A):={inf}_{y\in A}\omega (x,y).
Definition 2.9 ([2])
Let (X,d) be a metric space. The multivalued mapping T:X\to Cl(X) is said to be a wcontraction if there exist a wdistance \omega :X\times X\to [0,\mathrm{\infty}) on X and \lambda \in (0,1) such that for any x,y\in X and u\in T(x) there is v\in T(y) with
Definition 2.10 ([5])
Let (X,d) be a metric space and \alpha :X\times X\to [0,\mathrm{\infty}) be a given mapping. The multivalued mapping T:X\to Cl(X) is said to be a {w}_{\alpha}contraction if there exist a wdistance \omega :X\times X\to [0,\mathrm{\infty}) on X and \lambda \in (0,1) such that for any x,y\in X and u\in T(x) there is v\in T(y) with
Definition 2.11 ([5])
Let (X,d) be a metric space and \alpha :X\times X\to [0,\mathrm{\infty}) be a given mapping. The multivalued mapping T:X\to Cl(X) is said to be a generalized {w}_{\alpha}contraction if there exist a {w}_{0}distance ω on X and \lambda \in (0,1) such that for any x,y\in X and u\in T(x) there is v\in T(y) with
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\to {2}^{X} and \alpha :X\times X\to [0,\mathrm{\infty}) be a given mapping. We say that T is an αadmissible whenever, for each x\in X and y\in T(x) with \alpha (x,y)\ge 1, we have \alpha (y,z)\ge 1 for all z\in T(y).
Remark 2.13 The concept of αadmissible multivalued mapping is extension of concept of {\alpha}_{\ast}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, 11–17] and references therein).
Definition 2.14 ([7])
Let (X,d) be a metric space and \alpha :X\times X\to [0,\mathrm{\infty}) 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 \alpha ({x}_{n},{x}_{n+1})\ge 1 for all n\in \mathbb{N}, converges in X.
Example 2.15 Let X=(0,\mathrm{\infty}) and define metric d:X\times X\to [0,\mathrm{\infty}) by d(x,y)=xy for all x,y\in X. Let A be a closed subset of X. Define \alpha :X\times X\to [0,\mathrm{\infty}) by
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 \alpha ({x}_{n},{x}_{n+1})\ge 1 for all n\in \mathbb{N}, then {x}_{n}\in A for all n\in \mathbb{N}. Now, since (A,d) is a complete metric space, there exists {x}^{\ast}\in A such that {x}_{n}\to {x}^{\ast} as n\to \mathrm{\infty}.
3 Main results
In this section, we prove a fixed point theorem for generalized {w}_{\alpha}contraction multivalued mappings in αcomplete metric space.
Theorem 3.1 Let (X,d) be a metric space, \alpha :X\times X\to [0,\mathrm{\infty}) and T:X\to Cl(X) be a generalized {w}_{\alpha}contraction multivalued mapping. Suppose that (X,d) is an αcomplete metric space and the following conditions hold:

(a)
T is an αadmissible mapping;

(b)
there exist {x}_{0}\in X and {x}_{1}\in T({x}_{0}) such that \alpha ({x}_{0},{x}_{1})\ge 1;

(c)
if for every y\in X with y\notin T(y), we have
inf\{\omega (x,y)+\omega (x,T(x)):x\in X\}>0.
Then \mathcal{F}(T)\ne \mathrm{\varnothing}.
Proof We start from {x}_{0}\in X and {x}_{1}\in T({x}_{0}) in (b). From the definition of a generalized {w}_{\alpha}contraction of T, we can find {x}_{2}\in T({x}_{1}) such that
Since T is an αadmissible mapping and {x}_{1}\in T({x}_{0}) such that \alpha ({x}_{0},{x}_{1})\ge 1, we have
From (3.1) and (3.2), we obtain
Again, using the definition of a generalized {w}_{\alpha}contraction of T, there exists {x}_{3}\in T({x}_{2}) such that
Since \alpha ({x}_{1},{x}_{2})\ge 1 and T is an αadmissible mapping, we get
From (3.3) and (3.4), we have
Continuing this process, we can construct the sequence \{{x}_{n}\} in X such that {x}_{n}\in T({x}_{n1}),
and
for all n\in \mathbb{N}. Now, for each n\in \mathbb{N}, we have
If max\{\omega ({x}_{{n}^{\prime}1},{x}_{{n}^{\prime}}),\omega ({x}_{{n}^{\prime}},{x}_{{n}^{\prime}+1})\}=\omega ({x}_{{n}^{\prime}},{x}_{{n}^{\prime}+1}) for some {n}^{\prime}\in \mathbb{N}, then we have \omega ({x}_{{n}^{\prime}},{x}_{{n}^{\prime}+1})=0 and hence \omega ({x}_{{n}^{\prime}1},{x}_{{n}^{\prime}})=0. By the property of the wdistance, we get
We find from Lemma 2.8, \omega ({x}_{{n}^{\prime}1},{x}_{{n}^{\prime}})=0, and \omega ({x}_{{n}^{\prime}1},{x}_{{n}^{\prime}+1})=0 that {x}_{{n}^{\prime}}={x}_{{n}^{\prime}+1}. This implies that {x}_{{n}^{\prime}}\in T({x}_{{n}^{\prime}}) and so {x}_{{n}^{\prime}} is a fixed point of T.
Next, we assume that max\{\omega ({x}_{n1},{x}_{n}),\omega ({x}_{n},{x}_{n+1})\}=\omega ({x}_{n1},{x}_{n}) for all n\in \mathbb{N}. We obtain from (3.7)
for all n\in \mathbb{N}.
By repeating (3.8), we get
for all n\in \mathbb{N}.
For m,n\in \mathbb{N} with m>n, we obtain
Since 0<\lambda <1, we get \frac{{\lambda}^{n}}{1\lambda}\omega ({x}_{0},{x}_{1})\to 0 as n\to \mathrm{\infty}. By Lemma 2.8, we find that \{{x}_{n}\} is a Cauchy sequence in X. From (3.5) we know that \alpha ({x}_{n},{x}_{n+1})\ge 1 for all n\in \mathbb{N}. Using αcompleteness of X, we obtain {x}_{n}\to z as n\to \mathrm{\infty} for some z\in X. Since \omega ({x}_{n},\cdot ) is lower semicontinuous, we have
Finally, we will assume that z\notin T(z). By hypothesis, we get
which is a contradiction. Consequently, z\in T(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, \alpha :X\times X\to [0,\mathrm{\infty}) and T:X\to Cl(X) be a generalized {w}_{\alpha}contraction mapping. Suppose that the following conditions hold:

(a)
T is an αadmissible mapping;

(b)
there exist {x}_{0}\in X and {x}_{1}\in T({x}_{0}) such that \alpha ({x}_{0},{x}_{1})\ge 1;

(c)
if for every y\in X with y\notin T(y), we have
inf\{\omega (x,y)+\omega (x,T(x)):x\in X\}>0.
Then \mathcal{F}(T)\ne \mathrm{\varnothing}.
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, \alpha :X\times X\to [0,\mathrm{\infty}) and T:X\to Cl(X) be a {w}_{\alpha}contraction mapping. Suppose that (X,d) is an αcomplete metric space and the following conditions hold:

(a)
T is αadmissible mapping;

(b)
there exist {x}_{0}\in X and {x}_{1}\in T({x}_{0}) such that \alpha ({x}_{0},{x}_{1})\ge 1;

(c)
for every y\in X with y\notin T(y), we have
inf\{\omega (x,y)+\omega (x,T(x)):x\in X\}>0.
Then \mathcal{F}(T)\ne \mathrm{\varnothing}.
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,\mathrm{\infty}) and define metric d:X\times X\to [0,\mathrm{\infty}) by d(x,y)=xy for all x,y\in X. Define \alpha :X\times X\to [0,\mathrm{\infty}) by
Let a multivalued mapping T:X\to Cl(X) be defined by
Now we show that T is a {w}_{\alpha}contraction multivalued mapping with \lambda =\frac{1}{2} and wdistance \omega :X\times X\to [0,\mathrm{\infty}) defined by \omega (x,y)=y for all x,y\in X. For x,y\in [0,1], let u\in T(x)=\{\frac{x}{6}\}, that is, u=\frac{x}{6}, we can find v=\frac{y}{6}\in T(y) such that
Otherwise, it is easy to see that the {w}_{\alpha}contractive condition holds. Therefore, T is a {w}_{\alpha}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 \alpha ({x}_{n},{x}_{n+1})\ge 1 for all n\in \mathbb{N}. So {x}_{n}\in [0,1] for all n\in \mathbb{N}. Now, since ([0,1],d) is a complete metric space, there exists {x}^{\ast}\in A such that {x}_{n}\to {x}^{\ast} as n\to \mathrm{\infty}. 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/6\in T(1) and \alpha ({x}_{0},{x}_{1})=\alpha (1,1/6)\ge 1. Finally, we see that for y\in X with y\notin T(y), we obtain y\in (0,1] and hence inf\{\omega (x,y)+\omega (x,T(x)):x\in X\}>0.
Therefore, all the conditions of Theorem 3.3 are satisfied and so T has a fixed point.
References
Kada O, Susuki T, Takahashi W: Nonconvex minimization theorems and fixed point theorems in complete metric spaces. Math. Jpn. 1996, 44: 381–391.
Suzuki T, Takahashi W: Fixed point theorems and characterizations of metric completeness. Topol. Methods Nonlinear Anal. 1996, 8: 371–382.
Kutbi MA: f Contractive multivalued maps and coincidence points. J. Inequal. Appl. 2013., 2013: Article ID 141
Jungck G: Commuting mappings and fixed points. Am. Math. Mon. 1976, 83: 261–263. 10.2307/2318216
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
Mohammadi B, Rezapour S, Shahzad N: Some results on fixed points of α  ψ Ćirić generalized multifunctions. Fixed Point Theory Appl. 2013., 2013: Article ID 24
Hussain N, Kutbi MA, Salami P: Fixed point in α complete metric spaces with applications. Abstr. Appl. Anal. 2014., 2014: Article ID 280817
Nadler SB: Multivalued contraction mappings. Pac. J. Math. 1969, 30: 475–488. 10.2140/pjm.1969.30.475
Du WS: Fixed point theorems for generalized Hounders metrics. Int. Math. Forum 2008, 3: 1011–1022.
Asl JH, Rezapour S, Shahzad N: On fixed points of α  ψ contractive multifunctions. Fixed Point Theory Appl. 2012., 2012: Article ID 212
Agarwal RP, Sintunavarat W, Kumam P:PPF dependent fixed point theorems for an {\alpha}_{c}admissible nonself mapping in the Razumikhin class. Fixed Point Theory Appl. 2013., 2013: Article ID 280
Fathollahi S, Salimi P, Sintunavarat W, Vetro P: On fixed points of α  η  ψ contractive multifunctions. Wulfenia 2014, 21(2):353–365.
Hussain N, Salimi P, Latif A: Fixed point results for single and setvalued α  η  ψ contractive mappings. Fixed Point Theory Appl. 2013., 2013: Article ID 212
Kutbi MA, Ahmad J, Azam A: On fixed points of{\alpha}^{\ast}  ψ contractive multivalued mappings in cone metric spaces. Abstr. Appl. Anal. 2013., 2013: Article ID 313782
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
Latif A, Gordji ME, Karapınar E, Sintunavarat W:Fixed point results for generalized (\alpha \psi )Meir Keeler contractive mappings and applications. J. Inequal. Appl. 2014., 2014: Article ID 68
Salimi P, Latif A, Hussain N: Modified α  ψ contractive mappings with applications. Fixed Point Theory Appl. 2013., 2013: Article ID 151
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
Corresponding author
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.
About this article
Cite this article
Kutbi, M.A., Sintunavarat, W. Fixed point theorems for generalized {w}_{\alpha}contraction multivalued mappings in αcomplete metric spaces. Fixed Point Theory Appl 2014, 139 (2014). https://doi.org/10.1186/168718122014139
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/168718122014139