Homepage › Solution manuals › Stephen Abbott › Understanding Analysis › Exercise 4.3.12
Exercise 4.3.12
Let be a nonempty closed set and define . Show that is continuous on all of and for all .
Answers
Let and let be the element of closest to (must exist since is closed), we have and . Similarly, let be the element of closest to . For the rest of the argument to make sense, we need to pick as our comparison point if or otherwise. Suppose, without loss of generality, that we pick . Thus, not only but also . This allows us to write
Applying the bound from Exercise 1.2.6 (d) we get
Setting gives as desired. If we had to pick , the argument is the same just replacing with and vice-versa.
To see for notice that is open so there exists an so that meaning and so .