Self-maps of compact metric spaces
[7/57%]Let be a compact metric space and an isometry. Show that .
Let be a nonempty compact set in a metric space with distance function . Suppose that satisfies
for all in . Show there exists precisely one point such that .
Prove that if a set is compact in a metric space , and a mapping satisfies the inequality for any , then there exists a unique fixed point (compare with problem 1.74 and Theorem 1.4).
Theorem 1.4 (contraction mapping principle): let be a contraction mapping (i.e., there exists such that for all ) on a complete metric space . Then there exists a unique point such that ; this point is the limit of the recursively defined sequence with an arbitrary starting point .
Prove that in a metric space any isometric embedding of a compact into itself is an isometry of this compact (and show that this is false for an arbitrary closed bounded set).
Let be a complete metric space, a compact set in it, a mapping satisfying the inequality . Prove that is an isometry of the set .
Let be a compact metric space and a mapping from into itself such that
Show that has a unique fixed-point.
Define for all real numbers . Show that
Show that does not have a fixed-point. Does this contradict the preceding problem?