Définition

Définition

Soit f : E F f nitalic : E toward F une fonction définie au voisinage du réel a a .

S'il existe ( n + 1 ) (n+1) constantes a 0 , a 1 , , a n a_0, a_1,dotsaxis,a_n telles que , pour tout élément x a x<>a de E E , on puisse écrire

f ( x ) = a 0 + a 1 ( x a ) + + a n ( x a ) n + ( x a ) n ε ( x ) f(x)=a_0 + a_1(x-a)+ dotsaxis + a_n(x-a)^n + (x-a)^n %varepsilon(x)

ε %varepsilon est une fonction de E E dans setR vérifiant lim x a ε ( x ) = 0 lim from {x toward a} %varepsilon(x) = 0 , on dit que l'égalité ci-dessus est un développement limité d'ordre n n de la fonction f f autour de a a (ou en a a ), souvent abrégé en DL n ( a ) DL_n(a) .

D'une manière générale, la fonction ε %varepsilon dépend aussi du nombre réel a a .

La fonction polynomiale a 0 + a 1 ( x a ) + + a n ( x a ) n a_0 + a_1(x-a)+ dotsaxis + a_n(x-a)^n est appelée partie principale (ou régulière) du développement limité, tandis que le terme ( x a ) n ε ( x ) (x-a)^n %varepsilon(x) est appelé reste d'ordre n n du développement limité.