Analysis I: Lecture 2

In which we think about sequences even when they don’t converge.

  • We proved Lemma 2.
  • Theorem 3 (BolzanoWeierstrass theorem): Let (x_n)_{n=1}^{\infty} be a bounded sequence of real numbers, say |x_n| \leq K for all n.  Then there is a convergent subsequence: that is, there are n_1 < n_2 < n_3 < \dotsb and a real number x such that x_{n_j} \to x as j \to \infty.  We saw one proof, using ‘zooming in’ (also known as ‘interval bisection’ and ‘lion hunting’).  There was a small typo very near the end: the notes should say “x_{n_j} \to a as j \to \infty” rather than as n \to \infty.

Understanding today’s lecture

Here are some exercises to get you thinking about what we discussed today.

  • Show that every bounded real sequence has a monotone subsequence.  Deduce another proof of the Bolzano-Weierstrass theorem.
  • When you’ve tried the above exercise, you could try this ‘proofsorter’ activity to consolidate your understanding of the two proofs you’ve seen.
  • You could try running each of the two proofs on some examples of sequences, to get a feel for what they tell us.  Do they give us a way to find a convergent subsequence, or just tell us that there must be one?  If they find convergent subsequences, do they find the same ones?
  • Is there an analogue of the Bolzano-Weierstrass theorem for sequences of complex numbers?

Further reading

I said in lectures that the Bolzano-Weierstrass theorem is extremely useful, but you might be wondering what it’s useful for.  We’ll see some applications in lectures later in the course, but in the meantime you might find this article on the Tricki interesting.  There are also several links in the summary of the lecture above that you could read.

Preparation for Lecture 3

If a sequence converges, then eventually all the terms get really close to the limit, so they’re eventually all really close together.  How could we express that idea more formally?  And is the converse true?  That is, if eventually all the terms get really close together, does that mean that the sequence must converge?

Advertisements

7 Responses to “Analysis I: Lecture 2”

  1. apgoucher Says:

    Exciting stuff. Yes, Bolzano-Weierstrass clearly generalises to R^n equipped with the Euclidean norm (and therefore in the complex numbers). We can apply Bolzano-Weierstrass to find a sequence in which the first coordinate converges and proceed inductively.

    A month and a half ago (sesquimonth?), I wrote about how B-W can be used to prove König’s tree lemma and other proofs requiring compactness:

    http://cp4space.wordpress.com/2012/12/05/bolzano-weierstrass/

  2. Analysis I: Lecture 3 « Theorem of the week Says:

    […] Expositions of interesting mathematical results « Analysis I: Lecture 2 […]

  3. KMacfarlane Says:

    Hi, I have a question about our proof of lemma 2 (v).

    We said that epsilon was small so we could assume epsilon = 1 we can find an N with |a_n b_n – ab| < epsilon?
    Can we not just say something like:
    |a_n| <= |a_n-a| + |a| < |a| + epsilon
    and then write
    |a_n b_n – ab| < |a| epsilon + epsilon^2 + |b| epsilon
    = epsilon (|a| + |b| + epsilon), which is a quantity we can make arbitrarily small?

    Thanks very much for reading

  4. theoremoftheweek Says:

    Good question!

    We assumed that \epsilon < 1 (inequality rather than equality), but that might have been a typo in your comment.

    This boils down to much the same thing. How do we know that we can make \epsilon (|a| + |b| + \epsilon) arbitrarily small? Well, the thing in brackets is bounded (e.g. by |a| + |b| + 1) — and we're pretty much back to the proof in lectures.

    Assuming that \epsilon < 1 doesn't cause us any difficulties. If we can show that eventually something is less than this \epsilon then it'll certainly also be less than anything bigger than 1, right?

    Hope that helps; post back if you have further questions.

  5. KMacfarlane Says:

    Thank you, this is much clearer now!
    I did have another question about part (vi) of the same lemma, but I think I answered it myself while typing it out.
    I’ll write it here in case anyone else was confused:

    I wasn’t sure why
    |a_n – a| |a_n| >= |a|/2,
    where a_n and a are complex.

    But the statement |a_n – a| < |a|/2 means that a_n lies within a circle with centre a and radius |a|/2 in the complex plane, so drawing a line from the origin to the point representing a shows that the distance from the origin to a_n must be at least the distance from the origin to the circle, which is |a|/2.
    (In fact, we have a strict inequality – but the weak inequality is sufficient for what we want to prove).

    I think this is what you were getting at in the lecture when you drew a picture, but I didn't see it at the time.

  6. theoremoftheweek Says:

    Thanks, it’s always good to have other people’s descriptions of how they have made sense of something.

    I’m glad that typing out the question helped you to resolve it — explaining the problem to someone else is often a good strategy!

  7. Analysis I: Lecture 8 « Theorem of the week Says:

    […] Theorem 18: (Intermediate value theorem)  Let be a function that is continuous on with .  Then there is some in such that .  We proved this using ‘zooming in’ or ‘interval bisection’ or ‘lion hunting’ — this was the strategy that we used in lectures to prove the Bolzano-Weierstrass theorem. […]

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s


%d bloggers like this: