Section 16: Problem 4 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
A map
is said to be an open map if for every open set
of
, the set
is open in
. Show that
and
are open maps.
Let
be an open set, and
. Then there exists
such that
. Since
is open, there is a basis set
in
that contains
. Since it is a basis set,
is open in
. Moreover,
. Therefore,
is open. Similarly for
.