Les informations figurant dans cet article ou cette section doivent être reliées aux sources mentionnées dans les sections « Bibliographie », « Sources » ou « Liens externes » (septembre 2025).

Vous pouvez améliorer la vérifiabilité en associant ces informations à des références à l'aide d'appels de notes.

En analyse réelle un module de convergence est une fonction qui indique à quelle vitesse une séquence convergente converge. Ces modules sont souvent employés dans l'étude de l'analyse calculable et des mathématiques constructives.

Si une suite de nombres réels (x_i) converge vers un nombre réel x, alors par définition, pour tout réel ${\displaystyle \epsilon >0}$ il existe un entier naturel N tel que si i > N alors ${\displaystyle |x-x_{i}|<\epsilon }$. Un module de convergence est une fonction qui, étant donné ε, renvoie une valeur correspondante de N.

Supposons que (x_i) est une suite convergente de nombres réels de limite x. Il existe deux manières de définir un module de convergence comme une fonction de ${\displaystyle \mathbb {N} }$ vers ${\displaystyle \mathbb {N} }$

• Comme une fonction ${\displaystyle f(n)}$ telle que pour tout ${\displaystyle n}$, si ${\displaystyle i>f(n)}$ alors ${\displaystyle |x-x_{i}|<{{1} \over {n}}}$
• Comme une fonction ${\displaystyle g(n)}$ telle que pour tout ${\displaystyle n}$, si ${\displaystyle i\geq {j}>g(n)}$ alors | x _i − x _j | < ${\displaystyle 1 \over {n}}$

Cette dernière définition est souvent employée dans des contextes constructifs, où la limite x peut en fait être identifiée à la séquence convergente. Certains auteurs utilisent une autre définition qui remplace ${\displaystyle 1 \over n}$ par ${\displaystyle 2^{-n}}$.

(en) Klaus Weihrauch, Computable Analysis: An Introduction, Springer Science & Business Media, 6 décembre 2012 (ISBN 978-3-642-56999-9, lire en ligne)

• Module de continuité

• Portail de l'analyse