Théorème de composition des limites

En mathématiques, le théorème de composition des limites est un théorème de base de l'analyse réelle. Il permet d'exprimer une limite d'une fonction composée, connaissant les limites des fonctions la composant.

Énoncé[modifier | modifier le code]

Le théorème ci-dessous est souvent énoncé en se restreignant au cas où les ensembles $A$ et $B$ sont des intervalles. Dans ce cas, dire que $a$ est adhérent à $A$ signifie simplement que $A$ est non vide et que $a$ est l'une de ses deux extrémités ou l'un de ses éléments.

Soient $A$ et $B$ deux parties de $\mathbb {R}$ , $f:A\to B$ et $g:B\to \mathbb {R}$ deux applications, et $a,b,c$ trois points de la droite réelle achevée ${\overline {\mathbb {R} }}=\mathbb {R} \cup \{-\infty ,+\infty \}$ , avec $a$ adhérent à $A$ .
${\text{Si}}\quad \lim _{x\to a}f(x)=b\quad {\text{et}}\quad \lim _{y\to b}g(y)=c,\quad {\text{alors}}\quad \lim _{x\to a}(g\circ f)(x)=c.$

En particulier : si $(y_{n})$ est une suite à valeurs dans $B$ et de limite $b$ et si $\lim _{y\to b}g(y)=c$ , alors la suite $(g(y_{n}))$ admet $c$ pour limite.

Plus généralement, on a les mêmes implications lorsque $a,b,c$ appartiennent respectivement à trois espaces topologiques $X,Y,Z$ avec $A\subset X$ , $B\subset Y$ , $f:A\to B$ , $g:B\to Z$ et $a\in {\overline {A}}$ .