Citizendium - a community developing a quality comprehensive compendium of knowledge, online and free. Click here to join and contribute—free
CZ thanks our previous donors. Donate here. Treasurer's Financial Report -- Thanks to our content contributors. --

Little o notation

From Citizendium, the Citizens' Compendium

Jump to: navigation, search
This article is a stub and thus not approved.
Main Article
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
This editable Main Article is under development and not meant to be cited; by editing it you can help to improve it towards a future approved, citable version. These unapproved articles are subject to a disclaimer.

The little o notation is a mathematical notation which indicates that the decay (respectively, growth) rate of a certain function or sequence is faster (respectively, slower) than that of another function or sequence. It is often used in particular applications in physics, computer science, engineering and other applied sciences.

More formally, if f and g are real valued functions of the real numbers then the notation f(t)=o(g(t)) indicates that for every real number \epsilon>0 there exists a positive real number T(\epsilon) (note the dependence of T on \epsilon) such that |f(t)|\leq \epsilon |g(t)| for all t>T(\epsilon).

When the function g does not vanish this may be rewritten simply as

 \lim_{t\to\infty} \frac{f(t)}{g(t)} = 0.

Similarly, if a_n and b_n are two numerical sequences then a_n=O(b_n) means that for any \varepsilon>0 and n big enough one has |a_n|\leq \epsilon |b_n| (in case when b_n is not zero, this means the limit of the fraction a_n/b_n vanishes in the limit).

The little o notation is also often used to indicate that the absolute value of a real valued function goes to zero around some point at a rate faster than at which the absolute value of another function goes to zero at the same point. For example, suppose that f is a function with f(t_0)=0 for some real number t_0. Then the notation f(t)=o(g(t-t_0)), where g(t) is a function which is continuous at t=0 and with g(0)=0, denotes that for every real number \epsilon>0 there exists a neighbourhood N(\epsilon) of t_0 such that |f(t)|\leq \epsilon |g(t-t_0)| holds on N(\epsilon).

See also

Big O notation

Personal tools