Homepage › Solution manuals › Theodore Gamelin › Introduction to Topology › Exercise 2.4.3 (Continuous functions and bases)
Exercise 2.4.3 (Continuous functions and bases)
Let and be topological spaces and let be a base of open sets for . Show that a function is continuous if and only if is an open subset of for every .
Answers
Proof. If is continuous, then is open in for any open in ; in particular, for any open . Conversely, suppose that is open for any . Let be an open set in . We can write as the union of the base sets, i.e., for some . We then have
which is open as the union of open sets. Since our choice of an open set was arbitrary, must be continuous. □