Identité qui inverse les sommes cumulées sur les diviseurs (ou plus généralement sur un poset localement fini) au moyen de la fonction de Möbius du treillis des diviseurs ou de l'algèbre d'incidence, permettant de retrouver une fonction arithmétique ou d'incidence à partir de sa transformée par somme sur diviseurs.

Principe

La fonction de Möbius est l'inverse de la fonction zêta (sommation) pour la convolution de Dirichlet (ou la convolution de l'algèbre d'incidence) ; la convolution par Möbius annule l'effet de la sommation sur les éléments inférieurs.

Démonstration

Exemple arithmétique : si F(n) = Σ_{d|n} f(d) pour des fonctions arithmétiques f et F, alors f(n) = Σ_{d|n} μ(d) F(n/d), où μ est la fonction de Möbius arithmétique ; exemple combinatoire : retrouver une fonction sur un poset à partir de ses valeurs cumulées via l'inversion de Möbius du poset.

Mauvaise application

Appliquer l'inversion de Möbius sans vérifier que l'ensemble d'indices de sommation forme un treillis ou un poset localement fini, ou utiliser la μ arithmétique alors que le problème exige la fonction de Möbius d'une autre algèbre d'incidence ; l'appliquer quand les sommes infinies divergent.

Conséquence

Permet l'inversion explicite des sommes sur diviseurs et des sommes d'incidence, base de nombreuses identités, formules de comptage et de l'isolement des contributions primitives (séparer la structure multiplicative des données cumulées).

Inversion

L'opération directe est la sommation par la fonction zêta (somme cumulative sur diviseurs ou idéaux inférieurs) ; l'inverser—appliquer la zêta au lieu de μ—donne la fonction agrégée à partir d'une fonction de base.

Limite

Valable pour les fonctions arithmétiques sur les entiers positifs munis de la divisibilité et, plus généralement, pour des fonctions sur des posets localement finis possédant une fonction de Möbius ; non applicable quand le poset est infini sans finitude locale ou quand une prolongation analytique est nécessaire.

Tension sémantique

Se distingue des techniques d'inversion analytiques (Mellin, Laplace) et d'une simple soustraction terme à terme : l'inversion de Möbius est de nature combinatoire/algebrique et dépend de la structure d'incidence, créant une tension lorsque des inversions analytiques et combinatoires coexistent.

Synthèse

L'inversion de Möbius est l'outil algébrique qui inverse les transforms de sommation sur diviseurs ou ordres : en convoluant par la fonction de Möbius on récupère les valeurs locales ou primitives à partir de données agrégées, lorsque la structure d'incidence admet un inverse de Möbius.