Section 17: Problem 17 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
Consider the lower limit topology on
and the topology given by the basis
of Exercise 8 of §13. Determine the closures of the intervals
and
in these two topologies.
The topology
is given by
where
. We noted in the solution for Exercise 8 of §13 that this topology is strictly finer than the standard topology and strictly coarser than the lower limit topology. The finer is the topology, the (weakly) smaller is the closure of any set, as there are more neighborhoods of points not in the set. So, we expect the closures of the two sets in both topologies to be subsets of their closures in
, i.e.
and
.
In the lower limit topology,
and
, as the closure of any interval
is
(point
has the neighborhood
not intersecting the interval). So, additionally, in
we would expect the closures to be also supersets of these half-open intervals.
In
,
and
. Indeed, for the set
the argument is close to the one described in the solution of Exercise 8 of §13: the set
is open in the lower limit topology, but not in
, where every open interval containing
has a rational lower bound and, hence, a point below
from the interval
.