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.