∑
MathTCG
#020 / 100•Algebra & Numbers•MathTCG #320 / 500•★★★Rare•ℤArithmétique•Concept

Fonction de Möbius

Période historique : 1832

Fonction arithmétique fondamentale mu(n) régissant la formule d'inversion de Möbius.

Contenu & Formulation mathématique

Définition rigoureuse
Fonction arithmétique multiplicative indiquant la parité du nombre de facteurs premiers distincts d'un entier sans facteur carré.
Notation usuelle & Exemples
\mu(p) = -1, \; \mu(p^2) = 0
g(n)=∑d∣nf(d)  ⟺  f(n)=∑d∣nμ(d)g(nd)g(n) = \sum_{d | n} f(d) \iff f(n) = \sum_{d | n} \mu(d) g\left(\frac{n}{d}\right)

Genèse & Portée historique

Valant 1 pour n=1, 0 si n admet un facteur carré et (-1)^k si n est le produit de k premiers distincts, la fonction de Möbius mu est l'inverse de convolution de Dirichlet de la fonction constante 1. Elle permet d'inverser toute sommation arithmétique de diviseurs.

August Ferdinand Möbius a formulé cette fonction en 1832. La fonction de Mertens sum mu(k) est intimement liée à la conjecture de Mertens et à l'hypothèse de Riemann.

« L'opérateur d'inversion arithmétique qui défait les sommes sur les diviseurs. »

Filiations & Relations conceptuelles (0)

Cette notice constitue un axiome autonome sans relations directes enregistrées dans le recueil.

Objet de collection MathTCG

#320
★★★Rare
ℤ

Fonction de Möbius

Arithmétique•CONCEPT

Fonction arithmétique multiplicative indiquant la parité du nombre de facteurs premiers distincts d'un entier sans facteur carré.

g(n)=∑d∣nf(d)  ⟺  f(n)=∑d∣nμ(d)g(nd)g(n) = \sum_{d | n} f(d) \iff f(n) = \sum_{d | n} \mu(d) g\left(\frac{n}{d}\right)
1832

Dans l'édition physique et numérique de MathTCG, cette carte appartient à l'extension Algebra & Numbers.

Extension : Algebra & Numbers (#020 / 100)
Numéro global MathTCG : MathTCG #320 / 500
Rareté officielle : Rare (★★★)
Domaine théorique : Arithmétique
Identifiant pérenne : fonction-de-mobius