We prove (something more general than) the result that a subset of a Banach space is closed if and only if every contraction of the space leaving the set invariant has a fixed point in that subset. This implies that a normed space is complete if and only if every contraction on the space has a fixed point. We also show that these results fail if convex is replaced by or starshaped. In the last few years a metric space variational principle due to Ekeland [3] and an equivalent fixed point theorem due to Caristi have been profitably exploited in a variety of contexts ([2,4, 12], and the references therein). It is easy to deduce the contraction principle [1] from either of these results [2, 12]; and it is equally apparent from the proof of Ekeland's principle given in [3] that the later result is of contractive type. This leads naturally to the question as to whether Ekeland's principle may be derived directly from the contraction principle? Moreover, in [5] Kirk showed that Caristi's theorem holds only in a complete metric setting and Sullivan [11] showed the same for Ekeland's theorem. Thus we are led to ask under what circumstances a metric space with the contraction propertv (every metric contraction of the space has a fixed point) is complete? Janos [8] calls such spaces pseudocomplete. Many other authors ([5,8,9, 10] included) have considered the contraction property in some form or other. Our positive result requires the following definition. Let us say that a subset C of metric space X endowed with a metric d is uniformlv Lipschitz-connected if there exists a positive constant L such that given any xo and xl in C there exists an arc g: [0, 1 -C with g(0) = xo and g(l) = xt such that ( 1 ) dd(g(s), g(t)) ? L I s-t I d(g(0). g(l)) for 0 s, t 1. The prototype of a uniformly Lipschitz-connected set is a subset of a normed space. In this case g(s) := sxl + (1 s)xo satisfies (1) with L: = 1. This is also true in certain translation invariant linear metric spaces. It will be apparent that there are many other types of uniformly Lipschitz-connected sets. These include continuously differentiable finite dimensional surfaces and bi-Lipschitz images of uniformly Lipschitz-connected sets. Received by the editors January 20, 1982 and, in revised form, April 9. 1982. 1980 Mathemnatics Subject Classification. Primary 47H 10, 54H25.
Read full abstract