La plupart des résultats de cette partie étant relativement faciles à établir à partir des résultats précédents ou par des méthodes similaires, les théorèmes seront généralement énoncés sans preuve.
Les développements limités sont limités au cas de fonctions admettant une limite en ; on aimerait pouvoir manier des fonctions tendant vers l'infini, en les approchant par des fractions rationnelles au lieu de les approcher par des polynômes, par exemple.
Pour cela on étend les notations , et à des fonctions non nécéssairement définies continues en , et peut désormais être ou .
On dira que , si est inférieure en module à pour une certaine constante et sur un certain voisinage de .
On dira que si pour tout positif, est inférieure en module à
sur un certain voisinage
(dépendant de bien sûr) de .
On dira que si .
De nombreuses propriétés restent valables ou s'étendent :
et impliquent
et non nul au voisinage impliquent
si et si est continue en , alors implique
.
Définition
On appelle échelle de comparaison au voisinage de 1.1 une famille d'applications définies au voisinage de , non équivalentes à 0, et totalement ordonné par .
Exemples:Les monômes pour
constituent une échelle de comparaison au voisinage de l'infini.
Les monômes pour
constituent une échelle de comparaison au voisinage de zéro.
Mais on peut faire plus fin:
Les monômes pour
constituent une échelle de comparaison au voisinage de l'infini.
Les monômes pour
constituent une échelle de comparaison au voisinage de zéro.
Les
constituent une échelle de comparaison (ordonnée par l'ordre lexicographique sur
) au voisinage de
Les
ne constituent PAS une échelle de comparaison, car par exemple (!) et ne sont pas ordonnée pour !
Les
pour
constituent une échelle de comparaison, ordonnée par l'ordre lexicographique sur les coefficients de par ordre décroissant puis le coefficient (attention, il s'agit d'un ordre lexicographique sur des suites pouvant avoir un nombre de termes arbitrairement grand...) au voisinage de .
Avec
, les
1.2 forment une échelle de comparaison au voisinage de .
Toujours au voisinage de , la famille des
forme aussi une échelle de comparaison. L'exponentielle l'emporte sur les puissances qui l'emportent sur les logarithmes.
Définition
On se donne une application d'une partie de
dans
, et appartenant à l'adhérence de dans
, et on se donne une échelle de comparaison au voisinage de .
On dit que admet un développement asymptotique pour l'échelle à la précision avec un élément de s'il existe une famille de réels presque tous nuls1.3 tels que