Solving: Showing Sequence Converges to a Single Point

  • Thread starter Thread starter ak123456
  • Start date Start date
  • Tags Tags
    Sequence
Click For Summary
SUMMARY

The discussion focuses on proving that a sequence of nested intervals Jn = [an, bn] converges to a single point a, given that the difference xn = an - bn converges to 0 as n approaches infinity. Participants establish that the infimum of the upper bounds bn and the supremum of the lower bounds an converge to the same limit c. Consequently, it is concluded that c must lie within every interval [an, bn], confirming the existence of a unique point a that belongs to all intervals Jn.

PREREQUISITES
  • Understanding of sequences and convergence in real analysis
  • Familiarity with the concepts of infimum and supremum
  • Knowledge of nested intervals and their properties
  • Basic proof techniques in mathematical analysis
NEXT STEPS
  • Study the properties of nested intervals in real analysis
  • Learn about the Bolzano-Weierstrass theorem and its implications
  • Explore the concepts of infimum and supremum in detail
  • Practice constructing proofs involving sequences and limits
USEFUL FOR

Students of real analysis, mathematicians focusing on convergence and sequences, and anyone interested in understanding the properties of nested intervals in mathematical proofs.

ak123456
Messages
50
Reaction score
0
1. Homework Statement [/b]
Let Jn : n \inN be a sequence of intervals Jn=\left[an,bn\right] such that J1\supsetJ2\supset...\supsetJn\supsetJn+1\supset...
suppose also that the sequence xn=an-bn converges to 0 as n tends to infinite.Show that there is exactly one point a such that a\inJn for all n \inN


Homework Equations





The Attempt at a Solution


i don't know how to start it , any clue??
 
Physics news on Phys.org
Well, I'm dreadfully awful at sequence questions, so take my feedback with a grain of salt. Since the sequence x_n = b_n - a_n converges to zero for arbitrarily large n, this means that \mathrm{inf}(b_n) = \mathrm{sup}(a_n) = c. Can you prove that this number c must always be an element of [a_n,b_n].
 
jgens said:
Well, I'm dreadfully awful at sequence questions, so take my feedback with a grain of salt. Since the sequence x_n = b_n - a_n converges to zero for arbitrarily large n, this means that \mathrm{inf}(b_n) = \mathrm{sup}(a_n) = c. Can you prove that this number c must always be an element of [a_n,b_n].

still confusing
 
The number c would have the property that a_n \leq c \leq b_n for all natural numbers n. What does this tell you about c and its relationship to the interval [a_n,b_n]?

Again, I'm awful at these types of proofs, so if another member says something otherwise, I would follow their feedback (I'm just trying making sure that you actually have some feedback).
 

Similar threads

  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
4
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
Replies
6
Views
3K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K