[Math] topology on growth rates of functions

ca.classical-analysis-and-odesgn.general-topology

I've often idly wondered one can say about the collection of "growth rates". By growth rate, let's say we mean an equivalence class of functions (0,infty) \to (0,\infty), where two functions f_1,f_2 are equivalent if f_1/f_2 and f_2/f_1 are bounded away from 0 and infinity. You can add, and multiply them, and they form a poset under the pordering where f_1 <= f_2 if f_1/f_2 is bounded above.

So, in loose terms, does the sequence xlog(1+x), xlog(log(10+x)), xlog(log(log(100+x))), … converge to x in some natural way? With a little thought you can construct a growth rate which is strictly greater than x and strictly less than all growth rates in that sequence, so it probably no. Still is there any sort of natural "topology"? Can you find a directed set of growth rates which are linearly ordered, and eventually smaller than anything larger than x?

There's probably a better way to look at this (which is why I ask). =)

Best Answer

You might want to look at the theory of Hardy fields.

These are fields of germs of functions at a neighborhood of infinity closed under differentiation.

The classical reference is Hardy's book "Orders of infinity". You may also want to look at the works of Maxwell Rosenlicht. While Hardy's book dates back to the 1920's, Rosenlicht works are from the 1980's and you can found them through mathscinet.