Homepage › Solution manuals › James Munkres › Topology › Exercise 22.5
Exercise 22.5
Let be an open map. Show that if is open in , then the map obtained by restricting is an open map.
Answers
Consider any open set in the subspace so that for some open set in by the definition of a subspace. Since is also open in we have that is also open in by the definition of a topology. Then is open in since is an open map. Since , it follows that by Exercise 2.2 part (e) so that . This shows that is open in the subspace since we have shown that is open in . Therefore is an open map since was an arbitrary open set of .