## Reading and Notes

- A sequence of real numbers is a function where we notate .
- skipped.
- There are lots of differences between accumulation points of sequences and limit points. First, the concept of an accumulation point can be defined for any subset , not just for sequences of real numbers. Second, a sequence can have multiple accumulation points but if it converges, then it only converges to one limit point. Third, it is possible for a sequence to have a limit point but no accumulation points. For example, the (rather boring) sequence given by converges to the limit point , but this sequence has no accumulation points.
- Yes, it is possible for a sequence to have two distinct accumulation points. Consider (as discussed in class) the sequence — you can think of this sequence as the result of “splicing” the sequences and . This sequence has and as accumulation points.
- A Cauchy sequence is a sequence whose terms get arbitrarily close to one another. More precisely: a sequence $\{a_n\}$ is Cauchy if for every there exists so that whenever it follows that
- This notation is just another way to say “the sequence converges to .”
- The Bolzano-Weierstrass Theorem claims that if is infinite and bounded, then has at least one accumulation point. The proof of this theorem uses the Axiom of Completeness when concluding that the intersection of “the shrinking intervals” contains at least one real number; in particular, a sequence of left-end points for closed intervals is used in the proof and it is noted that this sequence is bounded and therefore has a supremum.
- The statement that is asserted is that this sequence is Cauchy; we have a theorem that states that Every Cauchy Sequence Converges.
- (a) — this actually defines an “open ball.” A “closed ball”is defined by using the inequality. (b) skipped — but the picture should be of the interval . (c ) The picture is the entire real line! (d) skipped. (e) A point is an accumulation point for a subset if for every the ball intersects in infinitely many points.

## Proof Questions

**Problem 1**. (skipped)

**Problem 2. **Claim: The sequence converges to .

Proof. Let be given. Choose Now suppose that . We then have

Because it follows that

and so we have that , as desired.

**Problem 3**. Theorem. If converges to and to , then .

Proof. We will first show that for every , the distance between and satisfies .

To this end, let be given. S

ince, by assumption, converges to , there exists an index so that whenever it follows that . (This follows by applying our definition of convergence with the positive number .)

Similarly, since also converges to , there exists an index so that whenever it follows that .

Choose . Now suppose that so that and . It then follows (by use of the triangle inequality) that

Since for *every* positive number , it follows that . By definition of metric space, this implies

Note: Everywhere in the proof above, we can replace in the case that is a sequence of real numbers and . In the proof above, though, the fact that these quantities are real numbers makes no difference to the proof! In other words, the above argument ** works in any metric space**.

**Problem 4**. The Theorem states the following: If and are sequences of real numbers where converges to , converges to , and

for all , then converges to , too.

The triangle inequality is used three times.

The index is chosen to be the maximum of and so that both the terms and the terms are within of **at the same time**.

**Problem 5**. (sketch) The main observation to make is that the function is bounded above and below by the following quantities:

.

After using the given summation formula, this allows us to construct two new sequences, one that bounds from above, and the other that bounds it from below. In particular, we have that

where

.

Standard arguments show that and , too. Hence, by Problem 4., this sequence converges to .

**Problem 6**. Theorem (1.4): Every Cauchy sequence of real numbers is bounded.

Proof. Suppose is a Cauchy sequence of real numbers. This means that for every there exists an index so that whenever it follows that .

Let us apply this definition to a specific choice of , say when . We then have that there exists an index so that whenever , it follows that .

Since the index is required to be bigger than or equal to , we can go ahead and choose if we like. Applying this choice to the above definition, we have that whenever , all of the remaining terms in our sequence are no more than distance from the fixed term . That is, we have that if , then

.

This implies that all but finitely many terms of the sequence are bounded below by and bounded above by . In particular, we have that the set

is bounded below by and bounded above by . To bound the entire Cauchy sequence, then, we also need to bound the first terms of the sequence; that is, we need to bound the set

This finite list of numbers is bounded below by and bounded above by .

Therefore, the entire sequence is bounded above by

and is bounded below by

completing the proof.

**Problem 7**. There are lots of ways to do this, and probably the best way to indicate an answer is with a picture. Still, for what its worth, here is a set of points (expressed as a union of sequences) whose limit points is the set of naturals:

**Problem 8**. (sketch) Let be a non-empty set that is bounded from above. By the Completeness Axiom, the supremum of exists — let’s call it .

If , then we are done. Therefore suppose that and let be given. By definition of supremum, is not an upper bound for . This means there exists an element so that . In particular, we have that

.

Since and, by assumption, , it follows that . Therefore, we have shown that every -nbhd of contains at least one point where . By the Lemma on page 35, this shows that is an accumulation point of , as desired.