Module de convergence

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 (xi) converge vers un nombre réel x, alors par définition, pour tout réel il existe un entier naturel N tel que si i > N alors . Un module de convergence est une fonction qui, étant donné ε, renvoie une valeur correspondante de N.

Définition

Supposons que (xi) 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 vers

  • Comme une fonction telle que pour tout , si alors
  • Comme une fonction telle que pour tout , si alors | x ix j | <

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 par .

Voir également

Référence

  • Klaus Weihrauch (2000), Computable Analysis.
  • Portail de l'analyse
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.