Funzione di Möbius

La funzione di Möbius, indicata con  , è una funzione che trova impiego in teoria dei numeri per classificare i numeri interi positivi in una di tre categorie possibili secondo la scomposizione in fattori. La funzione entra in un'importante formula di inversione.

Definizione classica 
La funzione viene definita assegnando a μ(n) i seguenti valori:
 −1 se n è scomponibile in un numero dispari di fattori primi distinti. Per esempio μ(435) = −1 perché 435 = 3 × 5 × 29, ha tre fattori primi. Per gli scopi di questa funzione, un numero primo è considerato avere un fattore primo, in sé, quindi μ(p) = −1.
 0 se ha uno o più fattori primi ripetuti. Per esempio μ(436) = 0 perché 436 = 22 × 109 = 2 × 2 × 109, poiché gli esponenti significano che un fattore accade due volte o più nella scomposizione in fattori.
 +1 se è scomponibile in un numero pari di fattori primi distinti. Per esempio μ(437) = 1 perché 437 = 19 × 23. Si assume anche che μ(1) = 1, considerando che abbia una scomposizione in 0 fattori primi.

Chiaramente essa è una funzione aritmetica moltiplicativa, cioè tale che

se h e k sono interi positivi coprimi, allora .
  
La funzione è stata introdotta da August Ferdinand Möbius nel 1832; la notazione  è stata introdotta da Franz Mertens nel 1874.

Come successione di interi la funzione di Möbius è reperibile nell'archivio OEIS in corrispondenza della sigla A008683.

La funzione di Möbius è una funzione incorporata nel sistema computazionale Mathematica; essa viene invocata con una richiesta della forma MoebiusMu[n].

I valori che la funzione assume in corrispondenza dei primi 100 interi positivi sono:

Rapporto con la formula di inversione 

La somma di tutti i valori della funzione di Möbius su tutti i divisori di un intero n è 0 tranne che per n=1, nel quale vale 1:

Questa proprietà è usata nella dimostrazione della formula di inversione di Möbius.

La funzione di Mertens 
Una funzione aritmetica legata alla funzione di Möbius è la funzione di Mertens, definita come

Tale funzione è legata agli zeri della funzione zeta di Riemann e all'ipotesi di Riemann.

Generalizzazione di Gian-Carlo Rota 
La funzione di Möbius può considerarsi una rappresentazione concisa di una funzione di due variabili intere positive h e k che chiamiamo funzione di Möbius per la divisibilità definita da 

Le variabili h e k vanno pensate corrispondere ai nodi del reticolo della divisibilità e la funzione μ(h,k) come una matrice con gli indici che corrono su un particolare insieme parzialmente ordinato i cui intervalli sono finiti: nel reticolo della divisibilità gli intervalli hanno la forma [h,k]  con k multiplo di h sono gli insiemi degli interi multipli di h e sottomultipli di k. A questo punto è opportuno considerare la μ(h,k) come una generalizzazione delle usuali matrici quadrate con gli indici che variano sul semplice insieme ordinato degli interi che variano da 1 a un certo n intero positivo (poset catena).

Tra le matrici con gli indici sul poset si distinguono due matrici che sono l'una l'inversa dell'altra (caso n=4)

La seconda è la funzione di Möbius del poset catena e vale la seguente elementare formula d'inversione

Questa formula non ci dice altro che conoscendo le somme parziali di una sequenza di addendi si possono ottenere per differenza gli addendi stessi. Può essere chiarificante associare la precedente formula di inversione a quella che possiamo chiamare formula fondamentale del calcolo infinitesimale:

La classica formula di inversione di Möbius può considerarsi analoga della precedente formula matriciale e un caso particolare della formula di inversione di Möbius-Rota.

Bibliografia 
 Tom M. Apostol (1976): Introduction to Analytic Number Theory, Springer-Verlag, New York. ISBN 0-387-90163-9 (Chapter 2.2).
 Gian-Carlo Rota (1964): On the Foundations of Combinatorial Theory I: Theory of Möbius Functions; Zeitschrift für Wahrscheinlichkeitstheorie und Verwandte Gebiete; vol. 2 pp. 340–368.

Voci correlate 
Funzione aritmetica
Successione di interi
Funzione di Mertens
Algebra di incidenza
Gian-Carlo Rota
Formula di inversione di Möbius

Altri progetti

Collegamenti esterni 
 

Möbius, funzione di
Combinatoria