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!

For any open interval containing limsup s_n, there exists infinitely many s_n .

  1. Aug 12, 2009 #1
    For any open interval containing limsup s_n, there exists infinitely many s_n.....

    Hi all! I'm new to this fantastic forum! Please help me with the following problem! Thanks in advance!

    1. The problem statement, all variables and given/known data
    Suppose that the sequence [tex](s_n)[/tex] is bounded in [tex]\mathbb{R}[/tex]. Prove: Given any open interval containing [tex]\limsup s_n[/tex], there exists infinitely many [tex]n[/tex] with [tex]s_n[/tex] inside that interval.


    2. Relevant equations
    In light of the given statement, what is the issue with "open interval"? That is, does this statement hold (or not hold) if it said "closed interval" instead? And why?
     
  2. jcsd
  3. Aug 12, 2009 #2
    A singleton is a closed interval which is not an infinite set, and thus can't contain an infinite set. Every non-singleton real interval contains an open interval, so the theorem holds for this more convoluted object. It is much easier to say open interval.
     
  4. Aug 12, 2009 #3

    Dick

    User Avatar
    Science Advisor
    Homework Helper

    Call your limsup L. The point to saying the interval is open is that you then can find an epsilon such that (L-epsilon,L+epsilon) is contained in the interval. Suppose that subinterval contains only finitely many sn's. Then can L really be the limsup?
     
  5. Aug 12, 2009 #4
    @Dick
    I understand perfectly the [tex](L - \varepsilon, L + \varepsilon)[/tex] argument --- in fact, that was how I proved the original (unmodified) statement. But thanks for the input :)

    @slider142
    Ahh... I see, so the only reason of using the phrase "open interval" is to avoid trivial cases where a closed interval is a singleton / contains only one point. Great! Thanks :)
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: For any open interval containing limsup s_n, there exists infinitely many s_n .
Loading...