This is an old revision of the document!
Posting list of questions and practice final solution sketches here. Will add as time goes on.
Problems from https://ywfan-math.github.io/104s21_final_practice.pdf.
We only consider the interval , as is positive on , and everything else is outside the range of . We consider on . is strictly decreasing on this interval, since is always negative. Then, use the IVT to argue that has only one zero.
Sequence is clearly bounded, since is bounded. Then show that from results shown above. Since the sequence is bounded and monotone, it must be convergent.
To show divergence, we show that from result earlier in part (b). Series can only be convergent if , so the series must be divergent.
A step function consists of a finite number of constant pieces, so it must be bounded. So, if we replace with a step function, its absolute value must be less than . This proves the first part of the hint.
The second part of the hint can be shown from definition of Riemann integration. By definition, we know there is some partition such that . We define our step function off of . We note that , since we defined it off the lower bound.
For the final part: Since is positive, and : Take the limit : Using result from first hint: This holds for all , so from this we get our desired result.
Compute the determinant, and then conclude that the resulting function is continuous/differentiable due to multiplication/addition properties associated with continuity/differentiability.
Show that , then use Rolle's Theorem or MVT to show the desired result.
Use and part (b) to get the result.
We show that Cauchy condition on implies that the sequence converges (uniformly) to a function , which can be found through pointwise convergence. We can then use the uniform convergence to show that is bounded (and obviously, defined on every point in ), so it is an element of . So, every Cauchy sequence converges in , so the metric space is complete.
Consider the complement of the set, all discontinuous functions. We focus on one discontinuity, meaning that for some x, there is some such that there is no that satisfies . \We then take an open ball with radius , so for all functions in the open ball, . Combining this with the previous discontinuity in , we can show for , is discontinuous at . So, an open ball around a discontinuous function still is completely contained in the set of discontinuous functions. The set of discontinuous functions is open.
Therefore, the set of continuous functions is closed.
Say we have a Cauchy sequence in the closed subset. Since we are in a a complete metric space, the Cauchy sequence converges to something inside the metric space. Since a closed set contains all its limit points, it converges to something inside the closed set. Therefore, a closed subset of a complete metric space is complete. See https://math.stackexchange.com/questions/244661/showing-that-if-a-subset-of-a-complete-metric-space-is-closed-it-is-also-comple.
Going off of the hint, we can assume our covering is finite since is closed and bounded, therefore compact. We can use the definition of compactness to argue this.
Then, we can take a set of open intervals and reduce it to intervals by taking the union of two intervals, since the union of two open intervals gives us an open interval.
Using an inductive argument, we get 1 open interval that covers the entire space, which gives us a contradiction.
Set . By def. of uniform continuity, we can choose a that satisfies .
Now, consider some , and let . Intuitively, is the minimum number of intervals of length that would cover the interval . Through the above inequality and the triangle inequality, we show that .
Using reverse triangle inequality (https://math.stackexchange.com/questions/214067/triangle-inequality-for-subtraction/214074), .
We can rewrite the above form into , and we can show that there exists some such that for . So, we have , as desired.
Let the term inside the series be . Note that .
For , use the comparison test and sum of geometric series to show that .
For , show that , so the series does not converge, and .
So, .
It does not converge uniformly. Let . To be continued. Intuition is that as x goes to 0, the term inside the sup goes to infinity, so our sequence does not converge uniformly.
Rudin 4.29 Intuition (for a right-handed limit) is that we show that the right-handed limit is $\inf_{x \in (x, x+\delta)} f(x)}$. We build up a sequence of that converges to from the right so that converges to $\inf_{x \in (x, x+\delta)} f(x)}$.
Rudin 4.30 Intuition is that we can sandwich a unique rational number between and for every discontinuity, creating an injection between the discontinuities and rational numbers; therefore, the number of discontinuities is countable.
Easy to show that for a fixed x, for , the function is continuous by division of continuous functions. Then, we just show that for any fixed x, , so our function is continuous. Do this by using L'Hopital's for or evaluating the limit directly.
Take the limit, by fixing .
We can show through an inductive argument that . From this, it is clear that when we take the limit as , .
Say has roots , each with multiplicity . We must have . WLOG, say that is increasing.
We can factor . By product rule, for any with , has the root with multiplicity . So far, we have roots, leaving us with roots left to find.
Now we consider the intervals for . Since , by MVT (after checking conditions), there is at least one point in that satisfies . Since we have such intervals, and we have at most roots left to find, there is a root in each one of these intervals.
We have found all the roots of , and they are all real numbers, so we're done.
We want to show
The conditions for the Alternating Series Test are met, so we can say for all . So, we can rewrite the limit: This is what we wanted, so the series of functions converges uniformly.
We set . By continuity, there is a such that . We set large enough such that , implying that $|f1)g(y) = f(\psi(y))\psi\alpha = x\beta = \psi\int_{A}^{B} g d\psi = \int_{a}^{b} f dx\int_{A}^{B} g(\psi(x)) \psi'(x) dx = \int_{a}^{b} f dx\psi$ is strictly increasing.
34. What is the difference between the Riemann and Darboux integral?
The Darboux integral takes the upper and lower bound for all possible partitions. On the other hand, the Riemann integral considers all possible Riemann sums for a partition with a mesh size lower than . It states that for each , there is a such that all possible Riemann sums for a partition with a mesh size less than differ from the value of the integral by at most . By Theorem 32.9, Darboux integration and Riemann integration are equivalent.
35. What are the conditions necessary for the mean value theorem?
For the mean value theorem to be valid on an interval , the function must be continuous on and differentiable on .
36. What are the conditions necessary to use L'Hopital's rule?
For L'Hopital's rule to be valid, we need that to exist, and for both and to be differentiable at a neighborhood near . We also need the quotient to be of a indeterminate form, or for to go to .
37. Conditions necessary for Taylor's Theorem?
If our remainder term is of degree , we just need that the function be differentiable times on the interval . Note that for degree 1, we just get the Mean Value Theorem.
38. What is the Weierstrass M-Test?
The Weierstrass M-Test states that if we have a convergent series , with , and a sequence of functions such that for all x in a set , then converges uniformly on . We can use this theorem to prove an “annoying” sequence of functions converges uniformly, such as something like .
39. Why does L'Hopital's rule work when goes to , even when we don't have an indeterminate form?
Even though we don't have an indeterminate form, this works out in the proof, shown in Ross 30.2. Note that for something like , the limit doesn't even exist, so we cannot use L'Hopital's rule in the first place.
40. How do we find the radius of convergence?
For a power series , we find the radius of convergence as follows. Let , and the radius of convergence will be given by . For any z satisfying , the power series will converge; note that if , we don't know what will happen and we will have to employ another test, such as the alternating series test. Also note that if . For a proof, we can just use the root test for absolute convergence.
41. Why do we have ?
This is the AM-GM inequality for two terms. Note that we have equality when . We prove this as follows. Trivially, . Expanding this and rearranging terms gives , which is our desired inequality. Putting makes the original inequality , which shows why we have equality.
42. What is an example of a power series where the radius of convergence is 0?
We want to find such that diverges. We can simply do this by choosing , in which case , so . So, one example of this power series is .
43. What is an example of a smooth function whose Taylor series does not converge to that function?
We can consider the smooth function for and elsewhere. We showed in class that this was continuous, and it is also smooth since the derivative to the right side of goes to , as shrinks faster than any polynomial. As such, its Taylor series about is just , which definitely is not for .
44. What does “zero measure” mean when talking about the Lebesgue criterion for Riemann integration?
By definition, a set has zero measure when, for all , can be contained in the union of open balls , such that . Here, is the volume of the open ball . Any countable set has zero measure, so for a function with a finite number of discontinuities, its set of discontinuities has zero measure. See http://math.uchicago.edu/~may/REU2013/MeasureZero.pdf for more info.
45. How can a continuous function map a bounded set to an unbounded set?
We consider the function on the interval , noting that is continuous in this interval. maps the interval to , so this is an example of how it can map a bounded set to an unbounded set. Note that the bounded set must be open; if it was closed, then the set would also be compact, and continuous functions map compact sets to compact sets.
46. Why is the set not compact while is? (MT2, Q1, (4))
is compact since it is closed and bounded. However, is bounded, but not closed. To see why, consider its complement, which includes the irrationals in . If we take any open ball around an irrational, it will contain some rationals by density of the rationals on . Therefore, the complement of is not open, so is not closed. Since is not closed, it cannot be compact.
47. Why is the set compact? (MT2, Q1, (5))
First of all, we can see clearly that it is bounded, so we just need to show closure. We consider its complement. For any point in , we can find an open ball around it that doesn't intersect with . Therefore, the set's complement is open, and the set itself is closed. Since it is closed and bounded on , it is compact. Also note that since this is compact on , it is compact on any set.
48. What are the conditions necessary to use the alternating series test?
We must have a series that obeys the following. is monotone decreasing, with . Then, we will have that converges.
49. When should we use the root or ratio test when determining when a series converges/diverges?
Usually when is in the form of , it is most obvious to use the root test since this exponent of will cancel out most easily. Whenever we have factorials or if the denominator and numerator are not raised to the power of , it is usually a bit simpler to use the ratio test instead. If the results are inconclusive from either of these tests, we should consider the comparison test.
50. How do we know when a function is Riemann integrable with respect to ?
If is continuous, it is automatically integrable. For a continuous , any monotone increasing or decreasing is integrable. Also, for any with a countable number of discontinuities, with continuous where has discontinuities, is integrable. For more info on this last case, see http://www.math.ncku.edu.tw/~rchen/Advanced%20Calculus/Lebesgue%20Criterion%20for%20Riemann%20Integrability.pdf, which shows that a function we encountered in HW is Riemann integrable.
51. What is a step function?
In short, it is a piecewise function that has a finite number of constant pieces. See https://en.wikipedia.org/wiki/Step_function for more info.
52. How do we prove that a metric space is complete?
By the definition, we must consider a Cauchy sequence in that metric space. We then show that the Cauchy sequence converges to some point (not necessarily in the metric space), using a proof similar to the proof that all Cauchy sequences of real numbers are convergent (Ross 10.11). We then show that the convergent result is contained in the metric space.
53. How do we prove a one-sided limit ?
To make things simple, we talk about right-handed limit. From definition, we show that for all , there is some such that .