Results 1 to 2 of 2

Math Help - i cant visualize/understand this convergence proof

  1. #1
    MHF Contributor
    Joined
    Nov 2008
    Posts
    1,401

    i cant visualize/understand this convergence proof

    =================================================
    lim inf (x_n) = inf {x: infinitely many x_n are < x }

    lim sup (x_n) = sup {x: infinitely many x_n are > x }.

    Now if both are equal to p, then consider a neighbourhood (p-e, p+e) of p (for some e>0).
    As y:= p+ e/2 > p we cannot have that infinitely many x_n are > y (otherwise lim sup (x_n) >= y > p)
    So at most finitely many x_n are > y, and almost all x_n are <= y < p+e.
    Similarly with y' = y - e/2 and liminf: almost all x_n are >= y' > p-e.
    So there is some N such that n >= N implies that x_n is in (p-e, p+e).

    As e>0 was arbitrary x_n -- > x.

    The reverse is similar, suppose x_n --> x.
    If p > x, then there is some n such that x_n < p for all n >= N.
    So p is NOT in the set B := {x: infinitely many x_n > x } so
    B subset {t: t <= x} and so lim sup x_n = sup B <= x.
    If p < x, then for all but finitely x_n, x_n >= p.
    So p is not in A:= {t: infinitely many x_n < t} and so
    A subset {t: t >= x } and so lim inf x_n = inf A >= x.
    x <= liminf x_n <= limsup x_n <= x implies equality.

    ================================================== ===

    this is how i see it:
    lim inf Xn=p
    lim Sup Xn=p
    if we look at the neighborhood of (p-e, p+e) of p (for some e>0)

    i cant understand this line
    "As y:= p+ e/2 > p we cannot have that infinitely many x_n are > y (otherwise lim sup (x_n) >= y > p)"

    whats y?
    why are they doing p+ e/2 > p

    "we cannot have that infinitely many x_n are > y"

    whats y?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Opalg's Avatar
    Joined
    Aug 2007
    From
    Leeds, UK
    Posts
    4,041
    Thanks
    7
    Quote Originally Posted by transgalactic View Post
    i cant understand this line
    "As y:= p+ e/2 > p we cannot have that infinitely many x_n are > y (otherwise lim sup (x_n) >= y > p)"

    whats y? The ":=" means that y is being defined to be p+ e/2.
    why are they doing p+ e/2 > p

    "we cannot have that infinitely many x_n are > y"
    What this part of the proof is saying is that y has been defined to be p+ e/2, and since this is greater than p, it follows that there cannot be infinitely many x_n greater than y.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. How to visualize a GMM of more-than-3-dimensional data?
    Posted in the Advanced Statistics Forum
    Replies: 1
    Last Post: January 8th 2012, 11:25 AM
  2. Replies: 3
    Last Post: November 15th 2011, 09:49 AM
  3. Visualize This...
    Posted in the Calculus Forum
    Replies: 5
    Last Post: September 16th 2011, 07:20 AM
  4. Using imagesc to visualize arrays in Octave
    Posted in the Math Software Forum
    Replies: 0
    Last Post: September 13th 2011, 09:54 PM
  5. Replies: 3
    Last Post: November 19th 2010, 03:08 AM

Search Tags


/mathhelpforum @mathhelpforum