Homepage › Solution manuals › Stephen Abbott › Understanding Analysis › Exercise 4.4.11
Exercise 4.4.11
[Topological Characterization of Continuity] Let be defined on all of . If is a subset of , define the by
Show that is continuous if and only if is open whenever is an open set.
Answers
A fact we’ll use is that if and only if . Which is true since
Fix , we are given that is open, meaning there exists a neighborhood with implying and thus is continuous.
Now suppose is continuous and let be an open set. If then and (since is open) there exists a neighborhood , now there exists where so we have and are done.