Multiplikative arithmetische Funktion μ(n) mit Werten in {−1,0,1}: μ(n)=0, falls n durch das Quadrat einer Primzahl teilbar ist, sonst μ(n)= (−1)^{r} wobei r die Anzahl der verschiedenen Primteiler von n ist.

Prinzip

μ ist multiplikativ und das Dirichlet-Inverse der konstanten Funktion 1: (μ * 1)(n) = ε(n) (die Identität bzgl. Dirichlet-Faltung). Sie kodiert Quadratfreiheit und die Parität der Primteileranzahl und bildet die Grundlage der Möbius-Inversionsformeln, die kumulative Summen in Punktwerte zurückverwandeln.

Demonstration

Beispiel: μ(30) = μ(2·3·5) = (−1)^3 = −1, da 30 quadratfrei mit drei verschiedenen Primfaktoren ist; μ(12) = 0, weil 12 durch 2^2 teilbar ist. Möbius-Inversion: wenn F(n)=∑_{d|n} f(d), dann f(n)=∑_{d|n} μ(d) F(n/d).

Fehlanwendung

μ so verwenden, als sei sie multiplikativ auf nichtpositiven ganzen Zahlen, μ(n)=0 nicht setzen für Zahlen mit quadratischen Primfaktoren, oder Inversion anwenden ohne die Summationsbereiche zu prüfen, sind typische Fehlanwendungen.

Konsequenz

μ liefert das Möbius-Inversionsprinzip, das arithmetische Funktionen aus ihren Teilersummen rekonstruiert, ist zentral in der multiplikativen Zahlentheorie und tritt in analytischen Aussagen (Mertens-Funktion, Beziehungen zur Riemannschen Zetafunktion) auf, welche tiefe Verteilungen über Primzahlen und quadratfreie Zahlen betreffen.

Umkehrung

Der Betrag |μ(n)| ist die Indikatorfunktion der quadratfreien Zahlen (1 für quadratfrei, 0 sonst); im Gegensatz dazu steht die Liouville-Funktion λ(n) = (−1)^{Ω(n)}, die von der Gesamtanzahl der Primfaktoren mit Vielfachheit abhängt und sich daher bei Zahlen mit wiederholten Faktoren unterscheidet.

Abgrenzung

Definiert nur für positive ganze Zahlen n; ihre Multiplikativität und Inversionseigenschaften beruhen auf der Arithmetik der ganzen Zahlen. Eine Erweiterung von μ auf andere algebraische Strukturen erfordert eine sorgfältige Neudefinition. Statistische Eigenschaften (z. B. Vorzeichenverteilung von μ) sind Gegenstand tiefgreifender Vermutungen und nicht vollständig geklärt.

Semantische Spannung

Es besteht Spannung zwischen μ und λ (Liouville), wenn Parität der verschiedenen Primfaktoren gegen deren Vielfachheit abgewogen wird, und zwischen der Verwendung von μ als kombinatorischem Inversionswerkzeug und ihrer Sicht als 'zufälliges' Vorzeichen in analytischen Heuristiken; diese Sichten führen zu unterschiedlichen Betonungen und Vermutungen.

Synthese

Die Möbiusfunktion ist ein kompaktes multiplikatives Invariant, das Quadratfreiheit und die Parität der verschiedenen Primteiler detektiert; als Dirichlet-Inverses von 1 ermöglicht sie Möbius-Inversion und verbindet kombinatorische Identitäten mit analytischen Fragestellungen der Zahlentheorie.