Inreal analysis, a branch ofmathematics, amodulus of convergence is afunction that tells how quickly aconvergent sequence converges. These moduli are often employed in the study ofcomputable analysis andconstructive mathematics.
If a sequence ofreal numbers converges to a real number, then by definition, for every real there is anatural number such that if then. A modulus of convergence is essentially a function that, given, returns a corresponding value of.
Suppose that is a convergent sequence of real numbers withlimit. There are two common ways of defining a modulus of convergence as a function from natural numbers to natural numbers:
The latter definition is often employed in constructive settings, where the limit may actually be identified with the convergent sequence. Some authors use an alternate definition that replaces with.