[go: up one dir, main page]

Aller au contenu

Module de convergence

Un article de Wikipédia, l'encyclopédie libre.

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

[modifier | modifier le code]

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

[modifier | modifier le code]

Référence

[modifier | modifier le code]
  • Klaus Weihrauch (2000), Computable Analysis.