Möbius inversion formula: Difference between revisions
m modify zh: |
Madmath789 (talk | contribs) added generalisation to multiplicative version |
||
Line 40: | Line 40: | ||
Both of these lists of functions extend infinitely in both directions. The Möbius Inversion formula enables these lists to be traversed backwards. |
Both of these lists of functions extend infinitely in both directions. The Möbius Inversion formula enables these lists to be traversed backwards. |
||
==Generalisations== |
|||
There is also a multiplicative version of the Möbius inversion formula, which can be proved by an exactly similar proof, and which holds in abelian groups: |
|||
: <math>\mbox{If } F(n) = \prod_{d|n} f(d),\mbox{ then } f(n) = \prod_{d|n} F(n/d)^{\mu(n/d)}.</math> |
|||
==Physics== |
==Physics== |
Revision as of 12:16, 21 June 2006
The classic Möbius inversion formula was introduced into number theory during the 19th century by August Ferdinand Möbius. It was later generalized to other "Möbius inversion formulas"; see incidence algebra. 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.
In the language of convolutions (see multiplicative function and Dirichlet convolution), the inversion formula can also be expressed as
- μ * 1 = ε.
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.
The Möbius inversion treated above is the original Möbius inversion. When the partially ordered set of natural numbers ordered by divisibility one is replaced by other locally finite partially ordered sets, one has other Möbius inversion formulas; for an account of those, see incidence algebra.
Common functions
A series of functions on the positive integers can be defined by the transform in the first equation above. If one starts with Euler's totient function and repeatedly apply the transformation process, the following functions are the result:
- (1) Totient function
- (2) identity function
- (3) Divisor function
If the starting function is the Möbius function itself, the list of functions is:
- (1) Möbius function
- (2) the unit function, also written as u(n)
- (3) constant function 1
- (4) (number of divisors of n, see Divisor function)
Both of these lists of functions extend infinitely in both directions. The Möbius Inversion formula enables these lists to be traversed backwards.
Generalisations
There is also a multiplicative version of the Möbius inversion formula, which can be proved by an exactly similar proof, and which holds in abelian groups:
Physics
Physicists have shown that the Möbius inversion formula can, in the context of a theory with a logarithmic spectrum, be obtained by means of supersymmetry and a Witten index calculation.