« Section 17: Problem 4 Solution

Section 17: Problem 6 Solution »

Section 17: Problem 5 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
Let be an ordered set in the order topology. Show that . Under what conditions does equality hold?
is closed and contains , so it contains the closure of . It equals the closure iff both endpoints are limit points of the interval, i.e. if is not empty and for every there are such that . This is equivalent to the requirement that has no immediate successor, and has no immediate predecessor. Otherwise, if has an immediate successor then is an open set containing that does not intersect , and, similarly, if has an immediate predecessor then is an open set containing that does not intersect .