Results 1 to 5 of 5

Math Help - what is the meaning of this definition..

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

    what is the meaning of this definition..

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

    i cant understand what they are saying here?

    i was told to see lim inf as the infimum of all the limits of all the subsequences

    they say something else
    ??
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor Mathstud28's Avatar
    Joined
    Mar 2008
    From
    Pennsylvania
    Posts
    3,641
    Quote Originally Posted by transgalactic View Post
    lim inf (x_n) = inf {x: infinitely many x_n are < x }

    i cant understand what they are saying here?

    i was told to see lim inf as the infimum of all the limits of all the subsequences

    they say something else
    ??
    Yeah I am not quite sure what that means. I have always been taught that if we have a sequence \left\{a_n\right\} and a set S which is the set of all the subsequential limits of \left\{a_n\right\}. Then \liminf a_n=\inf S. This is exactly the same thing you said.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Moo
    Moo is offline
    A Cute Angle Moo's Avatar
    Joined
    Mar 2008
    From
    P(I'm here)=1/3, P(I'm there)=t+1/3
    Posts
    5,618
    Thanks
    6
    Hello,

    You can view this way :

    \liminf A_n=\lim_{n \to \infty} \bigcap_{k>n} A_k=\bigcup_n \bigcap_{k >n} A_k

    x \in \liminf A_n \Leftrightarrow \exists n \in \mathbb{N}, ~ \forall k >n,~ x \in A_k
    This basically means that x belongs to A_n for infinitely many indices, except a finite number of them.

    This is similar to the definition for a valued sequence (x_n)
    \liminf x_n=\lim_{n \to \infty} \uparrow \inf_{k>n} x_k
    This means that \inf_{k>n} x_k<x
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor
    Opalg's Avatar
    Joined
    Aug 2007
    From
    Leeds, UK
    Posts
    4,041
    Thanks
    7
    Quote Originally Posted by transgalactic View Post
    lim inf (x_n) = inf {x: infinitely many x_n are < x }

    i cant understand what they are saying here?

    i was told to see lim inf as the infimum of all the limits of all the subsequences

    they say something else
    ??
    The standard definition of lim inf is L = \liminf\{x_n\} = \sup_n\inf_{k>n}x_k. But the sequence \{\inf_{k>n}x_k\} increases with n, so its sup is equal to its limit: L = \lim_{n\to\infty}\inf_{k>n}x_k. That of course is why it is called lim inf.

    An equivalent definition is \liminf\{x_n\} = \inf \{x: \text{infinitely many }x_n \text{ are }< x \}. To see that this is equivalent to the standard definition, you need to show that if there are only finitely many x_n with x_n<x, then x≤L; and if there are infinitely many x_n<x, then x≥L.

    A third possible definition is that the lim inf is the infimum of all the limits of all the convergent subsequences of the sequence (x_n). This definition is helpful because it is easier to visualise than the standard definition. It is also equivalent to the standard definition. But you have to remember to interpret convergence as including convergence to \pm\infty, because a sequence might not have any subsequences that converge to finite limits.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    MHF Contributor
    Joined
    Nov 2008
    Posts
    1,401
    so when your are saying
    "that we take sum X
    for which there are infinitely many members of Xn sequence which are smaler than X"

    that the definition of an upper bound
    lim inf is a infimum of a group of limits of all sub sequences

    i cant see how both of them are the same thing
    ??

    and why say "infinite number of members of Xn"
    we could say "all the members of Xn"
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. [SOLVED] Meaning of x:x < 9
    Posted in the Algebra Forum
    Replies: 2
    Last Post: September 29th 2011, 12:17 PM
  2. what is the meaning of
    Posted in the Advanced Statistics Forum
    Replies: 7
    Last Post: February 2nd 2010, 04:01 PM
  3. Meaning of x >> y
    Posted in the Calculus Forum
    Replies: 1
    Last Post: November 7th 2009, 12:26 PM
  4. Meaning of B'(t)
    Posted in the Calculus Forum
    Replies: 1
    Last Post: September 15th 2009, 06:18 PM
  5. What's the meaning of int(b) in A?
    Posted in the Discrete Math Forum
    Replies: 0
    Last Post: June 14th 2008, 12:03 PM

Search Tags


/mathhelpforum @mathhelpforum