Homework 9
If not stated otherwise, we assume that the metric spaces and are quipped with the Euclidean metric .
Exercise: If and is continuous. Show that either for some or there exists such that for all .
Proof. Since is continuos and is compact, is a compact subset of , hence is closed. If , then there exists such that , which gives us that for all .
Exercise: Let be the closed unit interval. Suppose is a continuous mapping from to . Prove that there exists at least one such that . Hint: Consider the function .
Proof. Since and , by the intermediate value theorem, there exists at least one such that , i.e., .
Exercise: Give an example (with proof) of two real-valued functions and which are uniformly continuous, but whose product is not uniformly continuous.
Proof. (An example without proof) Let for all .
Exercise: Let be a uniformly continuous function on the open interval . Show that can be extended to a uniformly continuos function on the closed interval . More precisely, show that there is a uniformly continuous function such that for all . Hint: show first that and exist.
Proof. (Sketch) Following the hint, we first prove that the limits exist.
Claim: For any sequence that converges to , the sequence is actually a Cauchy sequence in , thus converges.
Proof of claim: to show that is a Cauchy sequence, it’s sufficient to show that for every , there is such that if then . Pick your favorite first. As is uniformly continuous, there is such that for any if , . As converges to , there is such that for all , . Thus for any , , whence .
Now, we’ve shown that for every sequence that converges to , the sequence converges. But how do you know for two different sequences and that converge to , and have the same limit?
There is a slick way to resolve this. We can mingle and together. Specifically, consider a new sequence , denoted as . Now converges to , so converges. Meanwhile, we know that and are two subsequences of , so they share the same limit.
Now we can extend to by feeding in the limits at and . Since is a continuous function on a closed interval , its uniformly continuity follows immediately.
Exercise: Let be real numbers. A function is said to be convex if