Fonction de Möbius

Fonction arithmétique

En mathématiques, la fonction de Möbius désigne généralement une fonction multiplicative particulière, définie sur les entiers strictement positifs et à valeurs dans l'ensemble {–1, 0, 1}. Elle intervient dans la formule d'inversion de Möbius.

Elle est utilisée dans des branches différentes des mathématiques. Vue sous un angle élémentaire, la fonction de Möbius permet certains calculs de dénombrement, en particulier pour l'étude des p-groupes ou en théorie des graphes. En arithmétique, elle est parfois définie comme l'inverse de la fonction multiplicative constante 1, pour l'opération convolution de Dirichlet. On la trouve encore pour l'étude des polynômes cyclotomiques sur le corps des nombres rationnels. Son rôle est analogue pour les corps finis et, par voie de conséquence, la fonction de Möbius intervient dans la théorie des codes correcteurs. En théorie analytique des nombres, la fonction de Möbius est plus souvent introduite à l'aide des séries de Dirichlet. Elle intervient dans certaines démonstrations liées à l'étude de l'hypothèse de Riemann sur les nombres premiers.

August Ferdinand Möbius (1790-1868) est le premier à étudier systématiquement la fonction qui porte maintenant son nom.

L'usage de cette fonction est ancien : on le trouve chez Euler en 1748 ou encore chez Gauss dans ses Disquisitiones arithmeticae en 1801. C'est néanmoins Möbius qui le premier l'étudie systématiquement, en 1832.

Définition et propriétés

modifier

Définition

modifier

Dans toute la suite de l'article, N désigne l'ensemble des entiers naturels et N* celui des entiers strictement positifs. La définition la plus courante est la suivante :

Définition de la fonction de Möbius[1] — La fonction de Möbius μ est définie de N* dans {–1, 0, 1}. L'image μ(n) d'un entier n > 0 vaut :

  • 0 si n est divisible par un carré parfait différent de 1 ;
  • 1 si n est le produit d'un nombre pair de nombres premiers distincts ;
  • –1 si n est le produit d'un nombre impair de nombres premiers distincts.

Le tableau de ses vingt premières valeurs est donc :

n  1   2   3   4   5   6   7   8   9   10   11   12   13   14   15   16   17   18   19   20 
μ(n) 1 –1 –1 0 –1 1 –1 0 0 1 –1 0 –1 1 1 0 –1 0 –1 0

et le graphe de ses cinquante premières valeurs est :

 

Définition équivalente

modifier

Caractérisation de la fonction de Möbius[2] — La fonction de Möbius est l'inverse de la fonction constante 1 pour la convolution de Dirichlet, c'est-à-dire l'unique fonction arithmétique μ telle que pour tout entier n > 0, la somme des valeurs de μ sur tous les diviseurs positifs de n vaut :

 

Avec cette seconde définition, μ est automatiquement, comme 1, multiplicative, c'est-à-dire que :

  et pour tous   premiers entre eux,  .

Formule d'inversion de Möbius

modifier

La seconde définition permet de démontrer rapidement que pour toute fonction arithmétique f :

La fonction arithmétique g définie par

 

vérifie

 .

Combinatoire

modifier

Définitions et propriétés élémentaires

modifier

Une approche combinatoire permet de généraliser l'étude ci-dessus[4]. La technique consiste à étudier un ensemble A fini et ensemble partiellement ordonné dont la relation d'ordre est notée ≤. On utilise la définition suivante :

Définition d'une chaîne[5] — Soient a et b deux éléments de A tels que a ≤ b. Pour tout entier naturel p, on appelle chaîne de longueur p joignant a à b, toute suite finie (x0x1, ..., xp) telle que :

 .

Dans la suite du paragraphe, on note cp(ab) le nombre de chaînes de longueur p reliant a à b. On dispose immédiatement de quelques propriétés. Par exemple, si a est un élément de A, cp(aa) vaut 1 pour p = 0 et vaut 0 pour p > 0, et si b est un élément de A strictement plus grand que a alors c0(ab) = 0 et c1(ab) = 1. Plus généralement, on établit le lemme suivant :

Lemme[5] — Si a et b sont deux éléments de A tels que a < b alors, pour tout entier naturel p,

 .

En effet, toute chaine de longueur p + 1 joignant a à b est composée d'une chaîne de longueur p reliant a à c et d'une chaîne de longueur 1 reliant c à b, ce qui démontre la première égalité. La deuxième se montre de la même manière.

Gian-Carlo Rota définit une nouvelle fonction de Möbius, qu'il note μA, et dont on verra qu'elle généralise μ :

Définition de G.-C. Rota de la fonction de Möbius μA — La fonction de Möbius μA, à valeurs entières, est définie sur A×A par :

 .

Autrement dit, on compte positivement toutes les chaînes de longueurs paires reliant a à b et négativement celles de longueurs impaires. On remarque de plus que ces définitions restent valables si A est infini, à condition qu'il n'existe qu'un nombre fini d'éléments situés entre a et b (on dit alors que l'ordre est localement fini (en)). Le lemme permet de démontrer l'analogue suivant de la caractérisation de μ :

Caractérisation de μA[6] — Soient a et b deux éléments de A tels que a < b :

 .

Le produit de convolution de Dirichlet se généralise, permettant d'associer à tout ordre localement fini A son algèbre d'incidence (en), et le résultat ci-dessus se reformule alors par l'interprétation de μA comme un inverse dans cet anneau unitaire.

Ce résultat permet aussi de montrer une formule d'inversion pour μA.

Relation entre la définition de Möbius et celle de Rota

modifier

Ici, l'ensemble A désigne celui des entiers strictement positifs munis de la relation d'ordre : a ≤ b lorsque a est un diviseur de b.

Cet ordre est localement fini, et lorsqu'on lui applique la caractérisation de μA avec 1 comme première variable, on retrouve la caractérisation μ.

On remarque aussi que si a divise b, l'application qui à une chaîne (x1x1,..., xp) associe la chaîne (1, x2/x1,..., xp/x1) constitue une bijection entre l'ensemble des chaînes de longueur p reliant a à b et celles reliant 1 à b/a.

On en déduit donc :

Relation entre les définitions des fonctions de Möbius[7] — En deux entiers strictement positifs a et b tels que a divise b, la fonction μ de Möbius et celle μA de Rota sont reliées par :

 .

Via ce lien, la formule d'inversion classique pour μ peut être vue comme un cas particulier de celle pour μA.

Pour tout nombre complexe s de partie réelle strictement supérieure à 1,

 ,

  est la fonction zêta de Riemann.

La fonction de Mertens   est définie par  .

Le théorème des nombres premiers est équivalent[8] à   et à  . Une version plus élaborée du théorème des nombres premiers (avec une évaluation explicite du terme de reste) a été utilisée en 1899 par Edmund Landau[9] pour démontrer :  .

Notes et références

modifier
  1. G. Villemin, « Fonction de Möbius », sur Nombres : curiosités - théorie - usage.
  2. Françoise Badiou, « Formule d'inversion de Möbius », Séminaire Delange-Pisot-Poitou Théorie des nombres, vol. 2, exp. 1,‎ , p. 2-3 (lire en ligne [PDF]).
  3. Pour une autre preuve, voir Badiou 1960, p. 2-3, ou « Fonctions arithmétiques », dans la leçon « Introduction à la théorie des nombres » sur Wikiversité.
  4. (en) G.-C. Rota, « On the foundations of combinatorial theory, I: Theory of Möbius functions », Z. Wahrscheinlichkeitstheorie u. verw. Gebiete, vol. 2, 1963, p. 340-368.
  5. a et b IREM de Marseille, Cours et activités en arithmétiques pour les classes terminales (lire en ligne), p. 75.
  6. IREM-Marseille, p. 76.
  7. IREM-Marseille, p. 80.
  8. Voir par exemple G. Tenenbaum, Introduction à la théorie analytique et probabiliste des nombres, [détail des éditions], SMF, coll. « Cours spécialisés », Paris, 1995, I.3.6, ou (en) Tom M. Apostol, Introduction to Analytic Number Theory, Springer, , 340 p. (ISBN 978-0-387-90163-3, lire en ligne), th. 4.15 et 4.16.
  9. (de) E. Landau, Handbuch der Lehre von der Verteiligung der Primzahlen, (lire en ligne), p. 569.

Lien externe

modifier

(en) Eric W. Weisstein, « Möbius function », sur MathWorld