# What is the mistake in my reasoning for Cauchy sequences?

• JG89
In summary: In general, the proof of the Bolzano-Weierstrass theorem is very easy. You can see for yourself in the Wikipedia article for it, or you can check out the proof in the real numbers chapter of Spivak's Calculus.
JG89
As far as I understand, a sequence converges if and only if it is Cauchy. So say for some sequence a_n and for all epsilon greater than zero we have $$|a_n - a_{n+1}| < \epsilon$$ for large enough n.

We could then say a_n converges if and only if $$\lim_{n \rightarrow \infty} a_n - a_{n+1} = 0$$.

But what about if a_n = ln(n)?

$$ln(n) - ln(n+1) = ln(n/(n+1))$$ so for n tending to infinity ln(n) - ln(n+1) goes to 0. So I should be able to say that the sequence converges, but ln(n) obviously goes to infinity for increasing n.

What's the mistake in my reasoning?

The definition of Cauchy sequence does not just say $$|a_n - a_{n+1}| < \epsilon$$ . It says that for each $$\epsilon > 0$$ there exists an integer N such that $$|a_n - a_m| < \epsilon$$ for all n,m > N. So, you can't just look at n and n+1. It's got to work for EVERY m and n greater than or equal to a certain integer N (which depends on epsilon). So, let's look at the case of ln(n). For each epsilon, is $$| ln (n) - ln (m) | = | ln(n/m| < \epsilon$$ for all m and n greater than a certain N?? No! This isn't true for every n and m. We can take n out far enough such that for any fixed epsilon, ln(n/m) is larger.

Good explanation EbolaPox. JG89, one of the motivations for the definition of the Cauchy sequence is the idea that after a certain index N (n and m larger than N), any two terms of the sequence should be very close. This means that if we have a convergent sequence, we can do away with the limit, say L, and talk about the proximity of any two terms after a certain index.

Having said that, you should prove the very first statement you made. You should be able to prove the direction convergent sequence implies Cauchy sequence without too much trouble as long as you keep in mind that there is nothing particularly special about the letter n that is usually used in forming the definition of convergence of a sequence {a_n}. The other direction involves a considerably larger amount of work, but the theorems typically used to prove Cauchy sequence implies convergent sequence: monotone convergence theorem and bolzano-weierstrass theorem have easy proofs if you can find them (the former is very intuitive, whereas the latter typically depends on a lemma in conjunction with the first theorem). On the other hand, if you have proved the nested intervals theorem and have possibly seen the proof of the IVT using nested intervals, there is a seemingly better motivated proof of the bolzano-weierstrass theorem which I could link you to if you were interested.

JG89 said:
As far as I understand, a sequence converges if and only if it is Cauchy.

Attention: This is completely wrong in full generality! By the very definition of a Banach space, this is only true in a Banach space.

snipez90 said:
The other direction involves a considerably larger amount of work, ...

This is misleading. "The other direction" simply means you want to prove that the real numbers are a Banach space. Even if you forget about the construction of the reals, the theorems you suggest don't make sense in this context (Anyway, what do they have to do with the completeness of the real numbers? Monotone convergence?). There are nice ways of proving completeness of the reals.

I judged what theorems are appropriate based on what I have seen from the OP's previous posts and experience. From my understanding, he is going through an introduction to analysis. While Cauchy sequences may be encountered frequently in classes that are more advanced than intro analysis, I am fairly confident I judged the context correctly with respect to the OP's understanding of the topics. However, I don't doubt that what you said was indeed simple, but as for misleading, perhaps you're right depending on the level of analysis the OP knows. Again, I think the OP is not concerned with demonstrating completeness of the reals, but rather working through sequences with epsilons and deltas, and there is no reason not to introduce Cauchy sequences in such a context; the proof that I outlined is much more appropriate if this is indeed the case.

EDIT: Huh, well I tend to forget things at 4 AM. The outline for the other direction I had intended goes like this: show Cauchy sequences are bounded (typical take epsilon to be 1 or any positive number proof), use Bolzano-Weierstrass to get a convergent subsequence, and finally prove that if a subsequence of a Cauchy sequence converges, then the Cauchy sequence itself is convergent.

Cliowa, I made the mistake of making it seem like the monotone convergence theorem is more important than it really is in this scenario. It is simply a theorem that can be used to prove the bolzano-weierstrass theorem for sequences.

Last edited:

## 1. What is a Cauchy sequence mistake?

A Cauchy sequence mistake refers to a common error in mathematical analysis where a sequence of numbers is mistakenly identified as a Cauchy sequence. A Cauchy sequence is a type of mathematical sequence where the terms become arbitrarily close to each other as the sequence progresses. However, some sequences may appear to be Cauchy sequences, but do not actually meet the criteria and are therefore not true Cauchy sequences.

## 2. How is a Cauchy sequence mistake identified?

A Cauchy sequence mistake can be identified by checking if the sequence meets the criteria for a Cauchy sequence. This includes checking if the terms become arbitrarily close to each other as the sequence progresses. If the terms do not become arbitrarily close, then the sequence is not a true Cauchy sequence and is likely a Cauchy sequence mistake.

## 3. What are some common causes of Cauchy sequence mistakes?

Cauchy sequence mistakes can be caused by a variety of factors, such as incorrect calculations or assumptions, misinterpreting the definition of a Cauchy sequence, or using incorrect formulas or theorems. In some cases, it may also be a result of overlooking certain conditions or requirements for a sequence to be considered a Cauchy sequence.

## 4. How can Cauchy sequence mistakes be avoided?

To avoid Cauchy sequence mistakes, it is important to carefully follow the definition and criteria for a Cauchy sequence. Double-checking calculations and using appropriate formulas and theorems can also help to prevent mistakes. Additionally, it is important to thoroughly understand the concepts and principles behind Cauchy sequences to correctly identify and avoid potential mistakes.

## 5. What impact do Cauchy sequence mistakes have on mathematical analysis?

Cauchy sequence mistakes can have a significant impact on mathematical analysis, as they can lead to incorrect conclusions and results. In some cases, they may also cause difficulties in solving problems and may require additional time and effort to correct. Therefore, it is important to be aware of and avoid Cauchy sequence mistakes in order to ensure accurate and reliable mathematical analysis.

• Calculus
Replies
4
Views
1K
• Calculus
Replies
6
Views
644
• Calculus
Replies
9
Views
874
• Calculus
Replies
1
Views
1K
• Calculus
Replies
19
Views
1K
• Calculus
Replies
8
Views
1K
• Calculus
Replies
7
Views
2K
• Calculus
Replies
24
Views
3K
• Calculus
Replies
15
Views
2K
• Calculus
Replies
9
Views
1K