26/11/2020 Limite sup et limite inf

Avant : Les lapins de Fibonacci

Après : Dichotomies

Limite sup et limite inf

Quand on définit une notion mathématique, le fait qu'elle refuse de s'appliquer à certains objets la rend aussitôt suspecte. La suite
ne converge pas. Serait-ce que la notion de limite est insuffisante ?

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

1. On appelle limite inférieure de la suite , et on note ou , la quantité

https://ljk.imag.fr/membres/Bernard.Ycart/mel/sr/node19.html 1/5
26/11/2020 Limite sup et limite inf

où

2. On appelle limite supérieure de la suite , et on note ou , la quantité

où

On retient de façon abrégée que

et

La et la existent pour toute suite réelle. Voici trois exemples.

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 .

Proposition 5 Une suite de réels converge vers si et seulement si

Démonstration : Ce résultat reste vrai si la suite tend vers . Nous le démontrons pour une limite finie. Rappelons la construction

de et , comme limite des suites et , où

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

inclus dans l'intervalle , ce qui implique :

Donc,

Cet encadrement étant vrai pour tout , il entraîne :

Nous avons maintenant les bons outils pour démontrer le théorème 8 :

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 :

En particulier, 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

Fixons . Soit tel que pour tout et pour tout :

En particulier, pour tout ,

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

Donc , ce que nous voulions démontrer.

Section : Compléments
Avant : Les lapins de Fibonacci
Après : Dichotomies

https://ljk.imag.fr/membres/Bernard.Ycart/mel/sr/node19.html 5/5