Lim sup, lim inf definition/convention

  • Thread starter Thread starter quasar987
  • Start date Start date
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
6 replies · 8K views
Messages
4,796
Reaction score
32
My book says that if the set of all cluster points is empty, then we write lim sup = [itex]-\infty[/itex] and if the sequence is not bounded above, we write limsup = [itex]+\infty[/itex].


But what if both happen at the same time? for instance consider x_n=1/n. There are no accumulation points and it is unbounded above.
 
Physics news on Phys.org
quasar987 said:
But what if both happen at the same time? for instance consider x_n=1/n. There are no accumulation points and it is unbounded above.

Maybe I'm getting too tired, but
[tex]1>\frac{1}{n}[/tex]
is an upper bound, and
[tex]0[/tex]
is an accumulation point.

You might consider [itex]x_n=n(-1)^n[/itex] which is unbounded in the reals, and doesn't have any real accumulation points. However, in the extedended reals, [itex]\pm \infty[/itex] are cluster points of that sequence, and [itex]+ \infty[/itex] is an upper bound for all sequences.
 
quasar987 said:
My book says that if the set of all cluster points is empty, then we write lim sup = [itex]-\infty[/itex] and if the sequence is not bounded above, we write limsup = [itex]+\infty[/itex].


But what if both happen at the same time? for instance consider x_n= n. There are no accumulation points and it is unbounded above.
I don't see a problem. Since the set of all cluster points is empty, lim sup= [itex]-\infty[/itex] and since the sequence is not bounded above, limsup= [itex]\infty[/itex].
 
Well, actually, the author give the same x_n=n as an example and he write lim sup=+[itex]\infty[/itex].

As if the fact that it is not bounded above takes priority over the fact that the set of all cluster points is empty.