Fonction de Möbius
Un article de Wikipédia, l'encyclopédie libre.
En mathématiques, la fonction de Möbius, notée est une fonction multiplicative d'arithmétique modulaire utilisée en théorie algébrique des nombres et en combinatoire. Elle fut introduite en 1831 par le mathématicien allemand August Ferdinand Möbius.
Sommaire |
[modifier] Définition
La fonction de Möbius est définie pour tous les entiers naturels strictement positifs par :
- si est le produit de nombres premiers distincts
- si n contient un facteur carré.
Par exemple :
- , donc
- est premier, donc
- , donc
La fonction de Möbius peut également être définie comme suit :
Soit un entier strictement positif. On note le nombre de décompositions de en un nombre pair de facteurs (autres que le facteur 1) et le nombre de décompositions de en un nombre impair de facteurs, y compris la décomposition triviale (dans les deux cas, l'ordre des facteurs est pris en compte). On conviendra que et que .
Par exemple, pour , on a :
donc et :
donc .
La fonction de Möbius vérifie alors
Graphe représentant les 50 premières valeurs de la fonction:
La fonction de Möbius peut également être définie comme suit :
- μ(n) est la somme des racines primitives n − èmes de l'unité.
[modifier] Propriétés et applications
La fonction de Möbius est multiplicative : lorsque et sont premiers entre eux. La somme des valeurs de la fonction de Möbius sur tous les diviseurs positifs de est nulle, sauf si :
Ce qui est une conséquence du fait que tout ensemble fini non vide a autant de sous-ensembles avec un nombre pair d'éléments que de sous-ensembles avec un nombre impair d'éléments. Ce résultat joue un rôle essentiel dans la Formule d'inversion de Möbius.
La fonction de Möbius est également liée, en combinatoire, avec le théorème de Pólya sur les groupes et les énumérations combinatoires.
En théorie des nombres, la fonction de Mertens est très proche de celle de Möbius. Elle est définie par :
pour tout entier naturel . Cette fonction est liée avec la position des racines de la fonction zêta de Riemann.
[modifier] Sections μ(n)
ssi est divisible par un carré. Les premiers nombres vérifiant cette propriété sont (suite A013929 de l'Encyclopédie électronique des suites entières) :
4, 8, 9, 12, 16, 18, 20, 24, 25, 27, 28, 32, 36, 40, 44, 45, 48, 49, 50, 52, 54, 56, 60, 63 ...
Si est premier, alors , mais la réciproque n'est pas vraie. Si est un nombre sphénique (c’est-à-dire produit de trois nombres premiers distincts), alors . Les premiers nombres sphéniques sont (suite A007304) :
30, 42, 66, 70, 78, 102, 105, 110, 114, 130, 138, 154, 165, 170, 174, 182, 186, 190, 195, 222,...
et les premiers nombres avec 5 facteurs premiers distincts sont (suite A046387) :
2310, 2730, 3570, 3990, 4290, 4830, 5610, 6006, 6090, 6270, 6510, 6630, 7410, 7590, 7770, 7854, 8610, 8778, 8970, 9030, 9282, 9570, 9690, ...
[modifier] Généralisation
En combinatoire, il est possible d'assigner à tout ensemble partiellement ordonné une algèbre d'incidence. Un membre de cette algèbre est la « fonction de Möbius » de l'ensemble. La fonction de Möbius classique traitée dans cet article est égale à la fonction de Möbius de l'ensemble des entiers positifs, ordonné selon leur divisibilité.