Question 1. The Axiom of Completeness states that if is a non-empty subset of real numbers that is bounded above, then the supremum of exists.
The Nested Interval Property states that if is a collection of nested, closed, non-empty intervals of real numbers, then the intersection
The Bolzano-Weierstrass Theorem states that if is a bounded, infinite subset of real numbers, then has at least one accumulation point.
Question 2. Without these conditions, one could not even write down the expression or the expressions . Note: one can actually weaken the hypotheses of this theorem without altering the conclusion by requiring for all but finitely many terms in .
Question 3. As discussed in class, this sequence can be thought of the product of two sequences, one of which we have proved converges to zero the other being bounded. Hence, Theorem 1.13 applies and .
Question 4. Here is an example of a subsequence. If then we can use as a subsequence. Using sub-indices, this subsequence could be notated by setting
for all .
Question 5. A sequence of real numbers is an increasing sequence if for every it follows that . Here are two examples of increasing sequences:
(a rather boring but technically sound one)
Question 6. A sequence of real numbers is a decreasing sequence if for every , it follows that . Here are threeexamples of decreasing sequences:
(a rather boring but technically sound one)
(this one diverges)
(this one converges)
Question 7. A sequence of real numbers is monotone if it is either increasing or decreasing.
Question 8. Personally, I think knowing that the supremum of the sequence exists is the most important part of the proof of MCT (in the case where the sequence is increasing). Without this step, we would not know what proposed real number to use in checking that our bounded, monotone sequence converges.
Question 9. (skipped)
Problem 1. Let and let . Neither sequence converges (this can be proved by using results from section 1.4, for instance; noting that each sequence contains subsequences that converge to different numbers), but the sum of these sequences is given by
Since is constant, this sequence clearly converges to .
Problem 2. Suppose is a sequence of real numbers that converges to . We want to prove that the sequence of averages, , converges to , too. Here we have that each is given by
(Proof Idea). Before sharing a proof, let’s first discuss an idea for the proof. That is, let’s take some time to think about this problem in more intuitive terms rather than by using technical definitions.
We want to show that if we choose very large, then we can make very small. If is very large, though, then the final terms in the numerator
all start to look very much like the number (since, after all, we’re assuming ). This means that, for very large values of ,
I used a “?” symbol above because I don’t yet know how how many of the numerator terms “look like A” — I just know or sense that the “final ones” do. In a formal proof, we can give an actual name to this index — we’ll call it or or something like that.
In any event, if is very large, then the first fraction must be very small. After all, the numerator terms are fixed and so their sum is some fixed constant. Hence, this number will be effectively zero. In addition, the second term has terms on top and so can be expressed as
Again, because is very large and and the un-named index are fixed numbers, the last term above can be made arbitrarily small, and so is effectively zero.
All together, these ideas suggest that as becomes very large, the numbers start to look very much like .
(Rigorous Proof). (coming soon!)
Problem 3. The first sequence can be handled by an application of Theorem 1.13, and so converges to zero. The second sequence can be handled by rewriting it as
and then appealing to our theorems governing the arithmetic of sequences of real numbers
Problem 4. Here is a sketch of the proof.
Suppose is a bounded sequence of real numbers. If this sequence has finite range, then we may build a constant (and hence convergent) subsequence. In particular, if the real number appears in the original sequence infinitely often, we may set
Suppose, then, that has infinite range. This sequence is then infinite and bounded, and so by the Bolzano-Weierstrass Theorem it contains at least one accumulation point, . We can now construct a subsequence that converges to .
By definition of accumulation point, there exists an element of the sequence that lies in the interval . Call this point .
By definition of accumulation point, there also exists an element of the “remaining sequence” that lies in the interval . Call this point .
In general, there exists an element of the “remaining sequence” that lies in the interal , and we can call this point .
By construction, for all . Hence, given any we can choose to find that .
Note: we need to say something about “remaining sequences” (or something similar) to ensure that sequence we are constructing is, in fact, a subsequence. In particular, our construction above forces since each successive term selected for our subsequence was chosen from a smaller or “remaining sequence.” For example, would be chosen from the sequence
Problem 5. Suppose and are two convergent sequences of real numbers that both converge to . We claim that the sequence defined by
also converges to .
Proof. Let us denote the indices of our “spliced sequence” using the variable . We then have that
Let be given. Choose where are indices for the sequences and , respectively. These indices are chosen so that
Suppose . If is even, then it follows that and so the first inequality above holds. In particular, this means that
Similarly, if is odd, then it follows that and so the second inequality above holds. In particular, this means that
Problem 6. There was a typo on this question. As most of you surmised, the first term should have been
With this change, one can prove by induction that the sequence is bounded, and one can also prove by induction that it is increasing. The Monotone Convergence Theorem then applies and lets us calculate the limit of the sequence as done in the rest of the problem.