Suite bornée

En mathématiques, une suite est dite bornée si l'ensemble de ses valeurs est, une partie bornée.

Exemples

Une suite réelle (uModèle:Ind) est bornée si elle reste comprise entre deux valeurs fixes m et M :

$\mathrm{\exists }(m,M)\in {ℝ}^2\mathrm{\forall }n\in \mathbb{N}m\le u_n\le M$

(autrement dit si la borne supérieure et la borne inférieure de l'ensemble de ses termes sont finies) ou, de façon équivalente, si sa valeur absolue est majorée par une constante M :

$\mathrm{\exists }M\in ℝ\mathrm{\forall }n\in \mathbb{N}|u_n|\le M.$

Pour qu'une suite soit bornée, il suffit qu'elle le soit « à partir d'un certain rang ». En effet, si |xModèle:Ind| ≤ K pour tout n > N alors |xModèle:Ind| ≤ M pour tout n, en posant M = max(|xModèle:Ind|, |xModèle:Ind|, … , |xModèle:Ind|, K).

• Toute suite convergente est par conséquent bornée (par exemple la suite uModèle:Ind = (–1)Modèle:Exp/(n + 1), qui converge vers 0, reste comprise entre uModèle:Ind = –1/2 et uModèle:Ind = 1).
• Toute suite réelle qui [[Limite d'une suite#Limite infinie|tend vers Modèle:Math]] est non bornée (par exemple : uModèle:Ind = 2Modèle:Exp, qui tend vers Modèle:Math).
• Pour une suite non monotone, les réciproques sont fausses :
  • une suite bornée n'est pas nécessairement convergente (contre-exemple : uModèle:Ind = (–1)Modèle:Exp est bornée — majorée par 1 et minorée par –1 — mais n'admet pas de limite) ;
  • pour qu'une suite tende vers Modèle:Math, il ne suffit pas qu'elle soit non bornée (contre-exemple : la suite qui vaut 0 pour n pair, et n pour n impair).

Une suite de nombres complexes uModèle:Ind = xModèle:Ind + [[Unité imaginaire|Modèle:Math]] yModèle:Ind est bornée si son module est majoré par une constante ou, de façon équivalente, si les deux suites réelles (xModèle:Ind) et (yModèle:Ind) constituées par sa partie réelle et sa partie imaginaire sont bornées.

Valeurs d'adhérence pour une suite réelle bornée

Un des grands intérêts des suites bornées réside dans le fait que de toute suite réelle bornée, on peut extraire une sous-suite convergente. Cette propriété, étroitement liée à la propriété de Borel-Lebesgue, porte parfois le nom de « propriété de Bolzano-Weierstrass ». Diverses démonstrations se trouvent dans l'article théorème de Bolzano-Weierstrass. Le théorème des gendarmes est un théorème de convergence. Exemples :

• si x_n = (–1)ⁿ, alors la sous-suite (x_2n) des termes de rang pair converge vers 1 et la sous-suite (x_2n+1) des termes de rang impairs converge vers –1 ;
• on peut ne pas être capable d'expliciter une telle sous-suite. Par exemple, il existe des entiers n₁, n₂, ..., n_k, ... strictement croissants tels que sin(n_k) converge, mais Modèle:Refnec.
• la situation la plus simple est celle où la suite bornée est de plus monotone : dans ce cas, elle est déjà convergente, d'après le théorème de la limite monotone

Article connexe

[[Espace de suites ℓp|Espace ℓModèle:Exp]]