« Section 28: Problem 6 Solution

Section 28: Problem 7 Solution

Working problems is a crucial part of learning mathematics. No one can learn topology merely by poring over the definitions, theorems, and examples that are worked out in the text. One must work part of it out for oneself. To provide that opportunity is the purpose of the exercises.
James R. Munkres
(a) and (b) Step 1. If is a shrinking map then there is at most one fixed point. Suppose there are two fixed points and . Then .Step 2. We construct a closed compact set that will be proved to have a fixed point. Let and . is a continuous map from a compact space to Hausdorff space, therefore, it is a closed map. Then, by induction, every set in the sequence is closed. Moreover, since the image of a subset lies within the image of a superset, the sequence is a nested sequence of nonempty closed sets that has a nonempty closed and compact intersection .Step 3. We show that . Indeed, suppose that for : . Hence, there is such that . This implies that which contradicts the fact that .Step 4. We show that has only one point, this implies that the point is the fixed point. If is a contraction we obtain the result immediately. Indeed, the diameter of decreases exponentially and there cannot be more than 1 point in the intersection. More generally, we want to show that any is the image of some point in . For each : , i.e. there exists such that . A compact metric space is sequentially compact, hence, there is a subsequence of that converges to some point . Any neighborhood of contains infinitely many members of the sequence, therefore, it is in the closure of every , but ’s are closed, therefore, . Moreover, since for all and is continuous, . We conclude that , i.e. . The distance on is a continuous function from the compact product to the ordered set . Therefore, there is a pair of points with the maximum distance between them. Let where . Then if : . This contradiction implies that there is only one point in , the fixed point of .(c) is strictly increasing from 0 to 1/2. implies it is a shrinking map (the unique fixed point is 0). implies it is not a contraction.(d) is strictly increasing, moreover for all . So, there is no fixed point. but can be made as close to 1 as desired when . Therefore, it is a shrinking map which is not contraction and has no fixed point.