Bounded non-decreasing sequence is convergent

Click For Summary
SUMMARY

The discussion centers on the proof that a bounded non-decreasing sequence converges. The user outlines a proof involving a sequence p1, p2, p3 that converges to a limit x, demonstrating that for any open interval S containing x, there exists a positive integer N such that for all n ≥ N, pn is contained in S. The user identifies a potential error in the problem statement regarding the limit x and clarifies that the goal is to show convergence rather than convergence to a specific x. The completeness axiom is referenced to support the argument that every bounded above set has a supremum.

PREREQUISITES
  • Understanding of bounded sequences and convergence in real analysis
  • Familiarity with the completeness axiom of real numbers
  • Knowledge of non-decreasing sequences and their properties
  • Experience with open intervals and their implications in limits
NEXT STEPS
  • Study the properties of bounded sequences in real analysis
  • Learn about the completeness axiom and its applications in proofs
  • Explore the concept of supremum and infimum in ordered sets
  • Review examples of convergent sequences and their limits
USEFUL FOR

Mathematics students, particularly those studying real analysis, educators teaching convergence concepts, and anyone interested in the properties of sequences and limits.

Jaquis2345
Messages
6
Reaction score
1
Homework Statement
Prove that if p1,p2,p3,... is a non-decreasing sequence and there is a point x right of every point of the sequence, then the sequence converges to x.
Relevant Equations
Def: The sequence p1, p2, p3, ... is non-decreasing if for each
positive integer n, pn<=pn+1:

Def: If M is a set and there is a point to
the right of every point of M, then there is either a rightmost point of M or
a first point to the right of M.
So far this is what I have.
Proof:
Let p1, p2, p3 be a non-decreasing sequence. Assume that not all points of the sequence p1,p2,p3,... are equal.
If the sequence p1,p2,p3,... converges to x then for every open interval S containing x there is a positive integer N s.t. if n is a positive integer and n>=N, then pn is contained by S (definition we use in class).
Let S = (a,b) be an open interval containing x.
Let N be a positive integer and let n be a positive integer s.t. n>=N.
Let M be a set s.t. M contains all points of the sequence pn.
Since M is a set there exists either a rightmost point of M or a first-point to the right of M.
Since pn is a non-decreasing sequence s.t. not all points of pn are equal, there exists pn+1 points in the set M. Thus, the set is infinite and has no rightmost point. So, M has a 1st point to the right.
Since x is to the right of every point in M, x is the first point to the right of M.
Thus, there exists no point q s.t. pn<q<x.
Since pn<x, pn<b.
Since a<x and x is the first-point to the right of M, a cannot exist between pn and x. So, a<x and pn is an element of S.
Since pn is an element of S, the sequence p1,p2,p3,... converges to x.

I think I have the right idea but I am unsure of my logic when it comes to the rightmost point of M and x being the first point to the right of M.
 
Physics news on Phys.org
This seems wrong. The problem statement needs to say more about x. Consider the sequence 0.9, 0.99, 0.999, 0.9999, ..., which obviously converges to 1, and the point x=2.
 
FactChecker said:
This seems wrong. The problem statement needs to say more about x. Consider the sequence 0.9, 0.99, 0.999, 0.9999, ..., which obviously converges to 1, and the point x=2.
After emailing my professor it seems there was a typo in the problem we were given. I just need to show that the sequence converges not that it converges to x.
 
  • Like
Likes FactChecker
Jaquis2345 said:
After emailing my professor it seems there was a typo in the problem we were given. I just need to show that the sequence converges not that it converges to x.
Why do you think this statement is true?
 
PeroK said:
Why do you think this statement is true?
After working on the problem for a while this is what I got (roughly). Since the point x is to the right of every point in the sequence, then from the completeness axiom there is either a rightmost point of the set contains all points of the sequence or a first point to the right of that set. I then went by cases. The first case I assumed that some arbitrary point s was contained by an open interval (a,b). And s was the right most point of the set containing all points of the sequence. Since it was the rightmost point it was obviously contained in the set. And since it was non-decreasing some point in that set had to equal s. Therefore my sequence was contained by (a,b). My second case dealt with the first point to the right but I think I got it.
 
From the Completeness axiom, every set bounded above has a supremum is what you are trying to say?
 

Similar threads

  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 34 ·
2
Replies
34
Views
3K
  • · Replies 3 ·
Replies
3
Views
970
Replies
2
Views
1K
Replies
6
Views
3K
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 13 ·
Replies
13
Views
2K