Cauchy sequence; I need some help

  • Thread starter Thread starter ╔(σ_σ)╝
  • Start date Start date
  • Tags Tags
    Cauchy Sequence
Click For Summary
The discussion revolves around proving that a Cauchy sequence x_n converges to 0 under specific conditions. Participants express confusion about the implications of the Cauchy property and the existence of an n such that |x_n| < ε, questioning whether this guarantees convergence to zero. It is clarified that the problem only ensures one term meets the condition, not all subsequent terms, which is crucial for establishing convergence. The conversation shifts to the idea that a subsequence converges to zero, leading to the conclusion that the entire Cauchy sequence must also converge to zero. Participants seek guidance on the mathematical proof, particularly regarding the use of triangle inequalities and the relationship between the subsequence and the original sequence.
╔(σ_σ)╝
Messages
838
Reaction score
2

Homework Statement


Let x_{n} be a Cauchy sequence. Suppose that for every \epsilon&gt;0 there is n &gt; \frac{1}{\epsilon} such that |x_{n}| &lt; \epsilon. Prove that x_{n} \rightarrow 0.

Homework Equations


The Attempt at a Solution



My problem with the question is I do not understand it.

if,

|x_{n}| &lt; \epsilon when n &gt; \frac{1}{\epsilon} ;



Doesn't that mean that Lim_{n\rightarrow infinity} x_{n} = 0 ?

In which case x_{n} \rightarrow 0 because if the limit as n goes to infinity is zero, then the terms can be arbitrarily brought close to zero as n gets large enough.
What exactly is the point of me knowing that x_{n} is a Cauchy sequence ?
It doesn't seem like I even need to know that it is a Cauchy sequence. After-all, every convergent sequence is a cauchy sequence.

Am I missing something ?
 
Physics news on Phys.org
You only know that there is one n such that |x_n|&lt;\epsilon. You don't know that for example |x_{n+1}|&lt;\epsilon

If we take away the Cauchy condition then the sequence (1,0,1,0,1,0,1,0,...) would fit the criterion
 
Office_Shredder said:
You only know that there is one n such that |x_n|&lt;\epsilon. You don't know that for example |x_{n+1}|&lt;\epsilon

If we take away the Cauchy condition then the sequence (1,0,1,0,1,0,1,0,...) would fit the criterion

Sorry I don't follow.

Doesn't the inequality hold for every epsilon?

And given that n is not a specific number can't I just make n to be n+1 ?

And given your sequence, if x_{n} = 1 the inequality would not hold.

I am a bit lost. Please explain further.
 
Ok, let's continue with my example.

Let's pick \epsilon=\frac{1}{100,000}. Then we need to find n larger than 100,000 such that x_n&lt;\epsilon. Well that's easy, n=100,002 works, since we know that's zero.

The point is that it doesn't say there exists N, such that for all n>N, |xn|<epsilon, it only says there exists ONE n for which |xn|<epsilon

Basically, the statement of the problem is that a SUBSEQUENCE of xn converges to zero
 
Okay I understand the problem now. I will think more about the problem and request more help if I need to. Thanks for now. I'll repost if i don't get anywhere.
 
Okay, I thought about the question and I am still not sure what to do.

Now that I know a sub-sequence in x_{n} converges. So this means the following are true:

1) The Cauchy sequence converges since we have found a convergent subsequence.

2) The Cauchy sequence converges to 0 also , since the terms of the Cauchy sequence can brought arbitrarily close to each other. This is a Lemma in my book anyway; I assume I can use it.
3) since the Cauchy sequence converges to zero this means x_{n} \rightarrow 0How exactly do I go about proving this mathematically ?
 
Can someone please point me in the right direction?!
 
You basically have the right idea. If you want to get the sequence within \epsilon, pick N so that the elements of your subsequence are within \frac{\epsilon}{2} and the elements of your sequence are within \frac{\epsilon}{2} of each other when the indices are larger than N and see what you can do
 
UThe elements of the sequence are within epsilon of what? 0? Are you suggesting some sort of triangle inequality ? Something like
|x_{n}-x_{m}|\leq |x_{n}|+|x_{m}|&lt; \frac{ \epsilon_{0}}{2}} + \frac{\epsilon_{0}}{2}.
EDIT

I am not sure how to get the terms in the subsequence close to those of the sequence. Can you help me with this?
 
Last edited:

Similar threads

  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 1 ·
Replies
1
Views
1K
Replies
2
Views
2K
Replies
6
Views
2K
Replies
4
Views
2K
Replies
1
Views
1K
  • · Replies 28 ·
Replies
28
Views
3K
  • · Replies 6 ·
Replies
6
Views
3K
Replies
4
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K