Math 2.0

Sequences, series, summability Definition

Cauchy sequence

Builds on Real sequence

Definition

Let (an)(a_n) be a real sequence. The sequence is a Cauchy sequence if the following holds for each real number ε>0\varepsilon > 0. There is a natural number NN such that ∣am−an∣<ε|a_m - a_n| < \varepsilon for all natural numbers m,n≥Nm, n \ge N.

Remarks

In a metric space (X,d)(X, d), the definition is the same with d(am,an)d(a_m, a_n) in place of ∣am−an∣|a_m - a_n|. The definition does not mention a limit. In ℝ\mathbb{R}, the Cauchy criterion shows that the Cauchy sequences are exactly the convergent sequences. It is not enough that ∣an+1−an∣→0|a_{n+1} - a_n| \to 0. The sequence an=na_n = \sqrt{n} has this property, but it is not Cauchy.

Reading path

To understand this page from the ground up, read these 3 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Sequence definition
  2. Real sequence definition
  3. Cauchy sequence definition

Where this leads

67 pages build on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Cauchy_sequence, In real numbers
  2. Web https://en.wikipedia.org/wiki/Cauchy_sequence, In a metric space
About this page
Tag0QZMTN5AXX
URIm2://0QZMTN5AXX
Kinddefinition
WritingW1 stated
MSC40A05
DefinesCauchy sequence
UsesReal sequence

Markdown · JSON · Edit on GitHub

What this page needs for W2

  • edge instance_of in: one example (0 of 1)
  • edge not_instance_of in: one non-example that fails one clause (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

Used by