For functions ff and g>0g>0 on a punctured right neighborhood of zero, f(ε)=o(g(ε))f(\varepsilon)=o(g(\varepsilon)) as ε0\varepsilon\downarrow0 means the following vanishes:

limε0f(ε)g(ε)=0.\lim_{\varepsilon\downarrow0}\frac{f(\varepsilon)}{g(\varepsilon)}=0.

Equivalently, for every η>0\eta>0 there is δ>0\delta>0 such that f(ε)ηg(ε)|f(\varepsilon)|\le\eta g(\varepsilon) for 0<ε<δ0<\varepsilon<\delta. A norm replaces absolute value for vector-valued quantities.

Comparison with a bounded ratio

Little-o implies , but not conversely: ε2=o(ε)\varepsilon^2=o(\varepsilon), while ε\varepsilon is not o(ε)o(\varepsilon). A uniform little-o statement requires one δ\delta for all values of every parameter declared uniform.

References