a. Is uniformly continuous on ?
b. Is uniformly continuous on ?
c. Is uniformly continuous on ?
Proof
a. No. Intuitively the slope becomes unbounded near 0. For the proof, consider using the Sequential Criterion for Absence of Uniform Continuity. Choose . Consider the sequences and . We have and . Thus it fails to be uniformly continuous here.
b. The slopes don't get too crazy so we intuitively expect this to be uniformly continuous. To prove it, let . We want to choose some such that any gives:
Thus using here should work.
c. The slopes near again become nearly vertical so we expect this to not be uniformly continuous, especially near 0. However, the value 0 can be added to to consider an extended version of on (in order to use Uniformly Continuous iff Compact and Continuous). Namely, consider the extension of the function , denoted , such that . Thus notice that since is compact and is continuous on that interval (consider all of the subfunctions like that are continuous and make up ), then is uniformly continuous. Thus it shows that since on the interval then itself is uniformly continuous on that interval.
โ
4.4.3
Question
Show that is uniformly continuous on the set but not on the set .
We can show this explicitly too. Let . Then choose . Then for :
Now it is not uniformly continuous over , as this set is definitely not compact (and thus the argument above doesn't work). Since is continuous on the set but not compact, then it cannot be uniformly continuous (use the negative of that statement).
Decide whether each of the following statements is true or false, justifying each conclusion.
a. If is continuous on with for all , then is bounded on (so has bounded range).
b. If is uniformly continuous on a bounded set then is bounded.
c. If is defined on and is compact where is compact, then is continuous on .
Proof
a. True. Since is continuous and is continuous on all values positive (which ) then their composition must be continuous over . Since the Compactness Is Preserved By Continuity, then must also be compact. As a result, then it must be bounded.
b. True. Similar to (a) since is uniformly continuous over then is bounded (given) and closed (thus it's compact), while is continuous. Since the Compactness Is Preserved By Continuity, then must also be compact, and thus bounded.
c. False. Consider (a compact set) and . Clearly is continuous on so then must be compact. However, is certainly not continuous over all of .
โ
4.4.6
Question
Give an example of each of the following, or state that such a request is impossible. For any that are impossible, supply a short explanation for why this is the case.
a. A continuous function and a Cauchy Sequence such that is not Cauchy.
b. A uniformly continuous function and a Cauchy sequence such that is not a Cauchy sequence.
c. A continuous function and a Cauchy sequence such that is not a Cauchy sequence.
a. Possible. Use over is continuous. But the Cauchy sequence has but diverges (and thus isn't Cauchy).
b. Impossible. If is uniformly continuous then if is Cauchy, then by the definition of Convergence of a Sequence then letting gives some where then . Since is uniformly continuous then this implies that as we needed to show that is Cauchy.
c. Impossible. Since is compact then since is continuous over it and Compactness Is Preserved By Continuity then must be compact. Thus if such a is proposed, then is both bounded (by being compact) and convergent (since is convergent then is convergent to by the Characterization of Continuity (3)), thus being Cauchy.
To do the proof more directly, let . We want to produce some where for any :
Where we used the fact that was continuous on the second to last lime. Using the from being continuous should work here. Namely for each we get from being continuous.
โ
4.4.8
Question
Give an example of each of the following, or provide a short argument for why the request is impossible.
a. A continuous function defined on with range .
b. A continuous function defined on with range .
c. A continuous function defined on with range .
Proof
a. Impossible. Since is compact and the function is continuous, then it's range must be continuous via Compactness Is Preserved By Continuity. Since isn't compact then this is impossible.
b. Possible. Use .
c. Possible. A similar function gets us the range we wanted.
โ
4.4.13
Continuous Extension Theorem
a. Show that a uniformly continuous function preserves Cauchy Sequences; that is if is uniformly continuous and is a Cauchy sequence, then show that is a Cauchy sequence.
b. Let be a continuous function on the open interval . Prove that is uniformly continuous on iff it is possible to define values and at the endpoints so that the extended function is continuous on .
(Hint: for (b)'s forward direction, first produce candidates for and then show the extended is continuous).
Proof
a. Let be Cauchy. Then it converges to some point . Further let be uniformly continuous.
To show that is Cauchy it is enough to show it converges. Now because is uniformly continuous then by the Characterization of Continuity then since and converges to then and thus must be Cauchy.
b.
(): Suppose that is uniformly continuous. Choose by constructing . Notice that so then via (a) then converges. Denote the value it converges to as . Similarly construct . Again so then via (a) then converges. Define this convergence point .
Now we will show that this redefinition of is continuous on . Clearly it is continuous on . For the endpoints notice that we've shown that the since now are in our domain, then all we have to show is that any convergent sequence where implies that as we've constructed (the argument for is a near carbon copy).
Let be such a sequence. Notice that for contradiction if then by Existence of Functional Limits then our sequences are enough to show that is not continuous at , which is a contradiction as is supposedly continuous. As such then the only valid value that can converge to is , completing the proof.
(): Since is continuous and is a compact set, then our range must be a compact set . As a result, then because Uniformly Continuous iff Compact and Continuous then must be uniformly continuous.