Homepage › Solution manuals › Theodore Gamelin › Introduction to Topology › Exercise 2.2.4 (Openness in the original and relative topologies)
Exercise 2.2.4 (Openness in the original and relative topologies)
Prove that a set in is open if and only if every relatively open subset of is open in . Is this statement true if "open’" is replaced by "closed"?
Answers
Open version.
Proof. If is open in , then every open subset of will be open in as well since it is an intersection of an open set in with , which is as well open. Conversely, if every relatively open set in is open in , then, in particular, , which is trivially open in , must be open in as well. □
Closed version.
Proof. Suppose that is closed in . Let be an arbitrary relatively closed set in . Since is open in , we can find an open set in such that . We thus obtain
Since and are both open in , must be open as well and thus, must be closed in . Conversely, if every relatively closed set in is also closed in , then, in particular, , which is trivially closed in , must be closed in as well. □