Fonction de Möbius

Infos
En mathématiques, la fonction de Möbius, notée \mu(n)\, \! 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.
Fonction de Möbius

En mathématiques, la fonction de Möbius, notée \mu(n)\, \! 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.

Définition

La fonction de Möbius \mu(n)\, \! est définie pour tous les entiers naturels strictement positifs par :
-\mu(1)=1\, \!
-\mu(n)=(-1)^k\, \! si n\, \! est le produit de k\, \! nombres premiers distincts
-\mu(n)=0\, \! si n contient un facteur carré. Par exemple :
- 10=2\times 5\, \!, donc \mu(10)=1\, \!
- 11\, \! est premier, donc \mu(11)=-1\, \!
- 12=2^2\times 3\, \!, donc \mu(12)=0\, \! La fonction de Möbius peut également être définie comme suit : Soit n\, \! un entier strictement positif. On note \epsilon_0(n)\, \! le nombre de décompositions de n\, \! en un nombre pair de facteurs (autres que le facteur 1) et \epsilon_1(n)\, \! le nombre de décompositions de n\, \! en un nombre impair de facteurs, y compris la décomposition triviale n=n\, \! (dans les deux cas, l'ordre des facteurs est pris en compte). On conviendra que \epsilon_0(1)=1\, \! et que \epsilon_1(1)=0\, \!. Par exemple, pour n=12\, \!, on a : :12=2\times 6=3\times 4=4 \times 3=6\times 2\, \! donc \epsilon_0(12)=4\, \! et : :12=12=2\times 2\times 3=2\times 3\times 2=3\times 2\times 2\, \! donc \epsilon_1(12)=4\, \!. La fonction de Möbius vérifie alors \mu = \epsilon_0 - \epsilon_1\, \! Graphe représentant les 50 premières valeurs de la fonction: center La fonction de Möbius peut également être définie comme suit :
-\mu(n) est la somme des racines primitives n-èmes de l'unité.

Propriétés et applications

La fonction de Möbius est multiplicative : \mu(a\times b) = \mu(a)\times \mu(b)\, \! lorsque a\, \! et b\, \! sont premiers entre eux. La somme des valeurs de la fonction de Möbius sur tous les diviseurs positifs de n\, \! est nulle, sauf si n=1\, \! : :\sum_ \mu(d) = \left\\begin1&\mbox n=1\\ 0&\mbox n>1\end\right. 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 : :M(n) = \sum_1\le k \le n \mu(k) pour tout entier naturel n\, \!. Cette fonction est liée avec la position des racines de la fonction zeta de Riemann.

Sections μ(n)

\mu(n)=0\, \! ssi n\, \! est divisible par un carré. Les premiers nombres vérifiant cette propriété sont (séquence 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 n\, \! est premier, alors \mu(n)=-1\, \!, mais la réciproque n'est pas vraie. Si n\, \! est un nombre sphénique (c’est-à-dire produit de trois nombres premiers distincts), alors \mu(n)=-1\, \!. Les premiers nombres sphéniques sont (séquence 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 (séquence A046387) : 2310, 2730, 3570, 3990, 4290, 4830, 5610, 6006, 6090, 6270, 6510, 6630, 7410, 7590, 7770, 7854, 8610, 8778, 8970, 9030, 9282, 9570, 9690, ...

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é.

Lien externe

- (en anglais) Catégorie:Fonction arithmétique Catégorie:Arithmétique modulaire bg:Функция на Мьобиус de:Möbiusfunktion en:Möbius function es:Función de Möbius gl:Función de Möbius he:פונקציית מביוס hu:Möbius-függvény it:Funzione di Möbius ja:メビウス関数 ko:뫼비우스 함수 nl:Möbius functie pl:Funkcja Möbiusa pt:Função de Möbius ru:Функция Мёбиуса sl:Möbiusova funkcija sv:Möbiusfunktionen zh:默比乌斯函数 zh-classical:默比烏斯函數
Sujets connexes
Arithmétique modulaire   August Ferdinand Möbius   Carré (algèbre)   Combinatoire   Décomposition en produit de facteurs premiers   Encyclopédie électronique des suites entières   Entier naturel   Entier sans facteur carré   Fonction de Mertens   Fonction multiplicative   Formule d'inversion de Möbius   Mathématiques   Nombre premier   Nombre sphénique   Relation d'ordre   Théorie algébrique des nombres   Théorie des nombres   Théorème de Pólya  
#
Accident de Beaune   Amélie Mauresmo   Anisocytose   C3H6O   CA Paris   Carole Richert   Catherinettes   Chaleur massique   Championnat de Tunisie de football D2   Classement mondial des entreprises leader par secteur   Col du Bonhomme (Vosges)   De viris illustribus (Lhomond)   Dolcett   EGP  
^