Sous-suite

En mathématiques, une sous-suite (ou une suite extraite) est une suite obtenue en ne prenant que certains éléments (une infinité) d'une suite de départ. Cette opération est parfois appelée extraction.

Formellement, une suite est une application définie sur l'ensemble ℕ des entiers naturels. On la note classiquement ( u n ) n ∈ N {\displaystyle (u_{n})_{n\in \mathbb {N} }} . Une sous-suite ou suite extraite est la composée de u par une application strictement croissante φ : N → N {\displaystyle \varphi :\mathbb {N} \rightarrow \mathbb {N} } [1].

Elle s'écrit donc sous la forme ( u φ ( n ) ) n ∈ N {\displaystyle (u_{\varphi (n)})_{n\in \mathbb {N} }} . Dans ce contexte, l'application φ {\displaystyle \varphi } est appelée extractrice[1].

Propriétés

Démonstration[2]

Soit (xn) une telle suite.

On dit qu'un indice n est un pic[3] s'il vérifie xm < xn pour tout m > n.

Il y a alors deux cas :

  1. ou bien il y a une infinité de pics. Dans ce cas, les xn correspondants forment une sous-suite (strictement) décroissante ;
  2. ou bien il n'y a qu'un nombre fini de pics. On « choisit »[4] un indice p0 strictement supérieur à tous les pics, puis un indice p1 > p0 tel que xp1 ≥ xp0, puis p2 > p1 tel que xp2 ≥ xp1, etc. On construit ainsi une sous-suite croissante (au sens large).

Notons que l'on peut aussi utiliser le théorème de Ramsey (qui a une preuve similaire). En coloriant les paires d'indices { m , n } , m < n {\displaystyle \{m,n\},m<n} par une couleur si u m ≤ u n {\displaystyle u_{m}\leq u_{n}} et une couleur différente si u m > u n {\displaystyle u_{m}>u_{n}} , le théorème de Ramsey fournit un ensemble d'indices infini et monochromatique.

On en déduit que toute suite bornée de réels admet une sous-suite convergente (cf. théorème de Bolzano-Weierstrass).
  • Soit ( u n ) n ∈ N {\displaystyle (u_{n})_{n\in \mathbb {N} }} une suite d'éléments d'un espace topologique X qui converge vers ℓ {\displaystyle \ell } , alors toute suite extraite de ( u n ) n ∈ N {\displaystyle (u_{n})_{n\in \mathbb {N} }} converge vers ℓ {\displaystyle \ell }  ; par contraposition, lorsque X est séparé ou plus généralement à unique limite séquentielle, si deux suites extraites de ( u n ) n ∈ N {\displaystyle (u_{n})_{n\in \mathbb {N} }} ont des limites différentes, alors la suite ( u n ) n ∈ N {\displaystyle (u_{n})_{n\in \mathbb {N} }} diverge.
  • Les limites des sous-suites convergentes d'une suite ( u n ) n ∈ N {\displaystyle (u_{n})_{n\in \mathbb {N} }} d'un espace topologique X sont des valeurs d'adhérence de la suite ( u n ) n ∈ N {\displaystyle (u_{n})_{n\in \mathbb {N} }} . Si X est métrisable, ou plus généralement à bases dénombrables de voisinages, la réciproque est vraie : toute valeur d'adhérence d'une suite est limite d'une de ses sous-suites.

Notes et références

  1. ↑ a et b Jean-Marie Monier, Analyse MPSI : Cours, méthodes et exercices corrigés, Paris, Dunod, , 5e éd., 525 p. (ISBN 978-2-10-049837-6).
  2. ↑ Cette démonstration — y compris la terminologie de « pic » (peak point) — est présentée dans le cas des suites réelles par (en) Michael Spivak, Calculus, (lire en ligne), chap. 21 (« Infinite Sequences »), p. 378 (p. 451 de l'éd. de 2006 sur Google Livres). En référence à cette démonstration, certains auteurs[Qui ?] appellent la propriété correspondante le « Lemme des pics ». Lorsqu'on ignore si la suite considérée admet ou non une infinité de pics, cette démonstration ne fournit pas de méthode pour construire une sous-suite monotone.
  3. ↑ Une variante serait d'utiliser, comme dans le lemme du soleil levant, la notion de « point visible depuis la droite » (ici : indice n vérifiant xm ≤ xn pour tout m > n). On construirait alors soit une sous-suite décroissante au sens large, soit une sous-suite strictement croissante.
  4. ↑ On peut faire les choix successifs des pk sans recourir à l'axiome du choix dépendant, en choisissant simplement, à chaque étape, le plus petit pk possible.

Articles connexes

  • icône décorative Portail de l'analyse