Homepage › Solution manuals › Stephen Abbott › Understanding Analysis › Exercise 3.2.13
Exercise 3.2.13
Prove that the only sets that are both open and closed are and the empty set .
Answers
Let be open and closed, and suppose for contradiction that and . Note that every closed set must contain its supremum and infimum, but Exercise 3.2.4b shows that every open set cannot contain its supremum or its infimum; thus must be unbounded.
is open and closed since is an intersection of open sets, and (since ) is an intersection of closed sets. Moreover, since is unbounded below, .
Attempting to take gives a contradiction, since (because closed and bounded above) we can find with (because open) which contradictions being an upper bound of .
Therefore if we must have . The converse is simple, suppose is open and closed, this happens iff is open and closed, but since we have implying .