1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Explanation of the Bolzano-Weierstrass theorem proof

  1. Oct 7, 2012 #1
    1. The problem statement, all variables and given/known data

    Every bounded sequence has a convergent subsequence.

    2. Relevant equations

    Suppose that closed intervals I_0 [itex]\supset[/itex] I_1[itex]\supset[/itex] ... [itex]\supset[/itex] I_m and natural numbers n[itex]_{1}[/itex] < n[itex]_{2}[/itex] <
    ... < n[itex]_{m}[/itex] have been chosen such that for each 0 [itex]\leq[/itex] k [itex]\leq[/itex] m,
    (2)
    |I[itex]_{k}[/itex]| = [itex]b-a/2^{k}[/itex], x[itex]_{n}_{k}[/itex][itex]\in[/itex]I[itex]_{k}[/itex]n and x[itex]_{n}[/itex] [itex]\in[/itex] I[itex]_{k}[/itex] for infinitely many n.

    3. The attempt at a solution
    My question is what is the guarantee that x_n will be in I_k?
     
  2. jcsd
  3. Oct 8, 2012 #2
    Each subsequent interval I is chosen so that it contains infinitely many members of the sequence. This is always possible because the main sequence contains infinitely many elements.
     
  4. Oct 8, 2012 #3
    It seems that I do not understand the notation for

    the statement:

    x[itex]_{n}[/itex] [itex]\in[/itex] I[itex]_{k}[/itex] for inifinitely many n.


    Does it mean x[itex]_{1}[/itex], x[itex]_{2}[/itex], x[itex]_{3}[/itex], x[itex]_{4}[/itex] have to all be in the chosen interval?
     
  5. Oct 8, 2012 #4
    How does this theorem apply to the sequence:

    [itex]x[/itex][itex]_{n}[/itex] = ([itex]-[/itex][itex]1[/itex])[itex]^{n}[/itex] * [itex]1[/itex]-[itex]1/n[/itex]?
     
  6. Oct 8, 2012 #5
    This is some non-standard notation (or perhaps you misrepresented it). What is meant is that every time the interval is divided into two subintervals, at least one of them must contain an infinite number of the sequence's members. Non necessarily all members, of course.
     
  7. Oct 8, 2012 #6
    The theorem applies to this sequence just fine. It contains, for example, this converging sequence: ## 1 - 1/(2n)##.
     
  8. Oct 9, 2012 #7
    Suppose that closed intervals I_0 ⊃ I_1⊃ ... ⊃ I_m and natural numbers n1 < n2 <
    ... < nm have been chosen such that for each 0 ≤ k ≤ m,
    (2)
    |Ik| = b−a/2k, x_{n}_{k}∈Ikn and xn ∈ Ik for infinitely many n.

    So, in trying to apply the above proof to this particular sequence, when we choose the subintervals of the interval [-1,1], they would have to be the ones that contain infinitely many x_n's, right? For instance, I couldn't "choose" the subinterval [0,1/2] because that contains only finitely many x_n's, but if I choose the subinterval [1/2,1], that contains infinitely many x_n's? I just want to clarify that this is what they mean.
     
  9. Oct 9, 2012 #8
    x_n = [(−1)^n] * [1-{1/n}]

    Each side of 0 is going to contain x_n for infinitely many x_n's, supposedly. But does it really, because I thought infinitely many x_n's meant for all x_n's?
     
  10. Oct 9, 2012 #9
    The sequence is contained in [-2, 1]. Now consider [-2, -0.5) and [-0.5, 1]. Both intervals contain infinitely many elements of the sequence, but you have to choose one. Let's choose [-0.5, 1] and split it again: [-0.5, 0.25) and [0.25, 1]. The first one contains no elements, the second contains infinitely many of them, so choose it and split it again into [0.25, 0.625) and [0.625, 1]. The first one contains only one element, the second contains infinitely many, choose it and split: [0.625, 0.8125) and [0.8125, 1]. Again the second one contains infinitely many members. This pattern continues infinitely.
     
  11. Oct 9, 2012 #10

    HallsofIvy

    User Avatar
    Staff Emeritus
    Science Advisor

    No, it means, as it says, that "infinitely many" of the numbers are in the interval. That might be "all except the first four terms" or "all except the first 10 billion terms" or "all even terms with even indices", etc.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Explanation of the Bolzano-Weierstrass theorem proof
Loading...