Section 27: Problem 3 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) The topology is strictly finer that the standard topology on
which is compact and Hausdorff, therefore, it is not compact. Cool, huh? Another way to show this directly is as follows:
has no finite subcovering. Yet, another way is just to say that
is a closed subspace of
in
which is not compact (the set is infinite and all points are isolated), therefore,
is not compact.(b) Both topologies induce the same topology on
and
(it is clear for the first one, while for the second a subset
is open in the subtopology of
iff it equals the intersection of the subspace with an open set
in
minus some points in
iff it equals the intersection of the subspace with
minus those points in
iff it is open in the subtopology of
), therefore, both are connected in either topology. Their closures are connected and share the common point
, therefore, their union — the whole space — is connected.(c) Suppose there is a path from 0 to 1 in
. It is a continuous function from a compact connected space, therefore, the image is compact and connected in
. Hence, it must also be connected as a subspace of
(as it has a coarser topology), i.e. the image is convex and contains the whole interval
. This implies that
is a closed subspace of the compact image, i.e. it is compact in
. Contradiction.