Limite à gauche. Limite à droite.

On considère la fonction f f définie sur { 1 } setR - lbrace 1 rbrace par f ( x ) = 2 1 x f(x)= 2 over {1-x} .

Au voisinage du point 1,  f f prend des valeurs très grandes en valeur absolue, positives pour  x < 1 x<1 et négatives pour x > 1 x>1 f f n'a donc pas de limite en 1.

Cependant la fonction f 1 f_1 définie sur I = ] 1 ; + [ I = left ] 1 nitalic ;+infinity right[ par : f 1 ( x ) = 2 1 x f_1(x)= 2 over {1-x} , qui est la restriction de  f f à  I I (ou à droite), tend vers - infinity lorsque  x x tend vers 1. On dit que - infinity est la limite à droite en 1 de la fonction  f f .

On écrit : lim x 1 x > 1 f ( x ) = lim from {matrix {x toward {1}## x>1}} f(x) = - infinity ou encore lim x 1 + f ( x ) = lim from {x toward 1^{{}+{}}} f(x) = - infinity

On peut donc dire que la droite d'équation x = 1 x=1 est asymptote à la courbe.

On définit de même la limite à gauche en 1 :

On écrit : lim x 1 x < 1 f ( x ) = + lim from {matrix {x toward {1}## x<1}} f(x) = + infinity ou encore lim x 1 f ( x ) = + lim from {x toward 1^{{}-{}}} f(x) = + infinity

De même, la droite d'équation x = 1 x=1 est asymptote à la courbe.

Définition

l l désigne un réel fixé, + + infinity ou - infinity . On dit que  l l est la limite à gauche [respectivement à droite] de  f f au point a a si et seulement si :

ε > 0 , η > 0 / η x a 0 | f ( x ) l | ε forall %varepsilon > 0, ` exists %eta > 0 / ` - %eta<=x-a<=0 `drarrow` abs{f(x)-l} <= %varepsilon

[respectivement : ε > 0 , η > 0 / 0 x a η | f ( x ) l | ε forall %varepsilon > 0, ` exists %eta > 0 / ` 0<=x-a<=%eta `drarrow` abs{f(x)-l} <= %varepsilon ]

On écrit : lim x a x < a f ( x ) = l lim from {matrix {x toward {a}## x<a}} f(x) = l ou lim x a f ( x ) = l lim from {x toward a^{{}-{}}} f(x) = l la limite à gauche

Et lim x a x > a f ( x ) = l lim from {matrix {x toward {a}## x>a}} f(x) = l ou lim x a + f ( x ) = l lim from {x toward a^{{}+{}}} f(x) = l la limite à droite.

Fondamental

Si une fonction  f f admet au point  a a une limite à gauche  l g l_g et une limite à droite l d l_d telles que l g = l d = l l_g=l_d=l , alors f f admet une limite  l l en a a

Contre-exemple : Soit la fonction  f f définie sur setR par :  { f ( x ) = 2 pour x < 1 f ( x ) = 3 pour x 1 left lbrace matrix{ f(x)=2 ~"pour" x<1 ##f(x)=3 ~"pour" x>=1 } right none

f f n'a pas la limite de en 1 (Voir exemple 1.2.2 ).

On peut écrire cependant : lim x 1 + f ( x ) = 3 lim from {x toward 1^{{}+{}}} f(x) = 3 et lim x 1 f ( x ) = 2 lim from {x toward 1^{{}-{}}} f(x) = 2