Opérations sur les limites

La notion de limite se combine avec les opérations sur les fonctions comme on l'attend. Nous énoncerons les résultats dans le théorème 2. Ils peuvent se déduire des résultats analogues sur les suites numériques, via le théorème 1. Nous conseillons au lecteur de le vérifier, puis de comparer cette approche avec les démonstrations directes qui suivent. Elles sont basées sur le lemme suivant.

Lemme 1 Soit un réel. Soient et deux fonctions de $\mathbb{R}$ dans $\mathbb{R}$ , définies au voisinage de , sauf peut-être en .

Si

$\displaystyle \lim_{x\rightarrow a}f(x)=\lim_{x\rightarrow a}g(x)=0$
alors

$\displaystyle \lim_{x\rightarrow a}(f+g)(x)=0$
Si est bornée au voisinage de et

$\displaystyle \lim_{x\rightarrow a}g(x)=0\;,$
alors

$\displaystyle \lim_{x\rightarrow a}(fg)(x)=0$

Démonstration :

Fixons $\varepsilon >0$ . Soit $\eta_1$ tel que pour $0<\vert x-a\vert\leqslant \eta_1$ , $\vert f(x)\vert\leqslant \varepsilon /2$ . De même, soit $\eta_2$ tel que pour $0<\vert x-a\vert\leqslant \eta_2$ , $\vert g(x)\vert<\varepsilon /2$ . Alors, pour $0<\vert x-a\vert\leqslant\min\{\eta_1,\eta_2\}$ ,

$\displaystyle \vert(f+g)(x)\vert = \vert f(x)+g(x)\vert\leqslant \vert f(x)\ver... ...)\vert\leqslant \frac{\varepsilon }{2}+\frac{\varepsilon }{2}=\varepsilon \;,$
d'où le résultat.
Soit $\eta_1$ et deux réels tels que

$\displaystyle \forall x\in [a-\eta_1,a+\eta_1]\;,\quad \vert f(x)\vert\leqslant M\;.$
Fixons $\varepsilon >0$ . Soit $\eta_2$ tel que pour $0<\vert x-a\vert\leqslant \eta_2$ , $\vert g(x)\vert\leqslant \varepsilon /M$ . Alors, pour $0<\vert x-a\vert\leqslant\min\{\eta_1,\eta_2\}$ ,

$\displaystyle \vert(fg)(x)\vert = \vert f(x)\vert \vert g(x)\vert\leqslant M \frac{\varepsilon }{M}=\varepsilon \;,$
d'où le résultat.

$\square$

Théorème 2 Soit un réel. Soient et deux fonctions de $\mathbb{R}$ dans $\mathbb{R}$ , définies sur un intervalle ouvert autour de .

Si

$\displaystyle \lim_{x\rightarrow a} f(x) = l$ et $\displaystyle \quad\lim_{x\rightarrow a}g(x)=l'$
alors

$\displaystyle \lim_{x\rightarrow a}(f+g)(x)=l+l'$
Si

$\displaystyle \lim_{x\rightarrow a} f(x) = l$ et $\displaystyle \quad\lim_{x\rightarrow a}g(x)=l'$
alors

$\displaystyle \lim_{x\rightarrow a}(fg)(x)=ll'$

Démonstration : Pour nous ramener au lemme 1, observons d'abord que

tend vers

quand

tend vers

, si et seulement si

tend vers 0.

Quand tend vers , tend vers et tend vers , donc et tendent vers 0. Donc

$\displaystyle f(x)-l+g(x)-l'=(f+g)(x)-(l+l')$
tend vers 0 d'après le point 1. du lemme 1. D'où le résultat.
Nous voulons montrer que tend vers 0. Ecrivons :

$\displaystyle f(x)g(x)-ll'=f(x)(g(x)-l')+(f(x)-l)l'\;.$
Il suffit de montrer séparément que les deux fonctions et tendent vers 0, d'après le premier point du lemme 1. Mais chacune de ces deux fonctions est le produit d'une fonction convergeant vers 0 par une fonction bornée au voisinage de 0 ( est bornée au voisinage de 0 car elle converge). D'où le résultat, par le point 2. du lemme 1.

$\square$ Si une application est constante, sa limite en tout point est égale à cette constante. Comme cas particulier du théorème 2, si

tend vers

quand

tend vers

, et $\lambda$ est un réel quelconque, alors la limite en

de $\lambda f(x)$ est $\lambda l$ .

Le résultat attendu sur la composition des limites se vérifie, à un détail près.

Théorème 3 Soient et deux réels. Soit et deux fonctions définies respectivement au voisinage de et au voisinage de , étant définie en . On suppose :

$\displaystyle \lim_{x\rightarrow a} f(x)=b$ et $\displaystyle \quad \lim_{y\rightarrow b} g(y)=g(b)\;.$

Alors

$\displaystyle \lim_{x\rightarrow a} g\circ f(x)=g(b)\;.$

Démonstration : Soit $\varepsilon$ un réel strictement positif. Il existe $\eta_1>0$ tel que

$\displaystyle \vert y-b\vert\leqslant \eta_1\;\Longrightarrow \vert g(y)-g(b)\vert\leqslant\varepsilon$

Il existe $\eta_2$ tel que

$\displaystyle 0<\vert x-a\vert\leqslant \eta_2\;\Longrightarrow \vert f(x)-b\vert\leqslant\eta_1$

Donc :

$\displaystyle 0<\vert x-a\vert\leqslant \eta_2\;\Longrightarrow \vert g(f(x))-g(b)\vert\leqslant\varepsilon$

$\square$