Limite réelle (finie) en a

Définition

f f est une fonction définie sur  I I sauf peut-être au point a a . Dire que  f ( x ) f(x) tend vers l l lorsque  x x tend vers a a signifie que tout voisinage de  l l contient toutes les valeurs de f ( x ) f(x) pour  x x assez voisin de a a .

On écrit : lim x a f ( x ) = l lim from {x toward a} f(x) = l ou f ( x ) l x a matrix {f(x) toward l## size 10 {x toward a}}

Autrement dit :

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

Remarque

si  f f est définie en  a a et si la limite de  f f existe alors lim x a f ( x ) = f ( a ) lim from {x toward a} f(x) = f(a) .

Exemple

Chercher la limite en a = 1 a=1 de f : x x 2 + x 2 x 1 f ` nitalic : ` x toward {x^2+x-2}over{x-1} définie sur D = ] ; 1 [ ] 1 ; + [ D = left ]- infinity nitalic ; 1 right [ union left ]1 nitalic ; +infinity right[

On a : x 2 + x 2 = ( x 1 ) ( x + 2 ) x^2+x-2=(x-1)(x+2)

donc, pour x 1 x<>1 , on a : f ( x ) = x + 2 f(x)=x+2 et | f ( x ) 3 | = | x 1 | abs{f(x)-3}= abs{x-1}

donc ε > 0 , η ( = ε ) / x D , | x 1 | η | f ( x ) 3 | = | x 1 | ε forall %varepsilon > 0 ,` exists %eta ({} = %varepsilon)/ forall x in D,` abs{x-1} <= %eta `drarrow` abs{f(x)-3} =abs{x-1} <= %varepsilon

on en déduit : lim x 1 f ( x ) = 3 lim from {x toward 1} f(x) = 3

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 ( 1 ) = 3 f(1)=3 , mais  3 3 n'est pas la limite de  f f en 1, en effet l'intervalle J = ] 2,5 ; 3,5 [ J = left ] 2,5 nitalic ; 3,5 right [ , contenant 3 3 ne contient pas toutes les valeurs de f ( x ) f(x) pour x x voisin de 1 1 : f ( 0,99 ) = 2 f(0,99)=2 et 2 J 2 notin J