# Fixed Points of Set Valued Mappings in Terms of Start Point on a Metric Space Endowed with a Directed Graph

^{*}

^{†}

Next Article in Journal

Previous Article in Journal

Previous Article in Special Issue

Previous Article in Special Issue

Department of Mathematics, North Eastern Regional Institute of Science and Technology, Nirjuli 791109, Arunachal Pradesh, India

Author to whom correspondence should be addressed.

These authors contributed equally to this work.

Academic Editor: Pasquale Vetro

Received: 28 June 2016 / Revised: 11 April 2017 / Accepted: 14 April 2017 / Published: 19 April 2017

(This article belongs to the Special Issue Fixed Point Theorems and Applications)

In the present article, we introduce the new concept of start point in a directed graph and provide the characterizations required for a directed graph to have a start point. We also define the notion of a self path set valued map and establish its relation with start point in the setting of a metric space endowed with a directed graph. Further, some fixed point theorems for set valued maps have been proven in this context. A version of the Knaster–Tarski theorem has also been established using our results.

At present, fixed point theory is an immensely active area of research due to its applications in multiple fields. It addresses the results which state that, under certain conditions, a self map on a set admits a fixed point. Among all the results in fixed point theory, the “Banach Contraction Principle” in metric fixed point theory is the most celebrated one due to its simplicity and ease of application in major areas of mathematics. Following the Banach Contraction Principle, Boyd and Wong [1] investigated the fixed point results in nonlinear contraction mappings. Subsequently, many authors extended and generalized this fixed point theorem in different directions.

Study of fixed point results in partially ordered sets has been a very well motivated research area because of its ease of compatibility in modelling various problems and in finding new convergence schemes. The first attempt in this direction was carried out by Ran and Reurings [2] who combined the Banach contraction principle and the Knaster–Tarski fixed point theorem. Ran and Reurings considered a class of mappings $f:X\to X$, with $(X,d)$ as a complete metric space and a partial order ≤. The mappings they considered were continuous and monotone with respect to the partial order ≤. Those mappings also satisfy a Banach contraction inequality for every pair $(x,y)\in X\times X$ such that $x\le y$. When for some ${x}_{0}\in X$, the inequality ${x}_{0}\le f\left({x}_{0}\right)$ is satisfied, they proved that the Picard sequence $\left\{{f}^{n}\left({x}_{0}\right)\right\}$ would converge to a fixed point of f. Ran and Reurings also combined this interesting result with the Schauder fixed point theorem and applied it to obtain some existence and uniqueness results to nonlinear matrix equations.

Neito and Rodríguez-López ([3,4]) extended the results of Ran and Reurings to the functions which were not necessarily continuous. The authors also applied their results to obtain a theorem on the existence of a unique solution for periodic boundary problems relative to ordinary differential equations.

Some very important works in this direction that deserve attention are [5,6,7,8,9,10,11,12,13,14,15,16,17,18].

Nadler [19] and Assad and Kirk [20] established some very important fixed point results for set valued and multivalued contraction mappings. Meanwhile, Espinola and Kirk [21] combined the concepts of fixed point theory and graph theory to prove some interesting fixed point theorems in R-trees. In 2008, Jachymski [22] introduced an interesting idea of using the language of graph theory in the study of fixed point results. He was interested in establishing results that would eventually generalize the existing results and also in applying the results to the theory of linear operators. So, he studied the class of generalized Banach contractions on a metric space with a directed graph. The advantage of using graph theoretical concepts was that it helped him to describe the results in a unified way and also weaken some conditions significantly. Such works were further extended by Bojor [23,24] in a significant way.

Very recently, some fixed point results on subgraphs of directed graphs were established by Aleomraninejad, Rezapour and Shahzad [6,25]. They showed that the Caristi fixed point theorem and a version of the Knaster–Tarski fixed point theorem are special cases of their results. Inspired by their work, in the present paper, we prove some fixed point theorems in the case of set valued mappings in the setting of a metric space with a graph by defining a new notion called start point of a directed graph.

Let $(X,d)$ be a complete metric space and $CB\left(X\right)$ be the class of all nonempty closed and bounded subsets of X. For $A,B\in CB\left(X\right)$, let:
where $d(a,B)={inf}_{b\in B}d(a,b)$. Then $\left(CB\right(X),D)$ is a metric space and D is said to be a Hausdorff metric induced by d.

$$D(A,B)=max\{\underset{b\in B}{sup}d(b,A),\underset{a\in A}{sup}d(a,B)\},$$

Let $(X,d)$ be a metric space and $\Delta =\left\{\right(x,x):x\in X\}$ denote the diagonal of the Cartesian product $X\times X$. Consider a directed graph G such that the set of its vertices coincides with X (i.e., $V\left(G\right)=X$) and the set of its edges $E\left(G\right)$ is such that $\Delta \subseteq E\left(G\right)$, i.e., G contains all the loops. We assume G has no parallel edges and thus we identify G with the pair $\left(V\right(G),E(G\left)\right)$.

If $x,y\in V\left(G\right)$, then a path in G from x to y is a sequence ${\left\{{x}_{i}\right\}}_{i=0}^{n}$ of vertices such that ${x}_{0}=x$, ${x}_{n}=y$ and $({x}_{i-1},{x}_{i})\in E\left(G\right)$ for $i=1,2,\dots ,n$.

In this article, we assume that a path may be finite or infinite and a cycle may be considered as a finite path. Also, we assume that G has no isolated vertex.

Now we are ready to discuss our main results. The following definitions will be useful in this context.

Let $CB\left(X\right)$ be the class of all nonempty closed and bounded subsets of X. For each $x\in V\left(G\right)$, the notation ${\left[Tx\right]}_{G}$ denotes a class of nonempty closed and bounded subsets of G such that ${\left[Tx\right]}_{G}=\{A\in CB\left(X\right)$: there exists a path from u to x for some $u\in A$}.

We say that the set valued map $T:X\to CB\left(X\right)$ is a self-path map, whenever, for each $x\in V\left(G\right)$, there is a path from u to x for some $u\in Tx$, we denote this by $Tx\in {\left[Tx\right]}_{G}$.

When $x\ne y$, by the notation $Tx\in {\left[Ty\right]}_{G}$ we mean that there is a path from x to $Ty$ for some $u\in Ty$.

Also, we define ${\left[y\right]}_{{G}^{l}}$ as ${\left[y\right]}_{{G}^{l}}=\{x\in G:\mathit{there}\phantom{\rule{4.pt}{0ex}}\mathit{exists}\phantom{\rule{4.pt}{0ex}}a\phantom{\rule{4.pt}{0ex}}\mathit{path}\phantom{\rule{4.pt}{0ex}}\mathit{from}\phantom{\rule{4.pt}{0ex}}\mathit{y}\phantom{\rule{4.pt}{0ex}}\mathit{to}\phantom{\rule{4.pt}{0ex}}x\}$.

Furthermore, the point $x\in V\left(G\right)$ is said to be a fixed point of the set valued map $T:X\to CB\left(X\right)$ if $x\in Tx$.

The next example motivates the study of multivalued mappings by showing that control problems may be translated in terms of multivalued maps, and hence, study of their fixed points could provide new solution schemes to such problems.

Suppose that the following control problem is to be solved:
which is controlled by parameters $u\left(t\right)$ (called the controls), where $f:[0,a]\times {\mathbb{R}}^{n}\times {\mathbb{R}}^{m}\u27f6{\mathbb{R}}^{n}$.

$$\begin{array}{c}{x}^{\prime}\left(t\right)=f(t,x\left(t\right),u\left(t\right)),\hfill \\ \phantom{\rule{4.pt}{0ex}}\mathit{and}\phantom{\rule{4.pt}{0ex}}x\left(0\right)={x}_{0},\hfill \end{array}$$

To solve the above problem, we define a multivalued map $F:[0,a]\times {\mathbb{R}}^{n}\to {\mathbb{R}}^{n}$ as follows:

$$F(t,x)={\left\{f(t,x,u)\right\}}_{u\in U}.$$

Then solutions of the above problem are solutions of the following differential inclusions:

$$\begin{array}{c}{x}^{\prime}\left(t\right)\in F(t,x\left(t\right)),\hfill \\ \phantom{\rule{4.pt}{0ex}}\mathit{and}\phantom{\rule{4.pt}{0ex}}x\left(0\right)={x}_{0}.\hfill \end{array}$$

Let ${G}^{\prime}$ be a subgraph of the directed graph G. We say that $c\in V\left(G\right)$ is a lower bound for ${G}^{\prime}$ whenever ${g}^{\prime}\in {\left[c\right]}_{{G}^{l}}$ for all ${g}^{\prime}\in V\left({G}^{\prime}\right)$. Also, we say that $d\in V\left(G\right)$ is an infimum of ${G}^{\prime}$ whenever $d\in {\left[c\right]}_{{G}^{l}}$ for all lower bounds c.

Let G be a directed graph and $u\in V\left(G\right)$. We say that u is a start point whenever there is no $x\in V\left(G\right)$ such that $x\ne u$ and $(x,u)\in E\left(G\right)$.

Let H be a subgraph of the directed graph G. A vertex $s\in V\left(H\right)$ is said to be a start point of H if there is no $x\in V\left(H\right)$ such that $x\ne s$ and $(x,s)\in E\left(G\right)$.

Let $(X,d)$ be a metric space and $\varphi :X\to (-\infty ,\infty )$ a map. Suppose that G is the directed graph defined by $V\left(G\right)=X$ and $E\left(G\right)=\left\{\right(x,y):d(x,y)\le \varphi (x)-\varphi (y\left)\right\}$. We say that ϕ is upper semicontinuous whenever $\varphi \left({x}_{n}\right)\le \varphi \left(x\right)$ for all sequences $\left\{{x}_{n}\right\}$ in X such that $\left\{{x}_{n}\right\}$ converges to x.

Our first result uses the concept of a minimal path. If Y denotes the set of all paths in a directed graph G, then $(Y,\subseteq )$ is a partially ordered set. Also, since it is trivially true that every partially ordered set has a minimal element, we can conclude that G has a minimal path.

Let G be a directed graph such that every path in G has a lower bound within itself. Then, there exists a path in G, considered as a subgraph of G, which has a start point or a cycle.

We assume that G has no cycle. Let M be a minimal path in G and $l\in V\left(M\right)$ be a lower bound of M. If l is not a start point, then there exists $x\in V\left(M\right)$ such that $x\ne l$ and $(x,l)\in E\left(G\right)$. Then, $M\setminus \left\{x\right\}$ is a path in G and $M\setminus \left\{x\right\}\subset M$. This contradicts the fact that M is a minimal path. Hence, l must be a start point of M. ☐

Below, we give an example to verify Theorem 1.

Let $X=\{{x}_{1},{x}_{2},{x}_{3},...\}$ and G be a directed graph with vertices $V\left(G\right)=X$. Suppose H is a subgraph of G with vertices $H=\{{x}_{1},{x}_{2},{x}_{3},{x}_{4},{x}_{5},{x}_{6},{x}_{7}\}$ and the edges $E\left(H\right)=\{({x}_{1},{x}_{3}),\phantom{\rule{3.33333pt}{0ex}}({x}_{1},{x}_{4}),\phantom{\rule{3.33333pt}{0ex}}({x}_{1},{x}_{5}),$$({x}_{2},{x}_{6}),({x}_{3},{x}_{2}),({x}_{4},{x}_{7}),({x}_{5},{x}_{6}),({x}_{7},{x}_{6})\}$ (Figure 1).

Then, it is easy to see that H has no cycle and every path in H has a lower bound within itself. Here, ${x}_{1}\to {x}_{5}\to {x}_{6}$ is a minimal path, which has a start point ${x}_{1}$.

Let G be a directed graph. Then, G has a start point if and only if each self path map on G has a fixed point.

Let G be a graph with a start point s and T be a self path map on G. We claim that s is a fixed point of T. Since $Ts\in {\left[Ts\right]}_{G}$, there is a path (finite or infinite) from u to s for some $u\in Ts$. However, since s is a start point, this is not possible for any s unless $u=s$. Thus, we must have $s\in Ts$, i.e., s is a fixed point of T.

Again, suppose G is a directed graph and each self path map on G has a fixed point. If possible, assume that G has no start point. Then, for each $x\in V\left(G\right)$, there exists $y\in V\left(G\right)$ such that $y\ne x$ and $(y,x)\in E\left(G\right)$. Now, considering every such pair $(y,x)\in E\left(G\right)$, we can define a map $T:G\to CB\left(G\right)$ such that for each $x\in V\left(G\right)$, $Tx=\left\{y\right\}$. It is easy to see that T is a self path map because $Tx=\left\{y\right\}\in {\left[Tx\right]}_{G},\phantom{\rule{4.pt}{0ex}}\mathrm{for}\phantom{\rule{4.pt}{0ex}}\mathrm{all}\phantom{\rule{4.pt}{0ex}}x\in V\left(G\right)$, but T has no fixed point as $x\notin Tx$ for any $x\in V\left(G\right)$. This contradicts our hypothesis and thus G has a start point. ☐

Our next example shows that, indeed, if a directed graph has no start point, then a self-path map may be defined which has no fixed point.

Let G be a directed graph with vertices $V\left(G\right)=\{a,b,c,d,e\}$ and the edges $E\left(G\right)=\left\{\right(e,d),(d,c),(c,b\left)\right\}\bigcup \left\{\right(a,e),(a,d),(c,a),(b,a\left)\right\}$ (Figure 2).

Define the map $T:V\left(G\right)\to CB\left(X\right)$ such that $Ta=\left\{b\right\},Tb=\left\{c\right\},Tc=\left\{d\right\},Td=\left\{e\right\},Te=\left\{a\right\}$. Then, it is easy to see that T is a self path map but G has no fixed point and no start point either.

Let G be a directed graph such that every path in G has an infimum within itself and let $T:V\left(G\right)\to CB\left(X\right)$ be a self-path map. Also, let ${G}^{\prime}=\{x\in V\left(G\right):Tx\in {\left[Tx\right]}_{G}\}$ and ${G}^{\prime}$ has no cycle. Then, T has a fixed point in ${G}^{\prime}$.

Let B be a path in ${G}^{\prime}$ and $b\in V\left(G\right)$ be its infimum (greatest lower bound). Therefore, from the definition of self path map, we have $Tb\in {\left[Tb\right]}_{G}$, which implies that $b\in V\left({G}^{\prime}\right)$. Also, ${G}^{\prime}$ is a subgraph of G. Now, using Theorem 1, ${G}^{\prime}$ has a start point. Again, since T may be considered as a self-path map on ${G}^{\prime}$, using Theorem 2 we can conclude that T has a fixed point in ${G}^{\prime}$. ☐

Below, we show that using Theorem 3, a version of the Knaster–Tarski fixed point theorem can be established.

Let $(X,\le )$ be a partially ordered set such that each chain in X has an infimum within itself and let $T:V\left(G\right)\to CB\left(X\right)$ be a monotone self-path map. Then, T has a fixed point.

We define the graph G as $V\left(G\right)=X$ and $E\left(G\right)=\left\{\right(x,y):x\le y\phantom{\rule{4.pt}{0ex}}\mathrm{and}\phantom{\rule{4.pt}{0ex}}x\ne y\}$. Then, $Tx\in {\left[Ty\right]}_{G}$ for all $x\in {\left[y\right]}_{{G}^{l}}$. Let ${G}^{\prime}=\{x\in V\left(G\right):Tx\in {\left[Tx\right]}_{G}\}$. Then, ${G}^{\prime}$ is a subgraph of G and it has no cycle. Thus, by using Theorem 3, we can conclude that T has a fixed point in ${G}^{\prime}$. ☐

Let X be a complete metric space and let $\varphi :X\to (-\infty ,\infty )$ be a map bounded from above. Suppose that G is the directed graph defined by $V\left(G\right)=X$ and $E\left(G\right)=\left\{\right(x,y):d(x,y)\le \varphi (x)-\varphi (y\left)\right\}$. If ϕ is upper semicontinuous, then G has a start point.

First, we prove that G has no cycle. If G has a cycle, then there exists a finite path ${\left\{{\lambda}_{i}\right\}}_{i=1}^{n}$ in G such that ${\lambda}_{1}={\lambda}_{n}$ (for, in a cycle, initial and terminal vertices are same).

Now, $d({\lambda}_{i},{\lambda}_{1})\le \varphi \left({\lambda}_{i}\right)-\varphi \left({\lambda}_{1}\right)$, and also, $d({\lambda}_{i},{\lambda}_{1})\le \varphi \left({\lambda}_{1}\right)-\varphi \left({\lambda}_{i}\right)=-[\varphi \left({\lambda}_{i}\right)-\varphi \left({\lambda}_{1}\right)]$. However, this is possible only when $\varphi \left({\lambda}_{i}\right)=\varphi \left({\lambda}_{1}\right)$, i.e., $d({\lambda}_{i},{\lambda}_{1})\le 0$. This implies that ${\lambda}_{i}={\lambda}_{1}\phantom{\rule{4.pt}{0ex}}\mathrm{for}\phantom{\rule{4.pt}{0ex}}\mathrm{all}\phantom{\rule{4.pt}{0ex}}i\ge 2$, which is a contradiction. Thus, G cannot have any cycle.

Next, we show that each path in G has a lower bound. Let ${\left\{{x}_{\lambda}\right\}}_{\lambda \in \Lambda}$ be a path in G. Then, ${\left\{\varphi \left({x}_{\lambda}\right)\right\}}_{\lambda \in \Lambda}$ is an increasing net of real numbers. As $\varphi $ is bounded from above, we can obtain a decreasing sequence ${\left\{{\lambda}_{n}\right\}}_{n\ge 1}$ such that ${lim}_{n\to \infty}\varphi \left({x}_{{\lambda}_{n}}\right)={sup}_{\lambda \in \Lambda}\varphi \left({x}_{\lambda}\right)$.

Now:

$$\begin{array}{cc}\hfill d({x}_{{\lambda}_{n}},{x}_{{\lambda}_{m}})& \le d({x}_{{\lambda}_{n}},x)+d(x,{x}_{{\lambda}_{m}}),\phantom{\rule{4.pt}{0ex}}\mathrm{for}\phantom{\rule{4.pt}{0ex}}n,m\ge 1\hfill \\ & =\varphi \left({x}_{{\lambda}_{n}}\right)-\varphi \left(x\right)+\varphi \left(x\right)-\varphi \left({x}_{{\lambda}_{m}}\right)\hfill \\ & =\varphi \left({x}_{{\lambda}_{n}}\right)-\varphi \left({x}_{{\lambda}_{m}}\right)\hfill \\ \hfill \Rightarrow \underset{n,m\to \infty}{lim}d({x}_{{\lambda}_{n}},{x}_{{\lambda}_{m}})& \le \underset{n\to \infty}{lim}\varphi \left({x}_{{\lambda}_{n}}\right)-\underset{m\to \infty}{lim}\varphi \left({x}_{{\lambda}_{m}}\right)\hfill \\ & =sup\varphi \left({x}_{\lambda}\right)-sup\varphi \left({x}_{\lambda}\right)\hfill \\ & =0.\hfill \end{array}$$

Therefore, we have that ${\left\{{x}_{{\lambda}_{n}}\right\}}_{n\ge 1}$ is a Cauchy sequence. Since X is complete, $\left\{{x}_{{\lambda}_{n}}\right\}$ must converge to some $x\in X$. As $\varphi $ is upper semicontinuous, we now have $\varphi \left({x}_{{\lambda}_{n}}\right)\le \varphi \left(x\right)$ $\Rightarrow 0\le \varphi \left(x\right)-\varphi \left({x}_{{\lambda}_{n}}\right)$ i.e., $d(x,{x}_{{\lambda}_{n}})\le \varphi \left(x\right)-\varphi \left({x}_{{\lambda}_{n}}\right).$

Thus, ${x}_{{\lambda}_{n}}\in {\left[x\right]}_{{G}^{l}}\phantom{\rule{4.pt}{0ex}}\mathrm{for}\phantom{\rule{4.pt}{0ex}}\mathrm{all}\phantom{\rule{4.pt}{0ex}}n\ge 1$. So, x is a lower bound for ${\left\{{x}_{{\lambda}_{n}}\right\}}_{n\ge 1}$. Now, we show that x is a lower bound for ${\left\{{x}_{\lambda}\right\}}_{\lambda \in \Lambda}$. If there exists $\mu \in \Lambda $ such that ${x}_{{\lambda}_{n}}\in {\left[{x}_{\mu}\right]}_{{G}^{l}},\phantom{\rule{4.pt}{0ex}}\mathrm{for}\phantom{\rule{4.pt}{0ex}}\mathrm{all}\phantom{\rule{4.pt}{0ex}}n\ge 1$, then $\varphi \left({x}_{{\lambda}_{n}}\right)\le \varphi \left({x}_{\mu}\right)\phantom{\rule{4.pt}{0ex}}\mathrm{for}\phantom{\rule{4.pt}{0ex}}\mathrm{all}\phantom{\rule{4.pt}{0ex}}n\ge 1$ which implies that $\varphi \left({x}_{\mu}\right)={sup}_{\lambda \in \Lambda}\varphi \left({x}_{\lambda}\right)$. Since $d({x}_{{\lambda}_{n}},{x}_{\mu})\le \varphi \left({x}_{{\lambda}_{n}}\right)-\varphi \left({x}_{\mu}\right)$, from the definition of upper semicontinuous map, we have ${x}_{{\lambda}_{n}}\to {x}_{\mu}$. This implies that ${x}_{\mu}=x$ (for ${x}_{{\lambda}_{n}}\to x$). Hence, $\varphi \left(x\right)={sup}_{\lambda \in \Lambda}\varphi \left({x}_{\lambda}\right)$. We claim that ${x}_{\lambda}\in {\left[x\right]}_{{G}^{l}}$. In fact, if there is $\lambda \in \Lambda $ such that $x\in {\left[{x}_{\lambda}\right]}_{{G}^{l}}$ then $d({x}_{\lambda},x)\le \varphi \left({x}_{\lambda}\right)-\varphi \left(x\right)$ $\le \varphi \left({x}_{\lambda}\right)-\varphi \left({x}_{\lambda}\right)=0$, and so, ${x}_{\lambda}=x$. Since ${\left\{{x}_{\lambda}\right\}}_{\lambda \in \Lambda}$ is a path in G, if the previous case is not true, then for each $\lambda \in \Lambda $, there exists $n\ge 1$ such that ${x}_{\lambda}\in {\left[{x}_{{\lambda}_{n}}\right]}_{{G}^{l}}$.

Again, we have ${x}_{{\lambda}_{n}}\in {\left[x\right]}_{{G}^{l}}$. This implies that ${x}_{\lambda}\in {\left[x\right]}_{{G}^{l}}$. Thus, x is a lower bound for ${\left\{{x}_{\lambda}\right\}}_{\lambda \in \Lambda}$. Now, using Theorem 1, we can say that G has a start point. ☐

Let $(X,d)$ be a complete metric space, $\varphi :X\to (-\infty ,\infty )$ a map bounded from above and upper semicontinuous and $T:X\to CB\left(X\right)$ a self path map satisfying the condition $d(u,x)\le \varphi \left(u\right)-\varphi \left(x\right),\phantom{\rule{4.pt}{0ex}}\mathrm{for}\phantom{\rule{4.pt}{0ex}}\mathrm{all}\phantom{\rule{4.pt}{0ex}}x\in X$ and $u\in Tx$. Then, T has a fixed point.

Suppose that G is the directed graph via the vertices $V\left(G\right)=X$ and the edges $E\left(G\right)=\left\{\right(x,y):d(x,y)\le \varphi (x)-\varphi (y\left)\right\}$. Using Lemma 1, we can conclude that G has a start point. Again, using Theorem 2, it is routine to check that T has a fixed point. ☐

The following example verifies Theorem 5.

Let $X=\{1,2,3,4\}=V\left(G\right)$ and $E\left(G\right)=\left\{\right(2,1),(3,2),(4,1),(4,3),(4,4\left)\right\}$ (Figure 3).

Consider the closed and bounded subsets of X as $\left\{4\right\}$ and $\{3,4\}$.

Define $T:X\to CB\left(X\right)$ as follows:

$$Tx=\left\{\begin{array}{cc}\left\{4\right\},\hfill & x\in \{3,4\}\hfill \\ \{3,4\},\hfill & x\notin \{3,4\}.\hfill \end{array}\right.$$

It is easy to verify that T is a self path map. Let $V\left(G\right)$ be endowed with metric $d:X\times X\to (0,\infty )$ by $d(x,y)=|x-y|$, for all $x,y\in X$. Define $\varphi :X\to (-\infty ,\infty )$ by $\varphi \left(t\right)=\frac{5t}{2}$. Then, the conditions of Theorem 5 are satisfied. Thus, T has a fixed point 4.

In this article, the new concept of start point in a directed graph has been introduced and some fixed point theorems for set valued mappings have been established with the help of start point in the setting of a metric space endowed with a directed graph. A version of the Knaster–Tarski fixed point theorem has also been established. Our results unify and extend some existing results in literature. The results discussed in this paper are mainly concerned with the existence of fixed points. The study of the uniqueness of fixed points in the current context would be an interesting topic for future study.

Pradip Debnath and Murchana Neog conceived and designed the definitions and theorems; Pradip Debnath and Murchana Neog proved the theorems; Murchana Neog typed the paper.

The authors declare no conflict of interest.

- Boyd, D.W.; Wong, J.S. On nonlinear contractions. Proc. Am. Math. Soc.
**1969**, 20, 458–464. [Google Scholar] [CrossRef] - Ran, A.C.M.; Reurings, M.C.B. A fixed point theorem in partially ordered sets and some applications to matrix equations. Proc. Am. Math. Soc.
**2004**, 132, 1435–1443. [Google Scholar] [CrossRef] - Nieto, J.J.; Rodríguez-López, R. Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations. Order
**2005**, 22, 223–239. [Google Scholar] [CrossRef] - Nieto, J.J.; Rodríguez-López, R. Existence and uniqueness of fixed point in partially ordered sets and applications to ordinary differential equations. Acta Math. Sin. Engl. Ser.
**2007**, 23, 2205–2212. [Google Scholar] [CrossRef] - Agarwal, R.P.; O’Regan, D. Fixed point theory for generalized contractions on spaces with two metrics. J. Math. Anal. Appl.
**2000**, 248, 402–414. [Google Scholar] [CrossRef] - Aleomraninejad, S.M.A.; Rezapour, S.; Shahzad, N. Some fixed point results on a metric space with a graph. Topol. Appl.
**2012**, 159, 659–663. [Google Scholar] [CrossRef] - Alfuraidan, M.R. On monotone pointwise contractions in Banach spaces with graph. Fixed Point Theory Appl.
**2015**. [Google Scholar] [CrossRef] - Alfuraidan, M.R. Remarks on monotone multivalued mappings on a metric space with graph. J. Inequal. Appl.
**2015**. [Google Scholar] [CrossRef] - Alfuraidan, M.R.; Khamsi, M.A. Fixed points of monotone nonexpansive mappings on a hyperbolic metric space with a graph. Fixed Point Theory Appl.
**2015**. [Google Scholar] [CrossRef] - Beg, I.; Butt, A.R.; Radojević, S. The contraction principle for set valued mappings on a metric space with a graph. Comput. Math. Appl.
**2010**, 60, 1214–1219. [Google Scholar] [CrossRef] - Debnath, P. Fixed points of contractive set valued mappings with set valued domains on a metric space with graph. TWMS J. Appl. Eng. Math.
**2014**, 4, 169–174. [Google Scholar] - Eshi, D.; Das, P.K.; Debnath, P. Coupled coincidence and coupled common fixed point theorems on a metric space with a graph. Fixed Point Theory Appl.
**2016**. [Google Scholar] [CrossRef] - Gwozdz-Lukawska, G.; Jachymski, J. IFS on a metric space with a graph structure and extensions of the Kelisky-Rivlin theorem. J. Math. Anal. Appl.
**2009**, 356, 453–463. [Google Scholar] [CrossRef] - Lakshmikantham, V.; Ćirić, L. Coupled fixed point theorems for nonlinear contractions in partially ordered metric spaces. Nonlinear Anal. Theory Methods Appl.
**2009**, 70, 4341–4349. [Google Scholar] [CrossRef] - Nieto, J.J.; Pouso, R.L.; Rodríguez-López, R. Fixed point theorems in ordered abstract spaces. Proc. Am. Math. Soc.
**2007**, 135, 2505–2517. [Google Scholar] [CrossRef] - Petruşel, A.; Rus, I.A. Fixed point theorems in ordered L-spaces. Proc. Am. Math. Soc.
**2006**, 134, 411–418. [Google Scholar] [CrossRef] - Sintunavarat, W.; Kumam, P.; Cho, Y.J. Coupled fixed point theorems for nonlinear contractions without mixed monotone property. Fixed Point Theory Appl.
**2012**, 170, 1–16. [Google Scholar] [CrossRef] - Sintunavarat, W.; Radenović, S.; Golubović, Z.; Kumam, P. Coupled fixed point theorems for F-invariant set. Appl. Math. Inf. Sci.
**2013**, 7, 247–255. [Google Scholar] [CrossRef] - Nadler, S.B. Multi-valued contraction mappings. Pac. J. Math.
**1969**, 30, 475–488. [Google Scholar] [CrossRef] - Assad, N.A.; Kirk, W.A. Fixed point theorems for set-valued mappings of contractive type. Pac. J. Math.
**1972**, 43, 553–561. [Google Scholar] [CrossRef] - Espinola, R.; Kirk, W.A. Fixed point theorems in R-trees with applications to graph theory. Topol. Appl.
**2006**, 153, 1046–1055. [Google Scholar] [CrossRef] - Jachymski, J. The contraction principle for mappings on a metric space with a graph. Proc. Am. Math. Soc.
**2008**, 136, 1359–1373. [Google Scholar] [CrossRef] - Bojor, F. Fixed point theorems for Reich type contractions on metric spaces with a graph. Nonlinear Anal. Theory Methods Appl.
**2012**, 75, 3895–3901. [Google Scholar] [CrossRef] - Bojor, F. Fixed points of Kannan mappings in metric spaces endowed with a graph. Analele Universitatii “Ovidius” Constanta Seria Matematica
**2012**, 20, 31–40. [Google Scholar] [CrossRef] - Aleomraninejad, S.M.A.; Rezapour, S.; Shahzad, N. Fixed point results on subgraphs of directed graphs. Math. Sci.
**2013**, 7, 41. [Google Scholar] [CrossRef]

© 2017 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).