FIXED POINT THEOREMS AND CHARACTERIZATIONS OF METRIC COMPLETENESS. Tomonari Suzuki Wataru Takahashi. 1. Introduction

Similar documents
CONTRACTIVE MAPPINGS, KANNAN MAPPINGS AND METRIC COMPLETENESS

FIXED POINTS OF MULTIVALUED MAPPINGS IN CERTAIN CONVEX METRIC SPACES. Tomoo Shimizu Wataru Takahashi. 1. Introduction

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

638 W. TAKAHASHI, N.-C. WONG, AND J.-C. YAO

CARISTI TYPE OPERATORS AND APPLICATIONS

ITERATIVE SCHEMES FOR APPROXIMATING SOLUTIONS OF ACCRETIVE OPERATORS IN BANACH SPACES SHOJI KAMIMURA AND WATARU TAKAHASHI. Received December 14, 1999

A FIXED POINT THEOREM FOR GENERALIZED NONEXPANSIVE MULTIVALUED MAPPINGS

1 Introduction and preliminaries

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

CARISTI AND BANACH FIXED POINT THEOREM ON PARTIAL METRIC SPACE.

CONVERGENCE THEOREMS FOR MULTI-VALUED MAPPINGS. 1. Introduction

COMMON FIXED POINT THEOREMS OF CARISTI TYPE MAPPINGS WITH w-distance. Received April 10, 2010; revised April 28, 2010

WEAK CONVERGENCE THEOREMS FOR EQUILIBRIUM PROBLEMS WITH NONLINEAR OPERATORS IN HILBERT SPACES

Fixed and Common Fixed Point Theorems in Metric Spaces

Bulletin of the Iranian Mathematical Society Vol. 39 No.6 (2013), pp

Kannan mappings vs. Caristi mappings: An easy example

INEQUALITIES IN METRIC SPACES WITH APPLICATIONS. Ismat Beg. 1. Introduction and preliminaries

Two-Step Iteration Scheme for Nonexpansive Mappings in Banach Space

International Journal of Scientific & Engineering Research, Volume 7, Issue 12, December-2016 ISSN

CONVERGENCE OF APPROXIMATING FIXED POINTS FOR MULTIVALUED NONSELF-MAPPINGS IN BANACH SPACES. Jong Soo Jung. 1. Introduction

FIXED POINTS FOR MULTIVALUED CONTRACTIONS WITH RESPECT TO A w-distance.

Fixed point theorems for Kannan-type maps

arxiv: v1 [math.fa] 8 Feb 2011

FIXED POINT THEOREM ON MULTI-VALUED MAPPINGS

SHRINKING PROJECTION METHOD FOR A SEQUENCE OF RELATIVELY QUASI-NONEXPANSIVE MULTIVALUED MAPPINGS AND EQUILIBRIUM PROBLEM IN BANACH SPACES

A Direct Proof of Caristi s Fixed Point Theorem

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

On the Convergence of Ishikawa Iterates to a Common Fixed Point for a Pair of Nonexpansive Mappings in Banach Spaces

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

Viscosity Iterative Approximating the Common Fixed Points of Non-expansive Semigroups in Banach Spaces

Yuqing Chen, Yeol Je Cho, and Li Yang

A Common Fixed Points in Cone and rectangular cone Metric Spaces

Some Generalizations of Caristi s Fixed Point Theorem with Applications

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

Strong Convergence Theorems for Nonself I-Asymptotically Quasi-Nonexpansive Mappings 1

Fixed point theorems for w-cone distance contraction mappings in tvs-cone metric spaces

STRONG CONVERGENCE THEOREMS BY A HYBRID STEEPEST DESCENT METHOD FOR COUNTABLE NONEXPANSIVE MAPPINGS IN HILBERT SPACES

Research Article The Existence of Fixed Points for Nonlinear Contractive Maps in Metric Spaces with w-distances

Common fixed point of multivalued graph contraction in metric spaces

A Common Fixed Point Theorem for Multivalued Mappings Through T-weak Commutativity

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

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

Convergence to Common Fixed Point for Two Asymptotically Quasi-nonexpansive Mappings in the Intermediate Sense in Banach Spaces

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

Research Article Some Generalizations of Fixed Point Results for Multivalued Contraction Mappings

ON THE STRUCTURE OF FIXED-POINT SETS OF UNIFORMLY LIPSCHITZIAN MAPPINGS. Ewa Sędłak Andrzej Wiśnicki. 1. Introduction

A NOTE ON MULTIVALUED MEIR-KEELER TYPE OPERATORS

Weak and strong convergence theorems of modified SP-iterations for generalized asymptotically quasi-nonexpansive mappings

Research Article Equivalent Extensions to Caristi-Kirk s Fixed Point Theorem, Ekeland s Variational Principle, and Takahashi s Minimization Theorem

Best proximity point results in set-valued analysis

POINTWISE PRODUCTS OF UNIFORMLY CONTINUOUS FUNCTIONS

Fixed Points of Multivalued Quasi-nonexpansive Mappings Using a Faster Iterative Process

Generalization of Reich s Fixed Point Theorem

PATA TYPE FIXED POINT THEOREMS OF MULTIVALUED OPERATORS IN ORDERED METRIC SPACES WITH APPLICATIONS TO HYPERBOLIC DIFFERENTIAL INCLUSIONS

STRONG CONVERGENCE OF AN IMPLICIT ITERATION PROCESS FOR ASYMPTOTICALLY NONEXPANSIVE IN THE INTERMEDIATE SENSE MAPPINGS IN BANACH SPACES

Weak and strong convergence of a scheme with errors for three nonexpansive mappings

Common fixed points for a class of multi-valued mappings and application to functional equations arising in dynamic programming

New Generalizations of Caristi s Fixed Point Theorem Via Brézis Browder Principle

Applied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books.

WEAK CONVERGENCE OF RESOLVENTS OF MAXIMAL MONOTONE OPERATORS AND MOSCO CONVERGENCE

Common fixed points of two generalized asymptotically quasi-nonexpansive mappings

STRONG CONVERGENCE THEOREMS FOR COMMUTATIVE FAMILIES OF LINEAR CONTRACTIVE OPERATORS IN BANACH SPACES

Some new fixed point theorems in metric spaces

A Fixed Point Theorem For Multivalued Maps In Symmetric Spaces

Invariant Approximation Results of Generalized Contractive Mappings

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

Convergence theorems for a finite family. of nonspreading and nonexpansive. multivalued mappings and equilibrium. problems with application

New Nonlinear Conditions for Approximate Sequences and New Best Proximity Point Theorems

Viscosity Approximative Methods for Nonexpansive Nonself-Mappings without Boundary Conditions in Banach Spaces

Common fixed point of -approximative multivalued mapping in partially ordered metric space

The Mild Modification of the (DL)-Condition and Fixed Point Theorems for Some Generalized Nonexpansive Mappings in Banach Spaces

A Homotopy Fixed Point Theorem in 0-Complete Partial Metric Space

CONVERGENCE THEOREMS FOR STRICTLY ASYMPTOTICALLY PSEUDOCONTRACTIVE MAPPINGS IN HILBERT SPACES. Gurucharan Singh Saluja

Fixed point results for generalized multi-valued contractions

Xiyou Cheng Zhitao Zhang. 1. Introduction

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

NOTES ON BARNSLEY FERN

THROUGHOUT this paper, we let C be a nonempty

Coincidence Points for Mappings under Generalized Contraction

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

MONOTONE GENERALIZED WEAK CONTRACTIONS IN PARTIALLY ORDERED METRIC SPACES

PROXIMAL POINT ALGORITHMS INVOLVING FIXED POINT OF NONSPREADING-TYPE MULTIVALUED MAPPINGS IN HILBERT SPACES

CHARACTERIZATION OF REFLEXIVE BANACH SPACES WITH NORMAL STRUCTURE

Fixed Points for Multivalued Mappings in b-metric Spaces

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

The Journal of Nonlinear Science and Applications

Research Article Some New Fixed-Point Theorems for a (ψ, φ)-pair Meir-Keeler-Type Set-Valued Contraction Map in Complete Metric Spaces

On Best Proximity Point Theorems for New Cyclic Maps

Fixed Point Theorem in Cone B-Metric Spaces Using Contractive Mappings

Fuzzy fixed point of multivalued Ciric type fuzzy contraction mappings in b-metric spaces

Zeqing Liu, Jeong Sheok Ume and Shin Min Kang

COMPLETENESS AND THE CONTRACTION PRINCIPLE J. M. BORWEIN'

On Characterizations of Meir-Keeler Contractive Maps

Available online at J. Nonlinear Sci. Appl., 10 (2017), Research Article

NONTRIVIAL SOLUTIONS FOR SUPERQUADRATIC NONAUTONOMOUS PERIODIC SYSTEMS. Shouchuan Hu Nikolas S. Papageorgiou. 1. Introduction

Shih-sen Chang, Yeol Je Cho, and Haiyun Zhou

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

A fixed point theorem for w-distance

Problem Set 6: Solutions Math 201A: Fall a n x n,

Convergence theorems for mixed type asymptotically nonexpansive mappings in the intermediate sense

Transcription:

Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 8, 1996, 371 382 FIXED POINT THEOREMS AND CHARACTERIZATIONS OF METRIC COMPLETENESS Tomonari Suzuki Wataru Takahashi 1. Introduction Let X be a metric space with metric d. A mapping T from X into itself is called contractive if there exists a real number r [0, 1) such that d(t x, T y) rd(x, y) for every x, y X. It is well know that if X is a complete metric space, then every contractive mapping from X into itself has a unique fixed point in X. However, we exhibit a metric space X such that X is not complete and every contractive mapping from X into itself has a fixed point in X; see Section 4. On the other hand, in [1], Caristi proved the following theorem: Let X be a complete metric space and let φ : X (, ) be a lower semicontinuous function, bounded from below. Let T : X X be a mapping satisfying d(x, T x) φ(x) φ(t x) for every x X. Then T has a fixed point in X. Later, characterizations of metric completeness have been discussed by Weston [8], Takahashi [7], Park and Kang [6] and others. For example, Park and Kang [6] proved the following: Let X be a metric space. Then X is complete if and only if for every selfmap T of X with a uniformly continuous function φ : X [0, ) such that d(x, T x) φ(x) φ(t x) 1991 Mathematics Subject Classification. Primary 47H10, 54E50. Key words and phrases. Fixed point, contractive mapping, completeness. This research is supported by IBMJAPAN, Ltd. c 1996 Juliusz Schauder Center for Nonlinear Studies 371

372 T. Suzuki W. Takahashi for every x X, T has a fixed point in X. Recently, Kada, Suzuki and Takahashi [4] introduced the concept of w-distance on a metric space X (see Section 2) and improved Caristi s fixed point theorem [1], Ekeland s variational principle [3], and the nonconvex minimization theorem according to Takahashi [7]. In this paper, using the concept of w-distance, we first establish fixed point theorems for set-valued mappings on complete metric spaces which are connected with Nadler s fixed point theorem [5] and Edelstein s fixed point theorem [2]. Next, we give characterizations of metric completeness. One of them is as follows: A convex subset D of a normed linear space is complete if and only if every contractive mapping from D into itself has a fixed point in D. 2. Preliminaries Throughout this paper, we denote by N the set of positive integers and by R the set of real numbers. Let X be a metric space with metric d. Then a function p : X X [0, ) is called a w-distance on X if the following are satisfied: (1) p(x, z) p(x, y) + p(y, z) for any x, y, z X; (2) for any x X, p(x, ) : X [0, ) is lower semicontinuous; (3) for any ε > 0, there exists δ > 0 such that p(z, x) δ and p(z, y) δ imply d(x, y) ε. The metric d is a w-distance on X. Some other examples of w-distances are given in [4]. We have the following lemmas regarding w-distance. Lemma 1. Let X be a metric space with metric d, let p be a w-distance on X, and let q be a function from X X into [0, ) satisfying (1), (2) in the definition of w-distance. Suppose that q(x, y) p(x, y) for every x, y X. Then q is also a w-distance on X. In particular, if q satisfies (1), (2) in the definition of w-distance and q(x, y) d(x, y) for every x, y X, then q is a w-distance on X. Proof. We show that q satisfies (3). Let ε > 0. Since p is a w-distance, there exists a positive number δ such that p(z, x) δ and p(z, y) δ imply d(x, y) ε. Then q(z, x) δ and q(z, y) δ imply d(x, y) ε. Lemma 2. Let F be a bounded and closed subset of a metric space X. Assume that F contains at least two points and c is a constant with c δ(f ), where δ(f ) is the diameter of F. Then the function p : X X [0, ) defined by is a w-distance on X. p(x, y) = { d(x, y) if x, y F, c if x F or y F,

Fixed Point Theorem and Metric Completeness 373 Proof. If x, y, z F, we have p(x, z) = d(x, z) d(x, y) + d(y, z) = p(x, y) + p(y, z). In the other case, we have p(x, z) c p(x, y) + p(y, z). Let x X. If α c, we have {y X : p(x, y) α} = X. Let α < c. If x F, then p(x, y) α implies y F. So, we have {y X : p(x, y) α} = {y X : d(x, y) α} F. If x F, we have {y X : p(x, y) α} =. In each case, the set {y X : p(x, y) α} is closed. Therefore p(x, ) : X [0, ) is lower semicontinuous. Let ε > 0. Then there exists n 0 N such that 0 < ε/n 0 < c. Let δ = ε/(2n 0 ). Then p(z, x) δ and p(z, y) δ imply x, y, z F. So, we have d(x, y) d(x, z) + d(y, z) = p(z, x) + p(z, y) ε + ε = ε ε. 2n 0 2n 0 n 0 Let ε (0, ]. A metric space X with metric d is called ε-chainable [2] if for every x, y X there exists a finite sequence {u 0, u 1,..., u k } in X such that u 0 = x, u k = y and d(u i, u i+1 ) < ε for i = 0, 1,..., k 1. Such a sequence is called an ε-chain in X linking x and y. Lemma 3. Let ε (0, ] and let X be an ε-chainable metric space with metric d. Then the function p : X X [0, ) defined by { } p(x, y) = inf d(u i, u i+1 ) : {u 0, u 1,..., u k } is an ε-chain linking x and y is a w-distance on X. Proof. Note that p is well-defined because X is ε-chainable. Let x, y, z X and let η > 0 be arbitrary. Then there exist ε-chains {u 0, u 1,..., u k } linking x and y and {v 0, v 1,..., v l } linking y and z such that d(u i, u i+1 ) p(x, y) + η and l 1 d(v i, v i+1 ) p(y, z) + η. Since {u 0, u 1,..., u k, v 1, v 2,..., v l } is an ε-chain linking x and z, we have l 1 p(x, z) d(u i, u i+1 ) + d(v i, v i+1 ) p(x, y) + p(y, z) + 2η. Since η > 0 is arbitrary, we have p(x, z) p(x, y) + p(y, z). Let us prove (2). Let x, y X and let {y n } be a sequence in X with y n y. Choose n 0 N such that d(y, y n ) < ε for every n n 0. Let η > 0 be arbitrary

374 T. Suzuki W. Takahashi and let n n 0. Then there exists an ε-chain {u 0, u 1,..., u k } linking x and y n such that d(u i, u i+1 ) p(x, y n ) + η. Since d(y, y n ) < ε, {u 0, u 1,..., u k, y} is an ε-chain linking x and y. So, we have and hence p(x, y) d(u i, u i+1 ) + d(y n, y) p(x, y n ) + η + d(y n, y) p(x, y) lim inf n p(x, y n) + η. Since η > 0 is arbitrary, we have p(x, y) lim inf n p(x, y n). This implies that p(x, ) is lower semicontinuous. Since p(x, y) d(x, y) for every x, y X, by Lemma 1, p is a w-distance. The following lemma was proved in [4]. Lemma 4 ([4]). Let X be a metric space with metric d and let p be a w- distance on X. Let {x n } and {y n } be sequences in X, let {α n } and {β n } be sequences in [0, ) converging to 0, and let x, y, z X. Then the following hold: (1) if p(x n, y) α n and p(x n, z) β n for any n N, then y = z; in particular, if p(x, y) = 0 and p(x, z) = 0, then y = z; (2) if p(x n, y n ) α n and p(x n, z) β n for any n N, then {y n } converges to z; (3) if p(x n, x m ) α n for any n, m N with m > n, then {x n } is a Cauchy sequence; (4) if p(y, x n ) α n for any n N, then {x n } is a Cauchy sequence. 3. Fixed point theorems Let X be a metric space with metric d. A set-valued mapping T from X into itself is called weakly contractive or p-contractive if there exist a w-distance p on X and r [0, 1) such that for any x 1, x 2 X and y 1 T x 1 there is y 2 T x 2 with p(y 1, y 2 ) rp(x 1, x 2 ). Theorem 1. Let X be a complete metric space and let T be a set-valued p-contractive mapping from X into itself such that for any x X, T x is a nonempty closed subset of X. Then there exists x 0 X such that x 0 T x 0 and p(x 0, x 0 ) = 0.

Fixed Point Theorem and Metric Completeness 375 Proof. Let p be a w-distance on X and let r [0, 1) be such that for any x 1, x 2 X and y 1 T x 1, there exists y 2 T x 2 with p(y 1, y 2 ) rp(x 1, x 2 ). Fix u 0 X and u 1 T u 0. Then there exists u 2 T u 1 such that p(u 1, u 2 ) rp(u 0, u 1 ). Thus, we have a sequence {u n } in X such that u n+1 T u n and p(u n, u n+1 ) rp(u n 1, u n ) for every n N. For any n N, we have p(u n, u n+1 ) rp(u n 1, u n ) r 2 p(u n 2, u n 1 )... r n p(u 0, u 1 ) and hence, for any n, m N with m > n, p(u n, u m ) p(u n, u n+1 ) + p(u n+1, u n+2 ) + + p(u m 1, u m ) r n p(u 0, u 1 ) + r n+1 p(u 0, u 1 ) + + r m 1 p(u 0, u 1 ) rn 1 r p(u 0, u 1 ). By Lemma 4, {u n } is a Cauchy sequence. Hence {u n } converges to a point v 0 X. Fix n N. Since {u m } converges to v 0 and p(u n, ) is lower semicontinuous, we have ( ) p(u n, v 0 ) lim inf p(u n, u m ) rn m 1 r p(u 0, u 1 ). By hypothesis, we also have w n T v 0 such that p(u n, w n ) rp(u n 1, v 0 ). So, for any n N, p(u n, w n ) rp(u n 1, v 0 ) rn 1 r p(u 0, u 1 ). By Lemma 4, {w n } converges to v 0. Since T v 0 is closed, we have v 0 T v 0. For such v 0, there exists v 1 T v 0 such that p(v 0, v 1 ) rp(v 0, v 0 ). Thus, we also have a sequence {v n } in X such that v n+1 T v n and p(v 0, v n+1 ) rp(v 0, v n ) for every n N. So, we have p(v 0, v n ) rp(v 0, v n 1 )... r n p(v 0, v 0 ). By Lemma 4, {v n } is a Cauchy sequence. Hence {v n } converges to a point x 0 X. Since p(v 0, ) is lower semicontinuous, p(v 0, x 0 ) lim inf n p(v 0, v n ) 0 and hence p(v 0, x 0 ) = 0. Then, for any n N, p(u n, x 0 ) p(u n, v 0 ) + p(v 0, x 0 ) rn 1 r p(u 0, u 1 ). So, using ( ) and Lemma 4, we obtain v 0 = x 0 and hence p(v 0, v 0 ) = 0. Let X be a metric space with metric d and let T be a mapping from X into itself. Then T is called weakly contractive or p-contractive if there exist a w- distance p on X and r [0, 1) such that p(t x, T y) rp(x, y) for every x, y X. In the case of p = d, T is called contractive.

376 T. Suzuki W. Takahashi Theorem 2. Let X be a complete metric space. If a mapping T from X into itself is p-contractive, then T has a unique fixed point x 0 X. Further the x 0 satisfies p(x 0, x 0 ) = 0. Proof. Let p be a w-distance and let r [0, 1) be such that p(t x, T y) rp(x, y) for every x, y X. Then from Theorem 1, there exists x 0 X with T x 0 = x 0 and p(x 0, x 0 ) = 0. If y 0 = T y 0, then p(x 0, y 0 ) = p(t x 0, T y 0 ) rp(x 0, y 0 ) and hence p(x 0, y 0 ) = 0. So, by p(x 0, x 0 ) = 0 and Lemma 4, we have x 0 = y 0. Using Theorem 1, we will prove a fixed point theorem which generalizes Nadler s fixed point theorem for set-valued mappings and Edelstein s fixed point theorem on an ε-chainable metric space. Before proving it, we give some definitions and notations. Let X be a metric space with metric d. For x X and A X, set d(x, A) = inf{d(x, y) : y A}. Denote by CB(X) the class of all nonempty bounded closed subsets of X. Let H be the Hausdorff metric with respect to d, i.e., H(A, B) = max{sup d(u, B), sup d(v, A)} u A v B for every A, B CB(X). Let ε (0, ]. A mapping T from X into CB(X) is said to be (ε, σ)-uniformly locally contractive [2] if there exists σ [0, 1) such that H(T x, T y) σd(x, y) for every x, y X with d(x, y) < ε. In particular, T is said to be contractive when ε =. Theorem 3. Let ε (0, ] and let X be a complete and ε-chainable metric space with metric d. Suppose that a mapping T from X into CB(X) is (ε, σ)- uniformly locally contractive. Then there exists x 0 X with x 0 T x 0. Proof. Define a function p from X X into [0, ) as follows: { } p(x, y) = inf d(u i, u i+1 ) : {u 0, u 1,..., u k } is an ε-chain linking x and y. From Lemma 3, p is a w-distance on X. We prove that T is p-contractive. Choose a real number r such that σ < r < 1. Let x 1, x 2 X, y 1 T x 1 and η > 0. Then there exists an ε-chain {u 0, u 1,..., u k } linking x 1 and x 2 such that d(u i, u i+1 ) p(x 1, x 2 ) + η. Put v 0 = y 1. Since T is (ε, σ)-uniformly locally contractive, there exists v 1 T u 1 such that d(v 0, v 1 ) rd(u 0, u 1 ) < rε ε.

Fixed Point Theorem and Metric Completeness 377 In a similar way, we define an ε-chain {v 0, v 1,..., v k } linking y 1 and v k such that v i T u i for every i = 0, 1,..., k and d(v i, v i+1 ) rd(u i, u i+1 ) < ε for every i = 0, 1,..., k 1. Putting y 2 = v k, since y 2 T x 2 and {v 0, v 1,..., v k } is an ε-chain linking y 1 and y 2, we have p(y 1, y 2 ) d(v i, v i+1 ) rd(u i, u i+1 ) rp(x 1, x 2 ) + rη < rp(x 1, x 2 ) + η. Since η > 0 is arbitrary, we have p(y 1, y 2 ) rp(x 1, x 2 ). So, T is a p-contractive set-valued mapping from X into itself. Theorem 1 now gives the desired result. As direct consequences of Theorem 3, we obtain the following. Corollary 1 (Nadler [5]). Let X be a complete metric space and let T be a contractive set-valued mapping from X into CB(X). Then there exists x 0 X with x 0 T x 0. Proof. We may assume that there exists σ [0, 1) such that H(T x, T y) σd(x, y) for every x, y X. Since T is (, σ)-uniformly locally contractive and X is -chainable, using Theorem 3, we obtain the desired result. Corollary 2 (Edelstein [2]). Let ε (0, ] and let X be a complete and ε-chainable metric space with metric d. Suppose that a mapping T from X into itself is (ε, σ)-uniformly locally contractive. Then T has a unique fixed point. 4. Characterizations of metric completeness In this section, we discuss characterizations of metric completeness. We first give the following example. Example. Define subsets of R 2 as follows: A n = {(t, t/n) : t (0, 1]} for every n N, S = n N A n {0}. Then S is not complete and every continuous mapping on S has a fixed point in S. Proof. It is clear that S is not complete. Let T be a continuous mapping from S into itself. If T 0 = 0, then 0 is a fixed point of T. Assume that T 0 A j for some j N and define a mapping U on A j {0} as follows: { T x if T x Aj, Ux = 0 if T x A j. Then U is continuous. In fact, let {x n } be a sequence in A j {0} which converges to x 0. Then {T x n } converges to T x 0. If T x 0 A j, then {Ux n } also converges

378 T. Suzuki W. Takahashi to T x 0 = Ux 0. Otherwise {Ux n } converges to 0 and Ux 0 = 0. Hence U is continuous. On the other hand, A j {0} is compact and convex. So, U has a fixed point z 0 in A j {0}. It is clear that z 0 0 and z 0 is a fixed point of T. Motivated by this example, we obtain the following. Theorem 4. Let X be a metric space. Then X is complete if and only if every weakly contractive mapping from X into itself has a fixed point in X. Proof. Since the only if part is proved in Theorem 2, we need only prove the if part. Assume that X is not complete. Then there exists a sequence {x n } in X which is Cauchy and does not converge. So, we have lim m d(x n, x m ) > 0 for any n N and also lim n lim m d(x n, x m ) = 0. Then, for any c > 0, we can choose a subsequence {x ni } {x n } such that, for any i N, and hence lim d(x n m i, x m ) > c lim d(x n m i+1, x m ) lim d(x n i, x nj ) > c lim d(x n i+1, x nj ). j j So, we may assume that there exists a sequence {x n } in X satisfying the following conditions: (1) {x n } is Cauchy; (2) {x n } does not converge; (3) lim n d(x i, x n ) > 3 lim n d(x i+1, x n ) for any i N. Put F = {x n : n N}. Then F is bounded and closed. So, the function p : X X [0, ) defined by p(x, y) = { d(x, y) if x, y F, 2δ(F ) if x F or y F, is a w-distance on X by Lemma 2. Further, p(x, y) = p(y, x) for any x, y X. Define a mapping T from X into itself as follows: T x = { x1 if x F, x i+1 if x = x i. Then it is clear that T has no fixed point in X. To complete the proof, it is sufficient to show that T is p-contractive. If x F or y F, then p(t x, T y) δ(f ) = 1 2 2δ(F ) = 1 2 p(x, y) 2 p(x, y). 3

Fixed Point Theorem and Metric Completeness 379 Let x, y F. Then, without loss of generality, we may assume that x = x i, y = x j and i < j. We have On the other hand, d(x i, x j ) lim n d(x i, x n ) lim n d(x j, x n ) lim d(x i, x n ) lim d(x i+1, x n ) n n 2 lim d(x i+1, x n ). n Therefore we have d(x i+1, x j+1 ) lim n d(x i+1, x n ) + lim n d(x j+1, x n ) lim n d(x i+1, x n ) + lim n d(x i+2, x n ) 4 3 lim n d(x i+1, x n ). p(t x, T y) = p(t x i, T x j ) = d(x i+1, x j+1 ) 4 3 lim n d(x i+1, x n ) 4 3 1 2 d(x i, x j ) = 2 3 d(x i, x j ) = 2 3 p(x i, x j ) = 2 p(x, y). 3 Theorem 5. Let X be a normed linear space and let D be a convex subset of X. Then D is complete if and only if every contractive mapping from D into itself has a fixed point in D. Before proving Theorem 5, we need two lemmas. Lemma 5. Let X be a normed linear space and let D be a convex subset of X with 0 D, where D is the closure of D. Then for any x D \ {0}, there exists y D such that 2 y = x and x y 2 x 2 y. Proof. Let x D \ {0}. Then, since 0 D, we obtain an element z D with z x /3. So, there exist y D and t [0, 1] such that y = tz + (1 t)x and y = x /2. From x 2 = y t z + (1 t) x t x 3 + (1 t) x, we have 1/2 t/3 + (1 t) and hence t 3/4. Then we obtain

380 T. Suzuki W. Takahashi x y = t x z 3 4 x z 3 4 x + 3 4 z 3 4 x + 1 x = x = x + ( x 2 y ) = 2 x 2 y. 4 Lemma 6. Let X be a normed linear space and let D be a convex subset of X with 0 D \ D. Then there exist a sequence {v n } in D and a mapping w from (0, ) into D satisfying the following conditions: (1) v n = v 1 /2 n 1 for every n N; (2) w( v n ) = v n for every n N; (3) w(s) w(t) 2 s t for every s, t (0, ); (4) w(t) t for every t (0, ). Proof. Let v 1 D. Then from v 1 0 and Lemma 5 there exists v 2 D such that 2 v 2 = v 1 and v 1 v 2 2 v 1 2 v 2. Thus, we can find a sequence {v n } in D such that v n = 1 2 n 1 v 1 and v n 1 v n 2 v n 1 2 v n. Note that v n 0 and v n+1 < v n for every n N. Define a mapping w from (0, ) into D as follows: w(t) = v 1 if v 1 < t, t v n+1 v n v n+1 v n + v n t v n v n+1 v n+1 if v n+1 < t v n for some n N. Then it is clear that w( v n ) = v n for every n N. We shall show (3). In fact, if v 1 s t, it is obvious that w(t) w(s) 2(t s) and if v n+1 s t v n for some n N, we have w(s) w(t) = t s v n v n+1 v n v n+1 2(t s). Further, if v m+1 < s v m v n t < v n 1 for some m, n N with m n 1, where v 0 =, we have w(s) w(t) w(s) w( v m ) w( v i+1 ) w( v i ) + w( v n ) w(t) m 1 + i=n m 1 2( v m s) + 2( v i v i+1 ) + 2(t v n ) = 2(t s). i=n

Fixed Point Theorem and Metric Completeness 381 We shall show (4). In fact, if v 1 < t, it is obvious that w(t) = v 1 t. And if v n+1 < t v n for some n N, we have w(t) t v n+1 v n v n+1 v v n t n + v n v n+1 v n+1 = t. Proof of Theorem 5. Since the only if part is well known, we need only prove the if part. Suppose that D is not complete. We denote the completion of X by X and the closure of D in X by D. Since D is not complete, we obtain z 0 D \ D. Since D z 0 is convex in X and the closure of D z 0 in X includes 0, there exists a mapping w from (0, ) into D z 0 satisfying (3) and (4) of Lemma 6. Now, define a mapping T from D into itself as follows: ( ) x z0 T (x) = w + z 0 for every x D. 4 Then we have, for any x, y D, ( T x T y = x w z0 4 2 x z 0 4 ) w y z 0 4 ( ) y z0 4 1 x y. 2 Further, we have, for every x D, ( ) T x z 0 = x w z0 x z 0 < x z 0. 4 4 So, T has no fixed point in D. As a direct consequence of Theorem 5, we obtain the following. Corollary 3. Let X be a normed linear space. Then X is a Banach space if and only if every contractive mapping from X into itself has a fixed point in X. References [1] J. Caristi, Fixed point theorems for mappings satisfying inwardness conditions, Trans. Amer. Math. Soc. 215 (1976), 241 251. [2] M. Edelstein, An extension of Banach s contraction principle, Proc. Amer. Math. Soc. 12 (1961), 7 10. [3] I. Ekeland, Nonconvex minimization problems, Bull. Amer. Math. Soc. 1 (1979), 443 474. [4] O. Kada, T. Suzuki and W. Takahashi, Nonconvex minimization theorems and fixed point theorems in complete metric spaces, Math. Japon. 44 (1996), 381 391. [5] S. B. Nadler Jr., Multi-valued contraction mappings, Pacific J. Math. 30 (1969), 475 488. [6] S. Park and G. Kang, Generalizations of the Ekeland type variational principles, Chinese J. Math. 21 (1993), 313 325.

382 T. Suzuki W. Takahashi [7] W. Takahashi, Existence theorems generalizing fixed point theorems for multivalued mappings, Fixed Point Theory and Applications (M. A. Théra and J. B. Baillon eds.), Pitman Res. Notes Math., vol. 252, Longman Sci. Tech., pp. 397 406. [8] J. D. Weston, A characterization of metric completeness, Proc. Amer. Math. Soc. 64 (1977), 186 188. Manuscript received October 30, 1996 Tomonari Suzuki and Wataru Takahashi Department of Information Sciences Tokyo Institute of Technology Ohokayama, Meguro-ku, Tokyo 152, JAPAN E-mail address: tomonari@is.titech.ac.jp, wataru@is.titech.ac.jp TMNA : Volume 8 1996 N o 2