Abstract
The purpose of this paper is to establish new fixed point results formulti-valued mappings satisfying an -contractive condition, and viaBianchini-Grandolfi gauge functions, on α-complete metric spaces.Our results unify, generalize, and complement various results from theliterature. We also give examples which support our main result while previousresults in the literature are not applicable. Some of the fixed point results inmetric spaces endowed with an arbitrary binary relation and endowed with a graphare given here to illustrate the usability of the obtained results.
MSC: 47H10, 54H25.
Similar content being viewed by others
1 Introduction and preliminaries
Throughout this paper, we denote by ℕ, , and ℝ the sets of positive integers,non-negative real numbers, and real numbers, respectively.
We recollect some essential notations, required definitions, and primary resultscoherent with the literature. For a nonempty set X, we denote by the class of all nonempty subsets of X. Let
be a metric space, we denote by
the class of all nonempty closed subsets ofX, by
the class of all nonempty closed bounded subsets ofX. For
, let the functional
be defined by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1812-2015-2/MediaObjects/13663_2014_820_Equa_HTML.gif)
for every , where
is the distance from a to
. Such a functional is called the generalizedPompeiu-Hausdorff metric induced by d.
In this paper, we denote by Ψ the class of functions satisfying the following conditions:
() ψ is a nondecreasing function;
()
, for all
, where
is the nth iterate of ψ.
These functions are known in the literature as Bianchini-Grandolfi gauge functions insome sources (see e.g.[1–3]).
Remark 1.1 For each , we see that the following assertions hold:
-
1.
, for all
.
-
2.
for each
;
-
3.
;
Example 1.2 The function defined by
, where
, is a Bianchini-Grandolfi gauge function.
Example 1.3 The function defined by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1812-2015-2/MediaObjects/13663_2014_820_Equb_HTML.gif)
is a Bianchini-Grandolfi gauge function.
In [4], Samet et al. introduced the concepts of anα-admissible mapping and anα-ψ-contractive mapping as follows.
Definition 1.4 ([4])
Let T be a self mapping on a nonempty set X and be a mapping. We say that T isα-admissible if the following condition holds:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1812-2015-2/MediaObjects/13663_2014_820_Equc_HTML.gif)
Definition 1.5 ([4])
Let be a metric space and
be a given mapping. We say that T is anα-ψ-contractive mapping if there exist two functions
and
such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1812-2015-2/MediaObjects/13663_2014_820_Equd_HTML.gif)
for all .
One also proved some fixed point theorems for such mappings on complete metric spacesand showed that these results can be utilized to derive fixed point theorems inpartially ordered metric spaces.
Afterwards, Asl et al.[5] introduced the concept of an -admissible mapping which is a multi-valued version ofthe α-admissible mapping provided in [4].
Definition 1.6 ([5])
Let X be a nonempty set, and
be two mappings. We say that T is
-admissible if the following condition holds:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1812-2015-2/MediaObjects/13663_2014_820_Eque_HTML.gif)
where .
They extended the α-ψ-contractive condition of Sametet al.[4] from a single-valued version to a multi-valued version as follows.
Definition 1.7 ([5])
Let be a metric space,
be a multi-valued mapping and
be a given mapping. We say that T is anα-ψ-contractive multi-valued mapping if there exists
such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1812-2015-2/MediaObjects/13663_2014_820_Equf_HTML.gif)
for all .
Asl et al.[5] also established a fixed point result for multi-valued mappings oncomplete metric spaces satisfying an α-ψ-contractivecondition.
Recently, Ali et al.[6] introduced the notion of -contractive multi-valued mappings, where
and Ξ is the family of functions
satisfying the following conditions:
() ξ is continuous;
() ξ is nondecreasing on
;
()
if and only if
;
() ξ is subadditive.
Remark 1.8 From () and (
), we have
, for all
.
Example 1.9 Let be a mapping which is defined by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1812-2015-2/MediaObjects/13663_2014_820_Equg_HTML.gif)
for each , where
is a Lebesgue integrable mapping which is summable oneach compact subset of
and satisfies the following conditions:
-
for each
, we have
;
-
for each
, we have
Then .
Lemma 1.10Letbe a metric space. If
, then
is a metric space.
Lemma 1.11 ([6])
Letbe a metric space,
, and
. If there exists
such that
, then there exists
such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1812-2015-2/MediaObjects/13663_2014_820_Equi_HTML.gif)
where.
Definition 1.12 ([6])
Let be a metric space. A multi-valued mapping
is called an
-contractive mapping if there exist three functions
,
, and
such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1812-2015-2/MediaObjects/13663_2014_820_Equ1_HTML.gif)
where .
In the case when is strictly increasing, the
-contractive mapping is called a strictly
-contractive mapping.
Ali et al.[6] also prove fixed point results for -contractive multi-valued mapping on complete metricspaces.
Question 1 Is it possible to prove fixed point results for-contractive multi-valued mapping T undersome weaker condition for T?
Question 2 Is it possible to prove fixed point results for-contractive multi-valued mapping in some space whichis more general than complete metric spaces?
Question 3 Is it possible to find some consequences or applications of thefixed point results?
On the other hand, Mohammadi et al.[7] extended the concept of an -admissible mapping to α-admissible asfollows.
Definition 1.13 ([7])
Let X be a nonempty set, and
be two given mappings. We say that T isα-admissible whenever for each
and
with
, we have
, for all
.
Remark 1.14 It is clear that -admissible mapping is alsoα-admissible, but the converse may not be true as shown inExample 15 of [8].
Recently, Hussain et al.[9] introduced the concept of α-completeness for metric spacewhich is a weaker than the concept of completeness.
Definition 1.15 ([9])
Let be a metric space and
be a mapping. The metric space X is said tobe α-complete if and only if every Cauchy sequence
in X with
, for all
, converges in X.
Remark 1.16 If X is complete metric space, then X is alsoα-complete metric space. But the converse is not true.
Example 1.17 Let and the metric
defined by
, for all
. Define
by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1812-2015-2/MediaObjects/13663_2014_820_Equj_HTML.gif)
It is easy to see that is not a complete metric space, but
is an α-complete metric space. Indeed,if
is a Cauchy sequence in X such that
, for all
, then
, for all
. Since
is a closed subset of ℝ, we see that
is a complete metric space and then there exists
such that
as
.
In this paper, we establish new fixed point results for -contractive multi-valued mappings onα-complete metric spaces by using the idea ofα-admissible multi-valued mapping due to Mohammadi et al.[7]. These results are real generalization of main results of Ali etal.[6] and many results in literature. We furnish some interesting exampleswhich support our main theorems while results of Ali et al.[6] are not applicable. We also obtain fixed point results in metric spaceendowed with an arbitrary binary relation and fixed point results in metric spaceendowed with graph.
2 Main results
First, we introduce the concept of α-continuity for multi-valuedmappings in metric spaces.
Definition 2.1 Let be a metric space,
and
be two given mappings. We say T is anα-continuous multi-valued mapping on
if, for all sequences
with
as
, and
, for all
, we have
as
, that is,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1812-2015-2/MediaObjects/13663_2014_820_Equk_HTML.gif)
Note that the continuity of T implies the α-continuity ofT, for all mappings α. In general, the converse is nottrue (see in Example 2.2).
Example 2.2 Let ,
and the metric
defined by
, for all
. Define
and
by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1812-2015-2/MediaObjects/13663_2014_820_Equl_HTML.gif)
and
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1812-2015-2/MediaObjects/13663_2014_820_Equm_HTML.gif)
Clearly, T is not a continuous multi-valued mapping on. Indeed, for sequence
in X, we see that
, but
.
Next, we show that T is an α-continue multi-valued mapping on. Let
be a sequence in X such that
as
and
, for all
. Then we have
, for all
. Therefore,
. This shows that T is anα-continuous multi-valued mapping on
.
Now we give first main result in this paper.
Theorem 2.3Letbe a metric space and
be a strictly
-contractive mapping. Suppose that thefollowing conditions hold:
(S1) is anα-complete metric space;
(S2) Tis anα-admissible multi-valued mapping;
(S3) there existand
such that
;
(S4) Tis anα-continuous multi-valued mapping.
ThenThas a fixed point.
Proof Starting from and
in (S3), we have
. If
, then we see that
is a fixed point of T. Assume that
. If
, we obtain that
is a fixed point of T. Then we have nothingto prove. So we let
. From
-contractive condition, we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1812-2015-2/MediaObjects/13663_2014_820_Equ2_HTML.gif)
If , then we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1812-2015-2/MediaObjects/13663_2014_820_Equ3_HTML.gif)
which is a contradiction. Therefore, . From (2.1), we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1812-2015-2/MediaObjects/13663_2014_820_Equ4_HTML.gif)
For fixed by using Lemma 1.11, there exists
such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1812-2015-2/MediaObjects/13663_2014_820_Equ5_HTML.gif)
From (2.3) and (2.4), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1812-2015-2/MediaObjects/13663_2014_820_Equ6_HTML.gif)
Since ψ is strictly increasing function, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1812-2015-2/MediaObjects/13663_2014_820_Equ7_HTML.gif)
Put and then
.
If or
, then we find that
is a fixed point of T and thus we havenothing to prove. Therefore, we may assume that
and
. Since
,
,
, and T is an α-admissiblemulti-valued mapping, we have
. Applying from
-contractive condition, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1812-2015-2/MediaObjects/13663_2014_820_Equ8_HTML.gif)
Suppose that . From (2.7), we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1812-2015-2/MediaObjects/13663_2014_820_Equ9_HTML.gif)
which is a contradiction. Therefore, we may let . From (2.7), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1812-2015-2/MediaObjects/13663_2014_820_Equ10_HTML.gif)
By using Lemma 1.11 with , there exists
such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1812-2015-2/MediaObjects/13663_2014_820_Equ11_HTML.gif)
From (2.9) and (2.10), we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1812-2015-2/MediaObjects/13663_2014_820_Equ12_HTML.gif)
It follows from ψ being a strictly increasing function that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1812-2015-2/MediaObjects/13663_2014_820_Equ13_HTML.gif)
Continuing this process, we can construct a sequence in X such that
,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1812-2015-2/MediaObjects/13663_2014_820_Equ14_HTML.gif)
and
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1812-2015-2/MediaObjects/13663_2014_820_Equ15_HTML.gif)
for all .
Let such that
. By the triangle inequality, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1812-2015-2/MediaObjects/13663_2014_820_Equn_HTML.gif)
Since , we have
. Using
, we get
. This implies that
is a Cauchy sequence in
. From (2.13) and the α-completeness of
, there exists
such that
as
.
By α-continuity of the multi-valued mapping T, we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1812-2015-2/MediaObjects/13663_2014_820_Equ16_HTML.gif)
Now we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1812-2015-2/MediaObjects/13663_2014_820_Equo_HTML.gif)
Therefore, and hence T has a fixed point. Thiscompletes the proof. □
Corollary 2.4Letbe a metric space and
be a strictly
-contractive mapping. Suppose that thefollowing conditions hold:
(S1) is anα-complete metric space;
() Tis an
-admissible multi-valuedmapping;
(S3) there existand
such that
;
(S4) Tis anα-continuous multi-valued mapping.
ThenThas a fixed point.
Corollary 2.5 (Theorem 2.5 in [6])
Letbe a complete metric space and
be a strictly
-contractive mapping. Suppose that thefollowing conditions hold:
(A1) Tis an-admissible multi-valuedmapping;
(A2) there existand
such that
;
(A3) Tis a continuous multi-valued mapping.
ThenThas a fixed point.
Next, we give second main result in this work.
Theorem 2.6Letbe a metric space and
be a strictly
-contractive mapping. Suppose that thefollowing conditions hold:
(S1) is anα-complete metric space;
(S2) Tis anα-admissible multi-valued mapping;
(S3) there existand
such that
;
() if
is a sequence inXwith
as
and
, for all
, then we have
, for all
.
ThenThas a fixed point.
Proof Following the proof of Theorem 2.3, we know that is a Cauchy sequence in X such that
as
and
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1812-2015-2/MediaObjects/13663_2014_820_Equ17_HTML.gif)
for all . From condition (
), we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1812-2015-2/MediaObjects/13663_2014_820_Equ18_HTML.gif)
for all . By using the
-contractive condition of T, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1812-2015-2/MediaObjects/13663_2014_820_Equ19_HTML.gif)
for all . Suppose that
. Let
. Since
as
, we can find
such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1812-2015-2/MediaObjects/13663_2014_820_Equ20_HTML.gif)
for all . Furthermore, we obtain that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1812-2015-2/MediaObjects/13663_2014_820_Equ21_HTML.gif)
for all . Also, as
is a Cauchy sequence, there exists
such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1812-2015-2/MediaObjects/13663_2014_820_Equ22_HTML.gif)
for all . It follows from
as
that we can find
such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1812-2015-2/MediaObjects/13663_2014_820_Equ23_HTML.gif)
for all . Using (2.19)-(2.22), we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1812-2015-2/MediaObjects/13663_2014_820_Equ24_HTML.gif)
for all . For
, by (2.18) and the triangle inequality, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1812-2015-2/MediaObjects/13663_2014_820_Equp_HTML.gif)
Letting in the above inequality, we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1812-2015-2/MediaObjects/13663_2014_820_Equq_HTML.gif)
This implies that , which is a contradiction. Therefore,
, that is,
. This completes the proof. □
Corollary 2.7Letbe a metric space and
be a strictly
-contractive mapping. Suppose that thefollowing conditions hold:
(S1) is anα-complete metric space;
() Tis an
-admissible multi-valuedmapping;
(S3) there existand
such that
;
() if
is a sequence inXwith
as
and
, for all
, then we have
, for all
.
ThenThas a fixed point.
Corollary 2.8 (Theorem 2.6 in [6])
Letbe a complete metric space and
be a strictly
-contractive mapping. Suppose that thefollowing conditions hold:
(A1) Tis an-admissible multi-valuedmapping;
(A2) there existand
such that
;
() if
is a sequence inXwith
as
and
, for all
, then we have
, for all
.
ThenThas a fixed point.
Remark 2.9 Theorems 2.3 and 2.6 generalize many results in the followingsense:
-
The condition (1.1) is weaker than some kinds of the contractiveconditions such as Banach’s contractive condition [10], Kannan’s contractive condition [11], Chatterjea’s contractive condition [12], Nadler’s contractive condition [13], etc.;
-
the condition of being α-admissible of amulti-valued mapping T is weaker than the condition of being
-admissible of T;
-
for the existence of fixed point, we merely require thatα-continuity of T and α-completeness ofX, whereas other result demands stronger than these conditions.
Consequently, Theorems 2.3 and 2.6 extend and improve the following results:
-
Theorem 2.5 and Theorem 2.6 of Ali et al.[6];
-
Theorem 2.1 and Theorem 2.2 of Samet et al.[4];
-
Theorem 2.3 of Asl et al.[5];
-
Theorem 2.1 and Theorem 2.2 of Amiri et al.[14];
-
Theorem 2.1 of Salimi et al.[15];
-
Theorem 3.1 and Theorem 3.4 of Mohammadi et al.[7].
Next, we give an example to show that our result is more general than the results ofAli et al.[6] and many known results in the literature.
Example 2.10 Let and the metric
defined by
, for all
. Define
and
by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1812-2015-2/MediaObjects/13663_2014_820_Equr_HTML.gif)
and
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1812-2015-2/MediaObjects/13663_2014_820_Equs_HTML.gif)
Clearly, is not complete metric space. Therefore, the resultsof Ali et al.[6] are not applicable here.
Next, we show that by Theorem 2.6 can be guaranteed the existence of a fixedpoint of T. Define functions by
and
, for all
. It is easy to see that
and
.
Firstly, we will show that T is a strictly -contractive mapping. For
and
, we have
and then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1812-2015-2/MediaObjects/13663_2014_820_Equt_HTML.gif)
It is to be observed that ψ is strictly increasing function.Therefore, T is a strictly -contractive mapping.
Moreover, it is easy to see that T is an α-admissiblemulti-valued mapping and there exists and
such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1812-2015-2/MediaObjects/13663_2014_820_Equu_HTML.gif)
Also, T is an α-continuous mapping.
Finally, for each sequence in X with
as
and
, for all
, we have
, for all
. Thus the condition (
) in Theorem 2.6 holds.
Therefore, by using Theorem 2.3 or 2.6, we get T has a fixed point inX. In this case, T has infinitely fixed points such as−2, −1, and 0.
3 Consequences
3.1 Fixed point results in metric spaces endowed with an arbitrary binaryrelation
It has been pointed out in some studies that some results in metric spacesendowed with an arbitrary binary relation can be concluded from the fixed pointresults related with α-admissible mappings on metric spaces. Inthis section, we give some fixed point results on metric spaces endowed with anarbitrary binary relation which can be regarded as consequences of the resultspresented in the previous section. The following notions and definitions areneeded.
Let be a metric space and ℛ be a binaryrelation over X. Denote
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1812-2015-2/MediaObjects/13663_2014_820_Equv_HTML.gif)
i.e.,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1812-2015-2/MediaObjects/13663_2014_820_Equw_HTML.gif)
Definition 3.1 Let X be a nonempty set and ℛ be a binaryrelation over X. A multi-valued mapping is said to be a weakly comparative iffor each
and
with
, we have
, for all
.
Definition 3.2 Let be a metric space and ℛ be a binaryrelation over X. The metric space X is said to be
-complete if and only if every Cauchy sequence
in X with
, for all
, converges in X.
Definition 3.3 Let be a metric space and ℛ be a binaryrelation over X. We say that
is a
-continuousmapping to
if for given
and sequence
with
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1812-2015-2/MediaObjects/13663_2014_820_Equx_HTML.gif)
Definition 3.4 Let be a metric space and ℛ be a binaryrelation over X. A mapping
is called an
-contractive mapping if there exist two functions
and
such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1812-2015-2/MediaObjects/13663_2014_820_Equ25_HTML.gif)
where .
In the case when is strictly increasing, the
-contractive mapping is called a strictly
-contractive mapping.
Theorem 3.5Letbe a metric space, ℛ be a binary relation overXand
be a strictly
-contractive mapping. Suppose thatthe following conditions hold:
(S1) is an
-complete metric space;
(S2) Tis a weakly comparative mapping;
(S3) there existand
such that
;
(S4) Tis a-continuous multi-valued mapping.
ThenThas a fixed point.
Proof This result can be obtain from Theorem 2.3 by define amapping by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1812-2015-2/MediaObjects/13663_2014_820_Equy_HTML.gif)
This completes the proof. □
By using Theorem 2.6, we get the following result.
Theorem 3.6Letbe a metric space, ℛ be a binary relation overXand
be a strictly
-contractive mapping. Suppose thatthe following conditions hold:
(S1) is an
-complete metric space;
(S2) Tis a weakly comparative mapping;
(S3) there existand
such that
;
() if
is a sequence inXwith
as
and
, for all
, then we have
, for all
.
ThenThas a fixed point.
3.2 Fixed point results in metric spaces endowed with graph
In 2008, Jachymski [16] obtained a generalization of Banach’s contraction principle formappings on a metric space endowed with a graph. Afterwards, Dinevari and Frigon [17] extended some results of Jachymski [16] to multi-valued mappings. For more fixed point results on a metricspace with a graph, one can refer to [18–20].
In this section, we give fixed point results on a metric space endowed with agraph. Before presenting our results, we give the following notions anddefinitions.
Throughout this section, let be a metric space. A set
is called a diagonal of the Cartesian product
and is denoted by Δ. Consider a graphG such that the set
of its vertices coincides with X and theset
of its edges contains all loops, i.e.,
. We assume G has no parallel edges, sowe can identify G with the pair
. Moreover, we may treat G as a weightedgraph by assigning to each edge the distance between its vertices.
Definition 3.7 Let X be a nonempty set endowed with a graphG and be a multi-valued mapping, where X is anonempty set X. We say that Tweakly preserves edges if for each
and
with
, we have
, for all
.
Definition 3.8 Let be a metric space endowed with a graphG. The metric space X is said to be
-complete if and only if every Cauchysequence
in X with
, for all
, converges in X.
Definition 3.9 Let be a metric space endowed with a graphG. We say that
is an
-continuous mapping to
if for given
and sequence
with
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1812-2015-2/MediaObjects/13663_2014_820_Equz_HTML.gif)
Definition 3.10 Let be a metric space endowed with a graphG. A mapping
is called an
-contractive mapping if there exist two functions
and
such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1812-2015-2/MediaObjects/13663_2014_820_Equ26_HTML.gif)
where .
In the case when is strictly increasing, the
-contractive mapping is called a strictly
-contractive mapping.
Theorem 3.11Letbe a metric space endowed with a graphG, and
be a strictly
-contractive mapping. Suppose thatthe following conditions hold:
(S1) is an
-complete metric space;
(S2) Tweakly preserves edges;
(S3) there existand
such that
;
(S4) Tis an-continuous multi-valuedmapping.
ThenThas a fixed point.
Proof This result can be obtained from Theorem 2.3 by defining amapping by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-1812-2015-2/MediaObjects/13663_2014_820_Equaa_HTML.gif)
This completes the proof. □
By using Theorem 2.6, we get the following result.
Theorem 3.12Letbe a metric space endowed with a graphGand
be a strictly
-contractive mapping. Suppose thatthe following conditions hold:
(S1) is an
-complete metric space;
(S2) Tweakly preserves edges;
(S3) there existand
such that
;
() if
is a sequence inXwith
as
and
, for all
, then we have
for all
.
ThenThas a fixed point.
Remark 3.13
-
1.
If we assume G is such that
, then clearly G is connected and our Theorems 3.11 and 3.12 improve Nadler’s contraction principle [13] and in the case of a single-valued mapping, we improve Banach’s contraction principle [10], Kannan’s contraction theorem [11], Chatterjea’s contraction theorem [12], and Bianchini and Grandolfi’s fixed point theorem.
-
2.
Theorems 3.11 and 3.12 are partial some generalized fixed point results endowed with a graph of Jachymski [16] and Dinevari and Frigon [17].
-
3.
Theorems 3.11 and 3.12 are generalizations of fixed point results of Theorem 2.5 and Theorem 2.6 of Ali et al. [6] in a graph version.
References
Bianchini RM, Grandolfi M: Trasformazioni di tipo contrattivo generalizzato in uno spazio metrico.Atti Accad. Naz. Lincei, Rend. Cl. Sci. Fis. Mat. Nat. 1968, 45:212–216.
Proinov PD: A generalization of the Banach contraction principle with high order ofconvergence of successive approximations.Nonlinear Anal. TMA 2007, 67:2361–2369. 10.1016/j.na.2006.09.008
Proinov PD: New general convergence theory for iterative processes and its applicationsto Newton-Kantorovich type theorems.J. Complex. 2010, 26:3–42. 10.1016/j.jco.2009.05.001
Samet B, Vetro C, Vetro P: Fixed-point theorems forα-ψ-contractive typemappings.Nonlinear Anal. 2012, 75:2154–2165. 10.1016/j.na.2011.10.014
Asl JH, Rezapour S, Shahzad N: On fixed points ofα-ψ-contractivemultifunctions.Fixed Point Theory Appl. 2012., 2012: Article ID 212
Ali MU, Kamran T, Karapinar E:
-Contractive multivalued mappings.Fixed Point Theory Appl. 2014., 2014: Article ID 7
Mohammadi B, Rezapour S, Naseer S: Some results on fixed points ofα-ψ-Ciricgeneralized multifunctions.Fixed Point Theory Appl. 2013., 2013: Article ID 24
Minak G, Acar Ö, Altun I: Multivalued pseudo-Picard operators and fixed point results.J. Funct. Spaces Appl. 2013., 2013: Article ID 827458
Hussain N, Kutbi MA, Salimi P: Fixed point theory inα-complete metric spaces withapplications.Abstr. Appl. Anal. 2014., 2014: Article ID 280817
Banach S: Sur les opérations dans les ensembles abstraits et leur application auxéquations intégrales.Fundam. Math. 1922, 3:133–181.
Kannan R: Some results on fixed points. II.Am. Math. Mon. 1969, 76:405–408. 10.2307/2316437
Chatterjea SK: Fixed point theorems.C. R. Acad. Bulgare Sci. 1972, 25:727–730.
Nadler SB Jr.: Multi-valued contraction mappings.Pac. J. Math. 1969, 30:475–488. 10.2140/pjm.1969.30.475
Amiri P, Rezapour S, Shahzad N: Fixed points of generalizedα-ψ-contractions.Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 2014, 108:519–526. 10.1007/s13398-013-0123-9
Salimi P, Latif A, Hussain N: Modifiedα-ψ-contractive mappings withapplications.Fixed Point Theory Appl. 2013., 2013: Article ID 151
Jachymski J: The contraction principle for mappings on a metric space with a graph.Proc. Am. Math. Soc. 2008, 136:1359–1373.
Dinevari T, Frigon M: Fixed point results for multivalued contractions on a metric space with agraph.J. Math. Anal. Appl. 2013, 405:507–517. 10.1016/j.jmaa.2013.04.014
Beg I, Butt AR: Fixed point of set-valued graph contractive mappings.J. Inequal. Appl. 2013., 2013: Article ID 252
Chifu C, Petrusel G: Generalized contractions in metric spaces endowed with a graph.Fixed Point Theory Appl. 2012., 2012: Article ID 161
Nicolae A, O’Regan D, Petrusel A: Fixed point theorems for singlevalued and multivalued generalizedcontractions in metric spaces endowed with a graph.Georgian Math. J. 2011, 18:307–327.
Acknowledgements
The first author gratefully acknowledges the support from the Deanship ofScientific Research (DSR) at King Abdulaziz University (KAU) during thisresearch. The second author would like to thank the Thailand Research Fund andThammasat University under Grant No. TRG5780013 for financial supportduring the preparation of this manuscript.
Author information
Authors and Affiliations
Corresponding authors
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 authorsread 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. On new fixed point results for -contractive multi-valued mappings onα-complete metric spaces and their consequences.
Fixed Point Theory Appl 2015, 2 (2015). https://doi.org/10.1186/1687-1812-2015-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-1812-2015-2