Page d'accueil	encyclopedie-enligne.com en page d'accueil
Liste Articles: [0-A] [A-C] [C-F] [F-J] [J-M] [M-P] [P-S] [S-Z] \| Liste Catégories \| Une page au hasard \| Pages liées

Formule d'inversion de Möbius

La formule d'inversion de Möbius classique a été introduite dans la théorie des nombres au cours du XIXe siècle par August Ferdinand Möbius . Elle a été généralisée plus tard à d'autres « formules d'inversion de Möbius »; voir l'algèbre d'incidence. La version classique déclare que si f et g sont des fonctions arithmétiques vérifiant

$\forall n\in \mathbb{N}^* \quad g(n)=\sum_{d\mid n}f(d)$

alors

$\forall n\in \mathbb{N}^* \quad f(n)=\sum_{d\mid n}g(d)\mu(n/d)$

où μ est la fonction de Möbius et les sommes portent sur tous les diviseurs positifs d de n. La formule reste valable si f et g sont des fonctions définies sur l'ensemble des entiers naturels non nuls à valeurs dans un certain groupe abélien.

En utilisant la convolution (voir fonction multiplicative), la formule d'inversion peut également s'écrire

μ * 1 = ε (en fait μ * 1 * f = f)

où 1 est la fonction constante prenant la valeur 1, et ε est la fonction telle que ε(1)=1 et pour tout n≠1, ε(n)=0.

Une formulation équivalente de la formule d'inversion plus utile en combinatoire s'énonce ainsi :

si F et G sont des fonctions définies sur l'intervalle [1, +∞[ de ℝ à valeurs complexes vérifiant

$\forall x\ge 1 \quad G(x) = \sum_{1 \le n \le x}F(x/n)$

alors

$\forall x\ge 1 \quad F(x) = \sum_{1 \le n \le x}\mu(n)G(x/n)$

Ici les sommes portent sur des entiers naturels non nuls qui sont inférieurs ou égaux à x.

La formule d'inversion de Möbius donnée ci-dessus est la formule d'inversion originale de Möbius. Lorsque l'ensemble partiellement ordonné des nombres entiers muni de la relation de divisibilité est remplacé par d'autres ensembles partiellement ordonnés localement finis, nous obtenons d'autres formules d'inversion de Möbius; pour avoir un aperçu, voir l'algèbre d'incidence.

Voyez également

August Ferdinand Möbius.

Catégories: Théorie des nombres

This site support the Wikimedia Foundation. This Article originally from Wikipedia. All text is available under the terms of the