Définition
La suite
est une suite extraite de la suite
si il existe
de
dans
strictement croissante telle que
.
est un point d'accumulation ou une valeur d'adhérence de la suite si
.
converge vers si pour tout voisinage de il existe tel que pour tout .
La suite est dite convergente si elle converge vers un certain .
Cas général
Une suite finie admet une suite extraite constante.
Une suite infinie admet une suite extraite monotone.
Une suite bornée admet une suite extraite convergente.
est point d'accumulation des si pour tout voisinage de il existe une infinité de tels que est dans .
La notion de convergence d'une suite est équivalente à la notion de limite en l'infini, avec la topologie que l'on s'est donnée en sur
.
Dans un espace séparé, la limite est unique.
Si une suite converge vers , alors toute suite extraite de cette suite converge vers .
Une limite de suite extraite est une valeur d'adhérence (pas de réciproque dans le cas général).
Cas métrique
Dans le cas d'un espace métrique, est donc point d'accumulation si pour tout il existe une infinité de tels que
.
Dans un espace métrique, la limite est unique.
Dans le cas d'un espace métrique, une valeur d'adhérence est une limite de suite extraite.
Dans un espace métrique, une suite de Cauchy a au plus une valeur d'adhérence, et si elle en a une, elle converge et cette valeur est sa limite.
Dans un espace métrique compact (qui est donc aussi complet), une suite n'admettant qu'une seule valeur d'adhérence est une suite convergente.
Dans un espace métrique il sera souvent utile d'introduire la définition
; l'ensemble des valeurs d'adhérence est alors l'intersection des
, c'est donc un fermé, et la suite est une suite de Cauchy si le diamètre des tend vers 0.
Cas d'un espace vectoriel normé
L'ensemble des suites d'un espace vectoriel normé est un espace vectoriel , avec les opérations de multiplication par un scalaire terme à terme, et d'addition terme à terme (valable même si l'espace n'est pas normé).
L'ensemble des suites bornées en est un sous-espace vectoriel. On peut le normer par la fonction qui à une suite associe le sup des normes de ses éléments. On notera cette norme
.
L'ensemble des suites de Cauchy est un sous-espace vectoriel de l'espace vectoriel des suites bornées.
L'ensemble des suites convergentes est un sous-espace vectoriel de l'espace vectoriel des suites de Cauchy. L'application qui à une suite convergente associe sa limite (qui est unique) est linéaire et continue de norme .
Si notre espace vectoriel normé est muni de deux normes différentes et et si il existe
tel que
alors les suites bornées pour sont des suites bornées pour , idem pour les suites de Cauchy, et idem pour les suites convergentes. Dans le cas de normes équivalentes, on a donc les mêmes suites de Cauchy, les mêmes suites bornées, et les mêmes suites convergentes. Ainsi, il est de Banach pour
si et seulement si il est de Banach pour
.
Cas d'un corps
,
ou
L'ensemble des suites est une
-algèbre commutative et unitaire; il est muni pour cela du produit par un scalaire, de l'addition terme à terme, du produit terme à terme (l'unité étant la suite constante égale à ).
L'ensemble des suites bornées est une sous-algèbre unitaire de cette algèbre.
L'ensemble des suites de Cauchy est une sous-algèbre unitaire de cette sous-algèbre.
L'ensemble des suits convergentes est une sous-algèbre unitaire de cette sous-algèbre.
L'application qui à une suite associe sa limite est un morphisme d'algèbres. Ce morphisme
est continu. Le noyau de ce morphisme (l'ensemble des suites qui convergent vers 0) est un idéal de l'ensemble des suites bornées.
Cas du corps
Toute suite monotone bornée converge.
Si deux suites sont adjacentes, alors elles convergent et ont même limite.
Cas du corps
Dans le cas d'une suite complexe on peut se ramener à l'étude de suites réelles; la suite converge si les parties réelles et imaginaires convergent.
suivant:Suites réelles monter:Suites et séries précédent:Suites et séries
  Index
C_antonini,J-F_Quint,P_Borgnat,J_Bérard,E_Lebeau,E_Souche,A_Chateau,O_Teytaud