## [Möbius-Umkehrformel](/de/node/61274) Definition 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 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 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 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 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 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 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 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 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.