Limite Sup Et Limite Inf
Limite Sup Et Limite Inf
Limite Sup Et Limite Inf
Au contraire de la limite d'une suite, la borne supérieure et la borne inférieure d'un ensemble existent toujours (elles peuvent être
infinies).
Soit une suite de réels. Considérons la suite d'ensembles où est défini par :
Posons alors :
et
Comme les ensembles sont emboîtés ( ), la suite est croissante, donc elle admet une limite (éventuellement
infinie), par le théorème 2. Sa limite est la limite inférieure de la suite . La limite supérieure est la limite de la suite (décroissante)
Définition 11
https://ljk.imag.fr/membres/Bernard.Ycart/mel/sr/node19.html 1/5
26/11/2020 Limite sup et limite inf
où
où
et
On peut voir la comme la plus petite limite d'une suite extraite de la suite , et la comme la plus grande. Elles
peuvent éventuellement être infinies. On peut toujours extraire de deux sous-suites qui convergent vers ces deux limites. Elles
fournissent une caractérisation de la convergence : une suite converge si et seulement si sa est égale à sa .
Démonstration : Ce résultat reste vrai si la suite tend vers . Nous le démontrons pour une limite finie. Rappelons la construction
https://ljk.imag.fr/membres/Bernard.Ycart/mel/sr/node19.html 2/5
26/11/2020 Limite sup et limite inf
et
avec
Démontrons d'abord la condition suffisante. Par construction, la suite est encadrée par les suites et .
Si les deux suites et ont la même limite, alors converge vers cette limite, par le théorème des gendarmes
(corollaire 1).
Réciproquement, si la suite converge, alors pour tout , il existe un entier à partir duquel tous les ensembles sont
Donc,
https://ljk.imag.fr/membres/Bernard.Ycart/mel/sr/node19.html 3/5
26/11/2020 Limite sup et limite inf
Dans , toute suite de Cauchy converge. Démonstration : Soit une suite de Cauchy dans . Commençons par montrer que
est bornée. Fixons . Soit tel que pour tout et pour tout :
La suite est bornée à partir du rang , donc bornée tout court. Donc pour tout , l'ensemble est borné
et les quantités et sont finies. Nous avons déjà observé que est une suite croissante et une
suite décroissante, car les ensembles sont emboîtés. Nous allons démontrer que les suites et sont adjacentes, c'est-à-
dire que
Donc pour tout , est un minorant de l'ensemble et en est un majorant. Par définition des bornes
inférieure et supérieure :
https://ljk.imag.fr/membres/Bernard.Ycart/mel/sr/node19.html 4/5
26/11/2020 Limite sup et limite inf
Section : Compléments
Avant : Les lapins de Fibonacci
Après : Dichotomies
https://ljk.imag.fr/membres/Bernard.Ycart/mel/sr/node19.html 5/5