O funcție aritmetică este o funcție definită pe mulțimea numerelor naturale și care ia valori din mulțimea numerelor complexe .
După cum reiese din definiție, o funcție aritmetică este orice funcție
Denumirea de funcție aritmetică se datorează faptului că în teoria numerelor există multe funcții ale unui argument natural care exprimă anumite proprietăți aritmetice . Prin urmare, vorbind informal, o funcție aritmetică este înțeleasă ca o funcție care „exprimă o proprietate aritmetică” a unui număr natural (vezi exemplele de funcții aritmetice de mai jos ).
Multe funcții aritmetice luate în considerare în teoria numerelor sunt de fapt cu valori întregi.
Această operație este „analogul discret” al integralei nedefinite; în acest caz, deși funcția inițială a fost definită numai pe , se dovedește a fi convenabil să considerăm suma ei ca definită pe întreaga semiaxă pozitivă (și, desigur, este constantă pe bucăți).
În acest caz, convoluția Dirichlet a două funcții aritmetice corespunde produsului funcțiilor lor generatoare.
este o derivație a algebrei funcțiilor aritmetice: în ceea ce privește convoluția, satisface regula Leibniz,
Trecerea la funcția generatoare transformă această operație în diferențiere obișnuită.
O funcție aritmetică este definită ca numărul de divizori pozitivi ai unui număr natural :
Dacă și sunt coprime , atunci fiecare divizor al unui produs poate fi reprezentat în mod unic ca un produs al divizorilor și divizorilor lui , și invers, fiecare astfel de produs este un divizor al lui . Rezultă că funcția este multiplicativă :
Dacă este descompunerea canonică a naturalului , atunci datorită multiplicativității
Deoarece divizorii pozitivi ai unui număr sunt numere , atunci
Numărul de divizori ai unui întreg mare n crește în medie ca [1] . Mai precis, vezi formula Dirichlet .
Funcția este definită ca suma divizorilor unui număr natural :
Generalizând funcțiile și pentru un complex arbitrar, în general vorbind , se poate determina - suma puterilor --a ale divizorilor pozitivi ai unui număr natural :
Folosind notația Iverson , se poate scrie
Funcția este multiplicativă:
Dacă este descompunerea canonică a naturalului , atunci
Suma divizorilor lui n crește în medie ca funcție liniară a lui cn, unde constanta c găsită de Euler este [1] .
Funcția Euler , sau totient , este definită ca numărul de numere întregi pozitive care nu depășesc , coprim la .
Folosind notația Iverson , se poate scrie:
Funcția Euler este multiplicativă:
În formă explicită, valoarea funcției Euler este exprimată prin formula:
unde sunt divizori primi diferiți .
Funcția Möbius poate fi definită ca o funcție aritmetică care satisface următoarea relație:
Adică, suma valorilor funcției Möbius peste toți divizorii unui număr întreg pozitiv este egală cu zero dacă , și este egală cu dacă .
Se poate demonstra că o singură funcție satisface această ecuație și poate fi dată explicit prin următoarea formulă:
Aici , sunt diverse numere prime și este un număr prim. Cu alte cuvinte, funcția Möbius este egală dacă nu fără pătrat (adică divizibilă cu pătratul unui număr prim) și egală în caz contrar (plus sau minus este ales în funcție de paritatea numărului de divizori primi ).
Funcția Möbius este o funcție multiplicativă . Importanța funcției Möbius în teoria numerelor se datorează formulei de inversare a lui Möbius .