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
.