Möbius inversion formula

related topics
{math, number, function}
{language, word, form}

In mathematics, the classic Möbius inversion formula was introduced into number theory during the 19th century by August Ferdinand Möbius.

Other Möbius inversion formulas are obtained when different local finite partially ordered sets replace the classic case of the natural numbers ordered by divisibility; for an account of those, see incidence algebra.

Contents

Statement of the formula

The classic version states that if g(n) and f(n) are arithmetic functions satisfying

then

where μ is the Möbius function and the sums extend over all positive divisors d of n. In effect, the original f(n) can be determined given g(n) by using the inversion formula. The two sequences are said to be Möbius transforms of each other.

The formula is also correct if f and g are functions from the positive integers into some abelian group (viewed as a Z-module).

In the language of Dirichlet convolutions , the first formula may be written as

where * denotes the Dirichlet convolution, and 1 is the constant function 1(n) = 1. The second formula is then written as

Many specific examples are given in the article on multiplicative functions.

Repeated transformations

Given an arithmetic function, one can generate a bi-infinite sequence of other arithmetic functions by repeatedly applying the first summation.

For example, if one starts with Euler's totient function φ, and repeatedly applies the transformation process, one obtains:

If the starting function is the Möbius function itself, the list of functions is:

Both of these lists of functions extend infinitely in both directions. The Möbius inversion formula enables these lists to be traversed backwards. The generated sequences can perhaps be more easily understood by considering the corresponding Dirichlet series: each repeated application of the transform corresponds to multiplication by the Riemann zeta function.

Generalizations

An equivalent formulation of the inversion formula more useful in combinatorics is as follows: suppose F(x) and G(x) are complex-valued functions defined on the interval [1,∞) such that

then

Here the sums extend over all positive integers n which are less than or equal to x.

Full article ▸

related documents
Burali-Forti paradox
PSPACE
Connected space
Twin prime
Principal ideal
ElGamal encryption
Fuzzy set
Floor and ceiling functions
Linear classifier
Discrete space
Enriched category
Initial and terminal objects
Entailment
Tuple
Monomorphism
Torsion subgroup
Fermat's little theorem
Triangle inequality
Euclidean domain
Harmonic series (mathematics)
Bounded set
String searching algorithm
Pre-Abelian category
Infinite product
Square-free integer
Elementary function
Coset
Combination
Banach algebra
Inverse element