Eine Identität, die kumulative Summen über Teiler (oder allgemein über ein lokal endliches Poset) mittels der Möbius-Funktion des Teilerritters oder der Inzidenzalgebra invertiert, sodass man eine arithmetische oder Inzidenzfunktion aus ihrer Teiler-Summentransform zurückgewinnen kann.

Prinzip

Die Möbius-Funktion ist das Inverse der Zeta‑(Summations)funktion unter der Dirichlet‑Faltung (oder Inzidenzalgebra‑Faltung); Faltung mit der Möbius-Funktion hebt die Wirkung der Summation über kleinere Elemente auf.

Demonstration

Zahlentheoretisches Beispiel: Ist F(n) = Σ_{d|n} f(d), dann gilt f(n) = Σ_{d|n} μ(d) F(n/d), wobei μ die zahlentheoretische Möbius-Funktion ist; kombinatorisches Beispiel: Wiederherstellen einer Funktion auf einem Poset aus ihren kumulierten Werten durch Poset‑Möbius‑Inversion.

Fehlanwendung

Möbius-Inversion anwenden, ohne zu prüfen, dass die Summationsindizes ein Gitter oder ein lokal endliches Poset bilden, oder die zahlentheoretische μ verwenden, wenn die Inzidenz‑Möbius-Funktion erforderlich ist; auch problematisch bei divergenten unendlichen Summen.

Konsequenz

Ermöglicht die explizite Inversion von Teiler­summen und Inzidenz­summierungen, grundlegend für Identitäten, Zählformeln und das Isolieren primitiver Beiträge (z. B. Trennung multiplikativer Struktur von kumulativen Daten).

Umkehrung

Die Vorwärtsoperation ist die Summation durch die Zeta‑Funktion (kumulative Summe über Teiler oder Ordnungsideale); diese anzuwenden anstatt μ ergibt die aggregierte Funktion aus einer Grundfunktion.

Abgrenzung

Gilt für arithmetische Funktionen auf den positiven ganzen Zahlen mit Teilbarkeit und allgemein für Funktionen auf lokal endlichen Posets mit definierter Möbius‑Funktion; nicht direkt anwendbar, wenn das Poset nicht lokal endlich ist oder analytische Fortsetzung benötigt wird.

Semantische Spannung

Unterscheidet sich von analytischen Inversionsverfahren (Mellin, Laplace) und von naiver termweisen Subtraktion: Möbius-Inversion ist kombinatorisch/algebraisch und abhängig von Inzidenzstruktur, was Spannungen erzeugt, wenn sowohl analytische als auch kombinatorische Inversionen möglich sind.

Synthese

Möbius-Inversion ist das algebraische Verfahren, das Summations‑Transforms über Teiler oder Ordnungen invertiert: Durch Faltung mit der Möbius‑Funktion gewinnt man lokale oder primitive Werte aus aggregierten Daten, vorausgesetzt die Inzidenzstruktur besitzt ein Möbius‑Inverse.