A rational function is a function of the form where and are polynomial functions. The domain of is . Prove every rational function is continuous. Hint: Use Exercise 17.5.
By Exercise 17.5, polynomials are continuous functions on . (This is not hard to prove--you can prove that is continuous for each by induction; then every polynomial is a finite linear combination of these.) Thus, by Theorem 17.4(iii), is continuous at provided , which is exactly the domain of .
Let and suppose there exists a sequence in converging to a number . Show there exists an unbounded continuous function on .
Consider . Since , it follows that for all . In particular, by Theorem 17.4(iii) again, is a continuous function on .
To show that is unbounded, let . Since , there exists such that , so for this , we have
Since was arbitrary, this means is unbounded.
Suppose is continuous on and . Prove there exist such that and . Hint: Consider on .
We follow the hint. Note that is continuous since it is the composition of two continuous functions, so itself is continuous since it is the difference of two continuous functions.
By definition, we have
Thus, lies between (or is one of) and . Thus, by the intermediate value theorem, there exists such that . But this is equivalent to
so we are done by setting .