On the Edelstein Contractive Mapping Theorem

Abstract

AbstractLet X be a metrizable topological space and f:X→X a continuous selfmapping such that for every x ∈ X the sequence of iterates {fn(x)} converges. It is proved that under these conditions the following two statements are equivalent:1. There is a metrization of X relative to which f is contractive in the sense of Edelstein.2. For any nonempty f-invariant compact subset Y of X the intersection of all iterates fn(Y) is a one-point set. The relation between this type of contractivity and the Banach contraction principle is also discussed.