Fixed Points of G-Type Quasi-Contractions on Graphs
Abstract
Recently, fixed point theory on graphs has been considered by many authors. In this paper, by combining some ideas in some published papers and introducing G-type quasi-contractions, we give some fixed point results for G-type quasi-contractions on graphs. The results improve some old results in the literature.
1. Introduction
In 2009, Ilić and Rakočević proved that quasi-contraction maps on normal cone metric spaces have a unique fixed point [1]. Then, Kadelburg et al. generalized their results by considering an additional assumption [2]. Also, they proved that quasi-contraction maps on cone metric spaces have the property (P) whenever λ ∈ (0, 1/2). Later, the authors proved same results without the additional assumption and for λ ∈ (0,1) by providing a new technical proof [3]. Also, there are some works on quasi-contractive multifunctions (see, e.g., [4, 5]).
In 2008, Suzuki introduced a new type of mappings and a generalization of the Banach contraction principle [6]. Later, his method extended for mappings and multifunctions (see, e.g., [7] and the references therein and [8]). On the other hand, Echenique gave a short constructive proof for Tarski′s fixed point theorem in 2005 by using graphs [9]. In 2006, Espínola and Kirk started combining fixed point theory and graph theory [10]. In 2008, Jachymski provided some fixed point results for Banach contractions on a graph [11]. Recently, fixed point theory on graphs has been considered by many authors (see, e.g., [12–16]).
Let (X, d) be a metric space, Δ = {(x, x) : x ∈ X}, G a directed graph G such that V(G) = X, and the set E(G) of its edges contains all loops. We denote the conversion of a graph G by G−1; that is, the graph obtained from G by reversing the direction of the edges. Moreover, denotes the undirected graph obtained from G by ignoring the direction of the edges. In this paper, we consider undirected graphs. We say that a self-map T on X preserves the edges of G whenever (x, y) ∈ E(G) which implies that (Tx, Ty) ∈ E for all x, y ∈ X. A finite path of length n in G from x to y is a sequence of distinct vertices such that x0 = x, xn = y, and (xi, xi+1) ∈ E(G) for i = 0,1, …, n − 1 (see, e.g., [12]). A graph G is connected if there is a path between any two vertices. G is weakly connected if is connected. We denote by [x] G the set of all vertices in G that there is a path between x and those.
In 2008, Jachymski used the notion of C-graphs for obtaining the main results of [11]. We say that G is a C-graph whenever for each sequence {xn} n≥0 in X with xn → x and (xn, xn+1) ∈ E(G) for all n ≥ 0, there is a subsequence such that for all k ≥ 0 [11]. This notion has been used by many authors in the literature, specially on ordered metric spaces and obtaining solutions of some differential equations (see, e.g., [17]).
The condition that the graph is a C-graph looks quite strong and in this reason, Aleomraninejad et al. defined the notion of P-graphs and showed that these notions are independent on infinite graphs (see [12]). We say that G is a P-graph whenever {xn} n≥0 is a convergent sequence to a point x and xn ∈ [x] G for all n ≥ 0, we have r(xn, x) → 0 [12]. Here, r(x, y) is the sum of edges distance between x and y; that is, . They proved the same results for C-graphs and P-graphs (see the results of [12]). We will use only C-graphs in this paper.
In this paper, by combining all of these ideas and introducing G-type quasi-contractions, we give some results about fixed points of G-type quasi-contractions on graphs. The results improve some old results in the literature.
2. Main Results
Now, we are ready to state and prove our main results. In 2008, Suzuki obtained the following interesting fixed point result [6].
Theorem 1. Let (X, d) be a complete metric space and let T be a self-map on X. Define the nonincreasing function θ from [0,1) onto (1/2, 1] by
Throughout this paper, suppose that E = E(G) and G is a C-graph.
Definition 2. Let (X, d) be a metric space, T a self map on X, and G a graph with V(G) = X. We say that T is a G-type quasi-contraction whenever T preserves the edges of G and there exists r ∈ [0,1), such that
Theorem 3. Let (X, d) be a complete metric space, T a G-type quasi-contraction map with r2 + r < 1 such that (x, Tx), (x, T2x) ∈ E(G) for all x ∈ X. Then, T has a unique fixed point.
Proof. Take x0 ∈ X. Since θ(r)d(x0, Tx0) ≤ d(x0, Tx0), we have
Question 1. Does Theorem 3 hold for each r ∈ [0,1)?
Theorem 4. Let (X, d) be a complete metric space. Then, the following statements are equivalent
- (i)
G is weakly connected,
- (ii)
for each G-type quasi-contraction map T : XT → XT and x, y ∈ X, the sequences {Tnx} n≥1 and {Tny} n≥1 are Cauchy equivalent, where XT = {x ∈ X : (x, Tx) ∈ E},
- (iii)
for each G-type quasi-contraction map T : X → X, card(FixT) ≤ 1.
Proof. (i)⇒(ii) Let T : X → X be a G-type quasi-contraction map and x, y ∈ X. Since , there is a path {x0 = x, …, xN = y} in from x to y. Since , for all n and i = 1, …, N. Let 1 ≤ i ≤ N. Put xi−1 = a and xi = b. If one of the following inequalities holds
(ii)⇒(iii) Let x, y ∈ Fix T. By using (ii) and the above process, we obtain easily that x = y.
(iii)⇒(i) If G is not weakly connected, then there exists x0 such that is not empty. Take and define
Theorem 5. Let (X, d) be a complete metric space and let T be a G-type quasi-contraction and orbitally G-continuous self-map on X. Then,
- (i)
for each x ∈ XT, is a Picard operator,
- (ii)
.
Proof. Let x ∈ XT. Then, . It is easy to check that {Tn} n≥1 is a Cauchy sequence. Let lim n→∞Tnx = x*. Since G is a C-Graph, there exists a subsequence such that for all k. Thus, for all k. Since , . Since T is orbitally G-continuous, which yields x* = Tx*. To prove (ii), define the mapping π by for all x ∈ Fix T. It is sufficient to show that π is a bijection from Fix T onto . Since Δ⊆E(G), we get Fix T⊆XT which yields π(Fix T)⊆𝒞. On the other hand, if x ∈ XT, then which implies that . Thus, π is a surjection from Fix T onto 𝒞. Now, if x1, x2 ∈ Fix T with π(x1) = π(x2), then and so by using (i) we obtain
We need the following results for our last result.
Lemma 6 (see [18].)Let X be a nonempty set and let T : X → X be a mapping. Then, there exists a subset Y⊆X such that TY = TX and T : Y → X is one-to-one.
Lemma 7 (see [8].)Let X be a nonempty set and that the mappings f, T : X → X have a unique point of coincidence v in X. If T and f are weakly compatible, then T and f have a unique common fixed point.
Theorem 8. Let (X, d) be a metric space, and let f and T be two self-maps on X such that TX⊆fX and fX is complete. Suppose that f and T satisfy the following conditions:
- (i)
(fx, fy) ∈ E(G) implies that (Tx, Ty) ∈ E(G),
- (ii)
if (fx, Tx) ∈ E(G) and Tx = fy for some y ∈ X, then (fx, Ty) ∈ E(G),
- (iii)
there exists r ∈ [0,1) such that r2 + r < 1 and θ(r)d(fx, Tx) ≤ d(fx, fy) implies that
()
Proof. By using Lemma 6, there exists Y ⊂ X such that f : Y → X is one-to-one and fY = fX. Define the self-map h : fY → fY by h(fx) = Tx. Clearly, h is well defined and h preserves the edges of G. In fact, (fx, fy) ∈ E(G) implies that (hfx, hfy) ∈ E(G). Note that θ(r)d(fx, hfx) ≤ d(fx, fy) implies that
Acknowledgment
The authors would like to thank the anonymous referee for his helpful comments on an earlier version. This article was funded by the Deanship of Scientic Research (DSR), King Abdulaziz University, Jeddah. N. Shahzad acknowledges with thanks DSR for financial support.