Cauchy Sequence

========================

A Cauchy Sequence is a sequence of numbers that satisfies the following properties:

  • The sequence converges to a limit.
  • For any positive integer (n), there exists an index (m_n) such that for all (x, y > 0), the inequality [|x - y| < \frac{1}{n}] holds true.

Definition

A sequence ((a_n)) is called a Cauchy Sequence if it satisfies the definition of a Cauchy Sequence. This means that for any positive Real Numbers (x, y), there exists an integer (N) such that for all integers (m > n > N), we have:

[|a_m - a_n| < \frac{1}{n}]

Example

Consider the sequence of Real Numbers ((\sqrt{n})). This is a Cauchy Sequence because it satisfies the definition.

  • For any positive integers (m, n > 0), we have:

[|\sqrt{m} - \sqrt{n}| = |\frac{\sqrt{m} - \sqrt{n}}{1}| = \left|\frac{(m-n)-2\sqrt{(mn)^{1⁄2}}}{1}\right| < \left|\frac{(m-n)}{1}\right| = m - n]

Definition of Limit

Let ((a_n)) be a Cauchy Sequence and let (L) denote its limit. Then, for any positive real number (\epsilon), there exists an integer (N) such that:

  • For all integers (m > N), we have:

    • (|a_m - L| < \frac{\epsilon}{2})

    • This means that for all integers (m > N):

      [|a_n + a_m - 2L| = |(a_n - L) + (a_m - L)|]

      [\leq \left|(a_n - L)\right| + \left|(a_m - L)\right|]

      [< \frac{\epsilon}{2} + \frac{\epsilon}{2}]

      [= \epsilon]

Borel-Cantelli Lemma

The Borel-Cantelli Lemma states that if ((a_n)) is a sequence of independent and identically distributed random variables, then the probability of the event ({N > n}) tends to 0 as (n) tends to infinity.

In this case, the sequence of random variables is defined by the Real Numbers ((\sqrt{n})) with uniform distribution on the interval ([0,1]). By the Borel-Cantelli Lemma, we have:

  • The probability of the event ({N > 10000}) tends to 0 as (n) tends to infinity.

Conclusion

In conclusion, a Cauchy Sequence is a sequence of numbers that converges to a limit and satisfies the definition. This concept plays a crucial role in mathematics, particularly in real analysis and Probability Theory. The Borel-Cantelli Lemma provides an important tool for proving properties of sequences and series.

References