Möbiusinversie

In de wiskunde is de Möbius-inversie een relatie tussen paren rekenkundige functies gedefinieerd door sommen over delers. De inversie is in 1832 door August Ferdinand Möbius in de getaltheorie ingevoerd.

Een grote veralgemening van deze formule is van toepassing op de sommatie over een willekeurige lokaal eindige, partieel geordende verzameling, waarbij de klassieke formule van Möbius van toepassing is op de verzameling van natuurlijke getallen geordend op deelbaarheid.

Stelling

De klassieke versie stelt dat als $g$ en $f$ rekenkundige functies zijn die voldoen aan

$g(n)=\sum _{d\mid n}f(d)\quad$ voor ieder geheel getal $n\geq 1$

Dan

$f(n)=\sum _{d\mid n}\mu (d)g\left({\frac {n}{d}}\right)\quad$ voor ieder geheel getal $n\geq 1$

waarbij $\mu$ de möbiusfunctie is en de sommen gaan over alle positieve delers $d$ van $n$, aangegeven door $d\mid n$ in de bovenstaande formules. In feite kan de oorspronkelijke $f(n)$ gegeven $g(n)$ worden bepaald door gebruik te maken van de inversieformule. Er wordt gezegd dat de twee sequenties möbius-transformaties van elkaar zijn.

De formule is ook correct als $f$ en $g$ functies zijn van de positieve gehele getallen in een abelse groep, gezien als een ℤ-module.

Met behulp van de dirichlet-convolutie kan de eerste formule worden geschreven als

$g={\mathit {1}}*f$

waarbij $*$ de dirichlet-convolutie aangeeft en $1$, de constante functie $1(n)=1$, is. De tweede formule wordt dan geschreven als

$f=\mu *g$