Cauchy sequences of reals

We can define Cauchy sequences of reals in the same way as was done for rationals. For rationals, many ideas of closeness were introduced separately before reaching Cauchy sequences. This card compresses all of the ideas for reals.

Distance and ε-close reals

Let $a$ and $b$ be two real numbers. Define their distance $d(a,b)$ to be  [...]. Let $\epsilon >0$ be a real. The two reals $a$ and $b$ are said to be ε-close if $d(a,b)\le \epsilon$.

Sequence of reals

A sequences of reals is denoted in the same way as a sequences of rationals: $(a_n{)}_{n=m}^{\mathrm{\infty }}$ represents a function $f$ from the set [...] to the set [...], where $a_n:=f(n)$.

ε-steady sequence of reals

A sequence $(a_n{)}_{n=N}^{\mathrm{\infty }}$ of reals is said to be ε-steady if $a_j$ and $a_k$ are [...] for all [...].

Eventually ε-steady

A sequence $(a_n{)}_{n=m}^{\mathrm{\infty }}$ of reals is said to be eventually ε-steady if $(a_n{)}_{n=N}^{\mathrm{\infty }}$ is [...] for some integer [...].

Cauchy sequence

A sequence $(a_n{)}_{n=m}^{\mathrm{\infty }}$ of reals is said to be a Cauchy sequence if it is [...] for every real $\epsilon >0$.

Cauchy sequences of reals → convergence of sequences of reals → uniqueness of convergence → limit, the definition → subsumption of formal limits