What is the relationship between lim sup and the limit of a subsequence?

  • Thread starter Thread starter filter54321
  • Start date Start date
  • Tags Tags
    Limit Subsequence
Click For Summary
SUMMARY

The discussion clarifies that the limit superior (lim sup) of a bounded sequence is indeed a limit of a subsequence. It establishes that for a bounded sequence Sn, the existence of a lim sup implies that there exists a subsequence Snk that approaches the lim sup within any given epsilon (e). The proof involves demonstrating that for every positive integer m, a subsequential limit can be found within 1/2m of the lim sup, confirming that the subsequence converges to the lim sup.

PREREQUISITES
  • Understanding of bounded sequences in real analysis
  • Familiarity with the concepts of limit superior (lim sup) and subsequences
  • Knowledge of epsilon-delta definitions in calculus
  • Ability to construct formal mathematical proofs
NEXT STEPS
  • Study the properties of limit superior in real analysis
  • Learn about subsequential limits and their convergence behavior
  • Explore epsilon-delta proofs in calculus for deeper understanding
  • Review examples of bounded sequences and their subsequences
USEFUL FOR

Students of real analysis, mathematicians focusing on sequence convergence, and anyone interested in formal proof techniques related to limits and subsequences.

filter54321
Messages
36
Reaction score
0

Homework Statement


Show that the lim sup of a bounded sequence is a limit of a subsequence.


Homework Equations


Sequence: Sn
Subsequence: Snk

The Attempt at a Solution


An existent lim sup means that at a large enough N, the subsequence could hug the bottom of the lim sup to within epsilon (e). I don't know how to formalize this notion.

The last two steps of the proof are likely
-e < Snk - lim sup Sn < e
|Snk - lim sup Sn| < e
 
Physics news on Phys.org
The lim sup is the sup of the set of all subsequential limits. That means that, calling the lim sup a, given any [itex]\epsilon> 0[/itex] there exist a subsequential limit within [itex]\epsilon[/itex] of a (and less than a). In particular, for every positive integer m, there exist a subsequential limit within 1/2m of a. And because that is a limit of a subsequence, there exist a member of that subsequence, call it [itex]a_{m}[/itex], within 1/2m of that subsequential limit. Look at what the subsequence [itex]a_m[/itex] converges to. You are forming a new subsequence by, essentially, taking a member from every subsequence.
 

Similar threads

  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
6
Views
3K