Fixed point of ϕ-contraction in metric spaces endowed with a graph

Similar documents
Fixed point theorems for Zamfirescu mappings in metric spaces endowed with a graph

SPACES ENDOWED WITH A GRAPH AND APPLICATIONS. Mina Dinarvand. 1. Introduction

PICARD OPERATORS IN b-metric SPACES VIA DIGRAPHS

Common fixed point of multivalued graph contraction in metric spaces

COMMON FIXED POINTS IN b-metric SPACES ENDOWED WITH A GRAPH. Sushanta Kumar Mohanta. 1. Introduction

Some Fixed Point Theorems for G-Nonexpansive Mappings on Ultrametric Spaces and Non-Archimedean Normed Spaces with a Graph

On quasi-contractions in metric spaces with a graph

Fixed point theorems for Ćirić type generalized contractions defined on cyclic representations

Fixed point theorems for multivalued nonself Kannan-Berinde G-contraction mappings in complete metric spaces endowed with graphs

Ciric-type δ-contractions in metric spaces endowedwithagraph

Alfred O. Bosede NOOR ITERATIONS ASSOCIATED WITH ZAMFIRESCU MAPPINGS IN UNIFORMLY CONVEX BANACH SPACES

Existence and data dependence for multivalued weakly Ćirić-contractive operators

Journal of Mathematical Analysis and Applications. IFS on a metric space with a graph structure and extensions of the Kelisky Rivlin theorem

Kannan Fixed Point Theorem on Generalized Metric Space with a Graph

On Multivalued G-Monotone Ćirić and Reich Contraction Mappings

FIXED POINT THEOREMS FOR NONSELF SINGLE-VALUED ALMOST CONTRACTIONS

arxiv: v1 [math.gn] 5 Apr 2013

Ćirić type fixed point theorems

Perov s fixed point theorem for multivalued mappings in generalized Kasahara spaces

COMMON FIXED POINT THEOREMS FOR MULTIVALUED OPERATORS ON COMPLETE METRIC SPACES

General Mathematics,Vol. 16, Nr. 1 (2008), On A Version of The Banach s Fixed Point Theorem 1

New extension of some fixed point results in complete metric spaces

FIXED POINTS AND CONTINUITY OF ALMOST CONTRACTIONS

A Fixed Point Theorem for G-Monotone Multivalued Mapping with Application to Nonlinear Integral Equations

Bulletin of the Iranian Mathematical Society

ON THE CONVERGENCE OF THE ISHIKAWA ITERATION IN THE CLASS OF QUASI CONTRACTIVE OPERATORS. 1. Introduction

A Fixed Point Theorem for JS-contraction Type Mappings with Applications to Polynomial Approximations

Stability of Noor Iteration for a General Class of Functions in Banach Spaces

A NOTE ON MULTIVALUED MEIR-KEELER TYPE OPERATORS

Quadruple Coincidence Point Results in Partially Ordered Metric Spaces

Reich Type Contractions on Cone Rectangular Metric Spaces Endowed with a Graph

Common fixed point of multivalued mappings in ordered generalized metric spaces

Two-Step Iteration Scheme for Nonexpansive Mappings in Banach Space

arxiv: v1 [math.gm] 31 May 2016

Comparison of the Rate of Convergence of Various Iterative Methods for the Class of Weak Contractions in Banach Spaces

A fixed point theorem for weakly Zamfirescu mappings

Common Fixed Point Theorems for Six Mappings Satisfying Almost Generalized (S, T)-Contractive Condition in Partially Ordered Metric Spaces

New Coupled Common Fixed Point for Four Mappings satisfying Rational Contractive Expression

Best proximity points of Kannan type cyclic weak ϕ-contractions in ordered metric spaces

The equivalence of Picard, Mann and Ishikawa iterations dealing with quasi-contractive operators

FIXED POINTS OF MULTIVALUED MAPPING SATISFYING CIRIC TYPE CONTRACTIVE CONDITIONS IN G-METRIC SPACES

Fixed Point Theorems for Mapping Having The Mixed Monotone Property

SOME PROPERTIES PRESERVED BY WEAK NEARNESS. Adriana Buică

ON THE PRODUCT OF SEPARABLE METRIC SPACES

Some Fixed Point Theorems for Certain Contractive Mappings in G-Metric Spaces

WEAK CONVERGENCE OF RESOLVENTS OF MAXIMAL MONOTONE OPERATORS AND MOSCO CONVERGENCE

Fixed points of Ćirić quasi-contractive operators in normed spaces

A NEW PERSPECTIVE FOR MULTIVALUED WEAKLY PICARD OPERATORS. Gonca Durmaz and Ishak Altun

1.3 Vertex Degrees. Vertex Degree for Undirected Graphs: Let G be an undirected. Vertex Degree for Digraphs: Let D be a digraph and y V (D).

Seminar on Fixed Point Theory Cluj-Napoca, Volume 1, 2000, nodeacj/journal.htm

On the effect of α-admissibility and θ-contractivity to the existence of fixed points of multivalued mappings

ON WEAK AND STRONG CONVERGENCE THEOREMS FOR TWO NONEXPANSIVE MAPPINGS IN BANACH SPACES. Pankaj Kumar Jhade and A. S. Saluja

A fixed point theorem for a Ćirić-Berinde type mapping in orbitally complete metric spaces

CARISTI AND BANACH FIXED POINT THEOREM ON PARTIAL METRIC SPACE.

Fixed points of almost quadratic Geraghty contractions and property(p) in partially ordered metric spaces

Best proximity problems for Ćirić type multivalued operators satisfying a cyclic condition

A DISCRETE FIXED POINT THEOREM OF EILENBERG AS A PARTICULAR CASE OF THE CONTRACTION PRINCIPLE

Zangwill s Global Convergence Theorem

Some new fixed point theorems in metric spaces

APPROXIMATING FIXED POINTS OF NONSELF CONTRACTIVE TYPE MAPPINGS IN BANACH SPACES ENDOWED WITH A GRAPH

AN EFFECTIVE METRIC ON C(H, K) WITH NORMAL STRUCTURE. Mona Nabiei (Received 23 June, 2015)

THE HUTCHINSON BARNSLEY THEORY FOR INFINITE ITERATED FUNCTION SYSTEMS

FIXED POINT THEORY FOR MULTIVALUED OPERATORS ON A SET WITH TWO METRICS

PICARD ITERATION CONVERGES FASTER THAN MANN ITERATION FOR A CLASS OF QUASI-CONTRACTIVE OPERATORS

Fixed Point Theorems for -Monotone Maps on Partially Ordered S-Metric Spaces

On Almost Contraction Principle and Property (XU)

MATH 3300 Test 1. Name: Student Id:

FIXED POINT THEOREMS OF KRASNOSELSKII TYPE IN A SPACE OF CONTINUOUS FUNCTIONS

COUPLED FIXED POINT THEOREMS FOR MONOTONE MAPPINGS IN PARTIALLY ORDERED METRIC SPACES

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...

Common Fixed Point Theorem Satisfying Implicit Relation On Menger Space.

FIXED POINT THEOREMS FOR LOCAL ALMOST CONTRACTIONS

A FIXED POINT PROOF OF THE CONVERGENCE OF A NEWTON-TYPE METHOD

A necessary and sufficient condition for the existence of a spanning tree with specified vertices having large degrees

HAIYUN ZHOU, RAVI P. AGARWAL, YEOL JE CHO, AND YONG SOO KIM

Real Analysis. Joe Patten August 12, 2018

Common fixed points of two generalized asymptotically quasi-nonexpansive mappings

Caristi-type Fixed Point Theorem of Set-Valued Maps in Metric Spaces

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9

Common fixed points of generalized contractive multivalued mappings in cone metric spaces

CONVERGENCE OF HYBRID FIXED POINT FOR A PAIR OF NONLINEAR MAPPINGS IN BANACH SPACES

F -contractions of Hardy Rogers type and application to multistage decision processes

Approximation of the attractor of a countable iterated function system 1

A fixed point theorem for Meir-Keeler contractions in ordered metric spaces

A Fixed Point Theorem and its Application in Dynamic Programming

A FIXED POINT THEOREM FOR GENERALIZED NONEXPANSIVE MULTIVALUED MAPPINGS

5 Set Operations, Functions, and Counting

A NOTE ON Θ-CLOSED SETS AND INVERSE LIMITS

Yuqing Chen, Yeol Je Cho, and Li Yang

Fixed Points for Multivalued Mappings in b-metric Spaces

MONOTONE GENERALIZED WEAK CONTRACTIONS IN PARTIALLY ORDERED METRIC SPACES

A novel approach to Banach contraction principle in extended quasi-metric spaces

BEST PROXIMITY POINT RESULTS VIA SIMULATION FUNCTIONS IN METRIC-LIKE SPACES

A Note of the Strong Convergence of the Mann Iteration for Demicontractive Mappings

SELECTION THEOREMS FOR MULTIFUNCTIONS IN PARTIALLY ORDERED SETS

FINITE IRREFLEXIVE HOMOMORPHISM-HOMOGENEOUS BINARY RELATIONAL SYSTEMS 1

ON THE UNIQUENESS PROPERTY FOR PRODUCTS OF SYMMETRIC INVARIANT PROBABILITY MEASURES

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes

A Stability Result for Fixed Point Iteration in Partial Metric Space

FIXED POINT AND COMMON FIXED POINT THEOREMS IN CONE BALL-METRIC SPACES. 1. Introduction and preliminaries

Transcription:

Annals of the University of Craiova, Mathematics and Computer Science Series Volume 374, 2010, Pages 85 92 ISSN: 1223-6934 Fixed point of ϕ-contraction in metric spaces endowed with a graph Florin Bojor Abstract. The purpose of this paper is to present some fixed point results for self-generalized contractions in metric spaces. We obtain sufficient conditions for the existence of a fixed point of the mapping T : X X in the metric space X endowed with a graph G such that the set V G of vertices of G coincides with X. 2010 Mathematics Subject Classification. Primary 47H10; Secondary 05C40,54H25. Key words and phrases. Fixed point, Picard operator, ϕ contraction, connected graph. 1. Introduction Let T be a selfmap of a metric space X, d. Following Petruşel and Rus [5], we say that T is a Picard operator abbr., PO if T has a unique fixed point x and lim T n x = x for all x X and T is weakly Picard operator abbr. WPO if the n sequence T n x n N converges, for all x X and the limit which depends on x is a fixed point of T. Let X, d be a metric space. Let denotes the diagonal of the Cartesian product X X. 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., 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 see [[4], p. 309] by assigning to each edge the distance between its vertices. By G 1 we denote the conversion of a graph G, i.e., the graph obtained from G by reversing the direction of edges. Thus we have E G 1 = {x, y y, x G}. The letter G denotes the undirected graph obtained from G by ignoring the direction of edges. Actually, it will be more convenient for us to treat G as a directed graph for which the set of its edges is symmetric. Under this convention, E G = E G E G 1 1 We call V, E a subgraph of G if V V G, E E G and for any edge x, y E, x, y V. Now we recall a few basic notions concerning connectivity of graphs. All of them can be found, e.g., in [4]. If x and y are vertices in a graph G, then a path in G from x to y of length N N N is a sequence x i N i=0 of N + 1 vertices such that x 0 = x, x N = y and x n 1, x n E G for i = 1,..., N. A graph G is connected if there is a path between any two vertices. G is weakly connected if G is connected. If G is such that E G is symmetric and x is a vertex in G, then the subgraph G x consisting of all edges and vertices which are contained in some path Received September 21, 2010. Revision received November 11, 2010. 85

86 F. BOJOR beginning at x is called the component of G containing x. In this case V G x = [x] G, where [x] G is the equivalence class of the following relation R defined on V G by the rule: yrz if there is a path in G from y to z. Clearly, G x is connected. Recently, two results have appeared, giving sufficient conditions for f to be a PO if X, d is endowed with a graph. The first result in this direction was given by J. Jakhymski [3] who also presented its applications to the Kelisky-Rivlin theorem on iterates of the Bernstein operators on the space C [0, 1]. Definition 1.1 [3], Def. 2.1. We say that a mapping f : X X is a Banach G-contraction or simply G-contraction if f preserves edges of G, i.e., x, y X x, y E G f x, f y E G 2 and f decreases weights of edges of G in the following way: α 0, 1, x, y X x, y E G d f x, f y αd x, y 3 Theorem 1.1 [3], Th 3.2. Let X, d be complete, and let the triple X, d, G have the following property: for any x n n N in X, if x n x and x n, x n+1 E G for n N then there is a subsequence x kn n N with x kn, x E G for n N. Let f : X X be a G-contraction, and X f = {x X x, fx E G}. Then the following statements hold. 1. cardf ix f = card {[x] G x X f }. 2. Fix f iff X f. 3. f has a unique fixed point iff there exists x 0 X f such that X f [x 0 ] G. 4. For any x X f, f [x] G is a PO. 5. If X f and G is weakly connected, then f is a PO. 6. If X := {[x] G x G} then f X is a WPO. 7. If f E G, then f is a WPO. Subsequently, Bega, Butt and Radojević extended Theorem 1.1 for set valued mappings. Definition 1.2 [1], Def. 2.6. Let F : X X be a set valued mapping with nonempty closed and bounded values. The mapping F is said to be a G-contraction if there exists a k 0, 1 such that and if u F x and v F y are such that then u, v E G. D F x, F y kd x, y for all x, y E G d u, v kd x, y + α, for each α > 0 Theorem 1.2. Let X, d be a complete metric space and suppose that the triple X, d, G has the property: for any x n n N in X, if x n x and x n, x n+1 E G for n N then there is a subsequence x kn n N with x kn, x E G for n N. Let F : X X be a G-contraction and X f = {x X : x, u E G for some u F x}. Then the following statements hold: 1. For any x X F, F [x] G has a fixed point.

G, ϕ contraction 87 2. If X F and G is weakly connected, then F has a fixed point in X. 3. If X := {[x] G : x X F }, then F X has a fixed point. 4. If F E G then F has a fixed point. 5. F ix F if and only if X F. We recall that: Definition 1.3. A function ϕ : R + R + satisfying i. ϕ is monotone increasing, i.e., t 1 t 2 implies ϕ t 1 ϕ t 2 ; ii. ϕ n t n N converges to 0 for all t > 0; is said to be a comparison function. Definition 1.4. A function ϕ : R + R + satisfying i. ϕ is monotone increasing, i.e., t 1 t 2 implies ϕ t 1 ϕ t 2 ; ii. ϕ n t converges for all t > 0; n=0 is said to be a c comparison function. Remark 1.1. Any c-comparison function is a comparison function. Remark 1.2. If ϕ : R + R + is a comparison function then ϕ t < t, for all t > 0, ϕ 0 = 0 and ϕ is right continuous at 0. { 1 Example 1.1. ϕ : R + R +, ϕ t = 2t; t [0, 1] t 1 2 ; t > 1 is a c-comparison function. Example 1.2. ϕ : R + R +, ϕ t = comparison function. t 1+t is a comparison function but not a c- We refer to Rus [7] and Berinde [2] for a detailed study of ϕ-contractions. Definition 1.5. Let X, d a metric space. A mapping T : X X is a ϕ-contraction if there exists a comparison function ϕ : R + R + such that: d T x, T y ϕ d x, y, for all x, y X. Now we discuss some types of continuity of mappings. The first of them is well known and often used in the metric fixed point theory. Definition 1.6. A mapping T : X X is called orbitally continuous if for all x X and any sequence k n n N of positive integers, T k n x y X implies T T k n x T y as n. Definition 1.7. A mapping T : X X is called orbitally G-continuous if given x X and a sequence x n n N, x n x and x n, x n+1 E G for n N imply T x n T x The aim of this paper is to study the existence of fixed points for G, ϕ contraction in metric spaces endowed with a graph G by defining the G, ϕ contraction. 2. Main Results Throughout this section we assume that X, d is a metric space, and G is a directed graph such that V G = X and E G. The set of all fixed points of a mapping T is denoted by F ixt. By using the idea of Jakhymski [3], we will say that:

88 F. BOJOR Definition 2.1. Let X, d be a metric space and G a graph. The mapping T : X X is said to be a G, ϕ contraction if: 1. x, y X x, y E G T x, T y E G. 2. there exists a comparison function ϕ : R + R + such that: for all x, y E G. d T x, T y ϕ d x, y Remark 2.1. If T is a G, ϕ contraction, then T is both a G 1, ϕ contraction and a G, ϕ contraction. This is consequence of symmetry of d and 1. Example 2.1. Any ϕ contraction is a G 0, ϕ contraction, where the graph G 0 is defined by E G 0 = X X. Example 2.2. Any G contraction is a G, ϕ contraction, where the comparison function is ϕ : R + R +, ϕ t = at. Definition 2.2. We say that sequences x n n N and y n n N, elements of X, are Cauchy equivalent if each of them is a Cauchy sequence and d x n, y n 0. The first main result of this section is a fixed point theorem for G, ϕ contraction on an complete metric space endowed with a graph. Theorem 2.1. Let X, d be a metric space endowed with a graph G and T : X X be an operator. We suppose that: i. G is weakly connected; ii. for any sequence x n n N X with d x n, x n+1 0 there exists k, n 0 N such that x kn, x km E G for all m, n N m, n n 0 ; iii. a T is orbitally continuous iii. b or T is orbitally G-continuous and there exists a subsequence T n k x 0 k N of T n x 0 n N such that T n k x 0, x E G for each k N; iv. there exists a comparison function ϕ : R + R + such that T is a G, ϕ contraction; v. the metric d is complete. Then T is a PO. Proof. Let x 0 X be such that x 0, T x 0 E G. Then, from the definition and an easy induction we obtain T n x 0, T n+1 x 0 E G and d T n x 0, T n+1 x 0 ϕ n d x 0, T x 0 for all n N. So lim n d T n x 0, T n+1 x 0 = 0 and by ii. there exists k, n0 N such that T kn x 0, T km x 0 E G for all m, n N m, n n0. Since d T kn x 0, T kn+1 x 0 0, for an arbitrary ε > 0, we can choose N N, N n 0 such that d T kn x 0, T kn+1 x 0 < ε ϕ ε for each n N. Since T kn x 0, T kn+1 x 0 E G we have for any n N that d T kn x 0, T kn+2 x 0 d T kn x 0, T kn+1 x 0 + d T kn+1 x 0, T kn+2 x 0 < ε ϕ ε + ϕ k d T kn x 0, T kn+1 x 0 < ε.

G, ϕ contraction 89 Now since T kn x 0, T kn+2 x 0 E G we have for any n N that d T kn x 0, T kn+3 x 0 d T kn x 0, T kn+1 x 0 + d T kn+1 x 0, T kn+3 x 0 < ε ϕ ε + ϕ k d T kn x 0, T kn+2 x 0 < ε. By induction we have d T kn x 0, T kn+m x 0 < ε, for any m N and n N. Hence T kn x 0 n N is a Cauchy sequence in X, d. From v. we have T kn x 0 x, as n. Because d T n x 0, T n+1 x 0 0, we get T n x 0 x, as n. Let x X be arbitrarily chosen. Then: 1 If x, x 0 E G, then T n x, T n x 0 E G, n N and thus d T n x, T n x 0 ϕ d x, x 0, n N. Letting n we obtain that T n x x. 2 If x, x 0 / E G, then, from i., there exists a path x i M i=0 in G from x 0 to x, i.e., x M = x and x i 1, x i E G for i = 1,..., M. An easy induction shows T n x i 1, T n x i E G for i = 1,..., M and d T n x 0, T n x M ϕ n d x i 1, x i i=1 so d T n x, T n y 0 and we obtain T n x x. Now we will prove that x F T. If iii. a holds, then clearly x F T. If we suppose that iii. b takes place, then since T n k x 0 k N x and T n k x 0, x E G for all k N we obtain, from the orbitally G-continuity of T, that T n k+1 x 0 T x as k. Thus x = T x. If we have T y = y for some y X, then from above, we must have T n y x, so y = x. Remark 2.2. The Theorem 2.1 is a generalization of Theorem 3.3 from [6]. Now if we improve the properties of the operator T then we can drop some of the conditions of the graph G. From now on we will consider that the function ϕ is a c comparison function. In the following we will show that the convergence of successive approximations for G, ϕ contraction is closely related to the connectivity of a graph. We say that sequences x n n N and y n n N, elements of X, are Cauchy equivalent if each of them is a Cauchy sequence and d x n, y n 0. Theorem 2.2. The following statements are equivalent: i G is weakly connected; ii for any G, ϕ contraction T : X X, given x, y X, the sequences T n x n N and T n y n N are Cauchy equivalent; iii for any G, ϕ contraction T : X X, card Fix T 1. Proof. i ii: Let T be a G, ϕ contraction and x, y X. By hypothesis, [x] G = X, so y [x] G. Then there is a path x i N i=0 in G from x to y, i.e., x 0 = x, x N = y and x i 1, x i E G for i = 1,..., N. An easy induction shows T n x i 1, T n x i E G for i = 1,..., N and N d T n x, T n y ϕ n d x i 1, x i i=1

90 F. BOJOR so d T n x, T n y 0. In the same way, there is a path z i M i=0 in G from x to T x, i.e., z 0 = x, z M = T x and z i 1, z i E G for i = 1,..., M. Then we have Hence n=0 d T n x, T n+1 x M ϕ n d z i 1, z i i=1 d T n x, T n+1 x M = ϕ n d z i 1, z i < i=1 n=0 and a standard argument shows T n x n N is a Cauchy sequence, so is T n y n N. ii iii: Let T be a G, ϕ contraction and x, y Fix T. By ii, T n x n N and T n y n N are Cauchy equivalent which yields x = y. iii i: Suppose, on the contrary, G is not weakly connected, i.e., G is disconnected. So, there exists an x 0 X such that the both sets [x 0 ] G and X\ [x 0 ] G are nonempty. Let y 0 X\ [x 0 ] G and define T x = x 0 if x [x 0 ] G and T x = y 0 if x X\ [x 0 ] G Clearly, F ix T = {x 0, y 0 }. We show T is a G, ϕ contraction. Let x, y E G. Then [x] G = [y] G, so either x, y [x] G, or x, y X\ [x] G. Hence in both cases T x = T y, so T x, T y E G since E G, and d T x, T y = 0 ϕ d x, y. Thus T is a G, ϕ contraction having two fixed points which violates iii. As an immediate consequence of Theorem 2.2, we obtain the following Corollary 2.1. Let X, d be a complete metric space and G a graph weakly connected. For any G, ϕ contraction T : X X, there is x X such that lim T n x = x n for all x X. The next example shows that one cannot improve Corollary 2.1 by adding that x is a fixed point of T. Example 2.3. Let X := [0, 1] be endowed with the Euclidean metric d E. Define the graph G by Set E G = {x, y 0, 1] 0, 1] x y } {0, 0, 0, 1} T x = x 4 for x 0, 1], and T 0 = 1 4 It is easy to verify G is weakly connected and T is a G, ϕ contraction with ϕ t = t 4. Clearly, T n x 0 for all x X, but T has no fixed points. The proofs of our fixed point theorems depend on the following Proposition 2.1. Assume that T : X X is a G, ϕ contraction such that for some x 0 X, T x 0 [x 0 ] G. Let G x0 be the component of G containing x 0. Then [x 0 ] G is T-invariant and T [x0] is a Gx0, ϕ contraction. Moreover, if x, y [x 0 ] G G, then T n x n N and T n x n N are Cauchy equivalent. Proof. Let x [x 0 ] G. Then there is a path x i N i=0 in G from x 0 to x, i.e., x N = x and x i 1, x i E G for i = 1,..., N. But T is a G, ϕ contraction which yields

G, ϕ contraction 91 T x i 1, T x i E G for i = 1,..., N, i.e., T x i N i=0 is a path in G from T x 0 to T x. Thus T x [T x 0 ] G. Since, by hypothesis, T x 0 [x 0 ] G, i.e., [T x 0 ] G = [x 0 ] G, we infer T x [x 0 ] G. Thus [x 0 ] G is T-invariant. Now let x, y E Gx0. This means there is a path x i N i=0 in G from x 0 to y such that x N 1 = x. Let y i M i=0 be a path in G from x 0 to T x 0. Repeating the argument from the first part of the proof, we infer y 0, y 1,...y M, T x 1, T x 2,...T x N is a path in G from x 0 to T y; in particular, T x N 1, T x N E Gx0, i.e., T x, T y E Gx0. Moreover, since E Gx0 E G and T is a G, ϕ contraction, we infer T [x0 ] is a Gx0, ϕ contraction. Finally, in view of Theorem 2.2, the second G statement follows immediately from the first one since Gx 0 is connected. Theorem 2.3. Let X, d be complete, and let the triple X, d, G have the following property: for any x n n N in X, if x n x and x n, x n+1 E G for n N then there is a subsequence x kn n N with x kn, x E G for n N. Let T : X X be a G, ϕ contraction, and X T = {x X x, T x E G}. Then the following statements hold. 1 cardf ix T = card {[x] G x X T }. 2 Fix T iff X T. 3 T has a unique fixed point iff there exists x 0 X f such that X T [x 0 ] G. 4 For any x X T, T [x] G is a PO. 5 If X T and G is weakly connected, then T is a PO. 6 If X := {[x] G x G} then T X is a WPO. 7 If T E G, then T is a WPO. Proof. We begin with points 4 and 5. Let x X f. Then T x [x] G, so by Proposition 2.1, if y [x] G, then T n x n N and T n y n N are Cauchy equivalent. By completeness, T n x n N converges to some x X. Clearly, also lim T n y = x. n Since x, T x E G, then by induction we have that T n x, T n+1 x E G, for all n N. 4 By hypothesis, there is a subsequence T kn x n N such that T kn x, x E G for all n N. Hence and by 4, we infer x, T x, T 2 x,..., T k 1 x, x is a path in G hence also in G from x to x, i.e., x [x] G. Moreover, because T is a G, ϕ contraction we have d T kn+1 x, T x ϕ d T kn x, x < d T kn x, x for all n N. Hence, letting n tend to we conclude x = T x. Thus T [x] G is a PO. Moreover, if G is weakly connected, then [x] G = X, so T is a PO. Now 6 is an easy consequence of 4. To show 7 observe that T E G means X T = X. This yields X = X, so T is a WPO in view of 6. To prove 1, consider a mapping π defined by π x = [x] G for all x Fix T. It suffices to show π is a bijection of Fix T onto Ω = {[x] G x X T }. Since E G, we infer Fix T X T which yields π F ixt Ω. On the other hand, if x X T, then by 4, lim T n x [x] n G F ix T which implies π lim T n x [x] n G. Thus π is

92 F. BOJOR a surjection of Fix T onto Ω. Now, if x 1, x 2 Fix T are such that π x 1 = π x 2, i.e., [x 1 ] G = [x 2 ] G, then x 2 [x 1 ] G, so by 4, lim T n x 2 [x 1 ] n G F ix T = {x 1 }, i.e., x 2 = x 1 since T n x 2 = x 2. Consequently, T is injective. Thus 1 is proved. Finally, observe that 2 and 3 are simple consequences of 1. Corollary 2.2. Let X, d be complete and ε-chainable for some ε > 0, i.e., given x, y X, there is N N and a sequence x i N i=0 such that x 0 = x, x N = y and d x i 1, x i < ε for i = 1,..., N. Let T : X X be a function and ϕ : R + R + be a c comparison function such that x, y X d x, y < ε d T x, T y ϕ d x, y 5 Then T is a PO. Proof. Consider the graph G with V G = X, and E G = {x, y X X d x, y < ε}. Then ε-chainability of X, d means G is connected. If x, y E G, then d T x, T y ϕ d x, y < d x, y < ε so T x, T y E G, hence T is a G, ϕ contraction. Let x n n N in X with x n x, then d x n, x < ε for sufficiently large n, so there is x kn n N such that x kn, x E G. Thus by Theorem 2.3, T is PO. References [1] I. Bega, A.R. Butt and S. Radojević, The contraction principle for set valued mappings on a metric space with a graph, Comput. Math. Appl. 60 2010, 1214 1219. [2] V. Berinde, Iterative Approximation of Fixed Points, Springer, 2007. [3] J. Jachymski, The contraction principle for mappings on a metric space with a graph, Proc. Amer. Math. Soc. 1 2008, no. 136, 1359 1373. [4] R. Johnsonbaugh, Discrete Mathematics, Prentice-Hall, Inc., New Jersey, 1997. [5] A. Petruşel and I.A. Rus, Fixed point theorems in ordered L-spaces, Proc. Amer. Math. Soc. 134 2006, 411 418. [6] D. O Regan and A. Petruşel, Fixed point theorems for generalized contractions in ordered metric spaces, J. Math. Anal. Appl. 341 2008, 1241-1252. [7] I.A. Rus, Generalized Contractions and Applications, Cluj Univ. Press, 2001. Florin Bojor Department of Mathematics and Computer Science Faculty of Sciences North University of Baia Mare Victoriei Nr. 76, 430122 Baia Mare ROMANIA E-mail address: florin.bojor@yahoo.com