Section 22*: 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 open map. Show that if
is open in
, then the map
obtained by restricting
is an open map.
If
is open in
, then, since
is open in
,
is open in
, hence,
is open in
, and in
.
This exercise, I believe, shows, in particular, that, in Theorem 22.1, if
is an open quotient map, and
is open, then even if
is not saturated, the restriction
is an open quotient map. In other words, in Theorem 22.1, instead of assuming that
is saturated, we can assume that both (1)
is open and (2)
is open.