« Section 17: Problem 16 Solution

Section 17: Problem 18 Solution »

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 .