  This paper contains a general theory for asymptotic expansions of type (*)
f(x)=a_1 phi_1(x)+...+a_n phi_n(x)+o(phi_n(x)), x tends to x_0, n>=3, where the
asymptotic scale phi_1(x)>>phi_2(x)>>...>>phi_n(x), x tends to x_0, is assumed
to be an extended complete Chebyshev system on a one-sided neighborhood of x_0.
"Factorizational theory" refers to proofs being based on various types of
factorizations of a differential operator associated to (phi_1,...,phi_n),
hence we preliminarly collect various results concerning the concept of
Chebyshev asymptotic scale, associated disconjugate operators and canonical
factorizations. Another guiding thread of our theory is the property of formal
differentiation and we aim at characterizing some n-tuples of asymptotic
expansions formed by (*) and (n-1) expansions obtained by formal applications
of suitable linear differential operators of orders 1,2,...,n-1. Our second
preliminary step will be that of discovering that the class of the operators
naturally associated to "canonical" factorizations seems to be the most
meaningful to be used in a context of formal differentiation. This gives rise
to conjectures whose proofs build an analytic theory of finite asymptotic
expansions in the real domain which, though not elementary, parallels the
familiar results about Taylor's formula. One of the results states that to each
scale of the type under consideration it remains associated an important class
of functions (namely that of generalized convex functions) enjoying the
property that the expansion (*), if valid, is automatically formally
differentiable (n-1) times in two special senses.
