Siano dati gli infinitesimi (in x0) f(x) e g(x) non identicamente nulli intorno a tale punto. Se f(x) è di ordine α rispetto a g(x):
In tale ipotesi poniamo
Riesce
ccosicché ε(x) è un infinitesimo (in x0). Da ciò segue che la funzione
è un infinitesimo di ordine maggiore di α rispetto a g(x). Infatti:
Tenendo conto della formula che definisce ε(x):
da cui
Abbiamo così ricavato la formula di decomposizione di un infinitesimo. Sussiste la definizione
In particolare se g(x) è l'infinitesimo di riferimento u(x), la formula di decomposizione diventa:
Proposizione
La parte principale di un infinitesimo di ordine α è a sua volta un infinitesimo di ordine α. Dimostrazione
Segue immediatamente dalla definizione di parte principale. (altro…)