Homepage › Solution manuals › Stephen Abbott › Understanding Analysis › Exercise 4.4.14
Exercise 4.4.14
Construct an alternate proof of Theorem 4.4.7 (Continuous on implies Uniformly Continuous on ) using the open cover characterization of compactness from the Heine-Borel Theorem (Theorem 3.3.8 (iii)).
Answers
Let be continuous on , and choose . We can create the open cover where is chosen so every has . Now since is compact there exists a finite subcover with .
Let and choose arbitrary . Since is an open cover of , there must be some . Now suppose so that . Then
Also, . Since is continuous at , this implies and , so by the Triangle Inequality .