Why why why (tiny limsup proof)

  • Thread starter Thread starter quasar987
  • Start date Start date
  • Tags Tags
    Proof
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
1 reply · 4K views
Science Advisor
Homework Helper
Gold Member
Messages
4,796
Reaction score
32
There's a "theorem" in my book that says if x is a cluster point of {x_n}, then lim inf(x_n)[itex]\leq[/itex]x[itex]\leq[/itex]lim sup(x_n).

The way the author proves it is a little bit extravagant. Why not just say "Let A be the set of all cluster points. Then, lim inf(x_n)=inf(A)[itex]\leq[/itex]x[itex]\leq[/itex]sup(A)=lim sup(x_n)."

?
 
Physics news on Phys.org
Don't they pretty much say the same thing?