How to Show Sequence is Cauchy for n in the Naturals

  • Thread starter Thread starter Unassuming
  • Start date Start date
  • Tags Tags
    Cauchy Sequence
Click For Summary

Homework Help Overview

The discussion revolves around demonstrating that the sequence defined by \( p_n = 1 + \frac{1}{2!} + ... + \frac{1}{n!} \) is a Cauchy sequence for natural numbers \( n \). Participants are exploring the properties of this sequence and how to establish its Cauchy nature.

Discussion Character

  • Mixed

Approaches and Questions Raised

  • Participants discuss setting up the inequality \( |p_{n+k} - p_n| < \epsilon \) and express confusion about breaking down terms to find a telescoping sequence. There are attempts to relate the terms of the sequence to convergence properties and to explore the implications of the number of terms \( k \) in relation to \( \epsilon \).

Discussion Status

There is active engagement with hints being provided, particularly regarding bounding the terms of the sequence. Some participants express uncertainty about their reasoning and seek clarification on how to approach the problem effectively. Multiple interpretations of the problem are being explored, with no explicit consensus reached yet.

Contextual Notes

Participants note that the choice of \( k \) should be independent of \( \epsilon \), and there is discussion about the implications of this requirement on the overall approach to proving the Cauchy condition.

Unassuming
Messages
165
Reaction score
0
For n in the naturals, let

[tex]p_n = 1 + \frac{1}{2!} + ... + \frac{1}{n!}[/tex]

Show it is cauchy.


Attempt:

I have set up |p_n+k - p_n | < e , and I have solved for this.

I got [tex]|p_{n+k} - p_n | = \frac{1}{(n+1)!} + ... + \frac{1}{(n+k)!}[/tex]

I am trying to follow an example in the book. I now need to find a telescoping sequence that is a little bit greater than my sequence above. It should also contain what seems like two fractions, or parts, with one of them converging and the other adding an arbitrary "k". I would appreciate any hints on this.

I got stuck on how to break up, 1 / (n+k-1)! . I am not sure if that is worthwhile or I am totally off.
 
Physics news on Phys.org
Unassuming said:
For n in the naturals, let

[tex]p_n = 1 + \frac{1}{2!} + ... + \frac{1}{n!}[/tex]

Show it is cauchy.


Attempt:

I have set up |p_n+k - p_n | < e , and I have solved for this.

I got [tex]|p_{n+k} - p_n | = \frac{1}{(n+1)!} + ... + \frac{1}{(n+k)!}[/tex]

I am trying to follow an example in the book. I now need to find a telescoping sequence that is a little bit greater than my sequence above. It should also contain what seems like two fractions, or parts, with one of them converging and the other adding an arbitrary "k". I would appreciate any hints on this.

I got stuck on how to break up, 1 / (n+k-1)! . I am not sure if that is worthwhile or I am totally off.

You have k terms, the largest of which is 1/(n + 1)! Is that enough of a hint?
 
Your hint helped but since this is my first cauchy problem I am still lost. I am getting lost when I try to find the partial fractions of

[tex]\frac{1}{n!(n+k)}[/tex]

I am doing this in order to get the telescoping sequence.
 
Unassuming said:
Your hint helped but since this is my first cauchy problem I am still lost. I am getting lost when I try to find the partial fractions of

[tex]\frac{1}{n!(n+k)}[/tex]

I am doing this in order to get the telescoping sequence.

So why do you think you need to decompose the fraction and why do you think you need a telescoping sequence? Given a positive number epsilon, all you need to do is find a number N so that for all m and n larger than N, any two terms in your sequence are closer together than epsilon.

HINT: You have k terms (count 'em!) on the right, the largest of which is 1/(n + 1)!
 
I'm not sure how to use your hint, Mark44...
are you going to prove it by saying that
[tex]\frac{1}{(n+1)!}+\frac{1}{(n+2)!}+...+\frac{1}{(n+k)!}<\frac{k}{(n+1)!}[/tex],
which looks as if it approaches to 0 as N goes to infinity. So it can be made less than a given epsilon?
But, I realize that k is independent on the given epsilon. So if you find a N. I can choose k large enough, say, k=(n+1)! which will make that inequality useless.
So how can it be done?

A different hint: prove its convergenece as an upper bounded increasing sequences, which implies also it's a cauchy.

PS. Well, after a second thought, The hint of Mark44 really works, but a bit tricky
 
Last edited:
boombaby said:
[tex]\frac{1}{(n+1)!}+\frac{1}{(n+2)!}+...+\frac{1}{(n+k)!}<\frac{k}{(n+1)!}[/tex],

I got [tex]\frac{k}{(n+1)!} = \frac{k}{n!} - \frac{kn}{(n+1)!}[/tex]

I can't get anywhere. I want to say something like k/n! is convergent, therefore it is cauchy and we can say that,

[tex]| \frac{k}{n!} - \frac{kn}{(n+1)!} | < e[/tex]

I know that can't work because there is an n in the numerator but what else can I do?
 
Okay, I feel good. Somebody shoot me down!

Since 1/n! converges to 0 and n->inf , we can let e>0 and say there exists N in Naturals such that for all n >= N,

| 1/n! - 0 | < e/k.

Therefore,

| s_n+k - s_n | = 1/(n+1)! + ... + 1/(n+k)! < k/ (n+1)! < k/n! < k(e/k) = e.

Please, please, please let this be right. I am ready to move on.
 
this is not right.. as I said before, your k should be independent on epsilon.
try
[tex]\frac{1}{(n+1)!}+\frac{1}{(n+2)!}+...+\frac{1}{(n+k)!}=\frac{1}{(n+1)!} (1+\frac{1}{(n+2)}+\frac{1}{(n+2)(n+3)}+...\frac{1}{(n+2)...(n+k)})<\frac{1}{(n+1)!} (1+\frac{1}{(n+1)}+\frac{1}{(n+1)^{2}}+\frac{1}{(n+1)^{k}})<\frac{1}{n!n}[/tex]
so we can choose a N large enough, no matter how large your k is, its sum is less than a given epislon.
 
[tex] \frac{1}{(n+1)!}+\frac{1}{(n+2)!}+...+\frac{1}{(n+ k)!}=\frac{1}{(n+1)!} (1+\frac{1}{(n+2)}+\frac{1}{(n+2)(n+3)}+...\frac{1 }{(n+2)...(n+k)})<\frac{1}{(n+1)!} (1+\frac{1}{(n+1)}+\frac{1}{(n+1)^{2}}+\frac{1}{(n +1)^{k}})< [/tex]
[tex]< \frac{1}{(n+1)!} \sum_{j=0}^{\infty} \frac{1}{(n+1)^j} < \sum_{j=0}^{\infty} \frac{1}{(n+1)^j} = \frac{n+1}{n}[/tex]
 
Last edited:
  • #10
no...it is useless that you have "...< (n+1)/n"
 
  • #11
Choose N> 1/e. Then for all n > N we have that,

[tex] <br /> \frac{1}{(n+1)!}+\frac{1}{(n+2)!}+...+\frac{1}{(n+k)!}=\frac{1}{(n+1)!} (1+\frac{1}{(n+2)}+\frac{1}{(n+2)(n+3)}+...\frac{1}{(n+2)...(n+k)})<\frac{1}{(n+1)!} (1+\frac{1}{(n+1)}+\frac{1}{(n+1)^{2}}+\frac{1}{(n+1)^{k}})<\frac{1}{n!n}<\frac{1}{n}<\varepsilon<br /> [/tex]

Therefore, [tex]|s_{n+k}-s_n|<\varepsilon[/tex].

Is that right?

EDIT: Is that LaTeX showing up for anybody else?
 
Last edited:
  • #12
[tex] \frac{1}{(n+1)!}+\frac{1}{(n+2)!}+...+\frac{1}{(n+ k)!}=\frac{1}{(n+1)!} (1+\frac{1}{(n+2)}+\frac{1}{(n+2)(n+3)}+...\frac{1 }{(n+2)...(n+k)})<\frac{1}{(n+1)!} (1+\frac{1}{(n+1)}+\frac{1}{(n+1)^{2}}+\frac{1}{(n +1)^{k}})<\frac{1}{n!n}<\frac{1}{n}<\varepsilon[/tex]

\\Edit: indeed latex isn't working
 
  • #13
test:
[tex]\frac{1}{n!} \int^{1}_{0} sin x dx[/tex]

Edit: indeed
 
  • #14
[tex] <br /> \frac{1}{(n+1)!}+\frac{1}{(n+2)!}+...+\frac{1}{(n+ k)!}=\frac{1}{(n+1)!} (1+\frac{1}{(n+2)}+\frac{1}{(n+2)(n+3)}+...\frac{1 }{(n+2)...(n+k)})<\frac{1}{(n+1)!} (1+\frac{1}{(n+1)}+\frac{1}{(n+1)^{2}}+\frac{1}{(n +1)^{k}})<\frac{1}{n!n}[/tex]

[tex]<\frac{1}{n}<\varepsilon<br /> [/tex]

Latex is working again :cool:
 

Similar threads

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