« Section 17: Problem 18 Solution

Section 17: Problem 20 Solution »

Section 17: Problem 19 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
If , we define the boundary of by the equation
(a) Show that and are disjoint, and .
(b) Show that is both open and closed.
(c) Show that is open .
(d) If is open, is it true that ? Justify your answer.
(a) iff for every open , implies iff there is an open such that or for every open , implies iff or . Also, the two cases are disjoint (either there is that does not intersect or every intersects ), so that .
(b) iff there is an open set s.t. or iff .
(c) is open iff (according to (a)) .
(d) No, is open, therefore, , but, for example, .