New Reply

Show seq. [itex] x_n [/itex] with [itex] |x_{n+1} - x_n| < \epsilon [/itex] is Cauchy

 
Share Thread Thread Tools
Dec5-11, 10:47 AM   #1
 

Show seq. [itex] x_n [/itex] with [itex] |x_{n+1} - x_n| < \epsilon [/itex] is Cauchy


1. The problem statement, all variables and given/known data

The problem is longer but the part I'm stuck is to show that [itex] \{x_n\} [/itex] is convergent (I thought showing it is Cauchy) if I know that for all [itex] \epsilon > 0 [/itex] exists [itex] n_0 [/itex] such that for all [itex] n \geq n_0 [/itex] I have that
[itex] |x_{n+1} - x_n| < \epsilon[/itex]

2. Relevant equations

A sequence is Cauchy if for all [itex] \epsilon > 0 [/itex] and for all [itex] n,m \geq n_0 [/itex] one has
[itex] |x_m - x_n| < \epsilon [/itex]


3. The attempt at a solution

I called [itex] m = n+p [/itex] (for [itex] p [/itex] an arbitrary positive integer)
Then
[itex] |x_m - x_n| = |x_{n+p} - x_n|[/itex]
But (and I think there is some mistake here):
[itex] |x_{n+1} - x_n| < \epsilon/p [/itex]
[itex] |x_{n+2} - x_{n+1}| < \epsilon/p [/itex]
[itex] \vdots [/itex]
[itex] |x_{n+p} - x_{n+p-1}| < \epsilon/p [/itex]

So
[itex] |x_{n+p} - x_n| < \underbrace{|x_{n+1} - x_n|}_{< \epsilon/p} + \underbrace{|x_{n+2} - x_{n+1}|}_{< \epsilon/p} + \ldots + \underbrace{|x_{n+p} - x_{n+p-1}|}_{< \epsilon/p} < \epsilon [/itex]

Any help on why it's wrong (if it is) and how to solve it correctly?
Thanks!
PhysOrg.com
PhysOrg
science news on PhysOrg.com

>> King Richard III found in 'untidy lozenge-shaped grave'
>> Google Drive sports new view and scan enhancements
>> Researcher admits mistakes in stem cell study
Dec5-11, 11:19 AM   #2
 
Blog Entries: 1
Recognitions:
Homework Helper Homework Help
This isn't true. For example the sequence
[tex] x_n = \sum_{i=1}^{n} 1/i[/tex]
Dec5-11, 12:11 PM   #3
 
Quote by Office_Shredder View Post
This isn't true. For example the sequence
[tex] x_n = \sum_{i=1}^{n} 1/i[/tex]
You are right, thanks.

I suppose I have to write the full problem: Given [itex] \{x_n\} [/itex] a sequence of real numbers, and [itex] S_n = \Sigma_{n=1}^n |x_{k+1} - x_k| [/itex], with [itex] S_n [/itex] bounded, prove that [itex] \{ x_n \} [/itex] converges.

My attempt at a proof:
Clearly [itex]\{ S_n \} [/itex] converges as it is a series of positive terms and it is bounded.
So I define [itex] a_k = | x_{k+1} - x_k| [/itex], and now I know that [itex] \lim_{n \to \infty} a_n = 0 [/itex] (because the series [itex] S_n [/itex] converges).

From there I really didn't know how to continue, I thoght proving [itex] x_n [/itex] was Cauchy, but didn't work. Any help?
New Reply
Thread Tools


Similar Threads for: Show seq. [itex] x_n [/itex] with [itex] |x_{n+1} - x_n| < \epsilon [/itex] is Cauchy
Thread Forum Replies
Relations between coefficient and exponent of Proth prime [itex]k\cdot 2^n+1[/itex]? Linear & Abstract Algebra 2
False statement proven by induction? [itex]n \geq a \Rightarrow n! \geq a^n[/itex] General Math 5
Prove U (Ai X Bi) [itex]\subseteq[/itex] (U Ai) X (U Bi) Calculus & Beyond Homework 2
[itex] \Lambda^o \Sigma^o [/itex] mass difference High Energy, Nuclear, Particle Physics 7
why there is 2[itex]\pi[/itex] in every dirac delta function Quantum Physics 3