Modulus of convergence

Suppose that ${\displaystyle x_{i}}$ is a convergent sequence of real numbers with limit ${\displaystyle x}$. There are two common ways of defining a modulus of convergence as a function from natural numbers to natural numbers:

• As a function ${\displaystyle f}$ such that for all ${\displaystyle n}$, if ${\displaystyle i>f(n)}$ then ${\displaystyle \left|x-x_{i}\right|<1/n}$.
• As a function ${\displaystyle g}$ such that for all ${\displaystyle n}$, if ${\displaystyle i\geq j>g(n)}$ then ${\displaystyle \left|x_{i}-x_{j}\right|<1/n}$.

The latter definition is often employed in constructive settings, where the limit ${\displaystyle x}$ may actually be identified with the convergent sequence. Some authors use an alternate definition that replaces ${\displaystyle 1/n}$ with ${\displaystyle 2^{-n}}$.

• Modulus of continuity

• Klaus Weihrauch (2000), Computable Analysis.