Assignment 9
Exercise 1 Prove, directly from the definition that the function is continuous at .
Solution. Scratch Work
Let be given. We want to find such that whenever , it follows that
To simplify this expression, observe:
We want to make this less than , which happens by makin the numerator small, while making sure to not make the denominator too small.
To keep ourselves from having to worry about a zero in the denominator, lets look for a which is less than , so that can only stray that far from 2. That is, if , we have , so and . Therefore,
To ensure this is less than , it suffices to require
So letting would do it, but remembering we earlier restricted we should really take .
Rigorous Proof
Fix an , and set . Then for any with , we have
Therefore, by the – definition, is continuous at .
Exercise 2 Show that the following function is continuous at and discontinuous everywhere else:
Solution. First, we prove that is continuous at . Choose and set . Then if (so ) we must show that (which, as means we must show that ).
There are two cases: either is rational or is irrational. If is irrational, then so , which is certainly less than . If is rational, then , and we already know , so . Thus is continuous at .
Now we show is discontinuous elsewhere, by showing its discontinuous at for arbitrary .
This means for some specific epsilon we must show that no delta works (if we go with the approach) or we have to show there exists a sequence where (if we take the sequences approach). We did for part I, so for the sake of practicing multiple techniques I’ll use sequences here.
We break into two cases, if is rational or irrational. First, if is rational, then . Because the irrationals are dense, we can construct a sequence of irrational numbers (if we forgot how to do this, use density to get an irrational and then use the squeeze theorem to confirm ). Now for all as is irrational, so as the limit of a constant sequence. But so does not converge to .
Similarly, if is irrational, now but we can use the density of the rationals to produce a sequence of rational numbers. Here , and so . Since we see does not converge to , so again is not continuous at .
Exercise 3 Prove the remaining “continuity theorems”: if are continuous at a point , then so is , and if then so is .
Solution. These follow immediately from the corresponding limit laws, and the ability to use sequences to detect continuity. Choose an arbitrary sequence . Then as is continuous at , and as is continuous at . By the limit law for convergent sequences, is convergent, wtih limit . Thus, for an arbitrary we see so the function is continuous at .
If furthermore we assume that , we can attempt the same idea, computing the limit of with the limit laws. But there’s a slight hold - up. The limit law for quotients says that we need (which we have assumed) and also for all (or at least after some finite point we can truncate: otherwise the sequence of quotients wouldn’t even be defined!) This we don’t know yet, so we have to do a little work.
Since is continuous at , for any theres a where implies . Taking , we get a where for , is also nonzero (its at most half as close to zero as was). Now our sequence is convergent, so for this we can find an for which implies . That is, past this , we see so we can truncate the first terms of our sequence: this doesn’t change the limit, but now we have a sequence of nonzero terms converging to a nonzero limit, and can apply the limit theorem for quotients:
Since our sequence was arbitrary this holds for all such sequences, so is continuous at .
Exercise 4 (Continuity of Polynomials) Prove that every polynomial is a continuous function on the entire real line. Hint: prove is continuous for each by induction. Then prove the result for polynomials by induction on their degree!
Solution. We know that is continuous from class (or we can rapidly prove this by setting in the definition). So, for induction assume is continuous for some and we seek to prove is continuous. Noting that , we use the previous problem for products of continuous functions: if is arbitrary both and are continuous at , so is as well. Since was arbitrary, this is continuous on the entire real line.
For polynomials we proceed by a similar induction. In class we proved that constant functions are continuous, so again using the previous homework problem we see is continuous, and then using continuity of sums is continuous for all . Thus all linear polynomials are continuous. We proceed by induction on degree. Assume all polynomials of degree or less are continuous, and let be a polynomial of degree . This means contains a term of degree , plus lower order terms, and so we can write
Since is constant, we apply the product theorem to see is continuous, and noting is continuous by our induction hypothesis, the sum theorem to see is continuous, at each . We’ve completed the induction, so this holds for all polynomials.
Exercise 5 (The Pasting Lemma) Let be two continuous functions and is a point such that . Prove that the piecewise function below is continuous at .
Solution. We will prove that is continuous at using the – definition of continuity.
Let be given.
Since is continuous at , there exists such that for all with , we have
Since is also continuous at , there exists such that for all with , we have
Let . Now suppose .
We consider two cases:
If , then and . Since , we have
If , then and . Since , we have
In both cases, whenever . Thus is continuous at as required.
We can also do this with the sequence condition, so give a second proof, for practice
:::{.solution} We will prove that is continuous at using the sequential criterion for continuity. Let be any sequence such that . We want to show that .
We divide our sequence into two pieces: those that are greater than and those that are less than or equal to . We argue in two cases:
Case 1: One of these two sets is finite. Then the sequence lies entirely on one side of after some point. That is, either for all sufficiently large , or for all sufficiently large .
- If eventually, then for large , , and since is continuous, .
- If eventually, then for large , , and since is continuous, .
Since , both of these cases end with tending to .
Case 2: The sequence has infinitely many terms both less than or equal to , and greater than .
Define two subsequences: - Let be the subsequence of with . - Let be the subsequence of with .
Since , both subsequences also converge to . Now: - by continuity of . - by continuity of .
By assumption, , so both subsequences converge to the same value. Now we use a previous result, that if a sequence decomposes as the union of two subsequences converging to the same limit, the overall sequence converges. Thus, our sequence converges, to the limit .
In every case, when we see , so is continuous at . :::
Exercise 6 Using the ‘Continuity Laws’ on sums, products, quotients, inverses, together with the continuity of the two “basic functions” and , prove the following function is continuous on the entire real line
Solution. We work ‘from the inside out’. This means we will first prove the numerator and denominator are continuous by building up from basic pieces, and use their continuity to justify the continuity of the quotient.
The Numerator To prove the continuity of we proceed step by step:
- and are continuous, as proven in class
- is continuous as the difference of continuous functions
- So is continuous, as the composition with the (continuous) absolute value.
- is continuous as a composition of this with .
- is continuous as a sum of continuous functions.
- Since , and , their sum is also positive, so the square root exists. Since is continuous on its domain, is continuous as a composition.
- Therefore, is continuous.
The Denominator The denominator is Each piece is continuous:
- 1 is continuous.
- is continuous.
- is continuous.
- The sum is continuous.
- Moreover, for all (as its greater than 1), so the denominator never vanishes.
The Quotient Finally, by the quotient theorem for continuity, since the numerator and denominator are continuous for all and the denominator is nonzero, their quotient is defined and continuous for all .
Exercise 7 (Continuity of Contraction Maps) Recall that a function is a contraction map if there exists a with for all . Prove that contraction maps are continuous.
Solution. Assume is a contraction map with constant . Let be an arbitrary point in the domain of ; we will show is continuous at .
Choose an arbitrary , and set . Then for any with , we know that
But this is precisely the definition of being continuous at . Since was arbitrary, is continuous at each point of its domain.
Exercise 8 Let be a power series with radius of convergence , and assume that the ratio test works for computing this.
Use the Ratio Test to prove that integrating term-by-term gives a power series with the same radius of converenge:
While the radius of convergence is the same for both series, show the behavior at the endpoints need not be, by studying the example .
Solution. Let be a power series with radius of convergence , and suppose the ratio test applies to compute this radius. That is, assume so that the radius of convergence is (with the usual conventions if or ). We consider the power series obtained by integrating term by term:
Let us apply the ratio test to this new series, whose coefficients are $ b_n = .$ Then the ratio of successive terms is:
Since as , we have:
Therefore, by the ratio test, the radius of convergence of the integrated series is also .
At the Boundary: While the radius of convergence is the same for both the original and the integrated series, the behavior at the endpoints of the interval may differ. The geometric series is already an example: converges at the points and diverges everywhere else.
Now consider the term-by-term integral:
This series still has radius of convergence , but now also converges at , where it is the alternating harmonic series.