Eine explizite Inversionsformel auf dem Teilermengen-Poset, die die arithmetische Möbius-Funktion μ benutzt, um eine arithmetische Funktion aus ihrer Dirichlet-Faltung oder ihren aufsummierten Werten zu rekonstruieren: wenn F(n)=∑_{d|n} f(d), dann f(n)=∑_{d|n} μ(d)F(n/d).

Prinzip

Die Möbius-Funktion μ ist das Inverse der konstanten Einsfunktion bezüglich der Dirichlet-Faltung auf den positiven ganzen Zahlen; Summen über Teiler lassen sich daher durch Faltung mit μ invertieren.

Demonstration

Aus F(n)=∑_{d|n} f(d) folgt f(n)=∑_{d|n} μ(d)F(n/d). Beispielsweise erhält man aus einer nach Teilern aufsummierten Zählfunktion durch Faltung mit μ wieder die ursprüngliche Zählfunktion f.

Fehlanwendung

Die Formel auf Summen anzuwenden, die nicht über das Teiler-Gitter laufen, auf Transformationen ohne definierte Möbius-Funktion oder Konvergenzbedingungen zu ignorieren führt zu falschen Inversen.

Konsequenz

Ermöglicht die exakte Rekonstruktion arithmetischer Funktionen aus kumulativen oder gefalteten Daten, erleichtert die Inversion multiplikativer Transformationen und begründet viele kombinatorische Einschluss–Ausschluss-Identitäten in der Zahlentheorie.

Umkehrung

Die Vorwärts-Transformation ist die Zeta-(Teilersummen-)Transformation F=ζ*f; Möbius-Inversion ist deren Inverses, das die aufsummierte Funktion in die punktweise Funktion zurückführt.

Abgrenzung

Gilt für Funktionen auf den positiven ganzen Zahlen geordnet durch Teilbarkeit (oder allgemein auf lokal endlichen Posets mit einer Möbius-Funktion); nicht ohne Anpassung anwendbar auf beliebige Ringe, kontinuierliche Integrale oder Posets ohne Möbius-Element.

Semantische Spannung

Wird oft mit anderen 'Möbius'-Begriffen verwechselt (Möbius-Transformation in der komplexen Analysis oder Möbius-Band) und mit allgemeiner Einschluss–Ausschluss-Logik; die zentrale Unterscheidung ist die algebraische Inversion bezüglich Dirichlet-Faltung bzw. Zeta-Transform.

Synthese

Möbius-Inversion ist der algebraische Mechanismus, der Teilersummen-Transformationen rückgängig macht: man betrachtet die Teilersummen als Zeta-Faltung und gewinnt die ursprüngliche arithmetische Funktion durch Faltung mit μ unter Einhaltung der notwendigen kombinatorischen und konvergenztechnischen Voraussetzungen.