- Research
- Open Access
Fixed point analysis for multi-valued operators with graph approach by the generalized Hausdorff distance
- Marwan Amin Kutbi^{1} and
- Wutiphol Sintunavarat^{2}Email author
https://doi.org/10.1186/1687-1812-2014-142
© Kutbi and Sintunavarat; licensee Springer. 2014
- Received: 22 February 2014
- Accepted: 26 June 2014
- Published: 22 July 2014
Abstract
In this paper, we establish new fixed point results for multi-valued operator on a cone metric space with respect to a solid cone by using the idea of the generalized Hausdorff distance due to Cho and Bae (Fixed Point Theory Appl. 2011:87, 2011). We also furnish some interesting examples which support our main theorems and give many results as corollaries of our result. As applications of our results, we obtain fixed point results for the multi-valued contraction operators in cone metric spaces endowed with graph.
MSC:47H10, 54H25.
Keywords
- α-admissible multi-valued operator
- cone metric space
- directed graph
- the generalized Hausdorff distance
1 Introduction
In 2007, Huang and Zhang [1] re-introduced the concept of cone metric space which is replacing the set of real numbers (as the co-domain of a metric) by an ordered Banach space. They described the convergence sequence in this space via interior points of the cone and also introduced the concept of completeness. By using these concepts, they proved some fixed point theorem for contractive type mappings which is a generalization of Banach’s contraction principle. Afterward, many authors studied and extended fixed point theorems in cone metric spaces (see [2–4] and references therein).
In 2011, Janković et al. [5] showed that most of the fixed point results for mappings satisfying a contractive type condition in cone metric spaces with normal cone can be reduced to the corresponding results from metric space theory. They also give some examples and showed that fixed point theorems from ordinary metric spaces cannot be applied in the setting of cone metric spaces whenever the cone is non-normal. In fact, the fixed point problem in the setting of cone metric spaces is appropriate only in the case when the underlying cone is non-normal with non-empty interior (such cones are called solid) because the results concerning fixed points and other results in this case cannot be proved by reducing to metric spaces. So fixed point results in this trend are still of interest and importance in some ways.
On the other hand, a study of fixed point for multi-valued (set-valued) operators was originally initiated by von Neumann [6] in the study of game theory. In 1969, the development of geometric fixed point theory for a multi-valued operator via the concept of Hausdorff distance was initiated with the work of Nadler [7], usually referred to as Nadler’s contraction principle. Many authors in [8–11] proved fixed point theorems for multi-valued operators in cone metric spaces which are generalizations of classical Nadler’s contraction principle.
Recently, Cho and Bae [12] first introduced the concept of the generalized Hausdorff distance operator in cone metric spaces and initially studied fixed point results for a multi-valued operator via such a concept in cone metric spaces. Most recently, Kutbi et al. [13] established fixed point results for multi-valued operator under the generalized contractive condition via the generalized Hausdorff distance operator of Cho and Bae [12].
In this paper, we establish new fixed point results for multi-valued operator by using the idea of generalized Hausdorff distance in the context of cone metric spaces with respect to a solid cone. Our results unify, generalize, and complement results of Kutbi et al. [13] and many results from the literature. Also, we furnish some interesting examples which support our main theorems. As an application, we analyze the fixed points for the multi-valued contraction operators in cone metric spaces endowed with a graph.
2 Preliminaries
Throughout this paper, we denote by ℕ, ${\mathbb{R}}_{+}$ and ℝ the sets of positive integers, non-negative real numbers and real numbers, respectively.
Now, we recall some definitions and lemmas in cone metric spaces and the notion of the generalized Hausdorff distance operator of Cho and Bae [12], which will be required in the sequel.
Let $(\mathbb{E},{\parallel \cdot \parallel}_{\mathbb{E}})$ be a real Banach space and θ be a zero element in . A subset P of is called a cone if the following conditions are satisfied:
(C_{1}) P is non-empty closed and $P\ne \{\theta \}$;
(C_{2}) $ax+by\in P$ for all $x,y\in P$ and $a,b\ge 0$;
(C_{3}) $P\cap (-P)=\{\theta \}$.
For a given cone $P\subseteq \mathbb{E}$, we define a partial ordering ⪯ with respect to P by $x\u2aafy$ if and only if $y-x\in P$ and $x\prec y$ stands for $x\u2aafy$ and $x\ne y$, while $x\ll y$ stands for $y-x\in int(P)$, where $int(P)$ denotes the interior of P.
The least positive number K satisfying the above statement is called the normal constant of P. In 2008, Rezapour and Hamlbarani [14] showed that there are no normal cones with normal constant $K<1$.
Definition 2.1 ([1])
Let X be a non-empty set and P be a cone in real Banach space . If a function $d:X\times X\to \mathbb{E}$ satisfies the following conditions:
(CM_{1}) $\theta \u2aafd(x,y)$ for all $x,y\in X$ and $d(x,y)=\theta $ if and only if $x=y$;
(CM_{2}) $d(x,y)=d(y,x)$ for all $x,y\in X$;
(CM_{3}) $d(x,z)\u2aafd(x,y)+d(y,z)$ for all $x,y,z\in X$,
then d is called a cone metric on X and $(X,d)$ is called a cone metric space.
Definition 2.2 ([1])
- 1.
If for every $c\in \mathbb{E}$ with $\theta \ll c$, there is $N\in \mathbb{N}$ such that $d({x}_{n},x)\ll c$ for all $n\ge N$, then $\{{x}_{n}\}$ is said to converge to x. This limit is denoted by ${lim}_{n\to \mathrm{\infty}}{x}_{n}=x$ or ${x}_{n}\to x$ as $n\to \mathrm{\infty}$.
- 2.
If for every $c\in \mathbb{E}$ with $\theta \ll c$, there is $N\in \mathbb{N}$ such that $d({x}_{n},{x}_{m})\ll c$ for all $n,m>N$, then $\{{x}_{n}\}$ is called a Cauchy sequence in X.
- 3.
If every Cauchy sequence in X is convergent in X, then $(X,d)$ is called a complete cone metric space.
Remark 2.1 The cone metric is not continuous in the general case, i.e., from ${x}_{n}\to x$, ${y}_{n}\to y$ as $n\to \mathrm{\infty}$ it need not follow that $d({x}_{n},{y}_{n})\to d(x,y)$ as $n\to \mathrm{\infty}$. However, if $(X,d)$ is a cone metric space with a normal cone P, then the cone metric d is continuous (see Lemma 5 in [1]).
Definition 2.3 ([1])
Let $(X,d)$ be a cone metric space. A subset $A\subseteq X$ is called closed if for any sequence $\{{x}_{n}\}$ in A convergent to x, we have $x\in A$.
Lemma 2.1 ([5])
Let $(X,d)$ be a cone metric space (particularly when dealing with cone metric spaces in which the cone need not be normal). Then the following properties hold:
(PT_{1}) If $u\u2aafv$ and $v\ll w$, then $u\ll w$.
(PT_{2}) If $u\ll v$ and $v\u2aafw$, then $u\ll w$.
(PT_{3}) If $u\ll v$ and $v\ll w$, then $u\ll w$.
(PT_{4}) If $\theta \u2aafu\ll c$ for each $c\in int(P)$, then $u=\theta $.
(PT_{5}) If $a\u2aafb+c$, for each $c\in int(P)$, then $a\u2aafb$.
(PT_{6}) If $c\in int(P)$ and $\{{a}_{n}\}$ is a sequence in such that $\theta \u2aaf{a}_{n}$ for all $n\in \mathbb{N}$ and ${a}_{n}\to \theta $ as $n\to \mathrm{\infty}$, then there exists $N\in \mathbb{N}$ such that for all $n\ge N$, we have ${a}_{n}\ll c$.
The following remarks are found in [12].
for all $A,B\in CB(X)$, is the Hausdorff distance induced by d.
Remark 2.3 Let $(X,d)$ be a cone metric space. Then $s(\{a\},\{b\})=s(d(a,b))$ for all $a,b\in X$.
Lemma 2.2 ([12])
Let $(X,d)$ be a cone metric space with cone P in real Banach space .
(L_{1}) Let $p,q\in \mathbb{E}$. If $p\u2aafq$, then $s(q)\subseteq s(p)$.
(L_{2}) Let $x\in X$ and $A\in N(X)$. If $\theta \in s(x,A)$, then $x\in A$.
(L_{3}) Let $q\in P$ and $A,B\in CB(X)$. If $q\in s(A,B)$, then $q\in s(a,B)$ for all $a\in A$ and $q\in s(A,b)$ for all $b\in B$.
(L_{4}) Let $q\in P$ and let $\lambda \ge 0$, then $\lambda s(q)\subseteq s(\lambda q)$.
In 2012, Samet et al. [15] introduced the idea of an α-admissible mapping and proved a fixed point theorem for a single valued mapping by using this concept. They showed that these results can be utilized to derive fixed point theorems in partially ordered spaces and also applied the main results to ordinary differential equations. Afterward, Asl et al. [16] introduced the concept of ${\alpha}_{\ast}$-admissible operator, which is multi-valued version of the α-admissible mapping provided in [15].
Definition 2.4 ([16])
where ${\alpha}_{\ast}(Fx,Fy):=inf\{\alpha (a,b)|a\in Fx,b\in Fy\}$.
Recently, Mohammadi et al. [17] extended the concept of ${\alpha}_{\ast}$-admissible operator to α-admissible operator as follows.
Definition 2.5 ([17])
Let X be a non-empty set, $F:X\to {2}^{X}$, where ${2}^{X}$ is a collection of non-empty subset of X and $\alpha :X\times X\to [0,\mathrm{\infty})$ be a mapping. We say that F is α-admissible whenever for each $x\in X$ and $y\in Fx$ with $\alpha (x,y)\ge 1$, we have $\alpha (y,z)\ge 1$ for all $z\in Fy$.
Remark 2.4 If F is ${\alpha}_{\ast}$-admissible, then F is also α-admissible.
3 Fixed point results for multi-valued operators
- (i)
$\psi (\theta )=\theta $ and $\theta \prec \psi (t)\prec t$ for $t\in P-\{\theta \}$,
- (ii)
$\psi (t)\ll t$ for all $\theta \ll t$,
- (iii)
${lim}_{n\to \mathrm{\infty}}{\psi}^{n}(t)=\theta $ for every $t\in P-\{\theta \}$,
- (iv)
ψ is a strictly increasing function, i.e., $\psi (a)\prec \psi (b)$ whenever $a\prec b$.
Remark 3.1 From (i), we obtain $\psi (t)\u2aaft$ for all $t\in P$.
for all $x,y\in X$,
- (a)
F is α-admissible operator;
- (b)
there exist ${x}_{0}\in X$ and ${x}_{1}\in F{x}_{0}$ such that $\alpha ({x}_{0},{x}_{1})\ge 1$;
- (c)
if $\{{x}_{n}\}$ is a sequence in X such that $\alpha ({x}_{n},{x}_{n+1})\ge 1$ for all $n\in \mathbb{N}$ and ${x}_{n}\to u$ as $n\to \mathrm{\infty}$, then $\alpha ({x}_{n},u)\ge 1$ for all $n\in \mathbb{N}$.
Then there exists a point ${x}^{\ast}\in X$ such that ${x}^{\ast}\in F{x}^{\ast}$, that is, F has a fixed point in X.
for all $n\in \mathbb{N}$. Since $\psi \in \mathrm{\Psi}$, we have ${\psi}^{n}(d({x}_{0},{x}_{1}))\to \theta $ as $n\to \mathrm{\infty}$.
for all $n\ge {N}^{\prime}$. Hence, we have ${lim}_{n\to \mathrm{\infty}}{v}_{n}=u$. Since Fu is closed and ${v}_{n}\in Fu$ for all $n\in \mathbb{N}$, we obtain $u\in Fu$. This implies that u is a fixed point of F. This completes the proof. □
Now we give an example to support Theorem 3.1.
This cone is solid but non-normal (see [18]).
which implies that $\psi (d(x,y))\in \alpha (x,y)s(Fx,Fy)$. Otherwise, it is easy to see that $\psi (d(x,y))\in \alpha (x,y)s(Fx,Fy)$. Therefore, F is an α-ψ-contraction multi-valued operator.
Next, we show that our results in this paper can be used for this case. It is easy to see that F is an α-admissible operator and there exist ${x}_{0}=1$ and ${x}_{1}=1/6\in F{x}_{0}$ such that $\alpha ({x}_{0},{x}_{1})=\alpha (1,1/6)\ge 1$. Also, we see that condition (c) in Theorem 3.1 holds. Therefore, all the conditions of Theorem 3.1 are satisfied and so F has a fixed point.
Corollary 3.3 ([13])
- (a)
F is ${\alpha}_{\ast}$-admissible operator;
- (b)
there exist ${x}_{0}\in X$ and ${x}_{1}\in F{x}_{0}$ such that $\alpha ({x}_{0},{x}_{1})\ge 1$;
- (c)
if $\{{x}_{n}\}$ is a sequence in X such that $\alpha ({x}_{n},{x}_{n+1})\ge 1$ for all $n\in \mathbb{N}$ and ${x}_{n}\to u$ as $n\to \mathrm{\infty}$, then $\alpha ({x}_{n},u)\ge 1$ for all $n\in \mathbb{N}$.
Then there exists a point ${x}^{\ast}\in X$ such that ${x}^{\ast}\in F{x}^{\ast}$, that is, F has a fixed point in X.
Proof We can prove this result by using Theorem 3.1 and Remark 2.4. □
- (a)
F is α-admissible operator;
- (b)
there exist ${x}_{0}\in X$ and ${x}_{1}\in F{x}_{0}$ such that $\alpha ({x}_{0},{x}_{1})\ge 1$;
- (c)
if $\{{x}_{n}\}$ is a sequence in X such that $\alpha ({x}_{n},{x}_{n+1})\ge 1$ for all $n\in \mathbb{N}$ and ${x}_{n}\to u$ as $n\to \mathrm{\infty}$, then $\alpha ({x}_{n},u)\ge 1$ for all $n\in \mathbb{N}$.
Then there exists a point ${x}^{\ast}\in X$ such that ${x}^{\ast}\in F{x}^{\ast}$, that is, F has a fixed point in X.
Proof By taking $\psi (t)=kt$ for all $t\in P$ in Theorem 3.1, we get this result. □
for all $x,y\in X$. Then there exists a point ${x}^{\ast}\in X$ such that ${x}^{\ast}\in F{x}^{\ast}$, that is, F has a fixed point in X.
Proof By taking $\alpha (x,y)=1$ for all $x,y\in X$ in Theorem 3.1, we get this result. □
for all $x,y\in X$, where $k\in [0,1)$. Then there exists a point ${x}^{\ast}\in X$ such that ${x}^{\ast}\in F{x}^{\ast}$, that is, F has a fixed point in X.
Proof By taking $\psi (t)=kt$ for all $t\in P$ and $\alpha (x,y)=1$ for all $x,y\in X$ in Theorem 3.1, we get this result. □
By Remark 2.2, we get the following results.
- (a)
F is α-admissible operator;
- (b)
there exist ${x}_{0}\in X$ and ${x}_{1}\in F{x}_{0}$ such that $\alpha ({x}_{0},{x}_{1})\ge 1$;
- (c)
if $\{{x}_{n}\}$ is a sequence in X such that $\alpha ({x}_{n},{x}_{n+1})\ge 1$ for all $n\in \mathbb{N}$ and ${x}_{n}\to u$ as $n\to \mathrm{\infty}$, then $\alpha ({x}_{n},u)\ge 1$ for all $n\in \mathbb{N}$.
Then there exists a point ${x}^{\ast}\in X$ such that ${x}^{\ast}\in F{x}^{\ast}$, that is, F has a fixed point in X.
Corollary 3.8 ([7])
for all $x,y\in X$, where $k\in [0,1)$. Then there exists a point ${x}^{\ast}\in X$ such that ${x}^{\ast}\in F{x}^{\ast}$, that is, F has a fixed point in X.
Next, we give a lemma which is useful to prove the second main result. Moreover, this lemma is also a tool for analyzing fixed point results in a directed graph in Section 4.
- (c)
if $\{{x}_{n}\}$ is a sequence in X such that $\alpha ({x}_{n},{x}_{n+1})\ge 1$ for all $n\in \mathbb{N}$ and ${x}_{n}\to u$ as $n\to \mathrm{\infty}$, then $\alpha ({x}_{n},u)\ge 1$ for all $n\in \mathbb{N}$;
(c′) if $\{{x}_{n}\}$ is a sequence in X such that $\alpha ({x}_{n},{x}_{n+1})\ge 1$ for all $n\in \mathbb{N}$ and ${x}_{n}\to u$ as $n\to \mathrm{\infty}$, then there is a subsequence $\{{x}_{{k}_{n}}\}$ with $\alpha ({x}_{{k}_{n}},u)\ge 1$ for all $n\in \mathbb{N}$.
Proof It easy to see that (c) ⟹ (c′). Now assume (c′) holds and $\{{x}_{n}\}$ is as in (c). By transitivity, $\alpha ({x}_{n},{x}_{m})\ge 1$ if $n\le m$. From (c′), there is a subsequence $\{{x}_{{k}_{n}}\}$ such that $\alpha ({x}_{{k}_{n}},u)\ge 1$ for $n\in \mathbb{N}$. Since $n\le {k}_{n}$, we have $\alpha ({x}_{n},{x}_{{k}_{n}})\ge 1$. By transitivity, we have $\alpha ({x}_{n},u)\ge 1$. □
Using Lemma 3.9, we have the following result.
- (a)
F is α-admissible operator;
- (b)
there exist ${x}_{0}\in X$ and ${x}_{1}\in F{x}_{0}$ such that $\alpha ({x}_{0},{x}_{1})\ge 1$;
(c′) if $\{{x}_{n}\}$ is a sequence in X such that $\alpha ({x}_{n},{x}_{n+1})\ge 1$ for all $n\in \mathbb{N}$ and ${x}_{n}\to u$ as $n\to \mathrm{\infty}$, then there is a subsequence $\{{x}_{{k}_{n}}\}$ with $\alpha ({x}_{{k}_{n}},u)\ge 1$ for all $n\in \mathbb{N}$.
Then there exists a point ${x}^{\ast}\in X$ such that ${x}^{\ast}\in F{x}^{\ast}$, that is, F has a fixed point in X.
- (a)
F is ${\alpha}_{\ast}$-admissible operator;
- (b)
there exist ${x}_{0}\in X$ and ${x}_{1}\in F{x}_{0}$ such that $\alpha ({x}_{0},{x}_{1})\ge 1$;
(c′) if $\{{x}_{n}\}$ is a sequence in X such that $\alpha ({x}_{n},{x}_{n+1})\ge 1$ for all $n\in \mathbb{N}$ and ${x}_{n}\to u$ as $n\to \mathrm{\infty}$, then there is a subsequence $\{{x}_{{k}_{n}}\}$ with $\alpha ({x}_{{k}_{n}},u)\ge 1$ for all $n\in \mathbb{N}$.
Then there exists a point ${x}^{\ast}\in X$ such that ${x}^{\ast}\in F{x}^{\ast}$, that is, F has a fixed point in X.
4 Fixed point analysis with graph
Throughout this section let $(X,d)$ be a cone metric space. A set $\{(x,x):x\in X\}$ is called a diagonal of the Cartesian product $X\times X$ and is denoted by Δ. Consider a directed graph G such that the set $V(G)$ of its vertices coincides with X and the set $E(G)$ of its edges contains all loops, i.e., $\mathrm{\Delta}\subseteq E(G)$. We assume G has no parallel edges, so we can identify G with the pair $(V(G),E(G))$. Moreover, we may treat G as a weighted graph by assigning to each edge the distance between its vertices. If x and y are vertices in a graph G, then a path in G from x to y of length N ($N\in \mathbb{N}\cup \{0\}$) is a sequence ${\{{x}_{i}\}}_{i=0}^{N}$ of $N+1$ vertices such that ${x}_{0}=x$, ${x}_{N}=y$ and $({x}_{n-1},{x}_{n})\in E(G)$ for $i=1,\dots ,N$.
A graph G is connected if there is a path between any two vertices. Also, G is weakly connected if $\tilde{G}$ is connected, where $\tilde{G}$ is the undirected graph obtained from G by ignoring the direction of the edges.
Recently, some results have appeared providing sufficient conditions for a single valued mapping and a multi-valued operator on some space which is endowed with a graph to be a Picard operator. The first result in this direction was given by Jachymski [19].
In this section, we give the existence of fixed point theorems for multi-valued operator in a cone metric space endowed with a graph under the generalized Hausdorff distance. Before presenting our results, we will introduce new definitions in a cone metric space endowed with a graph.
Definition 4.1 Let $(X,d)$ be a cone metric space (with cone P in real Banach space ) endowed with a graph G and $F:X\to CB(X)$ be multi-valued operator. We say that F weakly preserves edges of G if for each $x\in X$ and $y\in Fx$ with $(x,y)\in E(G)$ it is implied that $(y,z)\in E(G)$ for all $z\in Fy$.
for all $x,y\in X$ with $(x,y)\in E(G)$. If ψ defined by $\psi (t)=kt$ for all $t\in P$, where $k\in [0,1)$, then F is said to be a generalized Banach G-contraction.
for all $x,y\in X$ for which $(x,y)\in E(G)$, where $k\in [0,1)$, is a ψ-G-contraction by using Remark 2.2.
Example 4.1 Any mapping $F:X\to CB(X)$ defined by $Fx=\{a\}$, where $a\in X$, is a ψ-G-contraction for any graph G with $V(G)=X$ and all $\psi \in \mathrm{\Psi}$.
Example 4.2 Any mapping $F:X\to CB(X)$ is trivially a ψ-G-contraction, where $G=(V(G),E(G))=(X,\mathrm{\Delta})$.
Definition 4.3 Let $(X,d)$ be a cone metric space (with cone P in real Banach space ) endowed with a graph G. We say that X has the G-regular property if given $x\in X$ and sequence $\{{x}_{n}\}$ in X such that ${x}_{n}\to x$ as $n\to \mathrm{\infty}$ and $({x}_{n},{x}_{n+1})\in E(G)$ for all $n\in \mathbb{N}$, then $({x}_{n},u)\in E(G)$ for all $n\in \mathbb{N}$.
Definition 4.4 Let $(X,d)$ be a cone metric space (with cone P in real Banach space ) endowed with a graph G. We say that $E(G)$ is quasi-ordered (or transitive) if $(x,y)\in E(G)$ and $(y,z)\in E(G)$ imply $(x,y)\in E(G)$ for all $x,y,z\in X$.
Here, we give two fixed point results for multi-valued operator in a cone metric space endowed with a graph.
- (A)
F weakly preserves edges of G;
- (B)
there exist ${x}_{0}\in X$ and ${x}_{1}\in F{x}_{0}$ such that $({x}_{0},{x}_{1})\in E(G)$;
- (C)
X has the G-regular property.
Then there exists a point ${x}^{\ast}\in X$ such that ${x}^{\ast}\in F{x}^{\ast}$, that is, F has a fixed point in X.
This implies that F satisfies (3.1). By construction of α and hypothesis (A), we see that F is an α-admissible operator. From condition (B) and the definition of α, we get $\alpha ({x}_{0},{x}_{1})\ge 1$. Using the G-regular property of X, we find that condition (c) in Theorem 3.1 holds. Now all the hypotheses of Theorem 3.1 are satisfied and so the existence of the fixed point of F follows from Theorem 3.1. □
- (A)
F weakly preserves edges of G;
- (B)
there exist ${x}_{0}\in X$ and ${x}_{1}\in F{x}_{0}$ such that $({x}_{0},{x}_{1})\in E(G)$;
- (C)
X has the G-regular property.
Then there exists a point ${x}^{\ast}\in X$ such that ${x}^{\ast}\in F{x}^{\ast}$, that is, F has a fixed point in X.
By Remark 2.2, we get the multi-valued version of Jachymski’s result in [19].
- (A)
F weakly preserves edges of G;
- (B)
there exist ${x}_{0}\in X$ and ${x}_{1}\in F{x}_{0}$ such that $({x}_{0},{x}_{1})\in E(G)$;
- (C)
X has the G-regular property.
Then there exists a point ${x}^{\ast}\in X$ such that ${x}^{\ast}\in F{x}^{\ast}$, that is, F has a fixed point in X.
Next, we give the fixed point result for a multi-valued operator in a connected graph.
- (A)
F weakly preserves edges of G;
- (B)
there exist ${x}_{0}\in X$ and ${x}_{1}\in F{x}_{0}$ such that $({x}_{0},{x}_{1})\in E(G)$;
(C′) if $u\in X$ and a sequence $\{{x}_{n}\}$ in X are given such that ${x}_{n}\to u$ as $n\to \mathrm{\infty}$ and $({x}_{n},{x}_{n+1})\in E(G)$ for all $n\in \mathbb{N}$, then there is a subsequence $\{{x}_{{k}_{n}}\}$ with $({x}_{{k}_{n}},u)\in E(G)$ for all $n\in \mathbb{N}$.
Then there exists a point ${x}^{\ast}\in X$ such that ${x}^{\ast}\in F{x}^{\ast}$, that is, F has a fixed point in X.
Proof Since G is a connected graph, $E(G)$ is a quasi-ordered. Consider the mapping $\alpha :X\times X\to [0,\mathrm{\infty})$ defined as in the proof of Theorem 4.3. It follows from $E(G)$ being quasi-ordered that α has the transitive property. By Lemma 3.9, we note that condition (C′) is in equivalence to condition (C) in Theorem 4.3. Thus we can prove this theorem similarly to the proof of Theorem 4.3 and consequently F has a fixed point in X. □
- (A)
F weakly preserves edges of G;
- (B)
there exist ${x}_{0}\in X$ and ${x}_{1}\in F{x}_{0}$ such that $({x}_{0},{x}_{1})\in E(G)$;
(C′) if $u\in X$ and a sequence $\{{x}_{n}\}$ in X are given such that ${x}_{n}\to u$ as $n\to \mathrm{\infty}$ and $({x}_{n},{x}_{n+1})\in E(G)$ for all $n\in \mathbb{N}$, then there is a subsequence $\{{x}_{{k}_{n}}\}$ with $({x}_{{k}_{n}},u)\in E(G)$ for all $n\in \mathbb{N}$.
Then there exists a point ${x}^{\ast}\in X$ such that ${x}^{\ast}\in F{x}^{\ast}$, that is, F has a fixed point in X.
Declarations
Acknowledgements
The authors thank the editor and the referees for their valuable and insightful comments and suggestions which improved greatly the quality of this paper. 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.
Authors’ Affiliations
References
- Huang LG, Zhang X: Cone metric spaces and fixed point theorems of contractive mappings. J. Math. Anal. Appl. 2007, 332: 1468–1476. 10.1016/j.jmaa.2005.03.087View ArticleMathSciNetMATHGoogle Scholar
- Ilic D, Pavlovic V: Common fixed points for maps on cone metric space. J. Math. Anal. Appl. 2008, 341: 876–882. 10.1016/j.jmaa.2007.10.065View ArticleMathSciNetMATHGoogle Scholar
- Sintunavarat W, Kumam P: Common fixed points of f -weak contractions in cone metric spaces. Bull. Iran. Math. Soc. 2012, 38(2):293–303.MathSciNetMATHGoogle Scholar
- Sintunavarat W, Cho YJ, Kumam P: Common fixed point theorems for c -distance in ordered cone metric spaces. Comput. Math. Appl. 2011, 62: 1969–1978. 10.1016/j.camwa.2011.06.040View ArticleMathSciNetMATHGoogle Scholar
- Janković S, Kadelburg Z, Radenović S: On cone metric spaces: a survey. Nonlinear Anal. 2011, 74: 2591–2601. 10.1016/j.na.2010.12.014View ArticleMathSciNetMATHGoogle Scholar
- von Neumann J: Zur theorie der gesellschaftsspiele. Math. Ann. 1928, 100(1):295–320. 10.1007/BF01448847View ArticleMathSciNetMATHGoogle Scholar
- Nadler SB Jr.: Multi-valued contraction mappings. Pac. J. Math. 1969, 30: 475–488. 10.2140/pjm.1969.30.475View ArticleMathSciNetMATHGoogle Scholar
- Kadelburg Z, Radenovic S: Some results on set-valued contractions in abstract metric spaces. Comput. Math. Appl. 2011, 62: 342–350. 10.1016/j.camwa.2011.05.015View ArticleMathSciNetMATHGoogle Scholar
- Klim D, Wardowski D: Dynamic processes and fixed points of set-valued nonlinear contractions in cone metric spaces. Nonlinear Anal. 2009, 71: 5170–5175. 10.1016/j.na.2009.04.001View ArticleMathSciNetMATHGoogle Scholar
- Latif A, Shaddad FY: Fixed point results for multivalued maps in cone metric spaces. Fixed Point Theory Appl. 2010., 2010: Article ID 941371Google Scholar
- Wardowski D: Endpoints and fixed points of set-valued contractions in cone metric spaces. Nonlinear Anal. 2009, 71: 512–516. 10.1016/j.na.2008.10.089View ArticleMathSciNetMATHGoogle Scholar
- Cho SH, Bae JS: Fixed point theorems for multivalued maps in cone metric spaces. Fixed Point Theory Appl. 2011., 2011: Article ID 87Google Scholar
- 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 313782Google Scholar
- Rezapour S, Hamlbarani R: Some notes on paper ‘Cone metric spaces and fixed point theorems of contractive mappings’. J. Math. Anal. Appl. 2008, 345: 719–724. 10.1016/j.jmaa.2008.04.049View ArticleMathSciNetMATHGoogle Scholar
- 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.014View ArticleMathSciNetMATHGoogle Scholar
- Asl JH, Rezapour S, Shahzad N: On fixed points of α - ψ -contractive multifunctions. Fixed Point Theory Appl. 2012., 2012: Article ID 212Google Scholar
- Mohammadi B, Rezapour S, Shahzad N: Some results on fixed points of α - ψ -Ciric generalized multifunctions. Fixed Point Theory Appl. 2013., 2013: Article ID 24Google Scholar
- Vandergraft JS: Newton’s method for convex operators in partially ordered spaces. SIAM J. Numer. Anal. 1967, 4: 406–432. 10.1137/0704037View ArticleMathSciNetMATHGoogle Scholar
- Jachymski J: The contraction principle for mappings on a metric space with a graph. Proc. Am. Math. Soc. 2008, 1(136):1359–1373.MathSciNetMATHGoogle Scholar
Copyright
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.